Müller, Benjamin
- Comparative Validation of Machine Learning Algorithms for Surgical Workflow and Skill Analysis with the HeiChole Benchmark
2021/09/30 by Martin Wagner, Beat P. Müller‐Stich, Wagner, Martin +78 · 8 citations
Medicine · #Surgical Simulation and Training #Cardiac, Anesthesia and Surgical Outcomes
- Heidelberg Colorectal Data Set for Surgical Data Science in the Sensor\n Operating Room
2020/05/07 by Maier-Hein, Lena, Martin Wagner, Wagner, Martin +62 · 4 citations
Medicine · #Colorectal Cancer Screening and Detection #Surgical Simulation and Training #Colorectal Cancer Surgical Treatments
- Global Optimization of Mixed-Integer Nonlinear Programs with SCIP 8
2023/01/02 by Bestuzheva, Ksenia, Chmiela, Antonia, Müller, Benjamin +3 · 3 citations
#65K05 (Primary) 90-08 #90C11 #90C20 #90C26 (Secondary) #FOS: Mathematics #G.1.6 #G.4 #Optimization and Control (math.OC)
- Polymake and Lattice Polytopes
2009/02/17 by Joswig, Michael, Müller, Benjamin, Paffenholz, Andreas · 1 citation
#14M25 #52-04 #52B20 #Algebraic Geometry (math.AG) #Combinatorics (math.CO) #FOS: Mathematics
- Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms
2019/03/13 by Müller, Benjamin, Serrano, Felipe, Gleixner, Ambros · 1 citation
#90-XX #FOS: Mathematics #Optimization and Control (math.OC)