@inproceedings{WeinholdLackorzynskiBierbaumetal.2019, author = {Weinhold, Carsten and Lackorzynski, Adam and Bierbaum, Jan and K{\"u}ttler, Martin and Planeta, Maksym and Weisbach, Hannes and Hille, Matthias and H{\"a}rtig, Hermann and Margolin, Alexander and Sharf, Dror and Levy, Ely and Gak, Pavel and Barak, Amnon and Gholami, Masoud and Schintke, Florian and Sch{\"u}tt, Thorsten and Reinefeld, Alexander and Lieber, Matthias and Nagel, Wolfgang}, title = {FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing}, booktitle = {Software for Exascale Computing - SPPEXA 2016-2019}, publisher = {Springer}, doi = {10.1007/978-3-030-47956-5_16}, pages = {483 -- 516}, year = {2019}, language = {en} } @article{EnkeSteinmetzAdorfetal.2011, author = {Enke, Harry and Steinmetz, Matthias and Adorf, Hans-Martin and Beck-Ratzka, Alexander and Breitling, Frank and Br{\"u}semeister, Thomas and Carlson, Arthur and Ensslin, Torsten and H{\"o}gqvist, Mikael and Nickelt, Iliya and Radke, Thomas and Reinefeld, Alexander and Reiser, Angelika and Scholl, Tobias and Spurzem, Rainer and Steinacker, J{\"u}rgen and Voges, Wolfgang and Wambsganß, Joachim and White, Steve}, title = {AstroGrid-D: Grid technology for astronomical science}, volume = {16}, journal = {New Astronomy}, number = {2}, doi = {10.1016/j.newast.2010.07.005}, pages = {79 -- 93}, year = {2011}, language = {en} } @article{SekuboyinaBayatHusseinietal.2020, author = {Sekuboyina, Anjany and Bayat, Amirhossein and Husseini, Malek E. and L{\"o}ffler, Maximilian and Li, Hongwei and Tetteh, Giles and Kukačka, Jan and Payer, Christian and Štern, Darko and Urschler, Martin and Chen, Maodong and Cheng, Dalong and Lessmann, Nikolas and Hu, Yujin and Wang, Tianfu and Yang, Dong and Xu, Daguang and Ambellan, Felix and Amiranashvili, Tamaz and Ehlke, Moritz and Lamecker, Hans and Lehnert, Sebastian and Lirio, Marilia and de Olaguer, Nicol{\´a}s P{\´e}rez and Ramm, Heiko and Sahu, Manish and Tack, Alexander and Zachow, Stefan and Jiang, Tao and Ma, Xinjun and Angerman, Christoph and Wang, Xin and Wei, Qingyue and Brown, Kevin and Wolf, Matthias and Kirszenberg, Alexandre and Puybareau, {\´E}lodie and Valentinitsch, Alexander and Rempfler, Markus and Menze, Bj{\"o}rn H. and Kirschke, Jan S.}, title = {VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images}, journal = {arXiv}, arxiv = {http://arxiv.org/abs/2001.09193}, year = {2020}, language = {en} } @article{SchimunekSeidlElezetal.2024, author = {Schimunek, Johannes and Seidl, Philipp and Elez, Katarina and Hempel, Tim and Le, Tuan and No{\´e}, Frank and Olsson, Simon and Raich, Llu{\´i}s and Winter, Robin and Gokcan, Hatice and Gusev, Filipp and Gutkin, Evgeny M. and Isayev, Olexandr and Kurnikova, Maria G. and Narangoda, Chamali H. and Zubatyuk, Roman and Bosko, Ivan P. and Furs, Konstantin V. and Karpenko, Anna D. and Kornoushenko, Yury V. and Shuldau, Mikita and Yushkevich, Artsemi and Benabderrahmane, Mohammed B. and Bousquet-Melou, Patrick and Bureau, Ronan and Charton, Beatrice and Cirou, Bertrand C. and Gil, G{\´e}rard and Allen, William J. and Sirimulla, Suman and Watowich, Stanley and Antonopoulos, Nick and Epitropakis, Nikolaos and Krasoulis, Agamemnon and Itsikalis, Vassilis and Theodorakis, Stavros and Kozlovskii, Igor and Maliutin, Anton and Medvedev, Alexander and Popov, Petr and Zaretckii, Mark and Eghbal-Zadeh, Hamid and Halmich, Christina and Hochreiter, Sepp and Mayr, Andreas and Ruch, Peter and Widrich, Michael and Berenger, Francois and Kumar, Ashutosh and Yamanishi, Yoshihiro and Zhang, Kam Y. J. and Bengio, Emmanuel and Bengio, Yoshua and Jain, Moksh J. and Korablyov, Maksym and Liu, Cheng-Hao and Marcou, Gilles and Glaab, Enrico and Barnsley, Kelly and Iyengar, Suhasini M. and Ondrechen, Mary Jo and Haupt, V. Joachim and Kaiser, Florian and Schroeder, Michael and Pugliese, Luisa and Albani, Simone and Athanasiou, Christina and Beccari, Andrea and Carloni, Paolo and D'Arrigo, Giulia and Gianquinto, Eleonora and Goßen, Jonas and Hanke, Anton and Joseph, Benjamin P. and Kokh, Daria B. and Kovachka, Sandra and Manelfi, Candida and Mukherjee, Goutam and Mu{\~n}iz-Chicharro, Abraham and Musiani, Francesco and Nunes-Alves, Ariane and Paiardi, Giulia and Rossetti, Giulia and Sadiq, S. Kashif and Spyrakis, Francesca and Talarico, Carmine and Tsengenes, Alexandros and Wade, Rebecca C. and Copeland, Conner and Gaiser, Jeremiah and Olson, Daniel R. and Roy, Amitava and Venkatraman, Vishwesh and Wheeler, Travis J. and Arthanari, Haribabu and Blaschitz, Klara and Cespugli, Marco and Durmaz, Vedat and Fackeldey, Konstantin and Fischer, Patrick D. and Gorgulla, Christoph and Gruber, Christian and Gruber, Karl and Hetmann, Michael and Kinney, Jamie E. and Padmanabha Das, Krishna M. and Pandita, Shreya and Singh, Amit and Steinkellner, Georg and Tesseyre, Guilhem and Wagner, Gerhard and Wang, Zi-Fu and Yust, Ryan J. and Druzhilovskiy, Dmitry S. and Filimonov, Dmitry A. and Pogodin, Pavel V. and Poroikov, Vladimir and Rudik, Anastassia V. and Stolbov, Leonid A. and Veselovsky, Alexander V. and De Rosa, Maria and De Simone, Giada and Gulotta, Maria R. and Lombino, Jessica and Mekni, Nedra and Perricone, Ugo and Casini, Arturo and Embree, Amanda and Gordon, D. Benjamin and Lei, David and Pratt, Katelin and Voigt, Christopher A. and Chen, Kuang-Yu and Jacob, Yves and Krischuns, Tim and Lafaye, Pierre and Zettor, Agn{\`e}s and Rodr{\´i}guez, M. Luis and White, Kris M. and Fearon, Daren and Von Delft, Frank and Walsh, Martin A. and Horvath, Dragos and Brooks III, Charles L. and Falsafi, Babak and Ford, Bryan and Garc{\´i}a-Sastre, Adolfo and Yup Lee, Sang and Naffakh, Nadia and Varnek, Alexandre and Klambauer, G{\"u}nter and Hermans, Thomas M.}, title = {A community effort in SARS-CoV-2 drug discovery}, volume = {43}, journal = {Molecular Informatics}, number = {1}, doi = {https://doi.org/10.1002/minf.202300262}, pages = {e202300262}, year = {2024}, language = {en} } @article{LuetzkendorfMatkovicRachidLiuetal.2025, author = {L{\"u}tzkendorf, Janine and Matkovic-Rachid, Tanja and Liu, Sunbin and G{\"o}tz, Torsten and Gao, Lili and Turrel, Oriane and Maglione, Marta and Grieger, Melanie and Putignano, Sabrina and Ramesh, Niraja and Ghelani, Tina and Neumann, Alexander and Gimber, Niclas and Schmoranzer, Jan and Stawrakakis, Anastasia and Brence, Blaž and Baum, Daniel and Ludwig, Kai and Heine, Martin and Mielke, Thorsten and Liu, Fan and Walter, Alexander and Wahl, Markus and Sigrist, Stephan}, title = {Blobby is a synaptic active zone assembly protein required for memory in Drosophila}, volume = {16}, journal = {Nature Communications}, doi = {10.1038/s41467-024-55382-9}, year = {2025}, language = {en} } @article{SekuboyinaHusseiniBayatetal.2021, author = {Sekuboyina, Anjany and Husseini, Malek E. and Bayat, Amirhossein and L{\"o}ffler, Maximilian and Liebl, Hans and Li, Hongwei and Tetteh, Giles and Kukačka, Jan and Payer, Christian and Štern, Darko and Urschler, Martin and Chen, Maodong and Cheng, Dalong and Lessmann, Nikolas and Hu, Yujin and Wang, Tianfu and Yang, Dong and Xu, Daguang and Ambellan, Felix and Amiranashvili, Tamaz and Ehlke, Moritz and Lamecker, Hans and Lehnert, Sebastian and Lirio, Marilia and de Olaguer, Nicol{\´a}s P{\´e}rez and Ramm, Heiko and Sahu, Manish and Tack, Alexander and Zachow, Stefan and Jiang, Tao and Ma, Xinjun and Angerman, Christoph and Wang, Xin and Brown, Kevin and Kirszenberg, Alexandre and Puybareau, {\´E}lodie and Chen, Di and Bai, Yiwei and Rapazzo, Brandon H. and Yeah, Timyoas and Zhang, Amber and Xu, Shangliang and Hou, Feng and He, Zhiqiang and Zeng, Chan and Xiangshang, Zheng and Liming, Xu and Netherton, Tucker J. and Mumme, Raymond P. and Court, Laurence E. and Huang, Zixun and He, Chenhang and Wang, Li-Wen and Ling, Sai Ho and Huynh, L{\^e} Duy and Boutry, Nicolas and Jakubicek, Roman and Chmelik, Jiri and Mulay, Supriti and Sivaprakasam, Mohanasankar and Paetzold, Johannes C. and Shit, Suprosanna and Ezhov, Ivan and Wiestler, Benedikt and Glocker, Ben and Valentinitsch, Alexander and Rempfler, Markus and Menze, Bj{\"o}rn H. and Kirschke, Jan S.}, title = {VerSe: A Vertebrae labelling and segmentation benchmark for multi-detector CT images}, volume = {73}, journal = {Medical Image Analysis}, doi = {10.1016/j.media.2021.102166}, year = {2021}, abstract = {Vertebral labelling and segmentation are two fundamental tasks in an automated spine processing pipeline. Reliable and accurate processing of spine images is expected to benefit clinical decision support systems for diagnosis, surgery planning, and population-based analysis of spine and bone health. However, designing automated algorithms for spine processing is challenging predominantly due to considerable variations in anatomy and acquisition protocols and due to a severe shortage of publicly available data. Addressing these limitations, the Large Scale Vertebrae Segmentation Challenge (VerSe) was organised in conjunction with the International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI) in 2019 and 2020, with a call for algorithms tackling the labelling and segmentation of vertebrae. Two datasets containing a total of 374 multi-detector CT scans from 355 patients were prepared and 4505 vertebrae have individually been annotated at voxel level by a human-machine hybrid algorithm (https://osf.io/nqjyw/, https://osf.io/t98fz/). A total of 25 algorithms were benchmarked on these datasets. In this work, we present the results of this evaluation and further investigate the performance variation at the vertebra level, scan level, and different fields of view. We also evaluate the generalisability of the approaches to an implicit domain shift in data by evaluating the top-performing algorithms of one challenge iteration on data from the other iteration. The principal takeaway from VerSe: the performance of an algorithm in labelling and segmenting a spine scan hinges on its ability to correctly identify vertebrae in cases of rare anatomical variations. The VerSe content and code can be accessed at: https://github.com/anjany/verse.}, language = {en} } @article{FuegenschuhGoettlichHertyetal.2008, author = {F{\"u}genschuh, Armin and G{\"o}ttlich, Simone and Herty, Michael and Klar, Alexander and Martin, Alexander}, title = {A Discrete Optimization Approach to Large Scale Supply Networks Based on Partial Differential Equations}, volume = {30}, journal = {SIAM Journal on Scientific Computing}, number = {3}, pages = {1490 -- 1507}, year = {2008}, language = {en} } @misc{GroetschelMartinWeismantel1995, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Optimum Path Packing on Wheels: The Consecutive Case}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1976}, number = {SC-95-31}, year = {1995}, abstract = {We show that, given a wheel with nonnegative edge lengths and pairs of terminals located on the wheel's outer cycle such that the terminal pairs are in consecutive order, then a path packing, i.~e., a collection of edge disjoint paths connecting the given terminal pairs, of minimum length can be found in strongly polynomial time. Moreover, we exhibit for this case a system of linear inequalities that provides a complete and nonredundant description of the path packing polytope, which is the convex hull of all incidence vectors of path packings and their supersets.}, language = {en} } @misc{GroetschelMartinWeismantel1994, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {The Steiner Tree Packing Problem in VLSI-Design.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1328}, number = {SC-94-02}, year = {1994}, abstract = {In this paper we describe several versions of the routing problem arising in VLSI design and indicate how the Steiner tree packing problem can be used to model these problems mathematically. We focus on switchbox routing problems and provide integer programming formulations for routing in the knock-knee and in the Manhattan model. We give a brief sketch of cutting plane algorithms that we developed and implemented for these two models. We report on computational experiments using standard test instances. Our codes are able to determine optimum solutions in most cases, and in particular, we can show that some of the instances have no feasible solution if Manhattan routing is used instead of knock-knee routing.}, language = {en} } @misc{GroetschelMartinWeismantel1993, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Optimum Path Packing on Wheels: The Noncrossing Case.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1225}, number = {SC-93-26}, year = {1993}, abstract = {We show that, given a wheel with nonnegative edge lengths and pairs of terminals located on the wheel's outer cycle such that no two terminal pairs cross, then a path packing, i.~e.,a collection of edge disjoint paths connecting the given terminal pairs, of minimum length can be found in strongly polynomial time. Moreover, we exhibit for this case a system of linear inequalities that provides a complete and nonredundant description of the path packing polytope, which is the convex hull of all incidence vectors of path packings and their supersets.}, language = {en} } @misc{GroetschelMartinWeismantel1992, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner Trees: Polyhedral Investigations.}, doi = {10.1007/BF02592085}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-786}, number = {SC-92-08}, year = {1992}, abstract = {Let \$G=(V,E)\$ be a graph and \$T\subseteq V\$ be a node set. We call an edge set \$S\$ a Steiner tree with respect to \$T\$ if \$S\$ connects all pairs of nodes in \$T\$. In this paper we address the following problem, which we call the weighted Steiner tree packing problem. Given a graph \$G=(V,E)\$ with edge weights \$w_e\$, edge capacities \$c_e, e \in E,\$ and node sets \$T_1,\ldots,T_N\$, find edge sets \$S_1,\ldots,S_N\$ such that each \$S_k\$ is a Steiner tree with respect to \$T_k\$, at most \$c_e\$ of these edge sets use edge \$e\$ for each \$e\in E\$, and such that the sum of the weights of the edge sets is minimal. Our motivation for studying this problem arises from the routing problem in VLSI-design, where given sets of points have to be connected by wires. We consider the Steiner tree packing Problem from a polyhedral point of view and define an appropriate polyhedron, called the Steiner tree packing polyhedron. The goal of this paper is to (partially) describe this polyhedron by means of inequalities. It turns out that, under mild assumptions, each inequality that defines a facet for the (single) Steiner tree polyhedron can be lifted to a facet-defining inequality for the Steiner tree packing polyhedron. The main emphasis of this paper lies on the presentation of so-called joint inequalities that are valid and facet-defining for this polyhedron. Inequalities of this kind involve at least two Steiner trees. The classes of inequalities we have found form the basis of a branch \& cut algorithm. This algorithm is described in our companion paper SC 92-09.}, language = {en} } @misc{GroetschelMartinWeismantel1992, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiners Trees: A Cutting Plane Algorithm and Computational Results.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-792}, number = {SC-92-09}, year = {1992}, abstract = {In this paper we describe a cutting plane algorithm for the Steiner tree packing problem. We use our algorithm to solve some switchbox routing problems of VLSI-design and report on our computational experience. This includes a brief discussion of separation algorithms, a new LP-based primal heuristic and implementation details. The paper is based on the polyhedral theory for the Steiner tree packing polyhedron developed in our companion paper SC 92-8 and meant to turn this theory into an algorithmic tool for the solution of practical problems.}, language = {en} } @misc{FerreiraGroetschelKiefletal.1993, author = {Ferreira, Carlos E. and Gr{\"o}tschel, Martin and Kiefl, Stefan and Krispenz, Ludwig and Martin, Alexander and Weismantel, Robert}, title = {Some Integer Programs Arising in the Design of Main Frame Computers.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-957}, number = {SC-92-25}, year = {1993}, abstract = {In this paper we describe and discuss a problem that arises in the (global) design of a main frame computer. The task is to assign certain functional units to a given number of so called multi chip modules or printed circuit boards taking into account many technical constraints and minimizing a complex objective function. We describe the real world problem. A thorough mathematical modelling of all aspects of this problem results in a rather complicated integer program that seems to be hopelessly difficult -- at least for the present state of integer programming technology. We introduce several relaxations of the general model, which are also \$NP\$-hard, but seem to be more easily accessible. The mathematical relations between the relaxations and the exact formulation of the problem are discussed as well.}, language = {en} } @misc{GroetschelMartinWeismantel1992, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Routing in Grid Graphs by Cutting Planes.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-967}, number = {SC-92-26}, year = {1992}, abstract = {{\def\N{{\cal N}} \def\R{\hbox{\rm I\kern-2pt R}} \def\MN{{\rm I\kern-2pt N}} In this paper we study the following problem, which we call the weighted routing problem. Let be given a graph \$G=(V,E)\$ with non-negative edge weights \$w_e\in\R_+\$ and integer edge capacities \$c_e\in\MN\$ and let \$\N=\{T_1,\ldots,T_N\}\$, \$N\ge 1\$, be a list of node sets. The weighted routing problem consists in finding edge sets \$S_1,\ldots,S_N\$ such that, for each \$k\in\{1,\ldots,N\}\$, the subgraph \$(V(S_k),S_k)\$ contains an \$[s,t]\$-path for all \$s,t\in T_k\$, at most \$c_e\$ of these edge sets use edge \$e\$ for each \$e\in E\$, and such that the sum of the weights of the edge sets is minimal. Our motivation for studying this problem arises from the routing problem in VLSI-design, where given sets of points have to be connected by wires. We consider the weighted routing problem from a polyhedral point of view. We define an appropriate polyhedron and try to (partially) describe this polyhedron by means of inequalities. We briefly sketch our separation algorithms for some of the presented classes of inequalities. Based on these separation routines we have implemented a branch and cut algorithm. Our algorithm is applicable to an important subclass of routing problems arising in VLSI-design, namely to problems where the underlying graph is a grid graph and the list of node sets is located on the outer face of the grid. We report on our computational experience with this class of problem instances.}}, language = {en} } @misc{GroetschelMartinWeismantel1992, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner Trees: Further Facets.}, doi = {10.1006/eujc.1996.0004}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-975}, number = {SC-93-01}, year = {1992}, abstract = {In this paper we continue the investigations in [GMW92a] for the \def\sbppo{Steiner tree packing polyhedron} \sbppo. We present several new classes of valid inequalities and give sufficient (and necessary) conditions for these inequalities to be facet-defining. It is intended to incorporate these inequalities into an existing cutting plane algorithm that is applicable to practical problems arising in the design of electronic circuits.}, language = {en} } @misc{GroetschelMartinWeismantel1992, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner Trees: Separation Algorithms.}, doi = {10.1137/S0895480193258716}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-984}, number = {SC-93-02}, year = {1992}, abstract = {In this paper we investigate separation problems for classes of inequalities valid for the polytope associated with the Steiner tree packing problem, a problem that arises, e.~g., in VLSI routing. The separation problem for Steiner partition inequalities is \${\cal N}\hskip-2pt{\cal P}\$-hard in general. We show that it can be solved in polynomial time for those instances that come up in switchbox routing. Our algorithm uses dynamic programming techniques. These techniques are also applied to the much more complicated separation problem for alternating cycle inequalities. In this case we can compute in polynomial time, given some point \$y\$, a lower bound for the gap \$\alpha-a^Ty\$ over all alternating cycle inequalities \$a^Tx\ge\alpha\$. This gives rise to a very effective separation heuristic. A by-product of our algorithm is the solution of a combinatorial optimization problem that is interesting in its own right: Find a shortest path in a graph where the ``length'' of a path is its usual length minus the length of its longest edge.}, language = {en} } @misc{BorndoerferEisenblaetterGroetscheletal.1997, author = {Bornd{\"o}rfer, Ralf and Eisenbl{\"a}tter, Andreas and Gr{\"o}tschel, Martin and Martin, Alexander}, title = {Frequency Assignment in Cellular Phone Networks}, doi = {10.1023/A:1018908907763}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-3044}, number = {SC-97-35}, year = {1997}, abstract = {We present a graph-theoretic model for the \emph{frequency assignment problem} in Cellular Phone Networks: Obeying several technical and legal restrictions, frequencies have to be assigned to transceivers so that interference is as small as possible. This optimization problem is NP-hard. Good approximation cannot be guaranteed, unless P = NP. We describe several assignment heuristics. These heuristics are simple and not too hard to implement. We give an assessment of the heuristics' efficiency and practical usefulness. For this purpose, typical instances of frequency assignment problems with up to 4240 transceivers and 75 frequencies of a German cellular phone network operator are used. The results are satisfying from a practitioner's point of view. The best performing heuristics were integrated into a network planning system used in practice.}, language = {en} } @misc{BrunsGubeladzeHenketal.1998, author = {Bruns, Winfried and Gubeladze, Joseph and Henk, Martin and Martin, Alexander and Weismantel, Robert}, title = {A counterexample to an integer analogue of Caratheodorys theorem}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-3718}, number = {SC-98-28}, year = {1998}, abstract = {For \$n\geq 6\$ we provide a counterexample to the conjecture that every integral vector of a \$n\$-dimensional integral polyhedral pointed cone \$C\$ can be written as a nonnegative integral combination of at most \$n\$ elements of the Hilbert basis of \$C\$. In fact, we show that in general at least \$\lfloor 7/6 \cdot n \rfloor\$ elements of the Hilbert basis are needed.}, language = {en} } @article{AignerClarnerLiersetal.2021, author = {Aigner, Kevin-Martin and Clarner, Jan-Patrick and Liers, Frauke and Martin, Alexander}, title = {Robust Approximation of Chance Constrained DC Optimal Power Flow under Decision-Dependent Uncertainty}, journal = {European Journal of Operational Research}, year = {2021}, abstract = {We propose a mathematical optimization model and its solution for joint chance constrained DC Optimal Power Flow. In this application, it is particularly important that there is a high probability of transmission limits being satisfied, even in the case of uncertain or fluctuating feed-in from renewable energy sources. In critical network situations where the network risks overload, renewable energy feed-in has to be curtailed by the transmission system operator (TSO). The TSO can reduce the feed-in in discrete steps at each network node. The proposed optimization model minimizes curtailment while ensuring that there is a high probability of transmission limits being maintained. The latter is modeled via (joint) chance constraints that are computationally challenging. Thus, we propose a solution approach based on the robust safe approximation of these constraints. Hereby, probabilistic constraints are replaced by robust constraints with suitably defined uncertainty sets constructed from historical data. The ability to discretely control the power feed-in then leads to a robust optimization problem with decision-dependent uncertainties, i.e. the uncertainty sets depend on decision variables. We propose an equivalent mixed-integer linear reformulation for box uncertainties with the exact linearization of bilinear terms. Finally, we present numerical results for different test cases from the Nesta archive, as well as for a real network. We consider the discrete curtailment of solar feed-in, for which we use real-world weather and network data. The experimental tests demonstrate the effectiveness of this method and run times are very fast. Moreover, on average the calculated robust solutions only lead to a small increase in curtailment, when compared to nominal solutions.}, language = {en} } @article{KochSchmidtHilleretal.2020, author = {Koch, Thorsten and Schmidt, Martin and Hiller, Benjamin and Pfetsch, Marc and Geißler, Bj{\"o}rn and Henrion, Ren{\´e} and Joormann, Imke and Martin, Alexander and Morsi, Antonio and R{\"o}misch, Werner and Schewe, Lars and Schultz, R{\"u}diger}, title = {Capacity Evaluation for Large-Scale Gas Networks}, volume = {35}, journal = {German Success Stories in Industrial Mathematics}, isbn = {978-3-030-81454-0}, doi = {10.1007/978-3-030-81455-7}, pages = {23 -- 28}, year = {2020}, language = {en} } @misc{BorndoerferEisenblaetterGroetscheletal.1998, author = {Bornd{\"o}rfer, Ralf and Eisenbl{\"a}tter, Andreas and Gr{\"o}tschel, Martin and Martin, Alexander}, title = {The Orientation Model for Frequency Assignment Problems}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-5627}, number = {TR-98-01}, year = {1998}, abstract = {Mobile telecommunication systems establish a large number of communication links with a limited number of available frequencies; reuse of the same or adjacent frequencies on neighboring links causes interference. The task to find an assignment of frequencies to channels with minimal interference is the frequency assignment problem. The frequency assignment problem is usually treated as a graph coloring problem where the number of colors is minimized, but this approach does not model interference minimization correctly. We give in this paper a new integer programming formulation of the frequency assignment problem, the orientation model, and develop a heuristic two-stage method to solve it. The algorithm iteratively solves an outer and an inner optimization problem. The outer problem decides for each pair of communication links which link gets the higher frequency and leads to an acyclic subdigraph problem with additional longest path restrictions. The inner problem to find an optimal assignment respecting an orientation leads to a min-cost flow problem.}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner trees: Polyhedral Investigations}, volume = {72}, journal = {Mathematical Programming, Series A}, number = {2}, doi = {10.1007/BF02592085}, pages = {101 -- 123}, year = {1996}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Optimum Path Packing on Wheels}, volume = {31}, journal = {Computers and Mathematics with Applications}, number = {11}, publisher = {Elsevier}, pages = {23 -- 35}, year = {1996}, language = {en} } @article{BorndoerferEisenblaetterGroetscheletal.1998, author = {Bornd{\"o}rfer, Ralf and Eisenbl{\"a}tter, Andreas and Gr{\"o}tschel, Martin and Martin, Alexander}, title = {Frequency assignment in cellular phone networks}, volume = {76}, journal = {Annals of Operations Research}, publisher = {J. C. Baltzer AG, Science Publishers}, doi = {10.1023/A:1018908907763}, pages = {73 -- 93}, year = {1998}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner trees: a cutting plane algorithm and computational results}, volume = {72}, journal = {Mathematical Programming, Series A}, number = {2}, doi = {10.1007/BF02592086}, pages = {125 -- 145}, year = {1996}, language = {en} } @article{GroetschelMartinWeismantel1997, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {The Steiner tree packing problem in VLSI design}, volume = {78}, journal = {Mathematical Programming}, number = {2}, pages = {265 -- 281}, year = {1997}, language = {en} } @inproceedings{BirkhoferFuegenschuhGuentheretal.2006, author = {Birkhofer, Herbert and F{\"u}genschuh, Armin and G{\"u}nther, Ute and Junglas, Daniel and Martin, Alexander and Sauer, Thorsten and Ulbrich, Stefan and W{\"a}ldele, Martin and Walter, Stephan}, title = {Topology- and shape-optimization of branched sheet metal products}, booktitle = {Operations Research Proceedings}, editor = {Haasis, Hans-Dietrich and Kopfer, Herbert and Sch{\"o}nberger, J{\"o}rn}, pages = {327 -- 336}, year = {2006}, language = {en} } @inproceedings{GroetschelMartinWeismantel1993, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Routing in grid graphs by cutting planes}, booktitle = {Integer Programming and Combinatorial Optimization. Proceedings of a Conference held at Centro Ettore Majorana, Erice, Italy, April 29 - May 1, 1993}, editor = {Rinaldi, Giovanni and Wolsey, Laurence}, publisher = {Librarian CORE}, address = {Louvain-la-Neuve}, pages = {447 -- 461}, year = {1993}, language = {en} } @inproceedings{BirkhoferFuegenschuhMartinetal.2007, author = {Birkhofer, Herbert and F{\"u}genschuh, Armin and Martin, Alexander and W{\"a}ldele, Martin}, title = {Algorithmenbasierte Produktentwicklung f{\"u}r integrale Blechbauweisen h{\"o}herer Verzweigungsordnung}, booktitle = {Optimierung in der Produktentwicklung, 5. Geimeinsames Kolloquium Konstruktionstechnik}, year = {2007}, language = {en} } @article{PfetschFuegenschuhGeissleretal.2014, author = {Pfetsch, Marc and F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Geißler, Nina and Gollmer, Ralf and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Morsi, Antonio and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Vigerske, Stefan and Willert, Bernhard}, title = {Validation of Nominations in Gas Network Optimization: Models, Methods, and Solutions}, journal = {Optimization Methods and Software}, publisher = {Taylor \& Francis}, doi = {10.1080/10556788.2014.888426}, year = {2014}, abstract = {In this article we investigate methods to solve a fundamental task in gas transportation, namely the validation of nomination problem: Given a gas transmission network consisting of passive pipelines and active, controllable elements and given an amount of gas at every entry and exit point of the network, find operational settings for all active elements such that there exists a network state meeting all physical, technical, and legal constraints. We describe a two-stage approach to solve the resulting complex and numerically difficult feasibility problem. The first phase consists of four distinct algorithms applying linear, and methods for complementarity constraints to compute possible settings for the discrete decisions. The second phase employs a precise continuous programming model of the gas network. Using this setup, we are able to compute high quality solutions to real-world industrial instances that are significantly larger than networks that have appeared in the mathematical programming literature before.}, language = {en} } @article{FuegenschuhGeisslerGollmeretal.2013, author = {F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Gollmer, Ralf and Hayn, Christine and Henrion, Ren{\´e} and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Mirkov, Radoslava and Morsi, Antonio and R{\"o}misch, Werner and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Willert, Bernhard}, title = {Mathematical optimization for challenging network planning problems in unbundled liberalized gas markets}, volume = {5}, journal = {Energy Systems}, number = {3}, publisher = {Springer Berlin Heidelberg}, address = {Berlin}, doi = {10.1007/s12667-013-0099-8}, pages = {449 -- 473}, year = {2013}, abstract = {The recently imposed new gas market liberalization rules in Germany lead to a change of business of gas network operators. While previously network operator and gas vendor were united, they were forced to split up into independent companies. The network has to be open to any other gas trader at the same conditions, and free network capacities have to be identified and publicly offered in a non-discriminatory way. We discuss how these changing paradigms lead to new and challenging mathematical optimization problems. This includes the validation of nominations, that asks for the decision if the network's capacity is sufficient to transport a specific amount of flow, the verification of booked capacities and the detection of available freely allocable capacities, and the topological extension of the network with new pipelines or compressors in order to increase its capacity. In order to solve each of these problems and to provide meaningful results for the practice, a mixture of different mathematical aspects have to be addressed, such as combinatorics, stochasticity, uncertainty, and nonlinearity. Currently, no numerical solver is available that can deal with such blended problems out-of-the-box. The main goal of our research is to develop such a solver, that moreover is able to solve instances of realistic size. In this article, we describe the main ingredients of our prototypical software implementations.}, language = {en} } @article{FerreiraGroetschelMartinetal.1993, author = {Ferreira, Carlos and Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert and Kiefl, Stefan and Krispenz, Ludwig}, title = {Some Integer Programs Arising in the Design of Main Frame Computers}, volume = {38}, journal = {ZOR - Methods and Models of Operations Research}, number = {1}, pages = {77 -- 100}, year = {1993}, language = {en} } @article{GroetschelMartinWeismantel1995, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Routing in Grid Graphs by Cutting Planes}, volume = {41}, journal = {ZOR - Mathematical Methods of Operations Research}, number = {3}, pages = {255 -- 275}, year = {1995}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner Trees: Separation Algorithms}, volume = {9}, journal = {SIAM Journal on Discrete Mathematics}, number = {2}, doi = {10.1137/S0895480193258716}, pages = {233 -- 257}, year = {1996}, language = {en} } @inproceedings{MartinGeisslerHeynetal.2011, author = {Martin, Alexander and Geißler, Bj{\"o}rn and Heyn, Christine and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Morsi, Antonio and Pfetsch, Marc and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Steinbach, Marc and Willert, Bernhard}, title = {Optimierung Technischer Kapazit{\"a}ten in Gasnetzen}, booktitle = {Optimierung in der Energiewirtschaft}, publisher = {VDI-Verlag, D{\"u}sseldorf}, pages = {105 -- 114}, year = {2011}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner Trees: Further Facets}, volume = {17}, journal = {European Journal of Combinatorics}, number = {1}, doi = {10.1006/eujc.1996.0004}, pages = {39 -- 52}, year = {1996}, language = {en} } @misc{MartinGeisslerHaynetal.2012, author = {Martin, Alexander and Geißler, Bj{\"o}rn and Hayn, Christine and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Morsi, Antonio and Pfetsch, Marc and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Steinbach, Marc and Willert, Bernhard}, title = {Optimierung Technischer Kapazit{\"a}ten in Gasnetzen}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-15121}, year = {2012}, abstract = {Die mittel- und l{\"a}ngerfristige Planung f{\"u}r den Gastransport hat sich durch {\"A}nderungen in den regulatorischen Rahmenbedingungen stark verkompliziert. Kernpunkt ist die Trennung von Gashandel und -transport. Dieser Artikel diskutiert die hieraus resultierenden mathematischen Planungsprobleme, welche als Validierung von Nominierungen und Buchungen, Bestimmung der technischen Kapazit{\"a}t und Topologieplanung bezeichnet werden. Diese mathematischen Optimierungsprobleme werden vorgestellt und L{\"o}sungsans{\"a}tze skizziert.}, language = {de} } @inproceedings{BorndoerferEisenblaetterGroetscheletal.1996, author = {Bornd{\"o}rfer, Ralf and Eisenbl{\"a}tter, Andreas and Gr{\"o}tschel, Martin and Martin, Alexander}, title = {Stable-Set and Other Techniques for Frequency Assignment Problems}, booktitle = {Anais da I Oficina Nacional em Problemas de Corte \& Empacotamento}, publisher = {Universidade de S{\~a}o Paulo, Instituto de Matem{\´a}tica e Estat{\´i}stica}, pages = {17 -- 21}, year = {1996}, language = {en} } @misc{FuegenschuhGeisslerGollmeretal.2013, author = {F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Gollmer, Ralf and Hayn, Christine and Henrion, Rene and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Mirkov, Radoslava and Morsi, Antonio and R{\"o}misch, Werner and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Willert, Bernhard}, title = {Mathematical Optimization for Challenging Network Planning Problems in Unbundled Liberalized Gas Markets}, issn = {1438-0064}, doi = {10.1007/s12667-013-0099-8}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-17821}, year = {2013}, abstract = {The recently imposed new gas market liberalization rules in Germany lead to a change of business of gas network operators. While previously network operator and gas vendor where united, they were forced to split up into independent companies. The network has to be open to any other gas trader at the same conditions, and free network capacities have to be identified and publicly offered in a non-discriminatory way. We show that these new paradigms lead to new and challenging mathematical optimization problems. In order to solve them and to provide meaningful results for practice, all aspects of the underlying problems, such as combinatorics, stochasticity, uncertainty, and nonlinearity, have to be addressed. With such special-tailored solvers, free network capacities and topological network extensions can, for instance, be determined.}, language = {en} } @misc{PfetschFuegenschuhGeissleretal.2012, author = {Pfetsch, Marc and F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Geißler, Nina and Gollmer, Ralf and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Morsi, Antonio and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Vigerske, Stefan and Willert, Bernhard}, title = {Validation of Nominations in Gas Network Optimization: Models, Methods, and Solutions}, issn = {1438-0064}, doi = {10.1080/10556788.2014.888426}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-16531}, year = {2012}, abstract = {In this article we investigate methods to solve a fundamental task in gas transportation, namely the validation of nomination problem: Given a gas transmission network consisting of passive pipelines and active, controllable elements and given an amount of gas at every entry and exit point of the network, find operational settings for all active elements such that there exists a network state meeting all physical, technical, and legal constraints. We describe a two-stage approach to solve the resulting complex and numerically difficult mixed-integer non-convex nonlinear feasibility problem. The first phase consists of four distinct algorithms facilitating mixed-integer linear, mixed-integer nonlinear, reduced nonlinear, and complementarity constrained methods to compute possible settings for the discrete decisions. The second phase employs a precise continuous nonlinear programming model of the gas network. Using this setup, we are able to compute high quality solutions to real-world industrial instances whose size is significantly larger than networks that have appeared in the literature previously.}, language = {en} } @misc{AchterbergKochMartin2005, author = {Achterberg, Tobias and Koch, Thorsten and Martin, Alexander}, title = {MIPLIB 2003}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8625}, number = {05-28}, year = {2005}, abstract = {This paper reports on the fourth version of the Mixed Integer Programming Library. Since ({\sc miplib}) is to provide a concise set of challenging problems, it became necessary to purge instances that became too easy. We present an overview of the 27 new problems and statistical data for all 60 instances.}, language = {en} } @article{MartinMuellerPokutta2014, author = {Martin, Alexander and M{\"u}ller, J. and Pokutta, Sebastian}, title = {Strict linear prices in non-convex European day-ahead electricity markets}, volume = {29}, journal = {Optimization Methods and Software}, number = {1}, pages = {189 -- 221}, year = {2014}, language = {en} } @book{GroetschelLovaszSchrijver1988, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Geometric Algorithms and Combinatorial Optimization}, volume = {2}, journal = {Algorithms and Combinatorics}, publisher = {Springer}, isbn = {3-540-13624-X, 0-387-13624-X (U.S.)}, year = {1988}, language = {en} } @inproceedings{GroetschelLovaszSchrijver1984, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Geometric Methods in Combinatorial Optimization}, booktitle = {Progress in Combinatorial Optimization, (Conference Waterloo/Ontario 1982)}, editor = {Pulleyblank, William}, publisher = {Academic Press}, pages = {167 -- 183}, year = {1984}, language = {en} } @incollection{GroetschelLovaszSchrijver1984, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Polynomial algorithms for perfect graphs}, volume = {21}, booktitle = {Topics on perfect graphs}, editor = {Berge, Claude and Chv{\´a}tal, Vašek}, publisher = {North-Holland}, pages = {325 -- 356}, year = {1984}, language = {en} } @article{GroetschelLovaszSchrijver1984, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Corrigendum to our paper "The ellipsoid method and its consequences in combinatorial optimization"}, volume = {4}, journal = {Combinatorica}, number = {4}, pages = {291 -- 295}, year = {1984}, language = {en} } @article{GroetschelLovaszSchrijver1986, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Relaxations of Vertex Packing}, volume = {40}, journal = {Journal of Combinatorial Theory, Series B}, pages = {330 -- 343}, year = {1986}, language = {en} } @article{GroetschelLovaszSchrijver1981, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {The ellipsoid method and its consequences in combinatorial optimization}, volume = {1}, journal = {Combinatorica}, number = {2}, pages = {169 -- 197}, year = {1981}, language = {en} } @article{GroetschelLovaszSchrijver1981, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {The ellipsoid method and its consequences in combinatorial optimization}, journal = {IIASA Collab. Proceedings Ser. CP-81-S1}, pages = {511 -- 546}, year = {1981}, language = {en} } @article{AchterbergKochMartin2006, author = {Achterberg, Tobias and Koch, Thorsten and Martin, Alexander}, title = {MIPLIB 2003}, volume = {34}, journal = {Operations Research Letters}, number = {4}, publisher = {Elsevier / North-Holland}, doi = {10.1016/j.orl.2005.07.009}, pages = {361 -- 372}, year = {2006}, language = {en} }