1 citations · 1 across the 4 of their papers we have counts for
6 papers
CorleoneGame: A library of biological dynamic games with a companion Julia solver
Sebastian Sager, Christoph Plate, Julius Martensen +1
Biological agents, from regulatory modules and microbial strains to organisms and populations, act on a common environment while each responds to its own costs, benefits, and limit…
Optimization with Region-Reduced ReLU Neural Networks
Christoph Plate, Caroline Ganzer, Mirko Hahn +5
Optimization of mathematical models involving integer decisions and neural networks with ReLU activation (ReLU ANNs) is a challenging task. Nevertheless, such models are an enablin…
Superstructure Optimization with Embedded Neural Networks for Sustainable Aviation Fuel Production
Alexander Klimek, Christoph Plate, Sebastian Sager +2
This study presents a multi-objective optimization framework for sustainable aviation fuel (SAF) production, integrating artificial neural networks (ANNs) within a mixed-integer qu…
An analysis of optimization problems involving ReLU neural networks
Christoph Plate, Mirko Hahn, Alexander Klimek +3
Solving mixed-integer optimization problems with embedded neural networks with ReLU activation functions is challenging. Big-M coefficients that arise in relaxing binary decisions…
Optimal Experimental Design for Universal Differential Equations
Christoph Plate, Carl Julius Martensen, Sebastian Sager
Complex dynamic systems are typically either modeled using expert knowledge in the form of differential equations or via data-driven universal approximation models such as artifici…
Refined TSSOS
Daria Shaydurova, Volker Kaibel, Sebastian Sager
The moment-sum of squares hierarchy by Lasserre has become an established technique for solving polynomial optimization problems. It provides a monotonically increasing series of t…