MICDE-CSE Seminar: Andrew Appel, Professor, Princeton University
BBB 3725 2260 Hayward St., Ann Arbor, United StatesFormally Verified Numerical Methods
Formally Verified Numerical Methods
Parthenon: a flexible framework for rapid development of performance portable multiphysics codes
Alexander Coppeans (Aerospace Engineering): Aerodynamic Shape Optimization with Curved Mesh Adaptation
Heaviside Composite Optimization, a new paradigm of optimization
Liuyun Xu (Civil Engineering): Adaptive Deep Learning-Powered Multi-fidelity Stratified Sampling for Efficient Failure Analysis of Nonlinear Dynamic Systems
Jasmin Lim (Aerospace Engineering): A Hybrid Surrogate Modeling Framework for Digital Twins of Nuclear Energy Systems
Baudouin Fonkwa Kamga (Mechanical Engineering): Numerical simulation of the collapse of cavitation near deformable solid surfaces
Xinhai Hou (Bioinformatics): Multimodal foundation model for survival analysis
Alex Kleb (Aerospace Engineering): Cartesian Cut-cell Methods for High-Reynolds Number Flows
Note: This seminar will likely be presented remotely
Emergence and grokking in "simple" architectures
Preet Baxi (Physics): Monitoring the fidelity of the LIGO detectors
Anthony Chen (Math): Fast Summation for Geophysical Fluid Dynamics
Sahil Bhola (Aerospace Engineering): Rounding uncertainity analysis for floating-point statistical models
Martin Macias Medellin (Political Science): Homogenous Cities? How Conflict and Politics Shape the Urban Topography