ZIB-Report
Refine
Year of publication
- 2018 (56) (remove)
Document Type
- ZIB-Report (55)
- Article (1)
Has Fulltext
- yes (56)
Keywords
Institute
- Mathematical Optimization (37)
- Visual Data Analysis (12)
- Visual and Data-centric Computing (12)
- Mathematical Optimization Methods (10)
- Energy Network Optimization (7)
- Numerical Mathematics (6)
- Image Analysis in Biology and Materials Science (3)
- Mathematics of Transportation and Logistics (3)
- Therapy Planning (3)
- Visual Data Analysis in Science and Engineering (3)
- Mathematics of Health Care (2)
- Computational Medicine (1)
- Digital Data and Information for Society, Science, and Culture (1)
- Geometric Data Analysis and Processing (1)
18-39
Für den geforderten – und von der Deutschen Forschungsgemeinschaft (DFG) geförderten – Open-Access-Transformationsprozess der deutschen, wissenschaftlichen Publikationslandschaft braucht es neue Formen der Zusammenarbeit zwischen Wissenschaft und Verlagen. Bereits seit 2011 wurden mit Unterstützung seitens der DFG in Deutschland die sogenannten Allianz-Lizenzen zwischen Bibliotheken und Verlagen verhandelt, in denen weitreichende Rechte hinsichtlich der Open-Access-Archivierung verankert sind: Autorinnen und Autoren aber auch die sie vertretenden Einrichtungen dürfen Artikel, die in lizenzierten Zeitschriften erschienen sind, ohne oder mit nur kurzer Embargofrist in geeigneten Repositorien ihrer Wahl frei zugänglich machen. Aufbauend auf diese Open-Access-Komponenten zeigt das DFG-geförderte Projekt „DeepGreen“ ein mögliches neues Modell der Zusammenarbeit mit Verlagen auf: DeepGreen setzt auf die automatisierte Verteilung von Artikeldaten von Verlagen an Repositorien und will disziplinübergreifend einen Großteil jener wissenschaftlichen Publikationen aus Fachzeitschriften, die unter lizenzrechtlichen Kontexten frei zugänglich online gehen dürften, auch tatsächlich online abrufbar machen.
Erprobte DeepGreen von 2016 bis Ende 2017 prototypisch die Machbarkeit der Zielstellung, will das Projekt in der zweiten Projektphase (2018-2020) den (möglichst stark) automatisierten Workflow gemeinsam mit Verlagen, berechtigten Bibliotheken und anderen Einrichtungen etablieren. Technischer Baustein ist eine zentrale, intermediäre Datenverteilstation, die die automatische und rechtssichere Ablieferung von Metadaten inklusive der Volltexte aus Verlagshand direkt an dazu berechtigte institutionelle Repositorien gewährleistet. Erreicht werden soll ein bundesweiter Service, der auf verbindlichen Absprachen mit Verlagen und Bibliotheken fußt und (zunächst) die Bedingungen der Allianz-Lizenzen umsetzt. Gleichzeitig wird die Übertragbarkeit des DeepGreen-Ansatzes auf weitere Lizenzkontexte (FID-Lizenzen, Konsortiallizenzen, Gold-Open-Access-Vereinbarungen) geprüft. Eine zusätzliche Ausbaustufe stellt die Überlegung zur automatisierten Ablieferung an Fachrepositorien und Forschungsinformationssysteme dar, die ebenfalls geplant wird.
Das nationale Projektkonsortium besteht aus den zwei Bibliotheksverbünden Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV) und Bibliotheksverbund Bayern (BVB), zwei Universitätsbibliotheken, der Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) und der Technische Universität Berlin (TU Berlin), zusätzlich der Bayerischen Staatsbibliothek (BSB) und einer außeruniversitären Forschungseinrichtung - dem Helmholtz Open Science Koordinationsbüro am Deutschen GeoForschungsZentrum (GFZ).
Das Folgeprojekt beginnt am 01. August 2018. Hier vorliegend finden Sie den Projektantrag zum Nachlesen.
18-03
We consider the use of randomised forward models and log-likelihoods within the Bayesian approach to inverse problems. Such random approximations to the exact forward model or log-likelihood arise naturally when a computationally expensive model is approximated using a cheaper stochastic surrogate, as in Gaussian process emulation (kriging), or in the field of probabilistic numerical methods. We show that the Hellinger distance between the exact and approximate Bayesian posteriors is bounded by moments of the difference between the true and approximate log-likelihoods. Example applications of these stability results are given for randomised misfit models in large data applications and the probabilistic solution of ordinary differential equations.
18-05
The Steiner tree problem in graphs is a classical problem that commonly arises in practical applications as one of many variants. Although the different Steiner tree problem variants are usually strongly related, solution approaches employed so far have been prevalently problem-specific. Against this backdrop, the solver SCIP-Jack was created as a general-purpose framework that can be used to solve the classical Steiner tree problem and 11 of its variants. This versatility is achieved by transforming various problem variants into a general form and solving them by using a state-of-the-art MIP-framework. Furthermore, SCIP-Jack includes various newly developed algorithmic components such as preprocessing routines and heuristics. The result is a high-performance solver that can be employed in massively parallel environments and is capable of solving previously unsolved instances. After the introduction of SCIP-Jack at the 2014 DIMACS Challenge on Steiner problems, the overall performance of the solver has considerably improved. This article provides an overview on the current state.
18-07
Mitotic and meiotic spindles are microtubule-based structures to faithfully segregate chromosomes. Electron tomography is currently the method of choice to analyze the three-dimensional architecture of both types of spindles. Over the years, we have developed methods and software for automatic segmentation and stitching of microtubules in serial sections for large-scale reconstructions. Three-dimensional reconstruction of microtubules, however, is only the first step towards biological insight. The second step is the analysis of the structural data to derive measurable spindle properties. Here, we present a comprehensive set of techniques to quantify spindle parameters. These techniques provide quantitative analyses of specific microtubule classes and are applicable to a variety of tomographic reconstructions of spindles from different organisms.
18-09
Merging criteria for the definition of a local pore and the CSD computation of granular materials
(2018)
18-10
Mathematical models for bioregulatory networks can be based on different formalisms, depending on the quality of available data and the research question to be answered. Discrete boolean models can be constructed based on qualitative data, which are frequently available. On the other hand, continuous models in terms of ordinary differential equations (ODEs) can incorporate time-series data and give more detailed insight into the dynamics of the underlying system. A few years ago, a method based on multivariate polynomial interpolation and Hill functions has been developed for an automatic conversion of boolean models to systems of ordinary differential equations. This method is frequently used by modellers in systems biology today, but there are only a few results available about the conservation of mathematical structures and properties across the formalisms. Here, we consider subsets of the phase space where some components stay fixed, called trap spaces, and demonstrate how boolean trap spaces can be linked to invariant sets in the continuous state space. This knowledge is of practical relevance since finding trap spaces in the boolean setting, which is relatively easy, allows for the construction of reduced ODE models.
18-08
Estimation of time of death based on a single measurement of body
core temperature is a standard procedure in forensic medicine.
Mechanistic models using simulation of heat transport promise
higher accuracy than established phenomenological models in
particular in nonstandard situations, but involve many not exactly
known physical parameters. Identifying both time of death and
physical parameters from multiple temperature measurements is
one possibility to reduce the uncertainty significantly.
In this paper, we consider the inverse problem in a Bayesian setting
and perform both local and sampling-based uncertainty
quantification, where proper orthogonal decomposition is used as
model reduction for fast solution of the forward model. Based on
the local uncertainty quantification, optimal design of experiments
is performed in order to minimize the uncertainty in the time of
death estimate for a given number of measurements. For reasons
of practicability, temperature acquisition points are selected from
a set of candidates in different spatial and temporal locations.
Applied to a real corpse model, a significant accuracy improvement
is obtained already with a small number of measurements.
18-11
In 2005 the European Union liberalized the gas market with a disruptive change and decoupled trading of natural gas from its transport. The gas is now transported by independent so-called transmissions system operators or TSOs. The market model established by the European Union views the gas transmission network as a black box, providing shippers (gas traders and consumers) the opportunity to transport gas from any entry to any exit. TSOs are required to offer the maximum possible capacities at each entry and exit such that any resulting gas flow can be realized by the network. The revenue from selling these capacities more than one billion Euro in Germany alone, but overestimating the capacity might compromise the security of supply. Therefore, evaluating the available transport capacities is extremely important to the TSOs.
This is a report on a large project in mathematical optimization, set out to develop a new toolset for evaluating gas network capacities. The goals and the challenges as they occurred in the project are described, as well as the developments and design decisions taken to meet the requirements.
17-67
Gas networks are an important application area for optimization. When considering long-range transmission, compressor stations play a crucial role in these applications. The purpose of this report is to collect and systematize the models used for compressor stations in the literature. The emphasis is on recent work on simple yet accurate polyhedral models that may replace more simplified traditional models without increasing model complexity. The report also describes an extension of the compressor station data available in GasLib (http://gaslib.zib.de/) with the parameters of these models.
17-68
Improving branching for disjunctive polyhedral models using approximate convex decompositions
(2018)
Disjunctive sets arise in a variety of optimization models and much esearch has been devoted to obtain strong relaxations for them. This paper focuses on the evaluation of the relaxation during the branch-and-bound search process. We argue that the branching possibilities (\ie binary variables) of the usual formulations are unsuitable to obtain strong bounds early in the search process as they do not capture the overall shape of the the entire disjunctive set. To analyze and exploit the shape of the disjunctive set we propose to compute a hierarchy of approximate convex decompositions and show how to extend the known formulations to obtain improved branching behavior.