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 a cavitation bubble near a deformable solid surface
Xinhai Hou (Bioinformatics): Scalable foundation model training for computational pathology
Nathaly Villacis (Mechanical Engineering): Unraveling Rotator Cuff Tendon Tear Growth Mechanisms with Full-Volume Strains and Data-Driven Modeling
Doruk Aksoy (Aerospace Engineering): Incremental Tensor Decompositions for Machine Learning and Bayesian Inference
Abstract: Generative flow models learn a (possibly stochastic) mapping between source and target distributions. Common paradigms include diffusion models, score matching models, and continuous normalizing flows. In this talk I will first present methods for improved training of flow models using flow matching objectives using ideas from optimal transport. I will then show how these […]
Alex Kleb (Aerospace Engineering): Solving High Reynolds Number Flows on Cartesian Cut-cell Meshes using a Jacobian-Free Newton–Krylov Method
Alasdair Christison Gray (Aerospace Engineering): Geometrically Nonlinear Methods for High-Fidelity MDO of Very-Flexible Aircraft
Emergence and grokking in "simple" architectures