@misc{Golas2012, author = {Golas, Ulrike}, title = {A General Attribution Concept for Models in M- adhesive Transformation Systems: Long Version}, issn = {1438-0064}, doi = {10.1007/978-3-642-33654-6_13}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-15547}, year = {2012}, abstract = {Attributes are an important concept for modeling data in practical applications. Up to now there is no adequate way to define attributes for different kinds of models used in M-adhesive transformation systems, which are a special kind of graph transformation systems based on M-adhesive categories. Especially a proper representation and definition of attributes and their values as well as a suitable handling of the data does not fit well with other graph transformation formalisms. In this paper, we propose a new method to define attributes in a natural, but still formally precise and widely applicable way. We define a new kind of adhesive category, called W-adhesive, that can be used for transformations of attributes, while the underlying models are still M-adhesive ones. As a result, attributed models can be used as they are intended to be, but with a formal background and proven well-behavior.}, language = {en} } @misc{KoltaiSchuette2017, author = {Koltai, P{\´e}ter and Sch{\"u}tte, Christof}, title = {A multi scale perturbation expansion approach for Markov state modeling of non-stationary molecular dynamics}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-64868}, year = {2017}, abstract = {We investigate metastable dynamical systems subject to non-stationary forcing as they appear in molecular dynamics for systems driven by external fields. We show, that if the strength of the forcing is inversely proportional to the length of the slow metastable time scales of the unforced system, then the effective behavior of the forced system on slow time scales can be described by a low-dimensional reduced master equation. Our construction is explicit and uses the multiscale perturbation expansion method called two-timing, or method of multiple scales. The reduced master equation—a Markov state model—can be assembled by constructing two equilibrium Markov state models; one for the unforced system, and one for a slightly perturbed one.}, language = {en} } @misc{AboulhassanBaumWodoetal.2015, author = {Aboulhassan, Amal and Baum, Daniel and Wodo, Olga and Ganapathysubramanian, Baskar and Amassian, Aram and Hadwiger, Markus}, title = {A Novel Framework for Visual Detection and Exploration of Performance Bottlenecks in Organic Photovoltaic Solar Cell Materials}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-54353}, year = {2015}, abstract = {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.}, language = {en} } @misc{OPUS4-5284, title = {Annual Report 2013}, volume = {2013}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-52848}, pages = {124}, year = {2014}, language = {en} } @misc{OPUS4-5505, title = {Annual Report 2014}, volume = {2014}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-55050}, pages = {62}, year = {2015}, language = {en} } @misc{OPUS4-5974, title = {Annual Report 2015}, volume = {2015}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-59748}, pages = {114}, year = {2016}, language = {en} } @misc{OPUS4-6433, title = {Annual Report 2016}, volume = {2016}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-64339}, pages = {122}, year = {2017}, language = {en} } @misc{OPUS4-7494, title = {Annual Report 2017}, volume = {2017}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-74948}, pages = {102}, year = {2019}, language = {en} } @misc{OPUS4-7497, title = {Annual Report 2018}, volume = {2018}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-74971}, pages = {102}, year = {2019}, language = {en} } @misc{OPUS4-8559, title = {Annual Report 2019}, volume = {2019}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-85594}, pages = {98}, year = {2022}, language = {en} } @misc{OPUS4-8560, title = {Annual Report 2020}, volume = {2020}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-85609}, pages = {90}, year = {2022}, language = {en} } @misc{OPUS4-8753, title = {Annual Report 2021}, volume = {2021}, organization = {Konrad-Zuse-Zentrum f{\"u}r Informationstechnik Berlin}, issn = {0934-5892}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-87537}, pages = {104}, year = {2022}, language = {en} } @misc{Schaefer2015, author = {Sch{\"a}fer, Patrick}, title = {Bag-Of-SFA-Symbols in Vector Space (BOSS VS)}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-54984}, year = {2015}, abstract = {Time series classification mimics the human understanding of similarity. When it comes to larger datasets, state of the art classifiers reach their limits in terms of unreasonable training or testing times. One representative example is the 1-nearest-neighbor DTW classifier (1-NN DTW) that is commonly used as the benchmark to compare to and has several shortcomings: it has a quadratic time and it degenerates in the presence of noise. To reduce the computational complexity lower bounding techniques or recently a nearest centroid classifier have been introduced. Still, execution times to classify moderately sized datasets on a single core are in the order of hours. We present our Bag-Of-SFA-Symbols in Vector Space (BOSS VS) classifier that is robust and accurate due to invariance to noise, phase shifts, offsets, amplitudes and occlusions. We show that it is as accurate while being multiple orders of magnitude faster than state of the art classifiers. Using the BOSS VS allows for mining massive time series datasets and real-time analytics.}, language = {en} } @misc{LieSullivan2016, author = {Lie, Han Cheng and Sullivan, T. J.}, title = {Cameron--Martin theorems for sequences of Cauchy-distributed random variables}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-60230}, year = {2016}, abstract = {Given a sequence of Cauchy-distributed random variables defined by a sequence of location parameters and a sequence of scale parameters, we consider another sequence of random variables that is obtained by perturbing the location or scale parameter sequences. Using a result of Kakutani on equivalence of infinite product measures, we provide sufficient conditions for the equivalence of laws of the two sequences.}, language = {en} } @misc{AboulhassanSicatBaumetal.2017, author = {Aboulhassan, Amal and Sicat, Ronell and Baum, Daniel and Wodo, Olga and Hadwiger, Markus}, title = {Comparative Visual Analysis of Structure-Performance Relations in Complex Bulk-Heterojunction Morphologies}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-63239}, year = {2017}, abstract = {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.}, language = {en} } @misc{Roehl2017, type = {Master Thesis}, author = {R{\"o}hl, Susanne}, title = {Computing the minimal rebinding effect for nonreversible processes}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65203}, year = {2017}, language = {en} } @inproceedings{DennstedtGaslainBartschetal.2018, author = {Dennstedt, Anne and Gaslain, Fabrice and Bartsch, Marion and Guipont, Vincent and Maurel, Vincent}, title = {Crack Morphology in a Columnar Thermal Barrier Coating System}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-69385}, year = {2018}, abstract = {Ceramic layers are used as thermal barrier coatings (TBCs) on metallic substrates. During thermal transients, the thermal expansion mismatch between coating and substrate drives failure of the TBC mainly by interfacial cracking. Laser Shock Adhesion Test (LASAT) provides stresses at the ceramic/metal interface enabling controlled interfacial cracking. For achieving a clear understanding of the influence of local morphology on interfacial toughness, this study aims at characterizing the 3D morphology of a crack at the interface between metal and an EB-PVD TBC having a columnar structure. Cracks were produced by LASAT and documented further in SE and BSE image stacks collected simultaneously during subsequent slice and view operations using a focus ion beam (FIB) and a scanning electron microscope (FIB slice \& view). The segmented 3D data gives clear understanding of the columnar structure of the ceramic and of the interaction between the crack and the TBC microstructure.}, language = {en} } @masterthesis{Wende2013, type = {Bachelor Thesis}, author = {Wende, Florian}, title = {Dynamic Load Balancing on Massively Parallel Computer Architectures}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-42166}, school = {Zuse Institute Berlin (ZIB)}, pages = {100}, year = {2013}, abstract = {This thesis reports on using dynamic load balancing methods on massively parallel computers in the context of multithreaded computations. In particular we investigate the applicability of a randomized work stealing algorithm to ray tracing and breadth-first search as representatives of real-world applications with dynamic work creation. For our considerations we made use of current massively parallel hardware accelerators: Nvidia Tesla M2090, and Intel Xeon Phi. For both of the two we demonstrate the suitability of the work stealing scheme for the said real-world applications. Also the necessity of dynamic load balancing for irregular computations on such hardware is illustrated.}, language = {en} } @misc{ZhangHartmannSchuette2016, author = {Zhang, Wei and Hartmann, Carsten and Sch{\"u}tte, Christof}, title = {Effective Dynamics Along Given Reaction Coordinates, and Reaction Rate Theory}, issn = {1438-0064}, doi = {10.1039/C6FD00147E}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-59706}, year = {2016}, abstract = {In molecular dynamics and related fields one considers dynamical descriptions of complex systems in full (atomic) detail. In order to reduce the overwhelming complexity of realistic systems (high dimension, large timescale spread, limited computational resources) the projection of the full dynamics onto some reaction coordinates is examined in order to extract statistical information like free energies or reaction rates. In this context, the effective dynamics that is induced by the full dynamics on the reaction coordinate space has attracted considerable attention in the literature. In this article, we contribute to this discussion: We first show that if we start with an ergodic diffusion processes whose invariant measure is unique then these properties are inherited by the effective dynamics. Then, we give equations for the effective dynamics, discuss whether the dominant timescales and reaction rates inferred from the effective dynamics are accurate approximations of such quantities for the full dynamics, and compare our findings to results from approaches like Zwanzig-Mori, averaging, or homogenization. Finally, by discussing the algorithmic realization of the effective dynamics, we demonstrate that recent algorithmic techniques like the "equation-free" approach and the "heterogeneous multiscale method" can be seen as special cases of our approach.}, language = {en} } @misc{NaegelDeuflhardWittum2018, author = {N{\"a}gel, Arne and Deuflhard, Peter and Wittum, Gabriel}, title = {Efficient Stiff Integration of Density Driven Flow Problems}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-70891}, year = {2018}, abstract = {The paper investigates the efficient use of a linearly implicit stiff integrator for the numerical solution of density driven flow problems. Upon choosing a one-step method of extrapolation type (code LIMEX), the use of full Jacobians and reduced approximations are discussed. Numerical experiments include nonlinear density flow problems such as diffusion from a salt dome (2D), a (modified) Elder problem (3D), the saltpool benchmark (3D) and a real life salt dome problem (2D). The arising linear equations are solved using either a multigrid preconditioner from the software package UG4 or the sparse matrix solver SuperLU.}, language = {en} } @misc{Grever2016, type = {Master Thesis}, author = {Grever, Andreas}, title = {Estimating Missing Entries of a Partial Mean First Passage Time Matrix}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65228}, year = {2016}, language = {en} } @misc{KOBVHrsg2022, author = {KOBV (Hrsg.),}, title = {KOBV-Sondernewsletter zum 25-j{\"a}hrigen Jubil{\"a}um}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-86379}, year = {2022}, abstract = {Der Kooperative Bibliotheksverbund Berlin-Brandenburg wird heute 25 Jahre alt. Seit dem 1. April 1997 entwickelt der KOBV neue Dienstleistungen f{\"u}r Nutzende und Bibliotheken, baut Informationsinfrastrukturen in Berlin und Brandenburg aus, vernetzt Bibliotheken aus der Region und informiert {\"u}ber aktuelle Themen. Im Sondernewsletter geben uns aktuelle und ehemalige KOBV-Mitarbeitende/Mitglieder Antworten auf Fragen zur Entstehung und Weiterentwicklung des Verbundes. Lesen und feiern Sie mit uns zusammen!}, language = {de} } @misc{BaumGiliardHasleretal.2019, author = {Baum, Daniel and Giliard, Nicole and Hasler, Tim and Peters-Kottig, Wolfgang}, title = {Leitlinien zum Umgang mit Forschungsdaten am Zuse-Institut Berlin}, address = {Berlin}, doi = {10.12752/7378}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-73781}, year = {2019}, abstract = {Die nachhaltige Sicherung und Bereitstellung von Forschungsdaten dienen nicht nur der Reproduzierbarkeit fr{\"u}herer Ergebnisse, sondern in hohem Maße auch der Erzielung k{\"u}nftiger Ergebnisse mit dem Ziel, die Qualit{\"a}t, Produktivit{\"a}t und Wettbewerbsf{\"a}higkeit der Wissenschaft zu f{\"o}rdern. Die folgenden Grunds{\"a}tze gelten als Leitlinien zur Handhabung von Forschungsdaten im ZIB.}, language = {de} } @misc{TaentzerGolas2015, author = {Taentzer, Gabriele and Golas, Ulrike}, title = {Local Confluence Analysis for Amalgamated Graph Transformation: Long Version}, issn = {1438-0064}, doi = {10.1007/978-3-319-21145-9_5}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-54943}, year = {2015}, abstract = {Amalgamated graph transformation allows to define schemes of rules coinciding in common core activities and differing over additional parallel independent activities. Consequently, a rule scheme is specified by a kernel rule and a set of extending multi-rules forming an interaction scheme. Amalgamated transformations have been increasingly used in various modeling contexts. Critical Pair Analysis (CPA) can be used to show local confluence of graph transformation systems. It is an open challenge to lift the CPA to amalgamated graph transformation systems, especially since infinite many pairs of amalgamated rules occur in general. As a first step towards an efficient local confluence analysis of amalgamated graph transformation systems, we show that the analysis of a finite set of critical pairs suffices to prove local confluence.}, language = {en} } @misc{EgeFothBaumetal.2020, author = {Ege, Yannic and Foth, Christian and Baum, Daniel and Wirkner, Christian S. and Richter, Stefan}, title = {Making spherical-harmonics-based Geometric Morphometrics (SPHARM) approachable for 3D images containing large cavity openings using Ambient Occlusion - a study using hermit crab claw shape variability}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-77744}, year = {2020}, abstract = {An advantageous property of mesh-based geometric morphometrics (GM) towards landmark-based approaches, is the possibility of precisely examining highly irregular shapes and highly topographic surfaces. In case of spherical-harmonics-based GM the main requirement is a completely closed mesh surface, which often is not given, especially when dealing with natural objects. Here we present a methodological workflow to prepare 3D segmentations containing large cavity openings for the conduction of spherical-harmonics-based GM. This will be exemplified with a case study on claws of hermit crabs (Paguroidea, Decapoda, Crustacea), whereby joint openings - between manus and "movable finger" - typify the large-cavity-opening problem. We found a methodology including an ambient-occlusion-based segmentation algorithm leading to results precise and suitable to study the inter- and intraspecific differences in shape of hermit crab claws. Statistical analyses showed a significant separation between all examined diogenid and pagurid claws, whereas the separation between all left and right claws did not show significance. Additionally, the procedure offers other benefits. It is easy to reproduce and creates sparse variance in the data, closures integrate smoothly into the total structures and the algorithm saves a significant amount of time.}, language = {en} } @misc{Solleder2016, type = {Master Thesis}, author = {Solleder, Marthe}, title = {Molecular Dynamics Simulations : What is the Effect of a Spin Probe on the Drug Loading of a Nanocarrier}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65239}, year = {2016}, language = {en} } @misc{Brust2017, type = {Master Thesis}, author = {Brust, Lisa}, title = {Molek{\"u}ldynamik-Simulation via eines Faltungsansatzes im Potential}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65198}, year = {2017}, language = {de} } @misc{ChristgauSchnor2019, author = {Christgau, Steffen and Schnor, Bettina}, title = {MPI Passive Target Synchronization on a Non-Cache-Coherent Shared-Memory Processor}, issn = {1438-0064}, doi = {10.12752/7477}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-74774}, year = {2019}, abstract = {MPI passive target synchronization offers exclusive and shared locks. These are the building blocks for the implementation of applications with Readers \& Writers semantic, like for example distributed hash tables. This paper discusses the implementation of MPI passive target synchronization on a non-cache-coherent multicore, the Intel Single-Chip Cloud Computer. The considered algorithms differ in their communication style (message based versus shared memory), their data structures (centralized versus distributed) and their semantics (with/without Writer preference). It is shown that shared memory approaches scale very well and deliver good performance, even in absence of cache coherence.}, language = {en} } @misc{CostaMantonOstrovskyetal.2016, author = {Costa, Marta and Manton, James D. and Ostrovsky, Aaron D. and Prohaska, Steffen and Jefferis, Gregory S.X.E.}, title = {NBLAST: Rapid, sensitive comparison of neuronal structure and construction of neuron family databases}, issn = {1438-0064}, doi = {10.1016/j.neuron.2016.06.012}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-59672}, year = {2016}, abstract = {Neural circuit mapping is generating datasets of 10,000s of labeled neurons. New computational tools are needed to search and organize these data. We present NBLAST, a sensitive and rapid algorithm, for measuring pairwise neuronal similarity. NBLAST considers both position and local geometry, decomposing neurons into short segments; matched segments are scored using a probabilistic scoring matrix defined by statistics of matches and non-matches. We validated NBLAST on a published dataset of 16,129 single Drosophila neurons. NBLAST can distinguish neuronal types down to the finest level (single identified neurons) without a priori information. Cluster analysis of extensively studied neuronal classes identified new types and unreported topographical features. Fully automated clustering organized the validation dataset into 1052 clusters, many of which map onto previously described neuronal types. NBLAST supports additional query types including searching neurons against transgene expression patterns. Finally we show that NBLAST is effective with data from other invertebrates and zebrafish.}, language = {en} } @misc{PulajRaymondTheis2015, author = {Pulaj, Jonad and Raymond, Annie and Theis, Dirk}, title = {New Conjectures For Union-Closed Families}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-56804}, year = {2015}, abstract = {The Frankl conjecture, also known as the union-closed sets conjecture, states that there exists an element in at least half of the sets of any (non-empty) union-closed family. From an optimization point of view, one could instead prove that 2a is an upper bound to the number of sets in a union-closed family with n elements where each element is in at most a sets, where a and n are non-negative integers. Formulating these problems as integer programs we observe that computed optimal values do not vary with n. We formalize these observations as conjectures, and show that they are not equivalent to the Frankl conjecture while still having wide-reaching implications if proven true. Finally, we partially prove the new conjectures and discuss possible approaches to solve them completely.}, language = {en} } @misc{Mexi2021, type = {Master Thesis}, author = {Mexi, Gioni}, title = {New Ideas for the Feasibility Pump: Using Multiple Reference Vectors}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-83724}, year = {2021}, language = {en} } @misc{Roehm2017, type = {Master Thesis}, author = {R{\"o}hm, Jonas}, title = {Non-Negative Matrix Factorization for Raman Data Spectral Analysis}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65217}, year = {2017}, language = {en} } @misc{Clausecker2017, author = {Clausecker, Robert}, title = {Notes on the Construction of Pattern Databases}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65586}, year = {2017}, abstract = {This report aims to explain and extend pattern databases as a tool in finding optimal solutions to combination puzzles. Using sliding tile puzzles as an example, an overview over techniques to construct and use pattern databases is given, analysed, and extended. As novel results, zero aware additive pattern databases and PDB catalogues are introduced. This report originally appeared as a bachelor thesis at Humboldt University of Berlin under the title Notes on the Construction of Tablebases.}, language = {en} } @misc{Bender2019, type = {Master Thesis}, author = {Bender, Wilhelm}, title = {On a Novel Approach for Global Optimization of Non-Convex Problems}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-77074}, year = {2019}, abstract = {In this work new approaches for global optimization are developed. We move from theoretical connections in complexity theory to very practical results in protein-ligand docking. In regard to the efficiency of the suggested optimizer, continuity methods are motivated, that yield an improved optimization method.}, language = {en} } @misc{KoltaiCiccottiSchuette2016, author = {Koltai, Peter and Ciccotti, Giovanni and Sch{\"u}tte, Christof}, title = {On metastability and Markov state models for non-stationary molecular dynamics}, volume = {174103}, journal = {The Journal of Chemical Physics}, edition = {145}, issn = {1438-0064}, doi = {10.1063/1.4966157}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57869}, year = {2016}, abstract = {We utilize the theory of coherent sets to build Markov state models for non- equilibrium molecular dynamical systems. Unlike for systems in equilibrium, "meta- stable" sets in the non-equilibrium case may move as time evolves. We formalize this concept by relying on the theory of coherent sets, based on this we derive finite-time non-stationary Markov state models, and illustrate the concept and its main differences to equilibrium Markov state modeling on simple, one-dimensional examples.}, language = {en} } @misc{CockayneOatesSullivanetal.2016, author = {Cockayne, Jon and Oates, Chris and Sullivan, T. J. and Girolami, Mark}, title = {Probabilistic Meshless Methods for Partial Differential Equations and Bayesian Inverse Problems}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-59513}, year = {2016}, abstract = {This paper develops a class of meshless methods that are well-suited to statistical inverse problems involving partial differential equations (PDEs). The methods discussed in this paper view the forcing term in the PDE as a random field that induces a probability distribution over the residual error of a symmetric collocation method. This construction enables the solution of challenging inverse problems while accounting, in a rigorous way, for the impact of the discretisation of the forward problem. In particular, this confers robustness to failure of meshless methods, with statistical inferences driven to be more conservative in the presence of significant solver error. In addition, (i) a principled learning-theoretic approach to minimise the impact of solver error is developed, and (ii) the challenging setting of inverse problems with a non-linear forward model is considered. The method is applied to parameter inference problems in which non-negligible solver error must be accounted for in order to draw valid statistical conclusions.}, language = {en} } @misc{WolfAmadi2017, author = {Wolf, Thomas and Amadi, Chimaobi}, title = {Rational Solutions of Underdetermined Polynomial Equations}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-64488}, year = {2017}, abstract = {In this paper we report on an application of computer algebra in which mathematical puzzles are generated of a type that had been widely used in mathematics contests by a large number of participants worldwide. The algorithmic aspect of our work provides a method to compute rational solutions of single polynomial equations that are typically large with 10^2 ... 10^5 terms and that are heavily underdetermined. It was possible to obtain this functionality by adding a number of new modules for a new type of splitting of equations to the existing package CRACK that is normally used to solve polynomial algebraic and differential systems of equations.}, language = {en} } @misc{Badel2021, type = {Master Thesis}, author = {Badel, Raphael}, title = {Registration-based Tracking of Regions Defined by Level Sets of Time-dependent Scalar Fields}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-82264}, year = {2021}, abstract = {This thesis is concerned with the wide field of feature tracking in time-dependent data. Many solutions already exist for the tracking of various features in scalar fields that are given as discrete time steps. In the field of meteorology, recently published precipitation data of the COSMO-REA2 reanalysis system gave rise to the analysis of precipitation at a convective scale for which a tracking of precipitation cells over time is desired. A previous study indicated that a tracking based on the widely used overlap criterion does not perform well for the reanalysis data. Based on a novel set of requirements, a new approach to the tracking of regions in time-dependent scalar fields is developed in the course of this thesis and applied in a prototypical study to example datasets of the COSMO-REA2 system. Despite the concrete motivation of using the developed method for subsequent studies of precipitation, the tracking approach is designed to be applicable for arbitrary scalar quantities that can conceptually be given on uniform grids of arbitrary dimensions. Based on a detailed description of the utilized methods, this thesis presents a novel tracking solution whose correspondence identification is based on image registration of successive time steps in combination with a hierarchical watershed segmentation by means of which features are extracted. The proposed implementation allows for an efficient generation of tracking results under the premise that the registration-based correspondence information has been precomputed.}, language = {en} } @misc{BaumLindowHegeetal.2017, author = {Baum, Daniel and Lindow, Norbert and Hege, Hans-Christian and Lepper, Verena and Siopi, Tzulia and Kutz, Frank and Mahlow, Kristin and Mahnke, Heinz-Eberhard}, title = {Revealing hidden text in rolled and folded papyri}, issn = {1438-0064}, doi = {10.1007/s00339-017-0808-6}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-61826}, year = {2017}, abstract = {Ancient Egyptian papyri are often folded, rolled up or kept as small packages, sometimes even sealed. Physically unrolling or unfolding these packages might severely damage them. We demonstrate a way to get access to the hidden script without physical unfolding by employing computed tomography and mathematical algorithms for virtual unrolling and unfolding. Our algorithmic approaches are combined with manual interaction. This provides the necessary flexibility to enable the unfolding of even complicated and partly damaged papyrus packages. In addition, it allows us to cope with challenges posed by the structure of ancient papyrus, which is rather irregular, compared to other writing substrates like metallic foils or parchment. Unfolding of packages is done in two stages. In the first stage, we virtually invert the physical folding process step by step until the partially unfolded package is topologically equivalent to a scroll or a papyrus sheet folded only along one fold line. To minimize distortions at this stage, we apply the method of moving least squares. In the second stage, the papyrus is simply flattened, which requires the definition of a medial surface. We have applied our software framework to several papyri. In this work, we present the results of applying our approaches to mockup papyri that were either rolled or folded along perpendicular fold lines. In the case of the folded papyrus, our approach represents the first attempt to address the unfolding of such complicated folds.}, language = {en} } @article{RettigHaasePletnyovetal.2019, author = {Rettig, Anika and Haase, Tobias and Pletnyov, Alexandr and Kohl, Benjamin and Ertel, Wolfgang and von Kleist, Max and Sunkara, Vikram}, title = {SLCV - A Supervised Learning - Computer Vision combined strategy for automated muscle fibre detection in cross sectional images}, journal = {PeerJ}, publisher = {PeerJ}, address = {PeerJ}, doi = {10.7717/peerj.7053}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-72639}, year = {2019}, abstract = {Muscle fibre cross sectional area (CSA) is an important biomedical measure used to determine the structural composition of skeletal muscle, and it is relevant for tackling research questions in many different fields of research. To date, time consuming and tedious manual delineation of muscle fibres is often used to determine the CSA. Few methods are able to automatically detect muscle fibres in muscle fibre cross sections to quantify CSA due to challenges posed by variation of bright- ness and noise in the staining images. In this paper, we introduce SLCV, a robust semi-automatic pipeline for muscle fibre detection, which combines supervised learning (SL) with computer vision (CV). SLCV is adaptable to different staining methods and is quickly and intuitively tunable by the user. We are the first to perform an error analysis with respect to cell count and area, based on which we compare SLCV to the best purely CV-based pipeline in order to identify the contribution of SL and CV steps to muscle fibre detection. Our results obtained on 27 fluorescence-stained cross sectional images of varying staining quality suggest that combining SL and CV performs signifi- cantly better than both SL based and CV based methods with regards to both the cell separation- and the area reconstruction error. Furthermore, applying SLCV to our test set images yielded fibre detection results of very high quality, with average sensitivity values of 0.93 or higher on different cluster sizes and an average Dice Similarity Coefficient (DSC) of 0.9778.}, language = {en} } @misc{MokhtariPattersonHoefling2021, author = {Mokhtari, Zahra and Patterson, Robert I. A. and H{\"o}fling, Felix}, title = {Spontaneous trail formation in populations of auto-chemotactic walkers}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-84466}, year = {2021}, abstract = {We study the formation of trails in populations of self-propelled agents that make oriented deposits of pheromones and also sense such deposits to which they then respond with gradual changes of their direction of motion. Based on extensive off-lattice computer simulations aiming at the scale of insects, e.g., ants, we identify a number of emerging stationary patterns and obtain qualitatively the non-equilibrium \add{state} diagram of the model, spanned by the strength of the agent--pheromone interaction and the number density of the population. In particular, we demonstrate the spontaneous formation of persistent, macroscopic trails, and highlight some behaviour that is consistent with a dynamic phase transition. This includes a characterisation of the mass of system-spanning trails as a potential order parameter. We also propose a dynamic model for a few macroscopic observables, including the sub-population size of trail-following agents, which captures the early phase of trail formation.}, language = {en} } @misc{Makarenko2017, type = {Master Thesis}, author = {Makarenko, Oleksandra}, title = {Square Root Approximation und statistische Umgewichtungstechnik f{\"u}r das Faltungsverhalten von Polymerb{\"u}rsten}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65283}, year = {2017}, language = {de} } @misc{WendeSteinke2013, author = {Wende, Florian and Steinke, Thomas}, title = {Swendsen-Wang Multi-Cluster Algorithm for the 2D/3D Ising Model on Xeon Phi and GPU}, issn = {1438-0064}, doi = {10.1145/2503210.2503254}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-42187}, year = {2013}, abstract = {Simulations of the critical Ising model by means of local update algorithms suffer from critical slowing down. One way to partially compensate for the influence of this phenomenon on the runtime of simulations is using increasingly faster and parallel computer hardware. Another approach is using algorithms that do not suffer from critical slowing down, such as cluster algorithms. This paper reports on the Swendsen-Wang multi-cluster algorithm on Intel Xeon Phi coprocessor 5110P, Nvidia Tesla M2090 GPU, and x86 multi-core CPU. We present shared memory versions of the said algorithm for the simulation of the two- and three-dimensional Ising model. We use a combination of local cluster search and global label reduction by means of atomic hardware primitives. Further, we describe an MPI version of the algorithm on Xeon Phi and CPU, respectively. Significant performance improvements over known im plementations of the Swendsen-Wang algorithm are demonstrated.}, language = {en} } @misc{Deuflhard2017, author = {Deuflhard, Peter}, title = {The Grand Four}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-66038}, year = {2017}, abstract = {This paper gives a concise synopsis and some new insights concerning four affine invariant globalizations of the local Newton method. The invariance classes include: affine covariance, affine contravariance, affine conjugacy, and affine similarity. In view of algorithmic robustness, each of these classes of algorithms is particularly suitable for some corresponding problem class.}, language = {en} } @misc{SchwartzBorndoerferBartz2016, author = {Schwartz, Stephan and Bornd{\"o}rfer, Ralf and Bartz, Gerald}, title = {The Graph Segmentation Problem}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-60750}, year = {2016}, abstract = {We investigate a graph theoretical problem arising in the automatic billing of a network toll. Given a network and a family of user paths, we study the graph segmentation problem (GSP) to cover parts of the user paths by a set of disjoint segments. The GSP is shown to be NP-hard but for special cases it can be solved in polynomial time. We also show that the marginal utility of a segment is bounded. Computational results for real-world instances show that in practice the problem is more amenable than the theoretic bounds suggest.}, language = {en} } @misc{Kunt2023, type = {Master Thesis}, author = {Kunt, Tim}, title = {The n-Queens Problem in Higher Dimensions}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-96468}, pages = {84}, year = {2023}, abstract = {How many mutually non-attacking queens can be placed on a d-dimensional chessboard of size n? The n-queens problem in higher dimensions is a generalization of the well-known n-queens problem. We provide a comprehensive overview of theoretical results, bounds, solution methods, and the interconnectivity of the problem within topics of discrete optimization and combinatorics. We present an integer programming formulation of the n-queens problem in higher dimensions and several strengthenings through additional valid inequalities. Compared to recent benchmarks, we achieve a speedup in computational time between 15-70x over all instances of the integer programs. Our computational results prove optimality of certificates for several large instances. Breaking additional, previously unsolved instances with the proposed methods is likely possible. On the primal side, we further discuss heuristic approaches to constructing solutions that turn out to be optimal when compared to the IP. We conclude with preliminary results on the number and density of the solutions.}, language = {en} } @misc{Clausecker2020, author = {Clausecker, Robert}, title = {The Quality of Heuristic Functions for IDA*}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-78489}, year = {2020}, abstract = {The aim of this thesis is to deepen our understand of how IDA* heuristics influence the number of nodes expanded during search. To this end, we develop Korf's formula for the number of expanded nodes into a heuristic quality η which expresses the quality of a heuristic function as a constant factor on the number of expanded nodes, independent of a particular problem instance. We proceed to show how to compute η for some common kinds of heuristics and how to estimate η by means of a random sample for arbitrary heuristics. Using the value of η for some concrete examples, we then inspect for which parts of the search space the values of h(v) are particularly critical to the performance of the heuristic, allowing us to build better heuristics for future problems. This report originally appeared as a master thesis at Humboldt University of Berlin.}, language = {en} } @misc{WillenbockelSchuette2016, author = {Willenbockel, Christian Tobias and Sch{\"u}tte, Christof}, title = {Variational Bayesian Inference and Model Selection for the Stochastic Block Model with Irrelevant Vertices}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57003}, year = {2016}, abstract = {Real World networks often exhibit a significant number of vertices which are sparsely and irregularly connected to other vertices in the network. For clustering theses networks with a model based algorithm, we propose the Stochastic Block Model with Irrelevant Vertices (SBMIV) for weighted net- works. We propose an original Variational Bayesian Expectation Maximiza- tion inference algorithm for the SBMIV which is an advanced version of our Blockloading algorithm for the Stochastic Block Model. We introduce a model selection criterion for the number of clusters of the SBMIV which is based on the lower variational bound of the model likelihood. We propose a fully Bayesian inference process, based on plausible informative priors, which is independent of other algorithms for preprocessing start values for the cluster assignment of vertices. Our inference methods allow for a multi level identification of irrelevant vertices which are hard to cluster reliably ac- cording to the SBM. We demonstrate that our methods improve on the normal Stochastic Block model by applying it to to Earthquake Networks which are an example of networks with a large number of sparsely and irregularly con- nected vertices.}, language = {en} } @misc{HartmannRichterSchuetteetal.2017, author = {Hartmann, Carsten and Richter, Lorenz and Sch{\"u}tte, Christof and Zhang, Wei}, title = {Variational characterization of free energy: Theory and algorithms}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-65045}, year = {2017}, abstract = {The article surveys and extends variational formulations of the thermodynamic free energy and discusses their information-theoretic content from the perspective of mathematical statistics. We revisit the well-known Jarzynski equality for nonequilibrium free energy sampling within the framework of importance sampling and Girsanov change-of-measure transformations. The implications of the different variational formulations for designing efficient stochastic optimization and nonequilibrium simulation algorithms for computing free energies are discussed and illustrated.}, language = {en} } @misc{Sullivan2016, author = {Sullivan, T. J.}, title = {Well-posed Bayesian inverse problems and heavy-tailed stable Banach space priors}, issn = {1438-0064}, doi = {10.3934/ipi.2017040}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-59422}, year = {2016}, abstract = {This article extends the framework of Bayesian inverse problems in infinite-dimensional parameter spaces, as advocated by Stuart (Acta Numer. 19:451-559, 2010) and others, to the case of a heavy-tailed prior measure in the family of stable distributions, such as an infinite-dimensional Cauchy distribution, for which polynomial moments are infinite or undefined. It is shown that analogues of the Karhunen-Lo{\`e}ve expansion for square-integrable random variables can be used to sample such measures. Furthermore, under weaker regularity assumptions than those used to date, the Bayesian posterior measure is shown to depend Lipschitz continuously in the Hellinger metric upon perturbations of the misfit function and observed data.}, language = {en} } @misc{Pyszkalski2013, author = {Pyszkalski, Wolfgang}, title = {{\"U}bersicht {\"u}ber die Datenhaltung im ZIB und die M{\"o}glichkeiten einer Nutzung durch Projekte}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-42060}, year = {2013}, abstract = {Dieser Bericht beschreibt in allgemein verst{\"a}ndlicher Form die Struktur der Datenhaltung im Zuse-Institut Berlin (ZIB) und die aktuell verwendeten Strategien im Umgang mit immer st{\"a}rker wachsenden Datenmengen, sowie der Herausforderung der Speicherung unwiederbringlicher Daten {\"u}ber im Grunde unbegrenzte Zeit.}, language = {de} }