Albert Chern
- Myopically Verifiable Probabilistic Certificate for Long-term Safety
2021/10/26 by Zhuoyuan Wang, Wang, Zhuoyuan, Haoming Jing +7 · 3 citations
Computer Science · Decision Sciences · Biochemistry, Genetics and Molecular Biology · #Formal Methods in Verification #Probabilistic and Robust Engineering Design #Gene Regulatory Network Analysis
- Vakonomic Fluids
2026/07/17 by Ritoban Roy-Chowdhury, Mohammad Sina Nabizadeh, Oliver Gross +2 · 1 voice
#math-ph #cs.GR #cs.NA #math.DG #math.DS #math.MP #math.NA #physics.flu-dyn
- Neural Representation of Minimal Surfaces
2026/07/26 by Jiayin Sun, Albert Chern · 1 voice
#cs.GR #cs.LG
- Commuting Hamiltonian flows of curves in real space forms
2018/09/05 by Albert Chern, Chern, Albert, Felix Knöppel +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Physics and Astronomy · #Advanced Differential Geometry Research #Differential Geometry (math.DG) #FOS: Mathematics #Microtubule and mitosis dynamics
- Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
2024/04/23 by Zhuoyuan Wang, Wang, Zhuoyuan, Haoming Jing +7 · 2 citations
Computer Science · Engineering · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Elastic Curves via Geometric Mechanics
2026/07/31 by Oliver Gross, Rohit Jammula, Albert Chern
Computer Science · Mathematics · Physics and Astronomy · #cs.GR #math-ph #math.DG #math.MP #math.SG