Browsing 5  Oberwolfach Reports (OWR) by Title
Now showing items 652671 of 1382

2112  Mathematical Foundations of Machine Learning (hybrid meeting)
[OWR202115] (2021)  (21 Mar  27 Mar 2021)Machine learning has achieved remarkable successes in various applications, but there is wide agreement that a mathematical theory for deep learning is missing. Recently, some first mathematical results have been derived ... 
1832  Mathematical General Relativity
[OWR201836] (2018)  (05 Aug  11 Aug 2018)General Relativity is one of the triumphs of twentieth century physics. Its spectacular predictions include gravitational waves, black holes, and spacetime singularities. The mathematical study of this theory leads to deep ... 
1604  Mathematical Imaging and Surface Processing
[OWR20164] (2016)  (24 Jan  30 Jan 2016)Within the last decade image and geometry processing have become increasingly rigorous with solid foundations in mathematics. Both areas are research fields at the intersection of different mathematical disciplines, ranging ... 
2234  Mathematical Imaging and Surface Processing
[OWR202238] (2022)  (21 Aug  27 Aug 2022)This workshop was gathering applied mathematicians and computer scientists interested in image and geometry processing. These topics have developed tremendously in the past few years with the rise of artificial ... 
1751  Mathematical Instruments between Material Artifacts and Ideal Machines: Their Scientific and Social Role before 1950
[OWR201758] (2017)  (17 Dec  23 Dec 2017)Since 1950, mathematicians have become increasingly familiar with the digital computer in their professional practice. Previously, however, many other instruments, now mostly forgotten, were commonly used to compute numerical ... 
1447  Mathematical Logic: Proof theory, Constructive Mathematics
[OWR201452] (2014)  (16 Nov  22 Nov 2014)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around prooftheoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity 
1745  Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR201753] (2017)  (05 Nov  11 Nov 2017)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around prooftheoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects ... 
1145  Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR201152] (2011)  (06 Nov  12 Nov 2011)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around prooftheoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity. 
0815  Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR200818] (2008)  (06 Apr  12 Apr 2008)The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” brought together a carefully selected group of mathematicians, computer scientists and logicians in other fields to discus the impact of prooftheoretic ... 
2346  Mathematical Logic: Proof Theory, Constructive Mathematics
[OWR202353] (2023)  (12 Nov  17 Nov 2023)The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on prooftheoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in ... 
2046  Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting)
[OWR202034] (2020)  (08 Nov  14 Nov 2020)The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given ... 
0512  Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
[OWR200514] (2005)  (20 Mar  26 Mar 2005)The workshop “Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs. 
0151  Mathematical Methods in Manufacturing and Logistics
[TB200154] (2001)  (16 Dec  22 Dec 2001) 
1812  Mathematical Methods in Quantum Chemistry
[OWR201813] (2018)  (18 Mar  24 Mar 2018)The field of quantum chemistry is concerned with the modelling and simulation of the behaviour of molecular systems on the basis of the fundamental equations of quantum mechanics. Since these equations exhibit an extreme ... 
1126  Mathematical Methods in Quantum Chemistry
[OWR201132] (2011)  (26 Jun  02 Jul 2011)The field of quantum chemistry is concerned with the analysis and simulation of chemical phenomena on the basis of the fundamental equations of quantum mechanics. Since the ‘exact’ electronic Schrödinger equation for a ... 
1917  Mathematical Methods in Quantum Molecular Dynamics
[OWR201920] (2019)  (21 Apr  27 Apr 2019)The workshop on "Mathematical Methods in Quantum Molecular Dynamics" has brought together chemists, mathematicians, and physicists developing new mathematical methods for studying the motion of atoms in molecules and in ... 
1523  Mathematical Methods in Quantum Molecular Dynamics
[OWR201527] (2015)  (31 May  06 Jun 2015)This report summarizes the 2015 Oberwolfach meeting on mathematical methods in quantum molecular dynamics. Over decades this field has hosted considerable research activity from different disciplines, such as mathematics, ... 
0233  Mathematical Methods in Tomography
[TB200239] (2002)  (11 Aug  17 Aug 2002) 
0631  Mathematical Methods in Tomography
[OWR200634] (2006)  (30 Jul  05 Aug 2006)This is the seventh Oberwolfach conference on the mathematics of tomography, the first one taking place in 1980. Tomography is the most popular of a series of medical and scientific imaging techniques that have been developed ... 
0534b  Mathematical Population Genetics
[OWR200540] (2005)  (21 Aug  27 Aug 2005)The meeting was devoted to mathematical aspects of population genetics, a branch of theoretical biology that is concerned with the genetic structure of populations under the influence of various evolutionary processes such ...