skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index

Results 1 - 20 of 28,588  for All Library Resources

Results 1 2 3 4 5 next page
Show only
Refined by: resource type: Conference Proceedings remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
On the largest prime factor of quartic polynomial values: the cyclic and dihedral cases
Material Type:
Conference Proceeding
Add to My Research

On the largest prime factor of quartic polynomial values: the cyclic and dihedral cases

Oberwolfach Reports, 2022, Vol.Workshop Report 2022 (50), p.21-23 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1660-8933 ;EISSN: 1660-8941 ;DOI: 10.14760/OWR-2022-50

Digital Resources/Online E-Resources

2
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus
Material Type:
Conference Proceeding
Add to My Research

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470696

Digital Resources/Online E-Resources

3
Substitutions and Möbius disjointness
Material Type:
Conference Proceeding
Add to My Research

Substitutions and Möbius disjointness

Contemporary mathematics - American Mathematical Society, 2016, Vol.678, p.151-173 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0271-4132 ;EISSN: 1098-3627 ;DOI: 10.1090/conm/678/13645

Digital Resources/Online E-Resources

4
The Space of Interaction
Material Type:
Conference Proceeding
Add to My Research

The Space of Interaction

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1109/LICS52264.2021.9470726

Digital Resources/Online E-Resources

5
Comparison of Three Hybrid Turbulence Models for the Flow Around a 25 ∘ Ahmed Body
Material Type:
Conference Proceeding
Add to My Research

Comparison of Three Hybrid Turbulence Models for the Flow Around a 25 ∘ Ahmed Body

Progress in Hybrid RANS-LES Modelling. HRLM 2016. Notes on Numerical Fluid Mechanics and Multidisciplinary Design, vol. 137, 2018, Vol.137, p.265-275 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-319-70031-1_22

Digital Resources/Online E-Resources

6
Some regularity results for a singular elliptic problem
Material Type:
Conference Proceeding
Add to My Research

Some regularity results for a singular elliptic problem

Electronic journal of differential equations, 2015, p.142-150 [Peer Reviewed Journal]

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1072-6691 ;EISSN: 1072-6691 ;DOI: 10.3934/proc.2015.0142

Full text available

7
Eager Functions as Processes
Material Type:
Conference Proceeding
Add to My Research

Eager Functions as Processes

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1145/3209108.3209152

Digital Resources/Online E-Resources

8
A note on the hyperbolic-parabolic identification problem with nonlocal conditions
Material Type:
Conference Proceeding
Add to My Research

A note on the hyperbolic-parabolic identification problem with nonlocal conditions

AIP conference proceedings, 2021, Vol.2334 [Peer Reviewed Journal]

ISSN: 1551-7616 ;ISSN: 0094-243X ;EISSN: 1551-7616 ;DOI: 10.1063/5.0042271

Digital Resources/Online E-Resources

9
A short review on Improvements and stability for some interpolation inequalities
Material Type:
Conference Proceeding
Add to My Research

A short review on Improvements and stability for some interpolation inequalities

Proceedings of ICIAM 2023 Congress, 2024

Attribution

Digital Resources/Online E-Resources

10
Designing bridging tasks to work on Klein's first discontinuity
Material Type:
Conference Proceeding
Add to My Research

Designing bridging tasks to work on Klein's first discontinuity

Proceedings of the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), 2024

Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9637031049 ;ISBN: 9789637031045

Digital Resources/Online E-Resources

11
PROCEEDINGS BOOK of MICOPAM 2023 The 6thMediterranean International Conference of Pure & Applied Mathematics and Related Areas
Material Type:
Conference Proceeding
Add to My Research

PROCEEDINGS BOOK of MICOPAM 2023 The 6thMediterranean International Conference of Pure & Applied Mathematics and Related Areas

Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9782491766

Digital Resources/Online E-Resources

12
EMPIRICAL PROCESS SAMPLED ALONG A STATIONARY PROCESS
Material Type:
Conference Proceeding
Add to My Research

EMPIRICAL PROCESS SAMPLED ALONG A STATIONARY PROCESS

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

13
Active Bipartite Ranking
Material Type:
Conference Proceeding
Add to My Research

Active Bipartite Ranking

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

14
Material Modeling via Thermodynamics-Based Artificial Neural Networks
Material Type:
Conference Proceeding
Add to My Research

Material Modeling via Thermodynamics-Based Artificial Neural Networks

Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.1007/978-3-030-77957-3_16

Digital Resources/Online E-Resources

15
Shimura varieties
Material Type:
Conference Proceeding
Add to My Research

Shimura varieties

Summer school on the Langlands program, 2023

Attribution

Digital Resources/Online E-Resources

16
On the convergence of Godunov scheme with a centered discretization of the pressure gradient
Material Type:
Conference Proceeding
Add to My Research

On the convergence of Godunov scheme with a centered discretization of the pressure gradient

Attribution

Digital Resources/Online E-Resources

17
Algorithme EM régularisé
Material Type:
Conference Proceeding
Add to My Research

Algorithme EM régularisé

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

18
Simulation-Optimisation-based decision support system for managing airport security resources
Material Type:
Conference Proceeding
Add to My Research

Simulation-Optimisation-based decision support system for managing airport security resources

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

19
Learning the Dynamics of Sparsely Observed Interacting Systems
Material Type:
Conference Proceeding
Add to My Research

Learning the Dynamics of Sparsely Observed Interacting Systems

PMLR - Proceedings of Machine Learning Research, 2023, Vol.202

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

20
The shortest even cycle problem is tractable
Material Type:
Conference Proceeding
Add to My Research

The shortest even cycle problem is tractable

54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022,Rome, Italy,2022-06-20 - 2022-06-24, 2022, p.117 [Peer Reviewed Journal]

ISSN: 0737-8017 ;ISBN: 9781450392648 ;ISBN: 1450392644 ;DOI: 10.1145/3519935.3520030

Digital Resources/Online E-Resources

Results 1 - 20 of 28,588  for All Library Resources

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (7,747)

Refine My Results

Creation Date 

From To
  1. Before 1973  (18)
  2. 1973 To 1984  (102)
  3. 1985 To 1996  (898)
  4. 1997 To 2009  (8,850)
  5. After 2009  (11,899)
  6. More options open sub menu

Language 

  1. English  (26,322)
  2. French  (2,164)
  3. Japanese  (216)
  4. Spanish  (41)
  5. Portuguese  (31)
  6. Swedish  (20)
  7. Norwegian  (19)
  8. Russian  (14)
  9. German  (8)
  10. Hungarian  (7)
  11. Norwegian (Nynorsk)  (6)
  12. Polish  (5)
  13. Bokmål, Norwegian  (3)
  14. Italian  (2)
  15. Catalan  (1)
  16. Arabic  (1)
  17. Avestan  (1)
  18. Finnish  (1)
  19. More options open sub menu

Searching Remote Databases, Please Wait