TY - THES A1 - (née Zöckler), Malte T1 - Efficient Visualization and Reconstruction of 3D Geometric from Neuro-Biological Confocal Microscope Scans Y1 - 2003 ER - TY - GEN A1 - Aardal, Karen I. A1 - Hoesel, Stan P.M. van A1 - Koster, Arie M.C.A. A1 - Mannino, Carlo A1 - Sassano, Antonio T1 - Models and Solution Techniques for Frequency Assignment Problems N2 - {\begin{rawhtml} Revised Version unter http://dx.doi.org/10.1007/s10479-007-0178-0 \end{rawhtml}} Wireless communication is used in many different situations such as mobile telephony, radio and TV broadcasting, satellite communication, and military operations. In each of these situations a frequency assignment problem arises with application specific characteristics. Researchers have developed different modelling ideas for each of the features of the problem, such as the handling of interference among radio signals, the availability of frequencies, and the optimization criterion. This survey gives an overview of the models and methods that the literature provides on the topic. We present a broad description of the practical settings in which frequency assignment is applied. We also present a classification of the different models and formulations described in the literature, such that the common features of the models are emphasized. The solution methods are divided in two parts. Optimization and lower bounding techniques on the one hand, and heuristic search techniques on the other hand. The literature is classified according to the used methods. Again, we emphasize the common features, used in the different papers. The quality of the solution methods is compared, whenever possible, on publicly available benchmark instances. T3 - ZIB-Report - 01-40 KW - frequency assignment Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6667 ER - TY - JOUR A1 - Abass, Aimi A1 - Gutsche, Philipp A1 - Maes, Bjorn A1 - Rockstuhl, Carsten A1 - Martins, Emiliano R T1 - Insights into directional scattering: from coupled dipoles to asymmetric dimer nanoantennas JF - Opt. Express N2 - Strong and directionally specific forward scattering from optical nanoantennas is of utmost importance for various applications in the broader context of photovoltaics and integrated light sources. Here, we outline a simple yet powerful design principle to perceive a nanoantenna that provides directional scattering into a higher index substrate based on the interference of multiple electric dipoles. A structural implementation of the electric dipole distribution is possible using plasmonic nanoparticles with a fairly simple geometry, i.e. two coupled rectangular nanoparticles, forming a dimer, on top of a substrate. The key to achieve directionality is to choose a sufficiently large size for the nanoparticles. This promotes the excitation of vertical electric dipole moments due to the bi-anisotropy of the nanoantenna. In turn, asymmetric scattering is obtained by ensuring the appropriate phase relation between the vertical electric dipole moments. The scattering strength and angular spread for an optimized nanoantenna can be shown to be broadband and robust against changes in the incidence angle. The scattering directionality is maintained even for an array configuration of the dimer. It only requires the preferred scattering direction of the isolated nanoantenna not to be prohibited by interference. Y1 - 2016 U6 - https://doi.org/10.1364/OE.24.019638 VL - 24 IS - 17 SP - 19638 EP - 19650 ER - TY - JOUR A1 - Abbas, Aennes A1 - Schneider, Ilona A1 - Bollmann, Anna A1 - Funke, Jan A1 - Oehlmann, Jörg A1 - Prasse, Carsten A1 - Schulte-Oehlmann, Ulrike A1 - Seitz, Wolfram A1 - Ternes, Thomas A1 - Weber, Marcus A1 - Wesely, Henning A1 - Wagner, Martin T1 - What you extract is what you see: Optimising the preparation of water and wastewater samples for in vitro bioassays JF - Water Research N2 - The assessment of water quality is crucial for safeguarding drinking water resources and ecosystem integrity. To this end, sample preparation and extraction is critically important, especially when investigating emerging contaminants and the toxicity of water samples. As extraction methods are rarely optimised for bioassays but rather adopted from chemical analysis, this may result in a misrepresentation of the actual toxicity. In this study, surface water, groundwater, hospital and municipal wastewater were used to characterise the impacts of common sample preparation techniques (acidification, filtration and solid phase extraction (SPE)) on the outcomes of eleven in vitro bioassays. The latter covered endocrine activity (reporter gene assays for estrogen, androgen, aryl-hydrocarbon, retinoic acid, retinoid X, vitamin D, thyroid receptor), mutagenicity (Ames fluctuation test), genotoxicity (umu test) and cytotoxicity. Water samples extracted using different SPE sorbents (Oasis HLB, Supelco ENVI-Carb+, Telos C18/ENV) at acidic and neutral pH were compared for their performance in recovering biological effects. Acidification, commonly used for stabilisation, significantly altered the endocrine activity and toxicity of most (waste)water samples. Sample filtration did not affect the majority of endpoints but in certain cases affected the (anti-)estrogenic and dioxin-like activities. SPE extracts (10.4 × final concentration), including WWTP effluents, induced significant endocrine effects that were not detected in aqueous samples (0.63 × final concentration), such as estrogenic, (anti-)androgenic and dioxin-like activities. When ranking the SPE methods using multivariate Pareto optimisation an extraction with Telos C18/ENV at pH 7 was most effective in recovering toxicity. At the same time, these extracts were highly cytotoxic masking the endpoint under investigation. Compared to that, extraction at pH 2.5 enriched less cytotoxicity. In summary, our study demonstrates that sample preparation and extraction critically affect the outcome of bioassays when assessing the toxicity of water samples. Depending on the water matrix and the bioassay, these methods need to be optimised to accurately assess water quality. Y1 - 2019 U6 - https://doi.org/10.1016/j.watres.2018.12.049 VL - 152 SP - 47 EP - 60 ER - TY - BOOK A1 - Abbink, Erwin A1 - Bärmann, Andreas A1 - Bešinovic, Nikola A1 - Bohlin, Markus A1 - Cacchiani, Valentina A1 - Caimi, Gabrio A1 - de Fabris, Stefano A1 - Dollevoet, Twan A1 - Fischer, Frank A1 - Fügenschuh, Armin A1 - Galli, Laura A1 - Goverde, Rob M.P. A1 - Hansmann, Ronny A1 - Homfeld, Henning A1 - Huisman, Dennis A1 - Johann, Marc A1 - Klug, Torsten A1 - Törnquist Krasemann, Johanna A1 - Kroon, Leo A1 - Lamorgese, Leonardo A1 - Liers, Frauke A1 - Mannino, Carlo A1 - Medeossi, Giorgio A1 - Pacciarelli, Dario A1 - Reuther, Markus A1 - Schlechte, Thomas A1 - Schmidt, Marie A1 - Schöbel, Anita A1 - Schülldorf, Hanno A1 - Stieber, Anke A1 - Stiller, Sebastian A1 - Toth, Paolo A1 - Zimmermann, Uwe ED - Borndörfer, Ralf ED - Klug, Torsten ED - Lamorgese, Leonardo ED - Mannino, Carlo ED - Reuther, Markus ED - Schlechte, Thomas T1 - Handbook of Optimization in the Railway Industry N2 - This book promotes the use of mathematical optimization and operations research methods in rail transportation. The editors assembled thirteen contributions from leading scholars to present a unified voice, standardize terminology, and assess the state-of-the-art. There are three main clusters of articles, corresponding to the classical stages of the planning process: strategic, tactical, and operational. These three clusters are further subdivided into five parts which correspond to the main phases of the railway network planning process: network assessment, capacity planning, timetabling, resource planning, and operational planning. Individual chapters cover: Simulation Capacity Assessment Network Design Train Routing Robust Timetabling Event Scheduling Track Allocation Blocking Shunting Rolling Stock Crew Scheduling Dispatching Delay Propagation Y1 - 2018 SN - 978-3-319-72152-1 U6 - https://doi.org/10.1007/978-3-319-72153-8 VL - 268 PB - Springer Verlag ER - TY - JOUR A1 - Abbott, Joshua L. A1 - Straube, Arthur A1 - Aarts, Dirk G. A. L. A1 - Dullens, Roel P. A. T1 - Transport of a colloidal particle driven across a temporally oscillating optical potential energy landscape JF - New J. Phys. N2 - A colloidal particle is driven across a temporally oscillating one-dimensional optical potential energy landscape and its particle motion is analysed. Different modes of dynamic mode locking are observed and are confirmed with the use of phase portraits. The effect of the oscillation frequency on the mode locked step width is addressed and the results are discussed in light of a high-frequency theory and compared to simulations. Furthermore, the influence of the coupling between the particle and the optical landscape on mode locking is probed by increasing the maximum depth of the optical landscape. Stronger coupling is seen to increase the width of mode locked steps. Finally, transport across the temporally oscillating landscape is studied by measuring the effective diffusion coefficient of a mobile particle, which is seen to be highly sensitive to the driving velocity and mode locking. Y1 - 2019 U6 - https://doi.org/10.1088/1367-2630/ab3765 VL - 21 SP - 083027 ER - TY - GEN A1 - Abboud, Nadine A1 - Grötschel, Martin A1 - Koch, Thorsten T1 - Mathematical Methods for Physical Layout of Printed Circuit Boards: An Overview N2 - This article surveys mathematical models and methods used for physical PCB layout, i.e., component placement and wire routing. The main concepts are briefly described together with relevant references. T3 - ZIB-Report - 06-29 KW - PCB Design KW - placement KW - routing Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9231 ER - TY - JOUR A1 - Abboud, Nadine A1 - Grötschel, Martin A1 - Koch, Thorsten T1 - Mathematical methods for physical layout of printed circuit boards: an overview JF - OR Spectrum Y1 - 2008 U6 - https://doi.org/10.1007/s00291-007-0080-9 VL - 30 IS - 3 SP - 453 EP - 468 ER - TY - GEN A1 - Abdel-Hamid, Atef Abdel-Aziz A1 - Ascheuer, Norbert A1 - Grötschel, Martin T1 - Order Picking in an Automatic Warehouse: Solving Online Asymmetric TSPs N2 - We report on a joint project with industry that had the aim to sequence transportation requests within an automatic storage system in such a way that the overall travel time is minimized. The manufacturing environment is such that scheduling decisions have to be made before all jobs are known. We have modeled this task as an \emph{online} Asymmetric Traveling Salesman Problem (ATSP). Several heuristics for the online ATSP are compared computationally within a simulation environment to judge which should be used in practice. Compared to the priority rule used so far, the optimization package reduced the unloaded travel time by about 40~\%. Because of these significant savings our procedure was implemented as part of the control software for the stacker cranes of the storage systems. T3 - ZIB-Report - SC-98-08 KW - Traveling Salesman Problem KW - Online-Algorithm KW - Automatic Storage System Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-3519 ER - TY - GEN A1 - Abdel-Hamid, Atef Abdel-Aziz A1 - Ascheuer, Norbert A1 - Grötschel, Martin A1 - Schorer, Herbert T1 - Simulation und Optimierung einer PC-Fertigung unter Echtzeitbedingungen N2 - Die Business Unit PC in Augsburg ist die zentrale Produktionsstätte der Siemens--Nixdorf Informationssysteme (SNI) AG für Personal Computer sowie für einige Periphärgeräte. Das Werk, entworfen nach modernen CIM/CAI--Konzepten (Computer Integrated Manufacturing/ Computer Aided Industry), wurde 1987 errichtet. Bald zeigte sich jedoch, daß es für ein zu geringes Produktionsvolumen ausgelegt war und einige Komponenten des Systems Engpässe im Produktionsbetrieb darstellen. Das Management suchte nach Möglichkeiten, den Produktionsfluß zu verbessern, ohne teure technische Änderungen am System vornehmen zu müssen. Eine Forschungsgruppe des Konrad--Zuse--Zentrums für Informationstechnik (die ehemals an der Universität Augsburg ansässig war) analysierte, unterstützt von einigen Studenten und Ingenieuren der SNI, den Produktionsfluß und lokalisierte Schwachstellen. Basierend auf diesen Erkenntnissen wurden mathematische Fragestellungen erarbeitet und auf mathematischen Optimierungsverfahren basierende Softwarepakete entwickelt, die jetzt teilweise bei SNI im Einsatz sind. Im folgenden werden einige dieser Fragestellungen, deren Modellierung und mathematische Behandlung beschrieben. Einige der Ansätze, die hier dargestellt werden sollen, sind teilweise schon in Grötschel [Grö92] angesprochen worden. T3 - ZIB-Report - SC-95-04 Y1 - 1995 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1700 ER - TY - CHAP A1 - Abdel-Hamid, Atef Abdel-Aziz A1 - Ascheuer, Norbert A1 - Grötschel, Martin A1 - Schorer, Herbert ED - Bachem, Achim ED - Jünger, Michael ED - Schrader, Rainer T1 - Simulation und Optimierung einer PC-Fertigung unter Echtzeitbedingungen T2 - Mathematik in der Praxis. Fallstudien aus Industrie, Wirtschaft, Naturwissenschaften und Medizin Y1 - 1995 SP - 261 EP - 277 PB - Springer ER - TY - GEN A1 - Abdel-Hamid, Atef Abdel-Aziz A1 - Borndörfer, Ralf T1 - On the Complexity of Storage Assignment Problems. N2 - {\def\NP{\hbox{$\cal N\kern-.1667em\cal P$}} The {\sl storage assignment problem} asks for the cost minimal assignment of containers with different sizes to storage locations with different capacities. Such problems arise, for instance, in the optimal control of automatic storage devices in flexible manufacturing systems. This problem is known to be $\NP$-hard in the strong sense. We show that the storage assignment problem is $\NP$-hard for {\sl bounded sizes and capacities}, even if the sizes have values $1$ and~$2$ and the capacities value~$2$ only, a case we encountered in practice. Moreover, we prove that no polynomial time $\epsilon$-approximation algorithm exists. This means that almost all storage assignment problems arising in practice are indeed hard.} T3 - ZIB-Report - SC-94-14 Y1 - 1994 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1430 ER - TY - JOUR A1 - Abebe, Muluneh G. A1 - Abass, Aimi A1 - Gomard, Guillaume A1 - Zschiedrich, Lin A1 - Lemmer, Uli A1 - Richards, Bryce S. A1 - Rockstuhl, Carsten A1 - Paetzold, Ulrich W. T1 - Rigorous wave-optical treatment of photon recycling in thermodynamics of photovoltaics: Perovskite thin-film solar cells JF - Phys. Rev. B Y1 - 2018 U6 - https://doi.org/10.1103/PhysRevB.98.075141 VL - 98 SP - 075141 ER - TY - CHAP A1 - Abebe, Muluneh G. A1 - Gomard, Guillaume A1 - Zschiedrich, Lin A1 - Rockstuhl, Carsten A1 - Paetzold, Ulrich W. A1 - Abass, Aimi T1 - Thermodynamics of Photon Recycling in Four Terminal Perovskite/si Tandem Solar Cells T2 - Optical Nanostructures and Advanced Materials for Photovoltaics Y1 - 2017 U6 - https://doi.org/10.1364/PV.2017.PM4A.2 SP - PM4A.2 ER - TY - JOUR A1 - Abendroth, Frank A1 - Bujotzek, Alexander A1 - Shan, Min A1 - Haag, Rainer A1 - Weber, Marcus A1 - Seitz, Oliver T1 - DNA-controlled bivalent presentation of ligands for the estrogen receptor JF - Angew. Chem. Int. Ed. Y1 - 2011 ER - TY - JOUR A1 - Abendroth, Frank A1 - Solleder, Marthe A1 - Welker, Pia A1 - Licha, Kai A1 - Weber, Marcus A1 - Seitz, Oliver A1 - Mangoldt, Dorothea T1 - High affinity flourescence labelled ligands for the estrogen receptor JF - Eur. J. Org. Chem. Y1 - 2015 VL - 2015 IS - 10 SP - 2157 EP - 2166 ER - TY - JOUR A1 - Ablyazimov, T. A1 - Abuhoza, A. A1 - Adak, R. P. A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - et al., T1 - Challenges in QCD matter physics – The scientific programme of the Compressed Baryonic Matter experiment at FAIR JF - The European Physical Journal A Y1 - 2017 U6 - https://doi.org/10.1140/epja/i2017-12248-y N1 - This paper has 587 authors. For the complete list of authors use the DOI, please. ER - TY - GEN A1 - Aboulhassan, Amal A1 - Baum, Daniel A1 - Wodo, Olga A1 - Ganapathysubramanian, Baskar A1 - Amassian, Aram A1 - Hadwiger, Markus T1 - A Novel Framework for Visual Detection and Exploration of Performance Bottlenecks in Organic Photovoltaic Solar Cell Materials N2 - Current characterization methods of the so-called Bulk Heterojunction (BHJ), which is the main material of Organic Photovoltaic (OPV) solar cells, are limited to the analysis of global fabrication parameters. This reduces the efficiency of the BHJ design process, since it misses critical information about the local performance bottlenecks in the morphology of the material. In this paper, we propose a novel framework that fills this gap through visual characterization and exploration of local structure-performance correlations. We also propose a formula that correlates the structural features with the performance bottlenecks. Since research into BHJ materials is highly multidisciplinary, our framework enables a visual feedback strategy that allows scientists to build intuition about the best choices of fabrication parameters. We evaluate the usefulness of our proposed system by obtaining new BHJ characterizations. Furthermore, we show that our approach could substantially reduce the turnaround time. T3 - ZIB-Report - 15-20 Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-54353 SN - 1438-0064 ER - TY - JOUR A1 - Aboulhassan, Amal A1 - Baum, Daniel A1 - Wodo, Olga A1 - Ganapathysubramanian, Baskar A1 - Amassian, Aram A1 - Hadwiger, Markus T1 - A Novel Framework for Visual Detection and Exploration of Performance Bottlenecks in Organic Photovoltaic Solar Cell Materials JF - Computer Graphics Forum N2 - The current characterization methods of the Bulk Heterojunction (BHJ) - the main material of the new Organic Photovoltaic solar cells - are limited to the analysis of global fabrication parameters. This reduces the efficiency of the BHJ design process, since it misses critical information about the local performance bottlenecks in the morphology of the material. In this paper, we propose a novel framework that fills this gap through visual charac- terization and exploration of local structure-performance correlations. We propose a new formula that correlates the structural features to the performance bottlenecks. Since research into BHJ materials is highly multidisci- plinary, we enable a visual feedback strategy that allows the scientists to build intuition about the best choices of fabrication parameters. We evaluate the usefulness of our proposed system by obtaining new BHJ characteri- zations. We furthermore show that our approach could reduce the previous work-flow time from days to minutes. Y1 - 2015 U6 - https://doi.org/10.1111/cgf.12652 VL - 34 IS - 3 SP - 401 EP - 410 PB - Wiley ER - TY - GEN A1 - Aboulhassan, Amal A1 - Sicat, Ronell A1 - Baum, Daniel A1 - Wodo, Olga A1 - Hadwiger, Markus T1 - Comparative Visual Analysis of Structure-Performance Relations in Complex Bulk-Heterojunction Morphologies N2 - The structure of Bulk-Heterojunction (BHJ) materials, the main component of organic photovoltaic solar cells, is very complex, and the relationship between structure and performance is still largely an open question. Overall, there is a wide spectrum of fabrication configurations resulting in different BHJ morphologies and correspondingly different performances. Current state- of-the-art methods for assessing the performance of BHJ morphologies are either based on global quantification of morphological features or simply on visual inspection of the morphology based on experimental imaging. This makes finding optimal BHJ structures very challenging. Moreover, finding the optimal fabrication parameters to get an optimal structure is still an open question. In this paper, we propose a visual analysis framework to help answer these questions through comparative visualization and parameter space exploration for local morphology features. With our approach, we enable scientists to explore multivariate correlations between local features and performance indicators of BHJ morphologies. Our framework is built on shape-based clustering of local cubical regions of the morphology that we call patches. This enables correlating the features of clusters with intuition-based performance indicators computed from geometrical and topological features of charge paths. T3 - ZIB-Report - 17-16 Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-63239 SN - 1438-0064 ER - TY - JOUR A1 - Aboulhassan, Amal A1 - Sicat, Ronell A1 - Baum, Daniel A1 - Wodo, Olga A1 - Hadwiger, Markus T1 - Comparative Visual Analysis of Structure-Performance Relations in Complex Bulk-Heterojunction Morphologies JF - Computer Graphics Forum N2 - The structure of Bulk-Heterojunction (BHJ) materials, the main component of organic photovoltaic solar cells, is very complex, and the relationship between structure and performance is still largely an open question. Overall, there is a wide spectrum of fabrication configurations resulting in different BHJ morphologies and correspondingly different performances. Current state- of-the-art methods for assessing the performance of BHJ morphologies are either based on global quantification of morphological features or simply on visual inspection of the morphology based on experimental imaging. This makes finding optimal BHJ structures very challenging. Moreover, finding the optimal fabrication parameters to get an optimal structure is still an open question. In this paper, we propose a visual analysis framework to help answer these questions through comparative visualization and parameter space exploration for local morphology features. With our approach, we enable scientists to explore multivariate correlations between local features and performance indicators of BHJ morphologies. Our framework is built on shape-based clustering of local cubical regions of the morphology that we call patches. This enables correlating the features of clusters with intuition-based performance indicators computed from geometrical and topological features of charge paths. Y1 - 2017 U6 - https://doi.org/10.1111/cgf.13191 VL - 36 IS - 3 SP - 329 EP - 339 PB - Wiley ER - TY - GEN A1 - Achterberg, Tobias T1 - SCIP - a framework to integrate Constraint and Mixed Integer Programming N2 - Constraint Programs and Mixed Integer Programs are closely related optimization problems originating from different scientific areas. Today's state-of-the-art algorithms of both fields have several strategies in common, in particular the branch-and-bound process to recursively divide the problem into smaller sub problems. On the other hand, the main techniques to process each sub problem are different, and it was observed that they have complementary strenghts. We propose a programming framework {\sffamily SCIP} that integrates techniques from both fields in order to exploit the strenghts of both, Constraint Programming and Mixed Integer Programming. In contrast to other proposals of recent years to combine both fields, {\sffamily SCIP} does not focus on easy implementation and rapid prototyping, but is tailored towards expert users in need of full, in-depth control and high performance. T3 - ZIB-Report - 04-19 KW - Mixed Integer Programming KW - MIP KW - Constraint Programming KW - CP KW - branch-and-bound Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7947 ER - TY - THES A1 - Achterberg, Tobias T1 - Constraint Integer Programming N2 - This thesis introduces the novel paradigm of "constraint integer programming" (CIP), which integrates constraint programming (CP) and mixed integer programming (MIP) modeling and solving techniques. It is supplemented by the software SCIP, which is a solver and framework for constraint integer programming that also features SAT solving techniques. SCIP is freely available in source code for academic and non-commercial purposes. Our constraint integer programming approach is a generalization of MIP that allows for the inclusion of arbitrary constraints, as long as they turn into linear constraints on the continuous variables after all integer variables have been fixed. The constraints, may they be linear or more complex, are treated by any combination of CP and MIP techniques: the propagation of the domains by constraint specific algorithms, the generation of a linear relaxation and its solving by LP methods, and the strengthening of the LP by cutting plane separation. The current version of SCIP comes with all of the necessary components to solve mixed integer programs. In the thesis, we cover most of these ingredients and present extensive computational results to compare different variants for the individual building blocks of a MIP solver. We focus on the algorithms and their impact on the overall performance of the solver. In addition to mixed integer programming, the thesis deals with chip design verification, which is an important topic of electronic design automation. Chip manufacturers have to make sure that the logic design of a circuit conforms to the specification of the chip. Otherwise, the chip would show an erroneous behavior that may cause failures in the device where it is employed. An important subproblem of chip design verification is the property checking problem, which is to verify whether a circuit satisfies a specified property. We show how this problem can be modeled as constraint integer program and provide a number of problem-specific algorithms that exploit the structure of the individual constraints and the circuit as a whole. Another set of extensive computational benchmarks compares our CIP approach to the current state-of-the-art SAT methodology and documents the success of our method. N2 - Diese Arbeit stellt einen integrierten Ansatz aus "Constraint Programming" (CP) und Gemischt-Ganzzahliger Programmierung ("Mixed Integer Programming", MIP) vor, den wir "Constraint Integer Programming" (CIP) nennen. Sowohl Modellierungs- als auch Lösungstechniken beider Felder fließen in den neuen integrierten Ansatz ein, um die unterschiedlichen Stärken der beiden Gebiete zu kombinieren. Als weiteren Beitrag stellen wir der wissenschaftlichen Gemeinschaft die Software SCIP zur Verfügung, die ein Framework für Constraint Integer Programming darstellt und zusätzlich Techniken des SAT-Lösens beinhaltet. SCIP ist im Source Code für akademische und nicht-kommerzielle Zwecke frei erhältlich. Unser Ansatz des Constraint Integer Programming ist eine Verallgemeinerung von MIP, die zusätzlich die Verwendung beliebiger Constraints erlaubt, solange sich diese durch lineare Bedingungen ausdrücken lassen falls alle ganzzahligen Variablen auf feste Werte eingestellt sind. Die Constraints werden von einer beliebigen Kombination aus CP- und MIP-Techniken behandelt. Dies beinhaltet insbesondere die "Domain Propagation", die Relaxierung der Constraints durch lineare Ungleichungen, sowie die Verstärkung der Relaxierung durch dynamisch generierte Schnittebenen. Die derzeitige Version von SCIP enthält alle Komponenten, die für das effiziente Lösen von Gemischt-Ganzzahligen Programmen benötigt werden. Die vorliegende Arbeit liefert eine ausführliche Beschreibung dieser Komponenten und bewertet verschiedene Varianten in Hinblick auf ihren Einfluß auf das Gesamt-Lösungsverhalten anhand von aufwendigen praktischen Experimenten. Dabei wird besonders auf die algorithmischen Aspekte eingegangen. Ein weiterer Hauptteil der Arbeit befasst sich mit der Chip-Design-Verifikation, die ein wichtiges Thema innerhalb des Fachgebiets der "Electronic Design Automation" darstellt. Chip-Hersteller müssen sicherstellen, dass der logische Entwurf einer Schaltung der gegebenen Spezifikation entspricht. Andernfalls würde der Chip fehlerhaftes Verhalten aufweisen, dass zu Fehlfunktionen innerhalb des Gerätes führen kann, in dem der Chip verwendet wird. Ein wichtiges Teilproblem in diesem Feld ist das Eigenschafts-Verifikations-Problem, bei dem geprüft wird, ob der gegebene Schaltkreisentwurf eine gewünschte Eigenschaft aufweist. Wir zeigen, wie dieses Problem als Constraint Integer Program modelliert werden kann und geben eine Reihe von problemspezifischen Algorithmen an, die die Struktur der einzelnen Constraints und der Gesamtschaltung ausnutzen. Testrechnungen auf Industrie-Beispielen vergleichen unseren Ansatz mit den bisher verwendeten SAT-Techniken und belegen den Erfolg unserer Methode. KW - Ganzzahlige Programmierung KW - Constraint Programmierung KW - SAT KW - Chip-Verifikation KW - Mathematische Programmierung KW - Integer Programming KW - Constraint Programming KW - SAT KW - Chip Verification KW - Mathematical Programming Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11129 ER - TY - THES A1 - Achterberg, Tobias T1 - Constraint Integer Programming N2 - This thesis introduces the novel paradigm of constraint integer programming (CIP), which integrates constraint programming (CP) and mixed integer programming (MIP) modeling and solving techniques. It is supplemented by the software SCIP, which is a solver and framework for constraint integer programming that also features SAT solving techniques. SCIP is freely available in source code for academic and non-commercial purposes. Our constraint integer programming approach is a generalization of MIP that allows for the inclusion of arbitrary constraints, as long as they turn into linear constraints on the continuous variables after all integer variables have been fixed. The constraints, may they be linear or more complex, are treated by any combination of CP and MIP techniques: the propagation of the domains by constraint specific algorithms, the generation of a linear relaxation and its solving by LP methods, and the strengthening of the LP by cutting plane separation. The current version of SCIP comes with all of the necessary components to solve mixed integer programs. In the thesis, we cover most of these ingredients and present extensive computational results to compare different variants for the individual building blocks of a MIP solver. We focus on the algorithms and their impact on the overall performance of the solver. In addition to mixed integer programming, the thesis deals with chip design verification, which is an important topic of electronic design automation. Chip manufacturers have to make sure that the logic design of a circuit conforms to the specification of the chip. Otherwise, the chip would show an erroneous behavior that may cause failures in the device where it is employed. An important subproblem of chip design verification is the property checking problem, which is to verify whether a circuit satisfies a specified property. We show how this problem can be modeled as constraint integer program and provide a number of problem-specific algorithms that exploit the structure of the individual constraints and the circuit as a whole. Another set of extensive computational benchmarks compares our CIP approach to the current state-of-the-art SAT methodology and documents the success of our method. N2 - Diese Arbeit stellt einen integrierten Ansatz aus Constraint Programming (CP) und Gemischt-Ganzzahliger Programmierung (Mixed Integer Programming, MIP) vor, den wir Constraint Integer Programming (CIP) nennen. Sowohl Modellierungs- als auch Lösungstechniken beider Felder fließen in den neuen integrierten Ansatz ein, um die unterschiedlichen Stärken der beiden Gebiete zu kombinieren. Als weiteren Beitrag stellen wir der wissenschaftlichen Gemeinschaft die Software SCIP zur Verfügung, die ein Framework für Constraint Integer Programming darstellt und zusätzlich Techniken des SAT-Lösens beinhaltet. SCIP ist im Source Code für akademische und nicht-kommerzielle Zwecke frei erhältlich. Unser Ansatz des Constraint Integer Programming ist eine Verallgemeinerung von MIP, die zusätzlich die Verwendung beliebiger Constraints erlaubt, solange sich diese durch lineare Bedingungen ausdrücken lassen falls alle ganzzahligen Variablen auf feste Werte eingestellt sind. Die Constraints werden von einer beliebigen Kombination aus CP- und MIP-Techniken behandelt. Dies beinhaltet insbesondere die Domain Propagation, die Relaxierung der Constraints durch lineare Ungleichungen, sowie die Verstärkung der Relaxierung durch dynamisch generierte Schnittebenen. Die derzeitige Version von SCIP enthält alle Komponenten, die für das effiziente Lösen von Gemischt-Ganzzahligen Programmen benötigt werden. Die vorliegende Arbeit liefert eine ausführliche Beschreibung dieser Komponenten und bewertet verschiedene Varianten in Hinblick auf ihren Einfluß auf das Gesamt-Lösungsverhalten anhand von aufwendigen praktischen Experimenten. Dabei wird besonders auf die algorithmischen Aspekte eingegangen. Der zweite Hauptteil der Arbeit befasst sich mit der Chip-Design-Verifikation, die ein wichtiges Thema innerhalb des Fachgebiets der Electronic Design Automation darstellt. Chip-Hersteller müssen sicherstellen, dass der logische Entwurf einer Schaltung der gegebenen Spezifikation entspricht. Andernfalls würde der Chip fehlerhaftes Verhalten aufweisen, dass zu Fehlfunktionen innerhalb des Gerätes führen kann, in dem der Chip verwendet wird. Ein wichtiges Teilproblem in diesem Feld ist das Eigenschafts-Verifikations-Problem, bei dem geprüft wird, ob der gegebene Schaltkreisentwurf eine gewünschte Eigenschaft aufweist. Wir zeigen, wie dieses Problem als Constraint Integer Program modelliert werden kann und geben eine Reihe von problemspezifischen Algorithmen an, die die Struktur der einzelnen Constraints und der Gesamtschaltung ausnutzen. Testrechnungen auf Industrie-Beispielen vergleichen unseren Ansatz mit den bisher verwendeten SAT-Techniken und belegen den Erfolg unserer Methode. KW - Ganzzahlige Programmierung KW - Constraint Programmierung KW - SAT KW - Chip-Verifikation KW - integer programming KW - constraint programming KW - SAT KW - chip verification Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:83-opus-16117 ER - TY - GEN A1 - Achterberg, Tobias T1 - Conflict Analysis in Mixed Integer Programming N2 - Conflict analysis for infeasible subproblems is one of the key ingredients in modern SAT solvers to cope with large real-world instances. In contrast, it is common practice for today's mixed integer programming solvers to just discard infeasible subproblems and the information they reveal. In this paper we try to remedy this situation by generalizing the SAT infeasibility analysis to mixed integer programming. We present heuristics for branch-and-cut solvers to generate valid inequalities from the current infeasible subproblem and the associated branching information. SAT techniques can then be used to strengthen the resulting cuts. We performed computational experiments which show the potential of our method: On feasible MIP instances, the number of required branching nodes was reduced by 50\% in the geometric mean. However, the total solving time increased by 15\%. on infeasible MIPs arising in the context of chip verification, the number of nodes was reduced by 90\%, thereby reducing the solving time by 60\%. T3 - ZIB-Report - 05-19 KW - mixed integer programming KW - branch and cut KW - conflict analysis KW - SAT Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8537 ER - TY - GEN A1 - Achterberg, Tobias A1 - Berthold, Timo T1 - Improving the Feasibility Pump N2 - The Feasibility Pump of Fischetti, Glover, Lodi, and Bertacco has proved to be a very successful heuristic for finding feasible solutions of mixed integer programs. The quality of the solutions in terms of the objective value, however, tends to be poor. This paper proposes a slight modification of the algorithm in order to find better solutions. Extensive computational results show the success of this variant: in 89 out of 121 MIP instances the modified version produces improved solutions in comparison to the original Feasibility Pump. T3 - ZIB-Report - 05-42 KW - mixed integer programming KW - primal heuristics KW - feasibility pump Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8754 ER - TY - JOUR A1 - Achterberg, Tobias A1 - Berthold, Timo T1 - Improving the Feasibility Pump JF - Discrete Optimization Y1 - 2007 VL - Special Issue 4 IS - 1 SP - 77 EP - 86 ER - TY - CHAP A1 - Achterberg, Tobias A1 - Berthold, Timo ED - van Hoeve, Willem ED - Hooker, John T1 - Hybrid Branching T2 - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009 Y1 - 2009 VL - 5547 SP - 309 EP - 311 PB - Springer ER - TY - GEN A1 - Achterberg, Tobias A1 - Berthold, Timo A1 - Heinz, Stefan A1 - Koch, Thorsten A1 - Wolter, Kati T1 - Constraint Integer Programming: Techniques and Applications N2 - This article introduces constraint integer programming (CIP), which is a novel way to combine constraint programming (CP) and mixed integer programming (MIP) methodologies. CIP is a generalization of MIP that supports the notion of general constraints as in CP. This approach is supported by the CIP framework SCIP, which also integrates techniques for solving satisfiability problems. SCIP is available in source code and free for noncommercial use. We demonstrate the usefulness of CIP on three tasks. First, we apply the constraint integer programming approach to pure mixed integer programs. Computational experiments show that SCIP is almost competitive to current state-of-the-art commercial MIP solvers. Second, we demonstrate how to use CIP techniques to compute the number of optimal solutions of integer programs. Third, we employ the CIP framework to solve chip design verification problems, which involve some highly nonlinear constraint types that are very hard to handle by pure MIP solvers. The CIP approach is very effective here: it can apply the full sophisticated MIP machinery to the linear part of the problem, while dealing with the nonlinear constraints by employing constraint programming techniques. T3 - ZIB-Report - 08-43 KW - constraint programming KW - mixed integer programming KW - branch-and-cut KW - optimization software KW - chip verification Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10950 SN - 1438-0064 ER - TY - GEN A1 - Achterberg, Tobias A1 - Berthold, Timo A1 - Hendel, Gregor T1 - Rounding and Propagation Heuristics for Mixed Integer Programming N2 - Primal heuristics are an important component of state-of-the-art codes for mixed integer programming. In this paper, we focus on primal heuristics that only employ computationally inexpensive procedures such as rounding and logical deductions (propagation). We give an overview of eight different approaches. To assess the impact of these primal heuristics on the ability to find feasible solutions, in particular early during search, we introduce a new performance measure, the primal integral. Computational experiments evaluate this and other measures on MIPLIB~2010 benchmark instances. T3 - ZIB-Report - 11-29 KW - primal heuristic KW - mixed integer programming KW - domain propagation Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-13255 ER - TY - GEN A1 - Achterberg, Tobias A1 - Berthold, Timo A1 - Koch, Thorsten A1 - Wolter, Kati T1 - Constraint Integer Programming: a New Approach to Integrate CP and MIP N2 - This article introduces constraint integer programming (CIP), which is a novel way to combine constraint programming (CP) and mixed integer programming (MIP) methodologies. CIP is a generalization of MIP that supports the notion of general constraints as in CP. This approach is supported by the CIP framework SCIP, which also integrates techniques from SAT solving. SCIP is available in source code and free for non-commercial use. We demonstrate the usefulness of CIP on two tasks. First, we apply the constraint integer programming approach to pure mixed integer programs. Computational experiments show that SCIP is almost competitive to current state-of-the-art commercial MIP solvers. Second, we employ the CIP framework to solve chip design verification problems, which involve some highly non-linear constraint types that are very hard to handle by pure MIP solvers. The CIP approach is very effective here: it can apply the full sophisticated MIP machinery to the linear part of the problem, while dealing with the non-linear constraints by employing constraint programming techniques. T3 - ZIB-Report - 08-01 KW - Constraint Programming KW - Ganzzahlige Programmierung KW - Branch-And-Cut KW - Optimierungssoftware KW - Chipverifikation KW - constraint programming KW - mixed integer programming KW - branch-and-cut KW - optimization software KW - chip verification Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10520 SN - 1438-0064 ER - TY - CHAP A1 - Achterberg, Tobias A1 - Berthold, Timo A1 - Koch, Thorsten A1 - Wolter, Kati ED - Perron, Laurent ED - Trick, Michael T1 - Constraint Integer Programming: A New Approach to Integrate CP and MIP T2 - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008 Y1 - 2008 U6 - https://doi.org/10.1007/978-3-540-68155-7_4 VL - 5015 SP - 6 EP - 20 PB - Springer ER - TY - JOUR A1 - Achterberg, Tobias A1 - Bixby, Robert E. A1 - Gu, Zonghao A1 - Rothberg, Edward A1 - Weninger, Dieter T1 - Presolve Reductions in Mixed Integer Programming JF - INFORMS Journal on Computing N2 - Mixed integer programming has become a very powerful tool for modeling and solving real-world planning and scheduling problems, with the breadth of applications appearing to be almost unlimited. A critical component in the solution of these mixed-integer programs is a set of routines commonly referred to as presolve. Presolve can be viewed as a collection of preprocessing techniques that reduce the size of and, more importantly, improve the ``strength'' of the given model formulation, that is, the degree to which the constraints of the formulation accurately describe the underlying polyhedron of integer-feasible solutions. As our computational results will show, presolve is a key factor in the speed with which we can solve mixed-integer programs, and is often the difference between a model being intractable and solvable, in some cases easily solvable. In this paper we describe the presolve functionality in the Gurobi commercial mixed-integer programming code. This includes an overview, or taxonomy of the different methods that are employed, as well as more-detailed descriptions of several of the techniques, with some of them appearing, to our knowledge, for the first time in the literature. Y1 - 2019 ER - TY - GEN A1 - Achterberg, Tobias A1 - Bixby, Robert E. A1 - Gu, Zonghao A1 - Rothberg, Edward A1 - Weninger, Dieter T1 - Presolve Reductions in Mixed Integer Programming N2 - Mixed integer programming has become a very powerful tool for modeling and solving real-world planning and scheduling problems, with the breadth of applications appearing to be almost unlimited. A critical component in the solution of these mixed-integer programs is a set of routines commonly referred to as presolve. Presolve can be viewed as a collection of preprocessing techniques that reduce the size of and, more importantly, improve the ``strength'' of the given model formulation, that is, the degree to which the constraints of the formulation accurately describe the underlying polyhedron of integer-feasible solutions. As our computational results will show, presolve is a key factor in the speed with which we can solve mixed-integer programs, and is often the difference between a model being intractable and solvable, in some cases easily solvable. In this paper we describe the presolve functionality in the Gurobi commercial mixed-integer programming code. This includes an overview, or taxonomy of the different methods that are employed, as well as more-detailed descriptions of several of the techniques, with some of them appearing, to our knowledge, for the first time in the literature. T3 - ZIB-Report - 16-44 KW - integer programming KW - presolving KW - Gurobi Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-60370 SN - 1438-0064 ER - TY - GEN A1 - Achterberg, Tobias A1 - Brinkmann, Raik A1 - Wedler, Markus T1 - Property Checking with Constraint Integer Programming N2 - We address the property checking problem for SoC design verification at the register transfer level (RTL) by integrating techniques from integer programming, constraint programming, and SAT solving. Specialized domain propagation and preprocessing algorithms for individual RTL operations extend a general constraint integer programming framework. Conflict clauses are learned by analyzing infeasible LPs and deductions, and by employing reverse propagation. Experimental results show that our approach outperforms SAT techniques for proving the validity of properties on circuits containing arithmetics. T3 - ZIB-Report - 07-37 KW - formale Chip Verifikation KW - constraint integer programming KW - scip KW - Eigenschaftsprüfer KW - formal chip verification KW - constraint integer programming KW - scip KW - property checking KW - micro chip Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10376 SN - 1438-0064 ER - TY - GEN A1 - Achterberg, Tobias A1 - Grötschel, Martin A1 - Koch, Thorsten T1 - Software for Teaching Modeling of Integer Programming Problems N2 - Modern applications of mathematical programming must take into account a multitude of technical details, business demands, and legal requirements. Teaching the mathematical modeling of such issues and their interrelations requires real-world examples that are well beyond the toy sizes that can be tackled with the student editions of most commercial software packages. We present a new tool, which is freely available for academic use including complete source code. It consists of an algebraic modeling language and a linear mixed integer programming solver. The performance and features of the tool are in the range of current state-of-the-art commercial tools, though not in all aspects as good as the best ones. Our tool does allow the execution and analysis of large real-world instances in the classroom and can therefore enhance the teaching of problem solving issues. Teaching experience has been gathered and practical usability was tested in classes at several universities and a two week intensive block course at TU Berlin. The feedback from students and teachers has been very positive. T3 - ZIB-Report - 06-23 KW - Integer Programming KW - Modelling KW - MIP-Solver KW - Algebraic Modelling Languages KW - Teaching Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9176 ER - TY - JOUR A1 - Achterberg, Tobias A1 - Grötschel, Martin A1 - Koch, Thorsten T1 - Teaching MIP Modeling and Solving JF - OR/MS Today Y1 - 2006 UR - http://www.lionhrtpub.com/orms/orms-12-06/freducation.html VL - 33 IS - 6 SP - 14 EP - 15 ER - TY - GEN A1 - Achterberg, Tobias A1 - Heinz, Stefan A1 - Koch, Thorsten T1 - Counting solutions of integer programs using unrestricted subtree detection N2 - In the recent years there has been tremendous progress in the development of algorithms to find optimal solutions for integer programs. In many applications it is, however, desirable (or even necessary) to generate all feasible solutions. Examples arise in the areas of hardware and software verification and discrete geometry. In this paper, we investigate how to extend branch-and-cut integer programming frameworks to support the generation of all solutions. We propose a method to detect so-called unrestricted subtrees, which allows us to prune the integer program search tree and to collect several solutions simultaneously. We present computational results of this branch-and-count paradigm which show the potential of the unrestricted subtree detection. T3 - ZIB-Report - 08-09 KW - Zählen KW - ganzzahlige Programme KW - IP KW - counting KW - integer programming KW - IP Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10632 SN - 1438-0064 ER - TY - CHAP A1 - Achterberg, Tobias A1 - Heinz, Stefan A1 - Koch, Thorsten ED - Perron, Laurent ED - Trick, Michael T1 - Counting Solutions of Integer Programs Using Unrestricted Subtree Detection T2 - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008 Y1 - 2008 UR - http://opus.kobv.de/zib/volltexte/2008/1092/ VL - 5015 SP - 278 EP - 282 PB - Springer ER - TY - GEN A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Martin, Alexander T1 - Branching on History Information N2 - Mixed integer programs ($MIPs$) are commonly solved with branch and bound algorithms based on linear programming. The success and the speed of the algorithm strongly depends on the strategy used to select the branching variables. Today's state-of-the-art strategy is called \emph{pseudocost branching} and uses information of previous branchings to determine the current branching. We propose a modification of \emph{pseudocost branching} which we call \emph{history branching}. This strategy has been implemented in $SIP$, a state-of-the-art $MIP$ solver. We give computational results that show the superiority of the new strategy. T3 - ZIB-Report - 02-32 KW - Mixed Integer Programming KW - Branch-and-Bound KW - Branching Rules KW - Pseudocost Branching Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6990 ER - TY - GEN A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Martin, Alexander T1 - Branching rules revisited N2 - Mixed integer programs are commonly solved with linear programming based branch-and-bound algorithms. The success of the algorithm strongly depends on the strategy used to select the variable to branch on. We present a new generalization called {\sl reliability branching} of today's state-of-the-art {\sl strong branching} and {\sl pseudocost branching} strategies for linear programming based branch-and-bound algorithms. After reviewing commonly used branching strategies and performing extensive computational studies we compare different parameter settings and show the superiority of our proposed newstrategy. T3 - ZIB-Report - 04-13 KW - Mixed-integer-programming KW - Branch-and-Bound KW - Variable selection KW - Pseudocost-Branching KW - Strong-Branching KW - Reliability-Branching Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7886 ER - TY - GEN A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Martin, Alexander T1 - MIPLIB 2003 N2 - 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. T3 - ZIB-Report - 05-28 KW - Mathematical Programming KW - Mixed Integer Programming KW - IP KW - MIP KW - Optimization KW - Instances Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8625 ER - TY - JOUR A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Martin, Alexander T1 - Branching Rules Revisited JF - Operations Research Letters Y1 - 2005 UR - http://opus.kobv.de/zib/volltexte/2004/789/ U6 - https://doi.org/10.1016/j.orl.2004.04.002 VL - 33 IS - 1 SP - 42 EP - 54 PB - Elsevier / North-Holland ER - TY - JOUR A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Martin, Alexander T1 - MIPLIB 2003 JF - Operations Research Letters Y1 - 2006 UR - http://opus.kobv.de/zib/volltexte/2005/862/ U6 - https://doi.org/10.1016/j.orl.2005.07.009 VL - 34 IS - 4 SP - 361 EP - 372 PB - Elsevier / North-Holland ER - TY - GEN A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Tuchscherer, Andreas T1 - On the Effects of Minor Changes in Model Formulations N2 - Starting with the description of the Traveling Salesmen Problem formulation as given by van Vyve and Wolsey in the article Approximate extended formulations'', we investigate the effects of small variations onto the performance of contemporary mixed integer programming solvers. We will show that even minor changes in the formulation of the model can result in performance difference of more than a factor of 1000. As the results show it is not obvious which changes will result in performance improvements and which not. T3 - ZIB-Report - 08-29 Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10808 SN - 1438-0064 ER - TY - GEN A1 - Achterberg, Tobias A1 - Raack, Christian T1 - The MCF-Separator -- Detecting and Exploiting Multi-Commodity Flow Structures in MIPs N2 - Given a general mixed integer program (MIP), we automatically detect block structures in the constraint matrix together with the coupling by capacity constraints arising from multi-commodity-flow formulations. We identify the underlying graph and generate cutting planes based on cuts in the detected network. Our implementation adds a separator to the branch-and-cut libraries of SCIP and CPLEX. We make use of the complemented mixed integer rounding framework (cMIR) but provide a special purpose aggregation heuristic that exploits the network structure. Our separation scheme speeds-up the computation for a large set of MIPs coming from network design problems by a factor of two on average. T3 - ZIB-Report - 09-38 KW - mixed integer programming KW - network detection KW - cut-based inequalities KW - cplex KW - scip Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11592 SN - 1438-0064 ER - TY - JOUR A1 - Achterberg, Tobias A1 - Raack, Christian T1 - The MCF-Separator – Detecting and Exploiting Multi-Commodity Flows in MIPs JF - Mathematical Programming C Y1 - 2010 UR - http://www.springerlink.com/content/383250gmx3184126/ IS - 2 SP - 125 EP - 165 ER - TY - GEN A1 - Ackermann, Jörg A1 - Erdmann, Bodo A1 - Roitzsch, Rainer T1 - A self-adaptive multilevel finite element method for the stationary Schrödinger equation in three space dimensions. N2 - An error controlled finite elemente method (FEM) for solving stationary Schrödinger equations in three space dimensions is proposed. The method is based on an adaptive space discretization into tetrahedra and local polynomial basis functions of order $p=1$--$5$ defined on these tetrahedra. According to a local error estimator the triangulation is automatically adapted to the solution. Numerical results for standard problems appearing in vibrational motion and molecular structure calculations are presented and discussed. Relative precisions better than 1e-8 are obtained. For equilateral H$_3^{++}$ the adaptive FEM turns out to be superior to global basis set expansions in the literature. Our precise FEM results exclude in a definite manner the stability or metastability of equilateral H$_3^{++}$ in its groundstate. T3 - ZIB-Report - SC-94-10 Y1 - 1994 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1403 ER - TY - JOUR A1 - Ackermann, Jörg A1 - Erdmann, Bodo A1 - Roitzsch, Rainer T1 - A self-adaptive multilevel finite element method for the stationary Schrödinger equation in three space dimensions JF - J. Chem. Phys. Y1 - 1994 VL - 101 SP - 7643 EP - 7650 ER - TY - GEN A1 - Ackermann, Jörg A1 - HELFRICH, K. T1 - Radius of Convergence of the 1/Z-Expansion for Diatomic Molecules: The Ground State of the Isoelectronic H2Sequence. N2 - Using the perturbational-variational Rayleigh-Ritz matrix formalism, the 1/Z-expansion for the ground state of the isoelectronic $H_2$ sequence in the range of the internuclear distance $0.2\le R \le 9.0$ is calculated. Also lower bounds of the radius of convergence, based on Kato's theory of linear operators, are given. The numerical results of the 1/Z-expansion can be compared with the exact results and do not converge in the whole R-range. This behavior is in qualitative agreement with the lower bounds for the radius of convergence and enlights some still open properties of 1/Z- expansions for this sequence in the literature. {\bf PACS:} 31.15 + q; 31.20 Di; 31.20 Tz. T3 - ZIB-Report - SC-92-02 Y1 - 1992 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-721 ER - TY - GEN A1 - Ackermann, Jörg A1 - Roitzsch, Rainer T1 - On a Two-Dimensional Multilevel Adaptive Finite Element Method for the Time-Independent Schrödinger-Equation. N2 - The subject of this study is a multilevel Finite Element Method based on an error estimator and step by step grid refinement as an universal tool for solving time--independent Schrödinger--eigenvalue problems. Numerical results for standard problems appearing in vibrational motion and molecular electronic structure calculations are given and discussed. T3 - ZIB-Report - SC-93-12 Y1 - 1993 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1086 ER - TY - GEN A1 - Ackermann, Jörg A1 - Wulkow, Michael T1 - MACRON - A Program Package for Macromalecular Reaction Kinetics. N2 - This paper presents the new program package MACRON for the simulation of macromolecular kinetics including standard chemical reactions. Such problems lead to countable (possibly) infinite systems of ordinary differential equations (CODE's), which are numerically treated by the so-called discrete Galerkin method here. By a chemical compiler the required analytical preprocessing is performed, such that the complete reaction system, standard kinetics as well as macromolecular reactions, can be entered in the chemical formalism. Typical macromolecular reaction steps are chain addition, termination, chain transfer and degradation (cracking). In order to ensure efficiency and reliability, high sophisticated numerical routines are built within the package. MACRON can be used without a detailed knowledge of the used numerical methods. As an illustration the application of MACRON to some realistic problems is presented. T3 - ZIB-Report - SC-90-14 Y1 - 1990 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-423 ER - TY - GEN A1 - Ackermann, Jörg A1 - Wulkow, Michael T1 - The Treatment of Macromolecular Processes with Chain-Length-Dependent Reaction Coefficients - An Examplefrom Soot Formation. N2 - The description of chain length distributions in macromolecular reaction kinetics leads to so-called countable systems of differential equations. In particular, when the appearing reaction rate coefficients depend on the chain length of the reacting macromolecules itself, an efficient numerical treatment of these systems is very difficult. Then even the evaluation of the right-hand side of the system can become prohibitively expensive with respect to computing time. In this paper we show how the discrete Galerkin method can be applied to such problems. The existing algorithm CODEX is improved by use of a multiplicative error correction scheme for time discretization and a new type of numerical preprocessing by means of a Gauss summation. Both ideas are exemplary for a wide class of approximation types and are described very briefly here. The new numerical techniques are tested on an example from soot formation, where the coagulation of molecules is modeled in terms of reaction coefficients depending on the surface of the particles and their collision frequency. T3 - ZIB-Report - SC-91-18 Y1 - 1991 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-682 ER - TY - THES A1 - Adolfson, Jon A1 - Helgesson, Johan T1 - Generation of Smooth Non-Manifold Surfaces from Segmented Image Data Y1 - 2004 ER - TY - THES A1 - Agarwal, Animesh T1 - Path Integral Techniques in Molecular Dynamics Simulations of Open Boundary Systems Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:188-fudissthesis000000103020-4 ER - TY - GEN A1 - Agarwal, Animesh A1 - Wang, Han A1 - Schütte, Christof A1 - Delle Site, Luigi T1 - Chemical potential of liquids and mixtures via Adaptive Resolution Simulation N2 - We employ the adaptive resolution approach AdResS, in its recently developed Grand Canonicallike version (GC-AdResS) [Wang et al. Phys.Rev.X 3, 011018 (2013)], to calculate the excess chemical potential, $μ^{ex}$, of various liquids and mixtures. We compare our results with those obtained from full atomistic simulations using the technique of thermodynamic integration and show a satisfactory agreement. In GC-AdResS the procedure to calculate $μ^{ex}$ corresponds to the process of standard initial equilibration of the system; this implies that, independently of the specific aim of the study, $μ^{ex}$, for each molecular species, is automatically calculated every time a GC-AdResS simulation is performed. T3 - ZIB-Report - 14-25 KW - Coarse graining KW - adaptive resolution KW - molecular dynamics KW - chemical potential Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-50972 SN - 1438-0064 ER - TY - JOUR A1 - Agarwal, Animesh A1 - Wang, Han A1 - Schütte, Christof A1 - Delle Site, Luigi T1 - Chemical potential of liquids and mixtures via Adaptive Resolution Simulation JF - The Journal of Chemical Physics Y1 - 2014 U6 - https://doi.org/10.1063/1.4886807 VL - 141 SP - 034102 ER - TY - CHAP A1 - Agcos, Emil A1 - Bodermann, Bernd A1 - Burger, Sven A1 - Dai, Gaoliang A1 - Endres, Johannes A1 - Hansen, Poul-Erik A1 - Nielson, Lars A1 - Madsen, Morten A1 - Heidenreich, Sebastian A1 - Krumrey, Michael A1 - Loechel, Bernd A1 - Probst, Jürgen A1 - Scholze, Frank A1 - Soltwisch, Victor A1 - Wurm, Matthias T1 - Scatterometry reference standards to improve tool matching and traceability in lithographical nanomanufacturing T2 - Proc. SPIE Y1 - 2015 U6 - https://doi.org/10.1117/12.2190409 VL - 9556 SP - 955610 ER - TY - CHAP A1 - Agudo Jácome, Leonardo A1 - Hege, Hans-Christian A1 - Paetsch, Olaf A1 - Pöthkow, Kai T1 - 3D Reconstruction, Visualization and Quantification of Dislocations from Transmission Electron Microscopy Stereo-Pairs T2 - Microscopy and Microanalysis 2016, July 24-28 Columbus, Ohio Y1 - 2016 UR - https://www.microscopy.org/MandM/2016/program/abstracts/PDP-57.pdf ER - TY - JOUR A1 - Agudo Jácome, Leonardo A1 - Hege, Hans-Christian A1 - Paetsch, Olaf A1 - Pöthkow, Kai T1 - Three-dimensional reconstruction and quantification of dislocation substructures from transmission electron microscopy stereo pairs JF - Ultramicroscopy N2 - A great amount of material properties is strongly influenced by dislocations, the carriers of plastic deformation. It is therefore paramount to have appropriate tools to quantify dislocation substructures with regard to their features, e.g., dislocation density, Burgers vectors or line direction. While the transmission electron microscope (TEM) has been the most widely-used equipment implemented to investigate dislocations, it usually is limited to the two-dimensional (2D) observation of three-dimensional (3D) structures. We reconstruct, visualize and quantify 3D dislocation substructure models from only two TEM images (stereo pairs) and assess the results. The reconstruction is based on the manual interactive tracing of filiform objects on both images of the stereo pair. The reconstruction and quantification method are demonstrated on dark field (DF) scanning (S)TEM micrographs of dislocation substructures imaged under diffraction contrast conditions. For this purpose, thick regions (>300 nm) of TEM foils are analyzed, which are extracted from a Ni-base superalloy single crystal after high temperature creep deformation. It is shown how the method allows 3D quantification from stereo pairs in a wide range of tilt conditions, achieving line length and orientation uncertainties of 3% and 7°, respectively. Parameters that affect the quality of such reconstructions are discussed. Y1 - 2018 U6 - https://doi.org/10.1016/j.ultramic.2018.08.015 VL - 195 SP - 157 EP - 170 ER - TY - GEN A1 - Agudo Jácome, Leonardo A1 - Hege, Hans-Christian A1 - Paetsch, Olaf A1 - Pöthkow, Kai T1 - Three-Dimensional Reconstruction and Quantification of Dislocation Substructures from Transmission Electron Microscopy Stereo-Pairs N2 - A great amount of material properties is strongly influenced by dislocations, the carriers of plastic deformation. It is therefore paramount to have appropriate tools to quantify dislocation substructures with regard to their features, e.g., dislocation density, Burgers vectors or line direction. While the transmission electron microscope (TEM) has been the most widely-used equipment implemented to investigate dislocations, it usually is limited to the two-dimensional (2D) observation of three-dimensional (3D) structures. We reconstruct, visualize and quantify 3D dislocation substructure models from only two TEM images (stereo-pairs) and assess the results. The reconstruction is based on the manual interactive tracing of filiform objects on both images of the stereo-pair. The reconstruction and quantification method are demonstrated on dark field (DF) scanning (S)TEM micrographs of dislocation substructures imaged under diffraction contrast conditions. For this purpose, thick regions (> 300 nm) of TEM foils are analyzed, which are extracted from a Ni-base superalloy single crystal after high temperature creep deformation. It is shown how the method allows 3D quantification from stereo-pairs in a wide range of tilt conditions, achieving line length and orientation uncertainties of 3 % and 7°, respectively. Parameters that affect the quality of such reconstructions are discussed. T3 - ZIB-Report - 18-50 KW - dislocation, diffraction contrast, scanning transmission electron microscopy, stereoscopy, visualization Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-70339 SN - 1438-0064 ER - TY - CHAP A1 - Ahiboz, Doguscan A1 - Andresen, Elina A1 - Manley, Phillip A1 - Resch Genger, Ute A1 - Würth, Christian A1 - Becker, Christiane T1 - Enhanced Photon Upconversion Using Erbium-Doped Nanoparticles Interacting with Silicon Metasurfaces T2 - IEEE 48th Photovoltaic Specialists Conference (PVSC) Y1 - 2021 U6 - https://doi.org/10.1109/PVSC43889.2021.9518495 SP - 2008 EP - 2010 ER - TY - JOUR A1 - Ahiboz, Doguscan A1 - Andresen, Elina A1 - Manley, Phillip A1 - Resch-Genger, Ute A1 - Würth, Christian A1 - Becker, Christiane T1 - Metasurface-Enhanced Photon Upconversion upon 1550 nm Excitation JF - Adv. Opt. Mater. Y1 - 2021 U6 - https://doi.org/10.1002/adom.202101285 VL - 9 SP - 2101285 ER - TY - GEN A1 - Ahmadi, Sepideh A1 - Gritzbach, Sascha F. A1 - Lund-Nguyen, Kathryn A1 - McCullough-Amal, Devita T1 - Rolling Stock Rotation Optimization in Days of Strike: An Automated Approach for Creating an Alternative Timetable N2 - The operation of a railway network as large as Deutsche Bahn's Intercity Express (ICE) hinges on a number of factors, such as the availability of personnel and the assignment of physical vehicles to a timetable schedule, a problem known as the rolling stock rotation problem (RSRP). In this paper, we consider the problem of creating an alternative timetable in the case that there is a long-term disruption, such as a strike, and the effects that this alternative timetable has on the resulting vehicle rotation plan. We define a priority measure via the Analytic Hierarchy Process (AHP) to determine the importance of each trip in the timetable and therefore which trips to cancel or retain. We then compare our results with those of a limited timetable manually designed by Deutsche Bahn (DB). We find that while our timetable results in a more expensive rotation plan, its flexibility lends itself to a number of simple improvements. Furthermore, our priority measure has the potential to be integrated into the rolling stock rotation optimization process, in particular, the Rotation Optimizer for Railways (ROTOR) software, via the cost function. Ultimately, our method provides the foundation for an automated way of creating a new timetable quickly, and potentially in conjunction with a new rotation plan, in the case of a limited scenario. T3 - ZIB-Report - 15-52 Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-56425 SN - 1438-0064 ER - TY - JOUR A1 - Ahufinger, Verònica A1 - Corbalán, R. A1 - Cataliotti, F. S. A1 - Burger, Sven A1 - Minardi, F. A1 - Fort, C. T1 - Electromagnetically induced transparency in a Bose-Einstein condensate JF - Opt. Comm. Y1 - 2002 U6 - https://doi.org/10.1016/S0030-4018(02)01826-6 VL - 211 SP - 159 ER - TY - THES A1 - Aiche, Stephan T1 - Inferring Proteolytic Processes from Mass Spectrometry Time Series Data Y1 - 2013 UR - http://www.diss.fu-berlin.de/diss/receive/FUDISS_thesis_000000095370 ER - TY - JOUR A1 - Aiche, Stephan A1 - Reinert, Knut A1 - Schütte, Christof A1 - Hildebrand, Diana A1 - Schlüter, Hartmut A1 - Conrad, Tim T1 - Inferring Proteolytic Processes from Mass Spectrometry Time Series Data Using Degradation Graphs JF - PLoS ONE Y1 - 2012 UR - http://publications.imp.fu-berlin.de/1143/ U6 - https://doi.org/10.1371/journal.pone.0040656 VL - 7 IS - 7 SP - e40656 PB - Public Library of Science ER - TY - JOUR A1 - Aigner, Kevin-Martin A1 - Clarner, Jan-Patrick A1 - Liers, Frauke A1 - Martin, Alexander T1 - Robust Approximation of Chance Constrained DC Optimal Power Flow under Decision-Dependent Uncertainty JF - European Journal of Operational Research N2 - 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. Y1 - 2021 ER - TY - JOUR A1 - Akbari Shandiz, Mohsen A1 - Boulos, Paul A1 - Sævarsson, Stefan A1 - Ramm, Heiko A1 - Fu, Chun Kit A1 - Miller, Stephen A1 - Zachow, Stefan A1 - Anglin, Carolyn T1 - Changes in Knee Shape and Geometry Resulting from Total Knee Arthroplasty JF - Journal of Engineering in Medicine N2 - Changes in knee shape and geometry resulting from total knee arthroplasty can affect patients in numerous important ways: pain, function, stability, range of motion, and kinematics. Quantitative data concerning these changes have not been previously available, to our knowledge, yet are essential to understand individual experiences of total knee arthroplasty and thereby improve outcomes for all patients. The limiting factor has been the challenge of accurately measuring these changes. Our study objective was to develop a conceptual framework and analysis method to investigate changes in knee shape and geometry, and prospectively apply it to a sample total knee arthroplasty population. Using clinically available computed tomography and radiography imaging systems, the three-dimensional knee shape and geometry of nine patients (eight varus and one valgus) were compared before and after total knee arthroplasty. All patients had largely good outcomes after their total knee arthroplasty. Knee shape changed both visually and numerically. On average, the distal condyles were slightly higher medially and lower laterally (range: +4.5 mm to −4.4 mm), the posterior condyles extended farther out medially but not laterally (range: +1.8 to −6.4 mm), patellofemoral distance increased throughout flexion by 1.8–3.5 mm, and patellar thickness alone increased by 2.9 mm (range: 0.7–5.2 mm). External femoral rotation differed preop and postop. Joint line distance, taking cartilage into account, changed by +0.7 to −1.5 mm on average throughout flexion. Important differences in shape and geometry were seen between pre-total knee arthroplasty and post-total knee arthroplasty knees. While this is qualitatively known, this is the first study to report it quantitatively, an important precursor to identifying the reasons for the poor outcome of some patients. Using the developed protocol and visualization techniques to compare patients with good versus poor clinical outcomes could lead to changes in implant design, implant selection, component positioning, and surgical technique. Recommendations based on this sample population are provided. Intraoperative and postoperative feedback could ultimately improve patient satisfaction. Y1 - 2018 UR - http://journals.sagepub.com/eprint/ZVgNrNESA9EjIcaFWSjb/full U6 - https://doi.org/10.1177/0954411917743274 VL - 232 IS - 1 SP - 67 EP - 79 ER - TY - JOUR A1 - Akemi, K. A1 - deForcrand, Ph. A1 - Fujisaki, M. A1 - Hashimoto, T. A1 - Hege, Hans-Christian A1 - Hioki, S. A1 - Miyamura, O. A1 - Nakamura, A. A1 - Okuda, M. A1 - Stamatescu, I. O. A1 - Tago, Yoshio A1 - Takaishi, T. T1 - Quantum Chromodynamics Simulations on a Non-Dedicated Highly Parallel Computer JF - Comp. Phys. Comm Y1 - 1995 U6 - https://doi.org/10.1016/0010-4655(95)00082-Q VL - 90 SP - 201 EP - 214 ER - TY - JOUR A1 - Akemi, K. A1 - Forcrand, Ph. de A1 - Fujisaki, M. A1 - Hashimoto, T. A1 - Hege, Hans-Christian A1 - Hioki, S. A1 - Makino, J. A1 - Miyamura, O. A1 - Nakamura, A. A1 - Okuda, M. A1 - Stamatescu, I. O. A1 - Tago, Yoshio A1 - Takaishi, T. T1 - SU(3) Renormalization Group Study on Parallel Computer AP 1000 JF - Nucl. Phys. B Proc. Suppl. 26 Y1 - 1992 U6 - https://doi.org/10.1016/0920-5632(92)90293-2 SP - 420 EP - 422 ER - TY - JOUR A1 - Akemi, K. A1 - Forcrand, Ph. de A1 - Fujisaki, M. A1 - Hashimoto, T. A1 - Hege, Hans-Christian A1 - Hioki, S. A1 - Makino, J. A1 - Miyamura, O. A1 - Nakamura, A. A1 - Okuda, M. A1 - Stamatescu, I. O. A1 - Tago, Yoshio A1 - Takaishi, T. T1 - QCD on the Highly Parallel Computer AP 1000 JF - Nucl. Phys. B Proc. Suppl. 26 Y1 - 1992 U6 - https://doi.org/10.1016/0920-5632(92)90358-Y SP - 644 EP - 646 ER - TY - THES A1 - Akil, Fatima T1 - Lineare Gleichungssysteme modulo T N2 - Mit dem Voranschreiten der Technologie erhalten die öffentlichen Verkehrsmittel eine größere Bedeutung. Die Beförderung mehrerer Personen eröffnet der Gesellschaft viele Möglichkeiten, unter Anderem den Vorteil der Zeitersparnis. Die Dauer des Verkehrswegs mit öffentlichen Verkehrsmitteln ist häufig geringer, als die mit individuellen Verkehrsmitteln. Jedes öffentliche Transportmittel ist mit einem Fahrplan versehen. Dieser bietet Passagieren, die öffentliche Verkehrsmittel öfter nutzen, eine Strukturierung und Planung ihrer Zeit. Dabei lassen sich Taktfahrpläne aufgrund ihres periodischen Verhaltens leicht einprägen. Dieses periodische Verhalten ist durch mathematische Modellierungen darstellbar. Das persönliche Nutzverhalten vieler Bürger im Personenverkehr ist auf die öffentlichen Verkehrsmittel beschränkt. Diese beinhalten im Gegensatz zum individuellen Verkehrsmittel eine Wartezeit. Dabei stellt sich die Frage, ob man anhand mathematischer Modelle diese Wartezeit minimieren kann. Eine bekannte mathematische Modellierung dieses Problems ist das Periodic Event Scheduling Problem (PESP). Die optimale Planung eines periodischen Taktfahrplanes steht im Vordergrund. Während ich dieses Problem betrachtet habe, wurde ich auf das Rechnen mit linearen Gleichungssystemen modulo T aufmerksam. Bei periodischen Taktfahrplänen wird ein einheitliches zeitliches Muster, welches sich nach T Minuten wiederholt, betrachtet. Das dabei zu betrachtende Lösungsproblem eröffnet ein Teilgebiet der Mathematik, welches bislang nicht im Vordergrund stand: Das Lösen linearer Gleichungen modulo T, wobei T für die Zeit in Minuten steht und somit 60 ist. Da 60 keine Primzahl ist, kann – wie im Laufe der Arbeit präsentiert – das lineare Gleichungssystem nicht mehr über einen Körper gelöst werden. Lineare Gleichungssysteme werden nun über Nicht-Körpern betrachtet. Die Literatur weist sowohl im deutschsprachigem als auch im englischsprachigen Raum wenig Umfang bezüglich linearer Gleichungssysteme über Nicht-Körper auf. Der Bestand an Fachliteratur bezüglich den Themen lineare diophantische Gleichungssysteme, Hermite- Normalform und Smith-Normalform ist zurzeit gering, dennoch erreichbar, beispielsweise in [1], welches in dieser Bachelorarbeit genutzt wurde. Insbesondere wurde ich bei der Suche nach geeigneter Literatur zu linearen Gleichungssystemen über Restklassenringe, die keinen Körper bilden, nicht fündig. Dabei recherchierte ich sowohl in den Universitätsbibliotheken als auch in webbasierenden Suchmaschinen. Aufgrund dem geringen Bestand an Fachliteratur in diesem Kontext, war ich gezwungen, an vielen Stellen eigene logische Verknüpfungen zu konzipieren und zu beweisen. Dies brachte viele Schwierigkeiten mit sich, die mit bestmöglichem Verständnis bearbeitet wurden. Abseits der Zugänglichkeit der Literatur, finde ich es sehr überraschend, dass sich viele Professoren der Mathematik mit diesem Themenbereich nicht beschäftigten. Insbesondere gingen von den Dozenten, die ich um Literaturempfehlung bat, kein Werk aus. Damit wurde das Thema "Lineare Gleichungssysteme Modulo T" einerseits eine große Herausforderung, andererseits eine große Motivation, da ich mit dieser Bachelorarbeit vielen Interessenten der Mathematik als Sekundärliteratur dienen kann. Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-71560 ER - TY - JOUR A1 - Al Hajj, Hassan A1 - Sahu, Manish A1 - Lamard, Mathieu A1 - Conze, Pierre-Henri A1 - Roychowdhury, Soumali A1 - Hu, Xiaowei A1 - Marsalkaite, Gabija A1 - Zisimopoulos, Odysseas A1 - Dedmari, Muneer Ahmad A1 - Zhao, Fenqiang A1 - Prellberg, Jonas A1 - Galdran, Adrian A1 - Araujo, Teresa A1 - Vo, Duc My A1 - Panda, Chandan A1 - Dahiya, Navdeep A1 - Kondo, Satoshi A1 - Bian, Zhengbing A1 - Bialopetravicius, Jonas A1 - Qiu, Chenghui A1 - Dill, Sabrina A1 - Mukhopadyay, Anirban A1 - Costa, Pedro A1 - Aresta, Guilherme A1 - Ramamurthy, Senthil A1 - Lee, Sang-Woong A1 - Campilho, Aurelio A1 - Zachow, Stefan A1 - Xia, Shunren A1 - Conjeti, Sailesh A1 - Armaitis, Jogundas A1 - Heng, Pheng-Ann A1 - Vahdat, Arash A1 - Cochener, Beatrice A1 - Quellec, Gwenole T1 - CATARACTS: Challenge on Automatic Tool Annotation for cataRACT Surgery JF - Medical Image Analysis N2 - Surgical tool detection is attracting increasing attention from the medical image analysis community. The goal generally is not to precisely locate tools in images, but rather to indicate which tools are being used by the surgeon at each instant. The main motivation for annotating tool usage is to design efficient solutions for surgical workflow analysis, with potential applications in report generation, surgical training and even real-time decision support. Most existing tool annotation algorithms focus on laparoscopic surgeries. However, with 19 million interventions per year, the most common surgical procedure in the world is cataract surgery. The CATARACTS challenge was organized in 2017 to evaluate tool annotation algorithms in the specific context of cataract surgery. It relies on more than nine hours of videos, from 50 cataract surgeries, in which the presence of 21 surgical tools was manually annotated by two experts. With 14 participating teams, this challenge can be considered a success. As might be expected, the submitted solutions are based on deep learning. This paper thoroughly evaluates these solutions: in particular, the quality of their annotations are compared to that of human interpretations. Next, lessons learnt from the differential analysis of these solutions are discussed. We expect that they will guide the design of efficient surgery monitoring tools in the near future. Y1 - 2019 U6 - https://doi.org/10.1016/j.media.2018.11.008 N1 - Best paper award - Computer Graphics Night 2020 (TU Darmstadt) VL - 52 IS - 2 SP - 24 EP - 41 PB - Elsevier ER - TY - JOUR A1 - Albrecht, Rita A1 - Ceynowa, Klaus A1 - Degkwitz, Andreas A1 - Kende, Jiri A1 - Koch, Thorsten A1 - Messmer, Gabriele A1 - Risch, Uwe A1 - Rusch, Beate A1 - Scheuerl, Robert A1 - Voß, Michael T1 - Cloudbasierte Infrastruktur für Bibliotheksdaten – auf dem Weg zu einer Neuordnung der deutschen Verbundlandschaft JF - Bibliothek Forschung und Praxis N2 - Im Oktober 2012 hatte die Deutsche Forschungsgemeinschaft (DFG) ein Förderprogramm zur Neuausrichtung überregionaler Informationsservices ausgeschrieben, um eine umfassende Reorganisation bestehender Infrastrukturen anzustoßen, die mit den Empfehlungen des Wissenschaftsrates zur Zukunft der bibliothekarischen Verbundsysteme in Deutschland gefordert wurde. Im Themenfeld „Bibliotheksdateninfrastruktur und Lokale Systeme“ der DFG-Ausschreibung wurde das vom Hessischen Bibliotheksinformationssystem (HeBIS), vom Bibliotheksverbund Bayern (BVB) und vom Kooperativen Bibliotheksverbund Berlin-Brandenburg (KOBV) beantragte Vorhaben „Cloudbasierte Infrastruktur für Bibliotheksdaten“ (CIB) bewilligt. Das Projekt zielt auf die Überführung bibliothekarischer Workflows und Dienste in cloudbasierte Arbeitsumgebungen und die sukzessive Ablösung traditioneller Verbund- und Lokalsysteme durch internationale Systemplattformen. Zu den Arbeitspaketen des Vorhabens gehört u. a. die Einbindung von Norm- und Fremddatenangeboten und von weiteren Services in diese Plattformen. Y1 - 2013 U6 - https://doi.org/10.1515/bfp-2013-0044 VL - 37 IS - 3 SP - 279 EP - 287 ER - TY - JOUR A1 - Alchikh, Maren A1 - Conrad, Tim A1 - Hoppe, Christian A1 - Ma, Xiaolin A1 - Broberg, Eeva K. A1 - Penttinen, P. A1 - Reiche, J. A1 - Biere, Barbara A1 - Schweiger, Brunhilde A1 - Rath, Barbara T1 - Are we missing respiratory viral infections in infants and children? Comparison of a hospital-based quality management system with standard of care. Clinical Microbiology and Infection JF - Clinical Microbiology and Infection Y1 - 2018 U6 - https://doi.org/10.1016/j.cmi.2018.05.023 IS - 06/18 SP - 1 EP - 1 ER - TY - JOUR A1 - Alchikh, Maren A1 - Conrad, Tim A1 - Ma, Xiaolin A1 - Broberg, Eeva K. A1 - Penttinen, P. A1 - Reiche, J. A1 - Biere, Barbara A1 - Schweiger, Brunhilde A1 - Rath, Barbara A1 - Hoppe, Christian T1 - Are we missing respiratory viral infections in infants and children? Comparison of a hospital-based quality management system with standard of care JF - Clinical Microbiology and Infection Y1 - 2019 U6 - https://doi.org/10.1016/j.cmi.2018.05.023 SN - 1469-0691 VL - 25 IS - 3 SP - 380.e9 EP - 380.e16 ER - TY - JOUR A1 - Alchikh, Maren A1 - Conrad, Tim A1 - Obermeier, Patrick A1 - Ma, Xiaolin A1 - Schweiger, Brunhilde A1 - Opota, Onya A1 - Rath, Barbara T1 - Disease Burden and Inpatient Management of Children with Acute Respiratory Viral Infections during the Pre-COVID Era in Germany: A Cost-of-Illness Study JF - Viruses N2 - Respiratory viral infections (RVIs) are common reasons for healthcare consultations. The inpatient management of RVIs consumes significant resources. From 2009 to 2014, we assessed the costs of RVI management in 4776 hospitalized children aged 0–18 years participating in a quality improvement program, where all ILI patients underwent virologic testing at the National Reference Centre followed by detailed recording of their clinical course. The direct (medical or non-medical) and indirect costs of inpatient management outside the ICU (‘non-ICU’) versus management requiring ICU care (‘ICU’) added up to EUR 2767.14 (non-ICU) vs. EUR 29,941.71 (ICU) for influenza, EUR 2713.14 (non-ICU) vs. EUR 16,951.06 (ICU) for RSV infections, and EUR 2767.33 (non-ICU) vs. EUR 14,394.02 (ICU) for human rhinovirus (hRV) infections, respectively. Non-ICU inpatient costs were similar for all eight RVIs studied: influenza, RSV, hRV, adenovirus (hAdV), metapneumovirus (hMPV), parainfluenza virus (hPIV), bocavirus (hBoV), and seasonal coronavirus (hCoV) infections. ICU costs for influenza, however, exceeded all other RVIs. At the time of the study, influenza was the only RVI with antiviral treatment options available for children, but only 9.8% of influenza patients (non-ICU) and 1.5% of ICU patients with influenza received antivirals; only 2.9% were vaccinated. Future studies should investigate the economic impact of treatment and prevention of influenza, COVID-19, and RSV post vaccine introduction. Y1 - 2024 U6 - https://doi.org/10.3390/v16040507 VL - 16 IS - 4 ER - TY - GEN A1 - Alevras, Dimitris A1 - Grötschel, Martin A1 - Jonas, Peter A1 - Paul, Ulrich A1 - Wessäly, Roland T1 - Survivable Mobile Phone Architectures: Models and Solution Methods N2 - In the highly competitive area of telecommunications, cost, quality, and network management are among the most important aspects to be considered when designing a network. We study the problem of dimensioning a telecommunication network that is still operating in case of a failure of a network component. Given a demand between each pair of nodes of a telecommunication network and a finite set of possible capacities for each edge of the network, we consider the problem of deciding what capacity to install on each edge of the network in order to minimize the building cost of the network and to satisfy the demand between each pair of nodes, even if a network component fails. The routing of the demands must satisfy the following additional restrictions: (a) there is a maximum number of nodes allowed in each path between any pair of nodes (path length restriction), and (b) there is a maximum percentage of the demand between each pair of nodes that can be routed through any network component (diversification restriction). Moreover, the chosen capacities must be such that, for every single node or single edge failure, a certain percentage of the demand between any pair of nodes is reroutable (i.e. it ``survives'' the particular failure). We formulate the problem as a mixed integer linear programming problem and present a cutting plane algorithm as well as several heuristics for its solution. Furthermore, we discuss several ways to implement survivability into a telecommunication network. T3 - ZIB-Report - SC-96-48 Y1 - 1996 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-2582 ER - TY - JOUR A1 - Alevras, Dimitris A1 - Grötschel, Martin A1 - Jonas, Peter A1 - Paul, Uwe A1 - Wessäly, Roland T1 - Survivable Mobile Phone Network Architectures JF - IEEE Communications Magazine Y1 - 1998 SP - 88 EP - 93 ER - TY - GEN A1 - Alevras, Dimitris A1 - Grötschel, Martin A1 - Wessäly, Roland T1 - Cost-Efficient Network Synthesis from Leased Lines N2 - Given a communication demand between each pair of nodes of a network we consider the problem of deciding what capacity to install on each edge of the network in order to minimize the building cost of the network and to satisfy the demand between each pair of nodes. The feasible capacities that can be leased from a network provider are of a particular kind in our case. There are a few so-called basic capacities having the property that every basic capacity is an integral multiple of every smaller basic capacity. An edge can be equipped with a capacity only if it is an integer combination of the basic capacities. We treat, in addition, several restrictions on the routings of the demands (length restriction, diversification) and failures of single nodes or single edges. We formulate the problem as a mixed integer linear programming problem and develop a cutting plane algorithm as well as several heuristics to solve it. We report on computational results for real world data. T3 - ZIB-Report - SC-97-22 Y1 - 1997 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-2912 ER - TY - GEN A1 - Alevras, Dimitris A1 - Grötschel, Martin A1 - Wessäly, Roland T1 - Capacity and Survivability Models for Telecommunication Networks N2 - Designing low-cost networks that survive certain failure situations is one of the prime tasks in the telecommunication industry. In this paper we survey the development of models for network survivability used in practice in the last ten years. We show how algorithms integrating polyhedral combinatorics, linear programming, and various heuristic ideas can help solve real-world network dimensioning instances to optimality or within reasonable quality guarantees in acceptable running times. The most general problem type we address is the following. Let a communication demand between each pair of nodes of a telecommunication network be given. We consider the problem of choosing, among a discrete set of possible capacities, which capacity to install on each of the possible edges of the network in order to (i) satisfy all demands, (ii) minimize the building cost of the network. \noindent In addition to determining the network topology and the edge capacities we have to provide, for each demand, a routing such that (iii) no path can carry more than a given percentage of the demand, (iv) no path in the routing exceeds a given length. \noindent We also have to make sure that (v) for every single node or edge failure, a certain percentage of the demand is reroutable. \noindent Moreover, for all failure situations feasible routings must be computed. The model described above has been developed in cooperation with a German mobile phone provider. We present a mixed-integer programming formulation of this model and computational results with data from practice. T3 - ZIB-Report - SC-97-24 Y1 - 1997 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-2931 ER - TY - GEN A1 - Alevras, Dimitris A1 - Grötschel, Martin A1 - Wessäly, Roland T1 - A Network Dimensioning Tool N2 - Designing low cost networks that survive certain failure situations belongs to one of the prime tasks in the telecommunications industry. In this paper we describe a mathematical model combining several aspects of survivability that are elsewhere treated in a hierarchical fashion. We present mathematical investigations of this integrated model, a cutting plane algorithm, as well as several heuristics for its solution. Moreover, we report computational results with real world data. The problem we address is the following. Suppose, between each pair of nodes in a region, a communication demand is given. We want to determine the topology of a telecommunication network connecting the given nodes and to dimension all potential physical links. For each link, the possible capacities are restricted to a given finite set. The capacities must be chosen such that the communication demands are satisfied, even if certain network components fail, and such that the network building costs are as small as possible. Moreover, for each pair of nodes and each failure situation, we want to determine the paths on which the demand between the nodes is routed. T3 - ZIB-Report - SC-96-49 Y1 - 1996 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-2591 ER - TY - JOUR A1 - Alevras, Dimitris A1 - Grötschel, Martin A1 - Wessäly, Roland T1 - Cost-efficient network synthesis from leased lines JF - Annals of Operations Research Y1 - 1998 VL - 76 SP - 1 EP - 20 ER - TY - CHAP A1 - Alevras, Dimitris A1 - Grötschel, Martin A1 - Wessäly, Roland ED - Barceló, Jaime T1 - Capacity and Survivability Models for Telecommunication Networks T2 - Proceedings of the EURO XV/INFORMS XXXIV Meeting, Barcelona June 1997 Y1 - 1997 PB - Universitat Politècnica de Catalunya CY - Barcelona, Spanien ER - TY - GEN A1 - Alexander, J. C. A1 - Fiedler, Bernold T1 - Global Decoupling of Coupled Symmetric Oscillators. N2 - We model a symmetric system of coupled oscillators as a graph with symmetry group $\gamma$. Each vertex of the graph represents an "oscillator" or a "cell" of reactants. The magnitude (concentration) of the reactants in the $ i $ th cell is represented by a vector $ x^i $. The edges represent the coupling of the cells. The cells are assumed to evolve by identical reaction-diffusion equation which depends on the sum of the reactants in the nearest neighbors. Thus the dynamics of the system is described by a nonlinear differential system \begin{flushleft} \[ \mbox {(*) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } \dot{x}^i = f (x^i,\sum_{j \in N_i} x^j), \mbox { \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } \] \end{flushleft} where the sum ranges over the set $ N_i $ of neighbors of cell $ i $ . If $ f $ also has a symmetry (e.g., oddness), there are geometric conditions on the graph such that the nonlinear system $ (*) $ decouples globally into a product flow on certain sums of isotropy subspaces. Thus we may detect higher-dimensional tori of solutions of $ (*) $ which are not amenable to other types of analysis. We present a number of examples, such as bipartite graphs, complete graphs, the square, the octahedron, and a 6-dimensional cube. T3 - ZIB-Report - SC-88-03 Y1 - 1988 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-113 ER - TY - JOUR A1 - Alhaddad, Samer A1 - Förstner, Jens A1 - Groth, Stefan A1 - Grünewald, Daniel A1 - Grynko, Yevgen A1 - Hannig, Frank A1 - Kenter, Tobias A1 - Pfreundt, F.J. A1 - Plessl, Christian A1 - Schotte, Merlind A1 - Steinke, Thomas A1 - Teich, J. A1 - Weiser, Martin A1 - Wende, Florian T1 - The HighPerMeshes Framework for Numerical Algorithms on Unstructured Grids JF - Concurrency and Computation: Practice and Experience N2 - Solving PDEs on unstructured grids is a cornerstone of engineering and scientific computing. Heterogeneous parallel platforms, including CPUs, GPUs, and FPGAs, enable energy-efficient and computationally demanding simulations. In this article, we introduce the HPM C++-embedded DSL that bridges the abstraction gap between the mathematical formulation of mesh-based algorithms for PDE problems on the one hand and an increasing number of heterogeneous platforms with their different programming models on the other hand. Thus, the HPM DSL aims at higher productivity in the code development process for multiple target platforms. We introduce the concepts as well as the basic structure of the HPM DSL, and demonstrate its usage with three examples. The mapping of the abstract algorithmic description onto parallel hardware, including distributed memory compute clusters, is presented. A code generator and a matching back end allow the acceleration of HPM code with GPUs. Finally, the achievable performance and scalability are demonstrated for different example problems. Y1 - 2022 U6 - https://doi.org/10.1002/cpe.6616 VL - 34 IS - 14 ER - TY - JOUR A1 - Alhaddad, Samer A1 - Förstner, Jens A1 - Groth, Stefan A1 - Grünewald, Daniel A1 - Grynko, Yevgen A1 - Hannig, Frank A1 - Kenter, Tobias A1 - Pfreundt, Franz-Josef A1 - Plessl, Christian A1 - Schotte, Merlind A1 - Steinke, Thomas A1 - Teich, Jürgen A1 - Weiser, Martin A1 - Wende, Florian T1 - HighPerMeshes - A Domain-Specific Language for Numerical Algorithms on Unstructured Grids JF - Euro-Par 2020: Parallel Processing Workshops. N2 - Solving partial differential equations on unstructured grids is a cornerstone of engineering and scientific computing. Nowadays, heterogeneous parallel platforms with CPUs, GPUs, and FPGAs enable energy-efficient and computationally demanding simulations. We developed the HighPerMeshes C++-embedded Domain-Specific Language (DSL) for bridging the abstraction gap between the mathematical and algorithmic formulation of mesh-based algorithms for PDE problems on the one hand and an increasing number of heterogeneous platforms with their different parallel programming and runtime models on the other hand. Thus, the HighPerMeshes DSL aims at higher productivity in the code development process for multiple target platforms. We introduce the concepts as well as the basic structure of the HighPer-Meshes DSL, and demonstrate its usage with three examples, a Poisson and monodomain problem, respectively, solved by the continuous finite element method, and the discontinuous Galerkin method for Maxwell’s equation. The mapping of the abstract algorithmic description onto parallel hardware, including distributed memory compute clusters is presented. Finally, the achievable performance and scalability are demonstrated for a typical example problem on a multi-core CPU cluster. Y1 - 2021 U6 - https://doi.org/10.1007/978-3-030-71593-9_15 SP - 185 EP - 196 PB - Springer ER - TY - GEN A1 - Allalen, Mohammed A1 - Brehm, Matthias A1 - Stüben, Hinnerk T1 - Performance of Quantum Chromodynamics (QCD) Simulations on the SGI Altix N2 - We study performance and scaling of the Berlin Quantum Chromodynamics Program (BQCD) on the SGI Altix 4700 at Leibniz Supercomputing Centre (LRZ). We employ different communication methods (MPI, MPI with two OpenMP threads per process, as well as the shmem library) and run the MPI version on the two types of nodes of that machine. For comparison with other machines we made performance measurements on an IBM p690 cluster and a Cray XT4. T3 - ZIB-Report - 08-54 Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11086 SN - 1438-0064 ER - TY - CHAP A1 - Allen, Gabrielle A1 - Angulo, Dave A1 - Goodale, Tom A1 - Kielmann, Thilo A1 - Merzky, André A1 - Nabrzysk, Jarek A1 - Pukacki, Juliusz A1 - Russel, Michael A1 - Radke, Thomas A1 - Seidel, Edward A1 - Shalf, John A1 - Taylor, Ian T1 - GridLab – Enabling Applications on the Grid: A Progress Report T2 - Lecture Notes in Computer Science (LNCS) Y1 - 2002 N1 - 3rd Int. Workshop on Grid Computing, Supercomputing 2002 VL - 2536 SP - 39 EP - 45 ER - TY - CHAP A1 - Allen, Gabrielle A1 - Benger, Werner A1 - Dramlitsch, Thomas A1 - Goodale, Tom A1 - Hege, Hans-Christian A1 - Lanfermann, Gerd A1 - Merzky, André A1 - Radke, Thomas A1 - Seidel, Edward ED - Sakellariou, Rizos ED - Keane, Jon ED - Gurd, John ED - Freeman, Len T1 - Cactus Grid Computing: Review of Current Devlopment T2 - Proceedings of Euro-Par 2001: 7th International Euro-Par Conference on Parallel Processing Y1 - 2001 U6 - https://doi.org/10.1007/3-540-44681-8_115 VL - 2150 SP - 817 EP - 824 PB - Springer Verlag, Berlin Heidelberg 2001 ER - TY - JOUR A1 - Allen, Gabrielle A1 - Benger, Werner A1 - Dramlitsch, Thomas A1 - Goodale, Tom A1 - Hege, Hans-Christian A1 - Lanfermann, Gerd A1 - Merzky, André A1 - Radtke, Thomas A1 - Seidel, Edward A1 - Shalf, John T1 - Cactus Tools for Grid Applications JF - Cluster Computing Y1 - 2001 U6 - https://doi.org/10.1023/A:1011491422534 VL - 4 IS - 3 SP - 179 EP - 188 ER - TY - CHAP A1 - Allen, Gabrielle A1 - Benger, Werner A1 - Goodale, Tom A1 - Hege, Hans-Christian A1 - Lanfermann, Gerd A1 - Merzky, André A1 - Radke, Thomas A1 - Seidel, Edward A1 - Shalf, John T1 - The Cactus Code: A Problem Solving Environment for the Grid T2 - High Performance Distributed Computing (HPDC-2000) Y1 - 2000 U6 - https://doi.org/10.1109/HPDC.2000.868657 SP - 253 EP - 260 ER - TY - JOUR A1 - Allen, Gabrielle A1 - Davis, K. A1 - Goodale, Tom A1 - Hutanu, Andrei A1 - Kaiser, Hartmut A1 - Kielmann, Thilo A1 - Merzky, Andre A1 - Nieuwpoort, R. A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Schütt, Thorsten A1 - Seidel, Edward A1 - Ullmer, Brygg T1 - The Grid Application Toolkit: Toward Generic and Easy Appliction Programming Interfaces for the Grid JF - Procceedings of the IEEE Y1 - 2005 U6 - https://doi.org/10.1109/JPROC.2004.842755 VL - 93 IS - 3 SP - 534 EP - 550 PB - IEEE Computer Society Press ER - TY - CHAP A1 - Allen, Gabrielle A1 - Dramlitsch, Thomas A1 - Goodale, Tom A1 - Lanfermann, Gerd A1 - Radke, Thomas A1 - Seidel, Edward A1 - Kielmann, Thilo A1 - Verstoep, Kees A1 - Balaton, Zoltán A1 - Kacsuk, Péter A1 - Szalai, Ferenc A1 - Gehring, Jörn A1 - Keller, Axel A1 - Streit, Achim A1 - Matyska, Ludek A1 - Ruda, Miroslav A1 - Krenek, Ales A1 - Knipp, Harald A1 - Merzky, André A1 - Reinefeld, Alexander A1 - Schintke, Florian A1 - Ludwiczak, Bogdan A1 - Nabrzyski, Jarek A1 - Pukacki, Juliusz A1 - Kersken, Hans-Peter A1 - Aloisio, Giovanni A1 - Cafaro, Massimo A1 - Ziegler, Wolfgang A1 - Russell, Michael T1 - Early experiences with the EGrid testbed T2 - Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid Y1 - 2001 U6 - https://doi.org/10.1109/CCGRID.2001.923185 SP - 130 EP - 137 ER - TY - JOUR A1 - Allen, Gabrielle A1 - Goodale, Tom A1 - Lanfermann, Gerd A1 - Seidel, Edward A1 - Benger, Werner A1 - Hege, Hans-Christian A1 - Merzky, André A1 - Masso, Joan A1 - Shalf, John T1 - Solving Einstein’s Equations on Supercomputers JF - IEEE Computer Y1 - 1999 U6 - https://doi.org/10.1109/2.809251 SP - 52 EP - 59 ER - TY - JOUR A1 - Allen, Gabrielle A1 - Merzky, André A1 - Nabrzysk, Jarek A1 - Seidel, Edward T1 - GridLab - A Grid Application Toolkit and Testbed JF - Future Generation Computer Systems Y1 - 2002 VL - 18(8) SP - 1143 EP - 1153 ER - TY - JOUR A1 - Allen, Peter A1 - Pfenninger, Vincent A1 - Parczyk, Olaf T1 - Resilience for tight Hamiltonicity JF - Combinatorial Theory Y1 - 2024 U6 - https://doi.org/10.5070/C64163846 VL - 4 IS - 1 ER - TY - CHAP A1 - Alonso, Gustavo A1 - Binnig, Carsten A1 - Pandis, Ippokratis A1 - Salem, Kenneth A1 - Skrzypczak, Jan A1 - Stutsman, Ryan A1 - Thostrup, Lasse A1 - Wang, Tianzheng A1 - Wang, Zeke A1 - Ziegler, Tobias T1 - DPI: The Data Processing Interface for Modern Networks T2 - 9th Biennial Conference on Innovative Data Systems Research N2 - As data processing evolves towards large scale, distributed platforms, the network will necessarily play a substantial role in achieving efficiency and performance. Increasingly, switches, network cards, and protocols are becoming more flexible while programmability at all levels (aka, software defined networks) opens up many possibilities to tailor the network to data processing applications and to push processing down to the network elements. In this paper, we propose DPI, an interface providing a set of simple yet powerful abstractions flexible enough to exploit features of modern networks (e.g., RDMA or in-network processing) suitable for data processing. Mirroring the concept behind the Message Passing Interface (MPI) used extensively in high-performance computing, DPI is an interface definition rather than an implementation so as to be able to bridge different networking technologies and to evolve with them. In the paper we motivate and discuss key primitives of the interface and present a number of use cases that show the potential of DPI for data-intensive applications, such as analytic engines and distributed database systems. Y1 - 2019 ER - TY - CHAP A1 - Alonso, Javier A1 - Silva, Luis A1 - Andrzejak, Artur A1 - Torres, Jordi T1 - High-Available Grid Services through the use of Virtualized Clustering T2 - IEEE-GRID Y1 - 2007 CY - Austin, USA ER -