Browsing Oberwolfach Reports by Title

Now showing items 513-532 of 1107

    • 0930 - Mathematical Aspects of Hydrodynamics 

      [OWR-2009-34] Workshop Report 2009,34 (2009) - (19 Jul - 25 Jul 2009)
      The workshop was devoted to discussions of recent developments and possible future directions of research in the field of mathematical hydrodynamics. Many of the leading experts in the theory of PDE’s arising in fluid dynamics ...

    • 1934 - Mathematical Aspects of Hydrodynamics 

      [OWR-2019-38] Workshop Report 2019,38 (2019) - (18 Aug - 24 Aug 2019)
      The workshop dealt with the partial differential equations that describe fluid motion and related topics. These topics included both inviscid and viscous fluids in two and three dimensions. Some talks addressed aspects ...

    • 1533 - Mathematical Aspects of Hydrodynamics 

      [OWR-2015-37] Workshop Report 2015,37 (2015) - (09 Aug - 15 Aug 2015)
      The workshop dealt with the partial differential equations that describe fluid motion, namely the Euler equations and the Navier-Stokes equations. This included topics in both inviscid and viscous fluids in two and three ...

    • 1233 - Mathematical Aspects of Hydrodynamics 

      [OWR-2012-39] Workshop Report 2012,39 (2012) - (12 Aug - 18 Aug 2012)
      The workshop dealt with the partial differential equations that describe fluid motion, namely the Euler equations and the Navier-Stokes equations. Many of the lectures concerned questions of existence and regularity of ...

    • 0620 - Mathematical Biology 

      [OWR-2006-24] Workshop Report 2006,24 (2006) - (14 May - 20 May 2006)
      This years meeting on Mathematical Biology focussed on the mathematical modeling and analysis of some specific bio-medical questions, where quite detailed experimental findings are available. A main aim for this decision ...

    • 0919 - Mathematical Biology 

      [OWR-2009-24] Workshop Report 2009,24 (2009) - (03 May - 09 May 2009)
      Mathematical biology is a fast growing field of research, which on one hand side faces challenges resulting from the enormous amount of data provided by experimentalists in the recent years, on the other hand new mathematical ...

    • 1042 - Mathematical Challenges in Stochastic Networks 

      [OWR-2010-48] Workshop Report 2010,48 (2010) - (17 Oct - 23 Oct 2010)
      The workshop was devoted to the discussion of recent progress in modern stochastic network theory and to the exploration of open mathematical challenging problems in the field. The workshop covered a wide range of mathematical ...

    • 2317 - Mathematical Foundations of Biological Organisation 

      [OWR-2023-20] Workshop Report 2023,20 (2023) - (23 Apr - 28 Apr 2023)
      The workshop aimed to explore the use of new mathematical and computational approaches to investigate the fundamental principles governing the organization and dynamics of biological systems. This necessitated conversations ...

    • 1929b - Mathematical Foundations of Isogeometric Analysis 

      [OWR-2019-33] Workshop Report 2019,33 (2019) - (14 Jul - 20 Jul 2019)
      Isogeometric analysis is a recent technology for numerical simulation, unifying computer aided design and finite element analysis. It offers a true design-through-analysis pipeline by employing the same representation ...

    • 2112 - Mathematical Foundations of Machine Learning (hybrid meeting) 

      [OWR-2021-15] Workshop Report 2021,15 (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 

      [OWR-2018-36] Workshop Report 2018,36 (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 

      [OWR-2016-4] Workshop Report 2016,4 (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 

      [OWR-2022-38] Workshop Report 2022,38 (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 

      [OWR-2017-58] Workshop Report 2017,58 (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 

      [OWR-2014-52] Workshop Report 2014,52 (2014) - (16 Nov - 22 Nov 2014)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity

    • 0815 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2008-18] Workshop Report 2008,18 (2008) - (06 Apr - 12 Apr 2008)

    • 1745 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2017-53] Workshop Report 2017,53 (2017) - (05 Nov - 11 Nov 2017)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects ...

    • 1145 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2011-52] Workshop Report 2011,52 (2011) - (06 Nov - 12 Nov 2011)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.

    • 2046 - Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) 

      [OWR-2020-34] Workshop Report 2020,34 (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 

      [OWR-2005-14] Workshop Report 2005,14 (2005) - (20 Mar - 26 Mar 2005)
      The workshop “Mathematical Logic: Proof Theory, Type Theory