Refine
Year of publication
Document Type
- Article (2178)
- ZIB-Report (1758)
- In Proceedings (1322)
- Master's Thesis (284)
- Book chapter (166)
- Doctoral Thesis (163)
- Other (99)
- Bachelor's Thesis (69)
- In Collection (66)
- Book (65)
Keywords
- integer programming (36)
- mixed integer programming (34)
- KOBV (33)
- optimal control (32)
- Annual Report (28)
- Kooperativer Bibliotheksverbund Berlin-Brandenburg (24)
- Mixed Integer Programming (21)
- Bibliotheksverbund (20)
- Integer Programming (19)
- mixed-integer programming (19)
Institute
- Numerical Mathematics (1502)
- Mathematical Optimization (1271)
- Visual and Data-centric Computing (1139)
- Visual Data Analysis (1017)
- ZIB Allgemein (951)
- Computational Nano Optics (496)
- Distributed Algorithms and Supercomputing (489)
- Modeling and Simulation of Complex Processes (398)
- Visual Data Analysis in Science and Engineering (378)
- Therapy Planning (315)
The first part of the report contains a lecture presented at ``Scientific Computing in der Theoretischen Physik'', a workshop organized by the DMV-Fachgruppe Scientific Computing in cooperation with the GAMM-Fachauschuß Scientific Computing at Freie Universit{ä}t Berlin in March 1994. To complete this lecture, a slightly modified version of TR 93-12 is appended.
Abstract The cost-efficient design of survivable optical telecommunication networks is the topic of this thesis. In cooperation with network operators, we have developed suitable concepts and mathematical optimization methods to solve this comprehensive planning task in practice. Optical technology is more and more employed in modern telecommunication networks. Digital information is thereby transmitted as short light pulses through glass fibers. Moreover, the optical medium allows for simultaneous transmissions on a single fiber by use of different wavelengths. Recent optical switches enable a direct forwarding of optical channels in the network nodes without the previously required signal retransformation to electronics. Their integration creates ongoing optical connections,which are called lightpaths. We study the problem of finding cost-efficient configurations of optical networks which meet specified communication requirements. A configuration comprises the determination of all lightpaths to establish as well as the detailed allocation of all required devices and systems. We use a flexible modeling framework for a realistic representation of the networks and their composition. For different network architectures, we formulate integer linear programs which model the design task in detail. Moreover, network survivability is an important issue due to the immense bandwidths offered by optical technology. Operators therefore request for designs which perpetuate protected connections and guarantee for a defined minimum throughput in case of malfunctions. In order to achieve an effective realization of scalable protection, we present a novel survivability concept tailored to optical networks and integrate several variants into the models. Our solution approach is based on a suitable model decomposition into two subtasks which separates two individually hard subproblems and enables this way to compute cost-efficient designs with approved quality guarantee. The first subtask consists of routing the connections with corresponding dimensioning of capacities and constitutes a common core task in the area of network planning. Sophisticated methods for such problems have already been developed and are deployed by appropriate integration. The second subtask is characteristic for optical networks and seeks for a conflict-free assignment of available wavelengths to the lightpaths using a minimum number of involved wavelength converters. For this coloring-like task, we derive particular models and study methods to estimate the number of unavoidable conversions. As constructive approach, we develop heuristics and an exact branch-and-price algorithm. Finally, we carry out an extensive computational study on realistic data, provided by our industrial partners. As twofold purpose, we demonstrate the potential of our approach for computing good solutions with quality guarantee, and we exemplify its flexibility for application to network design and analysis.
We consider the design of transparent optical networks from a practical perspective. Network operators aim at satisfying the communication demands at minimum cost. Such an optimization involves three interdependent planning issues: the dimensioning of the physical topology, the routing of lightpaths, and the wavelength assignment. Further topics include the reliability of the configuration and sparse wavelength conversion for efficient use of the capacities. In this paper, we investigate this extensive optical network design task. Using a flexible device-based model, we present an integer programming formulation that supports greenfield planning as well as expansion planning on top of an existing network. As solution method, we propose a suitable decomposition approach that separates the wavelength assignment from the dimensioning and routing. Our method in particular provides a lower bound on the total cost which allows to rate the solution quality. Computational experiments on realistic networks approve the solution approach to be appropriate.
By combining techniques of preparation, histology, confocal microscopy, data visualization and data processing, we have created and recently published a standard brain model for drosophila and honey bee brains. This report describes the algorithms and implementation of the corresponding software modules. At the same time it serves as a user's guide for scientist who want to reproduce the results for differerent species or mutants.
We describe a novel method for continuously transforming two triangulated models of arbitrary topology into each other. Equal global topology for both objects is assumed, extensions for genus changes during metamorphosis are provided. The proposed method addresses the major challenge in 3D metamorphosis, namely specifying the morphing process intuitively, with minimal user interaction and sufficient detail. Corresponding regions and point features are interactively identified. These regions are parametrized automatically and consistently, providing a basis for smooth interpolation. Utilizing suitable 3D interaction techniques a simple and intuitive control over the whole morphing process is offered.
Understanding the fluctuations by which phenomenological evolution equations with thermodynamic structure can be enhanced is the key to a general framework of nonequilibrium statistical mechanics. These fluctuations provide an idealized representation of microscopic details. We consider fluctuation-enhanced equations associated with Markov processes and elaborate the general recipes for evaluating dynamic material properties, which characterize force-flux constitutive laws, by statistical mechanics. Markov processes with continuous trajectories are conveniently characterized by stochastic differential equations and lead to Green–Kubo-type formulas for dynamic material properties. Markov processes with discontinuous jumps include transitions over energy barriers with the rates calculated by Kramers. We describe a unified approach to Markovian fluctuations and demonstrate how the appropriate type of fluctuations (continuous versus discontinuous) is reflected in the mathematical structure of the phenomenological equations.
Following axon pathfinding, growth cones transition from stochastic filopodial exploration to the formation of a limited number of synapses. How the interplay of filopodia and synapse assembly ensures robust connectivity in the brain has remained a challenging problem. Here, we developed a new 4D analysis method for filopodial dynamics and a data-driven computational model of synapse formation for R7 photoreceptor axons in developing Drosophila brains. Our live data support a 'serial synapse formation' model, where at any time point only a single 'synaptogenic' filopodium suppresses the synaptic competence of other filopodia through competition for synaptic seeding factors. Loss of the synaptic seeding factors Syd-1 and Liprin-α leads to a loss of this suppression, filopodial destabilization and reduced synapse formation, which is sufficient to cause the destabilization of entire axon terminals. Our model provides a filopodial 'winner-takes-all' mechanism that ensures the formation of an appropriate number of synapses.
Line Planning Problem
(2023)
• Currently, domain propagation in state-of-the-art MIP solvers is single thread only.
• The paper presents a novel, efficient GPU algorithm to perform domain propagation.
• Challenges are dynamic algorithmic behavior, dependency structures, sparsity patterns.
• The algorithm is capable of running entirely on the GPU with no CPU involvement.
• We achieve speed-ups of around 10x to 20x, up to 180x on favorably-large instances.
混合整数計画法 (Mixed Integer Programming: MIP) は,MIP を解くソフトウェアである MIP ソルバが大規模な現実問題を解けるようになったこともあり,現実問題を解く有用な OR の手法として広く知られるようになった.しかしながら,MIP ソルバの開発に欠かせないベンチマーク・データセットおよび性能測定方法についてはそれほど広く知られているとは言い難い.ベンチマーク・データセットは注意を払って作成しないと,多くのバイアスがかかってしまう.それらのバイアスを可能な限りのぞき,真に有用なベンチマーク・テストの結果を得るためには複数の人数で多大な労力を割く必要がある.本稿では,そのような MIP ソルバ開発の背景として重要な役割を果たしてきた MIPLIB と Hans Mittelmann’s benchmarks について解説する.また,本稿において Hans Mittelmann’s benchmarks は,BENCHMARKS FOR OPTIMIZATION SOFTWAREのページ (http://plato.asu.edu/bench.html) に示されているベンチマークである.
使ってみよう線形計画ソルバ
(2019)
Jahresbericht 2008
(2009)
Das CRAY-Handbuch des ZIB beschreibt nach einer grundlegenden bersicht detailliert die Handhabung von UNICOS-Dateien, die Verwendung von UNICOS-Kommandos und schließlich die (für Benutzer allein zugelassene) Ausführung von Batchjobs auf der CRAY. Neben der Erreichbarkeit der CRAY über das TCP/IP-Netz werden die Compiler FORTRAN, PASCAL und C beschrieben und schließlich auf die Optimierung der Rechenzeit ebenso wie auf die Fehlersuche eingegangen. Ein umfangreicher Anhang führt bereitgestellte Programmpakete, weiterführende Literatur, Zahlenbereiche und Zeichendarstellung an der CRAY auf.
Jahresbericht 1996
(1997)
Jahresbericht 1997
(1998)
Jahresbericht 1998
(1999)
Jahresbericht 1999
(2000)
Jahresbericht 2000
(2001)
Jahresbericht 2001
(2002)
Jahresbericht 2002
(2003)
Jahresbericht 2003
(2004)
Jahresbericht 2004
(2005)
Jahresbericht 2005
(2006)
Jahresbericht 2007
(2008)
Scientists intending to employ scientific visualization techniques are confronted with the unpleasant task of choosing visualization software that meets their specific needs. A good choice requires consideration of several aspects. Most important are functionality, i.e. the set of supported visual representations, and restrictions due to the user's production environment (i.e. available hardware and software platforms, software compatibility constraints, need of specific input and output formats, network distribution requirements). Crucial are quality demands, ranging from simple graphics for interactive control of simulations, to images of highest quality (glossy prints, slides or video movies) for presentation purposes. Further aspects of consideration are: ease of use, level on which the user is willing to program, portability, conformity to prevalent standards, availability in the world-wide user community, future dissemination, as well as emerging trends in computer graphics and scientific visualization. The aim of this manual is to give a survey on the graphics and visualization software that is currently being provided at ZIB (mainly for internal use). The whole range of computer graphics software relevant in mathematical, natural and technical sciences is covered: image synthesis (basic and higher graphics libraries, plot programs, visualization environments, combined text and drawing programs, renderers), image processing and storage (raster and vector formats, page description languages, raster toolkits for image processing and format conversion), capturing of images as well as printing on paper and recording on photographic film or video tape. This information together with a glossary and recommendations for further reading should help prospective users in getting started and assist them in making good choices of graphics and visualization software.
Jahresbericht 2006
(2007)
Jahresbericht 1991
(1992)
Jahresbericht 1990
(1991)
Jahresbericht 1989
(1990)
Jahresbericht 1988
(1989)
Jahresbericht 1987
(1988)
Tätigkeitsbericht 1986
(1987)
Tätigkeitsbericht 1985
(1986)
Jahresbericht 1993
(1993)
Jahresbericht 1992
(1993)
Jahresbericht 1994
(1995)
Jahresbericht 1995
(1996)
As part of the CPAIOR 2011 a call was made for late breaking abstracts for
presentation at the conference. These abstracts were meant to represent
work in process, recent work, or work appearing in other academic areas but
of interest to the CPAIOR community. A total of 19 submissions were
received of which 16 were selected by the program chairs for
presentation. This document is a compilation of the presented abstracts.
Jahresbericht 2009
(2010)
Jahresbericht 2010
(2011)
Proceedings of ACCAT 2012
(2012)
Open Access ist Grundlage und Voraussetzung für die Nachnutzbarkeit, Transparenz und freie Zugänglichkeit zu wissenschaftlichen Informationen, Forschungsergebnissen und Daten des kulturellen Erbes. Mit Bezug auf die vom Senat Berlin 2015 verabschiedete Open-Access-Strategie empfiehlt der Kooperative Bibliotheksverbund Berlin-Brandenburg (KOBV) seinen Bibliotheken praktische Maßnahmen zur Umsetzung von Open Access in den eigenen Einrichtungen und benennt Maßnahmen der KOBV-Zentrale zur Unterstützung seiner Mitgliedsbibliotheken im Zuge dieses Transformationsprozesses.
VideoMath
(2010)
EuroVis 2009
(2009)
MathFilm Festival 2008
(2008)
Volume Graphics 2007
(2007)
Optimization Stories
(2012)
Räume - Bilder - Kulturen
(2015)
Annual Report 2015
(2016)
Annual Report 2016
(2017)
Jahresbericht 2012
(2013)
Jahresbericht 2011
(2012)
Annual Report 2013
(2014)
Annual Report 2014
(2015)
KOBV Jahresbericht 2010
(2019)
KOBV Jahresbericht 2011-2012
(2013)
Mathematical publications are an important resource for the devel-
opment of machine-based methods for mathematical knowledge man-
agement. This article describes the publication-based approach to
improve the information and the access to two important classes of
mathematical research, mathematical software and mathematical algo-
rithms. The publication-based approach is based on analyzing links
and the structure of mathematical publications. It has been used to
build the swMATH service which provides comprehensive information
about mathematical software and algorithms.
Running and optimizing transportation systems give rise to very complex and large-scale optimization problems requiring innovative solution techniques and ideas from mathematical optimization, theoretical computer science, and operations research. Since 2000, the series of Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS) workshops brings together researchers and practitioners who are interested in all aspects of algorithmic methods and models for transportation optimization and provides a forum for the exchange and dissemination of new ideas and techniques. The scope of ATMOS comprises all modes of transportation.
The 18th ATMOS workshop (ATMOS’18) was held in connection with ALGO’18 and hosted by Aalto University in Helsinki, Finland, on August 23–24, 2018. Topics of interest were all optimization problems for passenger and freight transport, including, but not limited to, demand forecasting, models for user behavior, design of pricing systems, infrastructure planning, multi-modal transport optimization, mobile applications for transport, congestion modelling and reduction, line planning, timetable generation, routing and platform assignment, vehicle scheduling, route planning, crew and duty scheduling, rostering, delay management, routing in road networks, traffic guidance, and electro mobility. Of particular interest were papers applying and advancing techniques like graph and network algorithms, combinatorial optimization, mathematical programming, approximation algorithms, methods for the integration of planning stages, stochastic and robust optimization, online and real-time algorithms, algorithmic game theory, heuristics for real-world instances, and simulation tools.
There were twenty-nine submissions from eighteen countries. All of them were reviewed by at least three referees in ninety-one reviews, among them five external ones, and judged on their originality, technical quality, and relevance to the topics of the workshop. Based on the reviews, the program committee selected sixteen submissions to be presented at the workshop (acceptance rate: 55%), which are collected in this volume in the order in which they were presented. Together, they quite impressively demonstrate the range of applicability of algorithmic optimization to transportation problems in a wide sense. In addition, Dennis Huisman kindly agreed to complement the program with an invited talk on Railway Disruption Management: State-of-the-art in practice and new research directions. Based on the reviews, Ralf Borndörfer, Marika Karbstein, Christian Liebchen, and Niels Lindner won the Best Paper Award of ATMOS’18 with their paper A simple way to compute the number of vehicles that Are required to operate a periodic timetable. In addition, we awarded Tomas Lidén the Best VGI Paper Award of ATMOS’18 for his paper Reformulations for railway traffic and maintenance planning.
We would like to thank the members of the Steering Committee of ATMOS for giving us the opportunity to serve as Program Chairs of ATMOS’18, all the authors who submitted papers, Dennis Huisman for accepting our invitation to present an invited talk, the members of the Program Committee and the additional reviewers for their valuable work in selecting the papers appearing in this volume, our sponsors MODAL, TomTom, and VGIscience for their support of the prizes, and the local organizers for hosting the workshop as part of ALGO’18. We acknowledge the use of the EasyChair system for the great help in managing the submission and review processes, and Schloss Dagstuhl for publishing the proceedings of ATMOS’18 in its OASIcs series.