@inproceedings{RiccardiLindner2026, author = {Riccardi, Gabor and Lindner, Niels}, title = {On The Minimum-Weight Forward (Weakly) Fundamental Cycle Basis Problem in Directed Graphs}, booktitle = {International Network Optimization Conference 2026 (INOC 2026)}, year = {2026}, abstract = {The cycle space of a directed graph is generated by a cycle basis, where, in general, cycles are allowed to have both forward and backward arcs. In a forward cycle, all arcs have to follow the given direction. We study the existence, structure, and computational complexity of minimum-weight forward cycle bases in directed graphs. We give a complete structural characterization of digraphs that admit weakly fundamental (and hence integral) forward cycle bases, showing that this holds if and only if every block is either strongly connected or a single arc. We further provide an easily verifiable characterization of when a strongly connected digraph admits a forward fundamental cycle basis, proving that such a basis exists if and only if the set of directed cycles has cardinality equal to the cycle rank; in this case, the basis is unique and computable in polynomial time, and nonexistence can likewise be certified efficiently. Lastly, we show that while minimum-weight forward fundamental cycle bases can be found in polynomial time whenever they exist, the minimum-weight forward weakly fundamental cycle basis problem is NP-hard via a polynomial-time reduction from the minimum-weight weakly fundamental cycle basis problem on digraphs with metric weights.}, language = {en} } @inproceedings{ScheltenChristgauHutzleretal.2026, author = {Schelten, Niklas and Christgau, Steffen and Hutzler, Merit and Kreowsky, Philipp and De Lucia, Marco and Schnor, Bettina and Signer, Hannes and Spazier, Johannes and Stabernack, Benno and Yahdzhyiev, Serhii}, title = {Using FPGA-based Network-Attached Accelerators for Energy-Efficient AI Training in HPC Datacenters}, booktitle = {2026 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)}, year = {2026}, abstract = {FPGA-based Network-Attached Accelerators offer a disaggregated alternative to closely-coupled FPGAs or GPUs, but their adoption is very limited due to missing hardware/software frameworks. However, the usability and energy-efficiency of FPGAs for HPC use-cases has been demonstrated previously. Yet, the support by HPC infrastructure for those devices is lacking behind other accelerators. This paper addresses this shortcoming and demonstrates a full-stack approach that seamlessly integrates Network-Attached Accelerators in HPC datacenters and allows flexible and scalable usage of FPGAs. The presented work includes the according framework, integration steps and a show-case application from the geoscience domain. We evaluate our approach by comparing the training of a Physics-Informed Neural Network on the NAA against two GPU implementations. The NAA reduces total energy consumption by about 50\% and 17\% compared to the Keras and CUDA implementation, respectively. These results demonstrate that FPGA-based NAAs can be successfully integrated into HPC environments and are a viable path toward more energy-efficient AI training.}, language = {en} } @inproceedings{BorndoerferJocasWeiser2026, author = {Bornd{\"o}rfer, Ralf and Jocas, Arturas and Weiser, Martin}, title = {An Eikonal Approach for Globally Optimal Free Flight Trajectories}, arxiv = {http://arxiv.org/abs/2603.11830}, year = {2026}, abstract = {We present an eikonal-based approach that is capable of finding a continuous globally optimal trajectory for an aircraft in a stationary wind field. This minimizes emissions and fuel consumption. If the destination is close to a cut locus of the associated Hamilton-Jacobi-Bellman equation, small numerical discretization errors can lead to selecting a merely locally optimal trajectory and missing the globally optimal one. Based on finite element error estimates, we construct a trust region around the cut loci in order to guarantee uniqueness of trajectories for destinations sufficiently far from cut loci.}, language = {en} } @inproceedings{SunkaraRostamivonTycowiczetal.2026, author = {Sunkara, Vikram and Rostami, Atefe and von Tycowicz, Christoph and Sch{\"u}tte, Christof}, title = {Stop throwing away your Decoder; extract the learnt local coordinate system using Latent-XAI}, booktitle = {The 4th World Conference on Explainable Artificial Intelligence (XAI-2026)}, year = {2026}, language = {en} } @inproceedings{ScheltenChristgauSchulteetal.2026, author = {Schelten, Niklas and Christgau, Steffen and Schulte, Anton and Schnor, Bettina and Signer, Hannes and Stabernack, Benno}, title = {A Flexible Open-Source Framework for FPGA-based Network-Attached Accelerators using SpinalHDL}, booktitle = {Architecture of Computing Systems - 39th International Conference, ARCS 2026, Mainz, Germany, March 24-26, 2026, Proceedings.}, year = {2026}, abstract = {Domain-specific accelerators are increasingly vital in heterogeneous computing systems, driven by the demand for higher computational capacity and especially energy efficiency. Network-attached FPGAs promise a scalable and flexible alternative to closely coupled FPGAs for integrating accelerators into computing environments. While the advantages of specialized hardware implementations are apparent, traditional hardware development and integration remain time-consuming and complex. We present an open-source framework which combines a hardware shell with supporting software libraries, which enables fast development and deployment of FPGA-based network-attached accelerators. In contrast to traditional approaches using VHDL or Verilog, we leverage generative programming with SpinalHDL, providing a flexible hardware description with multi-level abstractions. This work eases the integration of accelerators into existing network infrastructures and simplifies adaptation to different FPGAs, eliminating complex and lengthy top-level hardware descriptions.}, language = {en} } @inproceedings{FrankeHamacherManns2026, author = {Franke, Paula and Hamacher, Kay and Manns, Paul}, title = {Minimizing and Maximizing the Shannon Entropy for Fixed Marginals}, booktitle = {Operations Research Proceedings 2025}, year = {2026}, abstract = {The mutual information (MI) between two random variables is an important correlation measure in data analysis. The Shannon entropy of a joint probability distri- bution is the variable part under fixed marginals. We aim to minimize and maximize it to obtain the largest and smallest MI possible in this case, leading to a scaled MI ratio for better comparability. We present algorithmic approaches and optimal solutions for a set of problem instances based on data from molecular evolution. We show that this allows us to construct a sensible, systematic correction to raw MI values.}, language = {en} } @inproceedings{SenguptaKuşLietal.2026, author = {Sengupta, Agniva and Ku{\c{s}}, Dilara and Li, Jianning and Zachow, Stefan}, title = {Globally Optimal Pose from Orthographic Silhouettes}, year = {2026}, abstract = {We solve the problem of determining the pose of known shapes in R^3 from their unoccluded silhouettes. The pose is determined up to global optimality using a simple yet under-explored property of the area-of-silhouette: its continuity w.r.t trajectories in the rotation space. The proposed method utilises pre-computed silhouette-signatures, modelled as a response surface of the area-of-silhouettes. Querying this silhouette-signature response surface for pose estimation leads to a strong branching of the rotation search space, making resolution-guided candidate search feasible. Additionally, we utilise the aspect ratio of 2D ellipses fitted to projected silhouettes as an auxiliary global shape signature to accelerate the pose search. This combined strategy forms the first method to efficiently estimate globally optimal pose from just the silhouettes, without being guided by correspondences, for any shape, irrespective of its convexity and genus. We validate our method on synthetic and real examples, demonstrating significantly improved accuracy against comparable approaches.}, language = {en} } @inproceedings{DingerGerberGnypetal.2026, author = {Dinger, Patrick and Gerber, Anja and Gnyp, Anna and von Hagel, Frank and Hohmann, Georg and Krause, Celia and Wagner, Sarah and Winkler, Alexander}, title = {Sammlungsdaten als Forschungsdaten in den Digital Humanities}, booktitle = {Book of Abstracts - DHd 2026}, doi = {10.5281/zenodo.18702753}, pages = {69 -- 74}, year = {2026}, language = {de} } @inproceedings{PedersenLindnerRehfeldtetal.2026, author = {Pedersen, Jaap and Lindner, Niels and Rehfeldt, Daniel and Koch, Thorsten}, title = {Comparing Branching Rules for the Quota Steiner Tree Problem with Interference}, booktitle = {Operations Research Proceedings 2025}, year = {2026}, abstract = {Branching decisions play a crucial role in branch-and-bound algorithms for solving combinatorial optimization problems. In this paper, we investigate several branching rules applied to the Quota Steiner Tree Problem with Interference (QSTPI). The Quota Steiner Tree Problem (QSTP) generalizes the classical Steiner Tree Problem (STP) in graphs by seeking a minimum-cost tree that connects a subset of profit-associated vertices whose cumulative profit meets or exceeds a given quota. The QSTPI introduces interference among vertices: Selecting certain vertices simultaneously reduces their individual contributions to the overall profit. This problem arises, for example, in positioning and connecting wind turbines, where turbines possibly shadow other turbines, reducing their energy yield. Unlike classical STP variants, large QSTPI instances require significantly more branching to compute provably optimal solutions. In contrast to branching on variables, we utilize the combinatorial structure of the QSTPI by branching on the graph's vertices. We adapt classical and problem-specific branching rules and present a comprehensive computational study comparing the effectiveness of these branching strategies.}, language = {en} } @inproceedings{VillimNguyenBobiketal.2025, author = {Villim, J{\´a}n and Nguyen, Martin and Bobik, Pavol and Genci, Jan and Gec{\´a}šek, Daniel}, title = {New Version of the COR Simulation Engine}, volume = {501}, booktitle = {Proceedings of 39th International Cosmic Ray Conference — PoS(ICRC2025)}, publisher = {Sissa Medialab}, address = {Trieste, Italy}, doi = {https://doi.org/10.22323/1.501.1377}, year = {2025}, abstract = {The COR simulation engine is a tool devoted to evaluating cosmic ray trajectories in Earth's magnetosphere. It is part of the COR System, available at https://cor.crmodels.org, and it also functions as a standalone command line tool. The former tool was published in 2022. We report the new version of the tool status with improved performance, precision, new functions/features, and refactored code.}, language = {en} } @inproceedings{KochKempkeLindneretal.2026, author = {Koch, Thorsten and Kempke, Nils-Christian and Lindner, Niels and Mehl, Lukas and Wetzel, Manuel and Zittel, Janina}, title = {High-Performance Robust Energy System Planning with Storage: A Single-LP Approach}, booktitle = {Proceedings of URBSENSE 2026 - 1st International Workshop on URBan SENSEmaking and Intelligence for Safer Cities}, year = {2026}, language = {en} } @inproceedings{SchemberaWuebbelingKleikampetal.2025, author = {Schembera, Bj{\"o}rn and W{\"u}bbeling, Frank and Kleikamp, Hendrik and Schmidt, Burkhard and Shehu, Aurela and Reidelbach, Marco and Biedinger, Christine and Fiedler, Jochen and Koprucki, Thomas and Iglezakis, Dorothea and G{\"o}ddeke, Dominik}, title = {Towards a Knowledge Graph for Models and Algorithms in Applied Mathematics}, volume = {2331}, booktitle = {Metadata and Semantic Research. MTSR 2024}, publisher = {Springer Nature Switzerland}, address = {Cham}, isbn = {9783031819735}, issn = {1865-0929}, doi = {10.1007/978-3-031-81974-2_8}, pages = {95 -- 109}, year = {2025}, abstract = {Mathematical models and algorithms are an essential part of mathematical research data, as they are epistemically grounding numerical data. To make this research data FAIR, we present how two previously distinct ontologies, MathAlgoDB for algorithms and MathModDB for models, were merged and extended into a living knowledge graph as the key outcome. This was achieved by connecting the ontologies through computational tasks that correspond to algorithmic tasks. Moreover, we show how models and algorithms can be enriched with subject-specific metadata, such as matrix symmetry or model linearity, essential for defining workflows and determining suitable algorithms. Additionally, we propose controlled vocabularies to be added, along with a new class that differentiates base quantities from specific use case quantities. We illustrate the capabilities of the developed knowledge graph using two detailed examples from different application areas of applied mathematics, having already integrated over 250 research assets into the knowledge graph.}, language = {en} } @inproceedings{SchummelTeichmannGonnermannMueller2025, author = {Schummel, Philip and Teichmann, Malte and Gonnermann-M{\"u}ller, Jana}, title = {Specifying ten roles of using chatgpt in secondary education: a teacher´s perspective}, booktitle = {Proceedings of the European Conference on Information Systems}, year = {2025}, abstract = {ChatGPT can benefit education; however, challenges arise that demand competent and responsible usage. Competence development needs to start in schools, with the teacher being the gatekeeper for integrating it into the teaching process. Existing research suggests that schoolteachers lack specific guidance on integrating ChatGPT into teaching, as current discussions remain high-level and omit specific use cases throughout the entire teaching process. To guide an informed usage, this paper presents the results of a systematic literature review, analyzing 38 selected papers on investigating ChatGPT in schools. This selection is based on rigorously defined criteria, adhering to the PRISMA guidelines, initially screening 1075 papers. The central value of this paper is to aggregate research into ten roles for secondary teachers on using ChatGPT in schools, presenting corresponding use cases throughout the teaching process. Future research validates the ten roles, conducting interviews with teachers to present an exhaustive framework for integrating ChatGPT in schoolteacher practice.}, language = {en} } @inproceedings{KeraPelleritiIshiharaetal.2025, author = {Kera, Hiroshi and Pelleriti, Nico and Ishihara, Yuki and Zimmer, Max and Pokutta, Sebastian}, title = {Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms}, booktitle = {Proceedings of the Conference on Neural Information Processing Systems}, year = {2025}, language = {en} } @inproceedings{GonnermannMuellerSahlingHaase2025, author = {Gonnermann-M{\"u}ller, Jana and Sahling, Kristina and Haase, Jennifer}, title = {Let's Be Realistic: AI-Recommender Use in a Complex Management Setting}, booktitle = {CHI EA '25: Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems}, doi = {10.1145/3706599.3720131}, year = {2025}, language = {en} } @inproceedings{GłuchTuranNagarajanetal.2025, author = {Głuch, Grzegorz and Turan, Berkant and Nagarajan, Sai Ganesh and Pokutta, Sebastian}, title = {The Good, the Bad and the Ugly: Meta-Analysis of Watermarks, Transferable Attacks and Adversarial Defenses}, booktitle = {Proceedings of the Conference on Neural Information Processing Systems}, year = {2025}, language = {en} } @inproceedings{GonnermannMuellerLeinsGronauetal.2024, author = {Gonnermann-M{\"u}ller, Jana and Leins, Nicolas and Gronau, Norbert and Kosch, Thomas}, title = {Value by design: Reducing Cognitive Load by Using Visual Guidance in Augmented RealityAn Eye-Tracking Study}, booktitle = {Proceedings of the International Conference on Information Systems}, year = {2024}, language = {en} } @inproceedings{GonnermannMuellerBrandenburgerVladovaetal.2023, author = {Gonnermann-M{\"u}ller, Jana and Brandenburger, Bonny and Vladova, Gergana and Gronau, Norbert}, title = {To What Extent Can Individualisation in Terms of Different Types of Mode Improve Learning Outcomes and Learner Satisfaction? A Pre-study}, booktitle = {Proceedings of the Hawaii International Conference on System Sciences}, year = {2023}, language = {en} } @inproceedings{KumanoKeraYamasaki2024, author = {Kumano, Soichiro and Kera, Hiroshi and Yamasaki, Toshihiko}, title = {Wide Two-Layer Networks can Learn from Adversarial Perturbations}, booktitle = {Proceedings of the Conference on Neural Information Processing Systems}, year = {2024}, language = {en} } @inproceedings{FukudaKeraKawamoto2025, author = {Fukuda, Takuma and Kera, Hiroshi and Kawamoto, Kazuhiko}, title = {Adapter Merging with Centroid Prototype Mapping for Scalable Class-Incremental Learning}, booktitle = {2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)}, doi = {10.1109/CVPR52734.2025.00460}, pages = {4884 -- 4893}, year = {2025}, language = {en} } @inproceedings{KeraIshiharaKambeetal.2024, author = {Kera, Hiroshi and Ishihara, Yuki and Kambe, Yuta and Vaccon, Tristan and Yokoyama, Kazuhiro}, title = {Learning to Compute Gr\"obner Bases}, booktitle = {Proceedings of the Conference on Neural Information Processing Systems}, year = {2024}, language = {en} } @inproceedings{ManogueSchangKuşetal.2025, author = {Manogue, Kevin and Schang, Tomasz and Ku{\c{s}}, Dilara and M{\"u}ller, Jonas and Zachow, Stefan and Sengupta, Agniva}, title = {Generalizing Shape-from-Template to Topological Changes}, booktitle = {Smart Tools and Applications in Graphics - Eurographics Italian Chapter Conference}, publisher = {The Eurographics Association}, isbn = {978-3-03868-296-7}, arxiv = {http://arxiv.org/abs/2511.03459}, doi = {10.2312/stag.20251322}, year = {2025}, abstract = {Reconstructing the surfaces of deformable objects from correspondences between a 3D template and a 2D image is well studied under Shape-from-Template (SfT) methods; however, existing approaches break down when topological changes accompany the deformation. We propose a principled extension of SfT that enables reconstruction in the presence of such changes. Our approach is initialized with a classical SfT solution and iteratively adapts the template by partitioning its spatial domain so as to minimize an energy functional that jointly encodes physical plausibility and reprojection consistency. We demonstrate that the method robustly captures a wide range of practically relevant topological events including tears and cuts on bounded 2D surfaces, thereby establishing the first general framework for topological-change-aware SfT. Experiments on both synthetic and real data confirm that our approach consistently outperforms baseline methods.}, language = {en} } @inproceedings{ZschiedrichBetzBinkowskietal.2025, author = {Zschiedrich, Lin and Betz, Fridtjof and Binkowski, Felix and Kuen, Lilli and Hammerschmidt, Martin and Burger, Sven}, title = {Efficient Photonic Component Analysis via AAA Rational Approximation}, booktitle = {2025 International Conference on Numerical Simulation of Optoelectronic Devices (NUSOD)}, doi = {10.1109/NUSOD64393.2025.11199710}, pages = {115 -- 116}, year = {2025}, language = {en} } @inproceedings{BortolettoLindner2025, author = {Bortoletto, Enrico and Lindner, Niels}, title = {Scaling and Rounding Periodic Event Scheduling Instances to Different Period Times}, booktitle = {Operations Research Proceedings 2023}, editor = {Voigt, Guido and Fliedner, Malte and Haase, Knut and Br{\"u}ggemann, Wolfgang and Hoberg, Kai and Meissner, J{\"o}rn}, doi = {10.1007/978-3-031-58405-3_51}, pages = {397 -- 402}, year = {2025}, abstract = {The Periodic Event Scheduling Problem (PESP) is a notoriously hard combinatorial optimization problem, essential for the design of periodic timetables in public transportation. The coefficients of the integer variables in the standard mixed integer linear programming formulations of PESP are the period time, e.g., 60 for a horizon of one hour with a resolution of one minute. In many application scenarios, lines with different frequencies have to be scheduled, leading to period times with many divisors. It then seems natural to consider derived instances, where the period time is a divisor of the original one, thereby smaller, and bounds are scaled and rounded accordingly. To this end, we identify two rounding schemes: wide and tight. We then discuss the approximation performance of both strategies, in theory and practice.}, language = {en} } @inproceedings{LindnerLiebchen2025, author = {Lindner, Niels and Liebchen, Christian}, title = {Incremental Heuristics for Periodic Timetabling}, booktitle = {Operations Research Proceedings 2023}, editor = {Voigt, Guido and Fliedner, Malte and Haase, Knut and Br{\"u}ggemann, Wolfgang and Hoberg, Kai and Meissner, J{\"o}rn}, publisher = {Springer Nature Switzerland}, address = {Cham}, doi = {10.1007/978-3-031-58405-3_59}, pages = {461 -- 467}, year = {2025}, abstract = {We present incremental heuristics for the Periodic Event Scheduling Problem (PESP), the standard mathematical tool to optimize periodic timetables in public transport. The core of our method is to solve successively larger subinstances making use of previously found solutions. Introducing the technical notion of free stratifications, we formulate a general scheme for incremental heuristics for PESP. More practically, we use line and station information to create heuristics that add lines or stations one by one, and we evaluate these heuristics on instances of the benchmarking library PESPlib. This approach is indeed viable, and leads to new incumbent solutions for six PESPlib instances.}, language = {en} } @inproceedings{LoebelLindner2025, author = {L{\"o}bel, Fabian and Lindner, Niels}, title = {A Geometric Approach to Integrated Periodic Timetabling and Passenger Routing}, volume = {137}, booktitle = {25th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2025)}, editor = {Sauer, Jonas and Schmidt, Marie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, isbn = {978-3-95977-404-8}, issn = {2190-6807}, doi = {10.4230/OASIcs.ATMOS.2025.2}, url = {http://nbn-resolving.de/urn:nbn:de:0030-drops-247580}, pages = {2:1 -- 2:19}, year = {2025}, abstract = {We offer a geometric perspective on the problem of integrated periodic timetabling and passenger routing in public transport. Inside the space of periodic tensions, we single out those regions, where the same set of paths provides shortest passenger routes. This results in a polyhedral subdivision, which we combine with the known decomposition by polytropes. On each maximal region of the common refinement, the integrated problem is solvable in polynomial time. We transform these insights into a new geometry-driven primal heuristic, integrated tropical neighborhood search (ITNS). Computationally, we compare implementations of ITNS and the integrated (restricted) modulo network simplex algorithm on the TimPassLib benchmark set, and contribute better solutions in terms of total travel time for all but one of the twenty-five instances for which a proven optimal solution is not yet known.}, language = {en} } @inproceedings{GhannamGleixner2025, author = {Ghannam, Mohammed and Gleixner, Ambros}, title = {Hybrid Genetic Search for Dynamic Vehicle Routing with Time Windows}, booktitle = {Operations Research Proceedings 2023. OR 2023}, doi = {10.1007/978-3-031-58405-3_35}, year = {2025}, language = {en} } @inproceedings{JaegerMandalRandetal.2025, author = {J{\"a}ger, Klaus and Mandal, Jyotirmoy and Rand, Barry P. and Meggers, Forrest and Becker, Christiane}, title = {Thermal Management of Solar Modules with Infrared-Antireflective Coatings}, volume = {SOLITH}, booktitle = {Advanced Photonics Congress}, doi = {10.1364/SOLITH.2025.SM4E.2}, pages = {SM4E.2}, year = {2025}, language = {en} } @inproceedings{SchneiderSekulicPlocketal.2025, author = {Schneider, Philipp-Immanuel and Sekulic, Ivan and Plock, Matthias and Hammerschmidt, Martin and Rodt, Sven and Reitzenstein, Stephan and Burger, Sven}, title = {Physics-informed Bayesian optimization of nanophotonic devices}, volume = {IPRSN}, booktitle = {Advanced Photonics Congress}, doi = {10.1364/IPRSN.2025.ITu1A.2}, pages = {ITu1A.2}, year = {2025}, language = {en} } @inproceedings{ChenRichterBerneretal.2025, author = {Chen, Junhua and Richter, Lorenz and Berner, Julius and Blessing, Denis and Neumann, Gerhard and Anandkumar, Anima}, title = {Sequential Controlled Langevin Diffusions}, booktitle = {13th International Conference on Learning Representations (ICLR 2025)}, arxiv = {http://arxiv.org/abs/2412.07081}, year = {2025}, abstract = {An effective approach for sampling from unnormalized densities is based on the idea of gradually transporting samples from an easy prior to the complicated target distribution. Two popular methods are (1) Sequential Monte Carlo (SMC), where the transport is performed through successive annealed densities via prescribed Markov chains and resampling steps, and (2) recently developed diffusion-based sampling methods, where a learned dynamical transport is used. Despite the common goal, both approaches have different, often complementary, advantages and drawbacks. The resampling steps in SMC allow focusing on promising regions of the space, often leading to robust performance. While the algorithm enjoys asymptotic guarantees, the lack of flexible, learnable transitions can lead to slow convergence. On the other hand, diffusion-based samplers are learned and can potentially better adapt themselves to the target at hand, yet often suffer from training instabilities. In this work, we present a principled framework for combining SMC with diffusion-based samplers by viewing both methods in continuous time and considering measures on path space. This culminates in the new Sequential Controlled Langevin Diffusion (SCLD) sampling method, which is able to utilize the benefits of both methods and reaches improved performance on multiple benchmark problems, in many cases using only 10\% of the training budget of previous diffusion-based samplers.}, language = {en} } @inproceedings{BlessingBernerRichteretal.2025, author = {Blessing, Denis and Berner, Julius and Richter, Lorenz and Neumann, Gerhard}, title = {Underdamped Diffusion Bridges with Applications to Sampling}, booktitle = {13th International Conference on Learning Representations (ICLR 2025)}, arxiv = {http://arxiv.org/abs/2503.01006}, year = {2025}, abstract = {We provide a general framework for learning diffusion bridges that transport prior to target distributions. It includes existing diffusion models for generative modeling, but also underdamped versions with degenerate diffusion matrices, where the noise only acts in certain dimensions. Extending previous findings, our framework allows to rigorously show that score matching in the underdamped case is indeed equivalent to maximizing a lower bound on the likelihood. Motivated by superior convergence properties and compatibility with sophisticated numerical integration schemes of underdamped stochastic processes, we propose \emph{underdamped diffusion bridges}, where a general density evolution is learned rather than prescribed by a fixed noising process. We apply our method to the challenging task of sampling from unnormalized densities without access to samples from the target distribution. Across a diverse range of sampling problems, our approach demonstrates state-of-the-art performance, notably outperforming alternative methods, while requiring significantly fewer discretization steps and no hyperparameter tuning.}, language = {en} } @inproceedings{BrenceFuchsHiesingeretal.2025, author = {Brence, Blaž and Fuchs, Joachim and Hiesinger, Peter Robin and Baum, Daniel}, title = {Fully automated quantification of synaptic locations in multi-channel Drosophila photoreceptor microscopy data}, booktitle = {Eurographics Workshop on Visual Computing for Biology and Medicine}, editor = {Garrison, Laura and Krueger, Robert}, doi = {10.2312/vcbm.20251254}, year = {2025}, abstract = {The workload posed by image analysis remains a major bottleneck for advances across the life sciences. To address this challenge, we have developed a fully automated workflow for processing complex 3D multi-channel microscopy images. Specifically, our workflow addresses the analysis of photoreceptor synapses in confocal images of the Drosophila melanogaster optic lobe. The workflow consists of multiple stages, combining traditional and machine learning-based approaches for image analysis and visual computing. It performs segmentation of brain regions, photoreceptor instance identification, and precise localization of synapses. The key novelty of the workflow is an automatic alignment of synapses into a cylindrical reference coordinate system, enabling comparative synaptic analysis across photoreceptors. To demonstrate the workflow's applicability, preliminary biological results and their interpretation based on 50 images are presented. While the workflow is still being improved further, here, we showcase its capacity for efficient and objective data processing for high-throughput neurobiological analyses.}, language = {en} } @inproceedings{HammerschmidtPlockBurgeretal.2025, author = {Hammerschmidt, Martin and Plock, Matthias and Burger, Sven and Truong, Vinh and Soltwisch, Victor and Schneider, Philipp-Immanuel}, title = {Machine learning approach for full Bayesian parameter reconstruction}, volume = {13568}, booktitle = {Proc. SPIE}, doi = {10.1117/12.3062268}, pages = {1356806}, year = {2025}, language = {en} } @inproceedings{SekulicSchneiderHammerschmidtetal.2025, author = {Sekulic, Ivan and Schneider, Philipp-Immanuel and Hammerschmidt, Martin and Schaible, Jonas and Burger, Sven}, title = {Physics informed Bayesian optimization for inverse design of diffractive optical elements}, volume = {PC13573}, booktitle = {Proc. SPIE}, doi = {10.1117/12.3064372}, pages = {PC135730R}, year = {2025}, language = {en} } @inproceedings{RiedmuellerZittelKoch2026, author = {Riedm{\"u}ller, Stephanie and Zittel, Janina and Koch, Thorsten}, title = {Warm-starting Strategies in Scalarization Methods for Multi-Objective Optimization}, booktitle = {Operations Research Proceedings 2025}, arxiv = {http://arxiv.org/abs/2507.21933}, year = {2026}, abstract = {We explore how warm-starting strategies can be integrated into scalarization-based approaches for multi-objective optimization in (mixed) integer linear programming. Scalarization methods remain widely used classical techniques to compute Pareto-optimal solutions in applied settings. They are favored due to their algorithmic simplicity and broad applicability across continuous and integer programs with an arbitrary number of objectives. While warm-starting has been applied in this context before, a systematic methodology and analysis remain lacking. We address this gap by providing a theoretical characterization of warm-starting within scalarization methods, focusing on the sequencing of subproblems. However, optimizing the order of subproblems to maximize warm-start efficiency may conflict with alternative criteria, such as early identification of infeasible regions. We quantify these trade-offs through an extensive computational study.}, language = {en} } @inproceedings{FayadZimmerSchwartzetal.2025, author = {Fayad, Ibrahim and Zimmer, Max and Schwartz, Martin and Ciais, Philippe and Gieseke, Fabian and Belouze, Gabriel and Brood, Sarah and De Truchis, Aurelien and d'Aspremont, Alexandre}, title = {DUNIA: Pixel-Sized Embeddings via Cross-Modal Alignment for Earth Observation Applications}, volume = {267}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, arxiv = {http://arxiv.org/abs/2502.17066}, pages = {16375 -- 16406}, year = {2025}, language = {en} } @inproceedings{PaulsZimmerTuranetal.2025, author = {Pauls, Jan and Zimmer, Max and Turan, Berkant and Saatchi, Sassan and Ciais, Philippe and Pokutta, Sebastian and Gieseke, Fabian}, title = {Capturing Temporal Dynamics in Large-Scale Canopy Tree Height Estimation}, volume = {267}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, arxiv = {http://arxiv.org/abs/2501.19328}, pages = {48422 -- 48438}, year = {2025}, language = {en} } @inproceedings{MundingerZimmerKiemetal.2025, author = {Mundinger, Konrad and Zimmer, Max and Kiem, Aldo and Spiegel, Christoph and Pokutta, Sebastian}, title = {Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?}, volume = {267}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, arxiv = {http://arxiv.org/abs/2501.18527}, pages = {45236 -- 45255}, year = {2025}, language = {en} } @inproceedings{PelleritiZimmerWirthetal.2025, author = {Pelleriti, Nico and Zimmer, Max and Wirth, Elias and Pokutta, Sebastian}, title = {Approximating Latent Manifolds in Neural Networks via Vanishing Ideals}, volume = {267}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, arxiv = {http://arxiv.org/abs/2502.15051}, pages = {48734 -- 48761}, year = {2025}, language = {en} } @inproceedings{RouxMartinezRubioPokutta2025, author = {Roux, Christophe and Mart{\´i}nez-Rubio, David and Pokutta, Sebastian}, title = {Implicit Riemannian optimism with applications to min-max problems}, volume = {267}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, arxiv = {http://arxiv.org/abs/2501.18381}, pages = {52139 -- 52172}, year = {2025}, language = {en} } @inproceedings{TuranAsadullaSteinmannetal.2025, author = {Turan, Berkant and Asadulla, Suhrab and Steinmann, David and Stammer, Wolfgang and Pokutta, Sebastian}, title = {Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings}, booktitle = {Proceedings of the ICML Workshop on Actionable Interpretability}, year = {2025}, language = {en} } @inproceedings{XuMexiBestuzheva2025, author = {Xu, Liding and Mexi, Gioni and Bestuzheva, Ksenia}, title = {Sparsity-driven Aggregation of Mixed Integer Programs}, volume = {338}, booktitle = {23rd International Symposium on Experimental Algorithms (SEA 2025)}, address = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik}, doi = {10.4230/LIPIcs.SEA.2025.27}, pages = {27:1 -- 27:15}, year = {2025}, language = {en} } @inproceedings{HendrychBesanconMartinezRubioetal.2025, author = {Hendrych, Deborah and Besan{\c{c}}on, Mathieu and Mart{\´i}nez-Rubio, David and Pokutta, Sebastian}, title = {Secant line search for Frank-Wolfe algorithms}, volume = {267}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, arxiv = {http://arxiv.org/abs/2501.18775}, pages = {23005 -- 23029}, year = {2025}, language = {en} } @inproceedings{HaaseHanelPokutta2025, author = {Haase, Jennifer and Hanel, Paul H. P. and Pokutta, Sebastian}, title = {S-DAT: a multilingual, GenAI-driven framework for automated divergent thinking assessment}, volume = {8}, booktitle = {Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society (AIES)}, pages = {1194 -- 1205}, year = {2025}, language = {en} } @inproceedings{UrbanoRomero2024, author = {Urbano, Alonso and Romero, David W.}, title = {Self-Supervised Detection of Perfect and Partial Input-Dependent Symmetries}, booktitle = {Proceedings of the Geometry-grounded Representation Learning and Generative Modeling Workshop (GRaM) at ICML 2024}, year = {2024}, language = {en} } @inproceedings{LoebelBorndoerferWeider2025, author = {L{\"o}bel, Fabian and Bornd{\"o}rfer, Ralf and Weider, Steffen}, title = {Non-linear Battery Behavior in Electric Vehicle Scheduling Problems}, booktitle = {Operations Research Proceedings 2023. OR 2023.}, editor = {Voigt, Guido and Fliedner, Malte and Haase, Knut and Br{\"u}ggermann, Wolfgang and Hoberg, Kai and Meissner, Joern}, publisher = {Springer Nature Switzerland}, address = {Cham}, isbn = {9783031584046}, issn = {2731-040X}, doi = {10.1007/978-3-031-58405-3_53}, pages = {415 -- 421}, year = {2025}, abstract = {The currently most popular approach to handle non-linear battery behavior for electric vehicle scheduling is to use a linear spline interpolation of the charge curve. We show that this can lead to approximate models that underestimate the charge duration and overestimate the state of charge, which is not desirable. While the error is of second order with respect to the interpolation step size, the associated mixed-integer linear programs do not scale well with the number of spline segments. It is therefore recommendable to use coarse interpolation grids adapted to the curvature of the charge curve, and to include sufficient safety margins to ensure solutions of approximate models remain feasible subjected to the exact charge curve.}, language = {en} } @inproceedings{MaignantConradvonTycowicz2025, author = {Maignant, Elodie and Conrad, Tim and von Tycowicz, Christoph}, title = {Tree inference with varifold distances}, volume = {16034}, booktitle = {Geometric Science of Information. GSI 2025}, arxiv = {http://arxiv.org/abs/2507.11313}, doi = {10.1007/978-3-032-03921-7_30}, year = {2025}, abstract = {In this paper, we consider a tree inference problem motivated by the critical problem in single-cell genomics of reconstructing dynamic cellular processes from sequencing data. In particular, given a population of cells sampled from such a process, we are interested in the problem of ordering the cells according to their progression in the process. This is known as trajectory inference. If the process is differentiation, this amounts to reconstructing the corresponding differentiation tree. One way of doing this in practice is to estimate the shortest-path distance between nodes based on cell similarities observed in sequencing data. Recent sequencing techniques make it possible to measure two types of data: gene expression levels, and RNA velocity, a vector that predicts changes in gene expression. The data then consist of a discrete vector field on a (subset of a) Euclidean space of dimension equal to the number of genes under consideration. By integrating this velocity field, we trace the evolution of gene expression levels in each single cell from some initial stage to its current stage. Eventually, we assume that we have a faithful embedding of the differentiation tree in a Euclidean space, but which we only observe through the curves representing the paths from the root to the nodes. Using varifold distances between such curves, we define a similarity measure between nodes which we prove approximates the shortest-path distance in a tree that is isomorphic to the target tree.}, language = {en} } @inproceedings{KuntBuchholzKhebourietal.2025, author = {Kunt, Tim and Buchholz, Annika and Khebouri, Imene and Koch, Thorsten and Litzel, Ida and Vu, Thi Huong}, title = {Mapping the Web of Science, a large-scale graph and text-based dataset with LLM embeddings}, booktitle = {Operations Research Proceedings 2025. OR 2025}, issn = {1438-0064}, doi = {10.12752/10064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-100646}, year = {2025}, abstract = {Large text data sets, such as publications, websites, and other text-based media, inherit two distinct types of features: (1) the text itself, its information conveyed through semantics, and (2) its relationship to other texts through links, references, or shared attributes. While the latter can be described as a graph structure and can be handled by a range of established algorithms for classification and prediction, the former has recently gained new potential through the use of LLM embedding models. Demonstrating these possibilities and their practicability, we investigate the Web of Science dataset, containing ~56 million scientific publications through the lens of our proposed embedding method, revealing a self-structured landscape of texts.}, language = {en} } @inproceedings{StokkeBergmannHaniketal.2025, author = {Stokke, Jo Andersson and Bergmann, Ronny and Hanik, Martin and von Tycowicz, Christoph}, title = {p-Laplacians for Manifold-valued Hypergraphs}, volume = {16035}, booktitle = {Geometric Science of Information. GSI 2025}, arxiv = {http://arxiv.org/abs/2507.10335}, doi = {10.1007/978-3-032-03924-8_17}, year = {2025}, abstract = {Hypergraphs extend traditional graphs by enabling the representation of N-ary relationships through higher-order edges. Akin to a common approach of deriving graph Laplacians, we define function spaces and corresponding symmetric products on the nodes and edges to derive hypergraph Laplacians. While this has been done before for Euclidean features, this work generalizes previous hypergraph Laplacian approaches to accommodate manifold-valued hypergraphs for many commonly encountered manifolds.}, language = {en} } @inproceedings{LoesserSchlechtSchintkeetal.2025, author = {L{\"o}ßer, Ansgar and Schlecht, Max and Schintke, Florian and Witzke, Joel and Weidlich, Matthias and Scheuermann, Bj{\"o}rn}, title = {Fast Min-ϵ Segmented Regression using Constant-Time Segment Merging}, volume = {267}, booktitle = {Proceedings of the 42nd International Conference on Machine Learning}, pages = {40312 -- 40327}, year = {2025}, language = {en} }