Learn More
  • Jesco Humpola, Imke Joormann, Djamal Oucherif, Marc E Pfetsch, Lars Schewe, Martin Schmidt +1 other
  • 2015
The development of mathematical simulation and optimization models and algorithms for solving gas transport problems is an active field of research. In order to test and compare these models and algorithms, gas network instances together with demand data are needed. The goal of GasLib is to provide a set of publicly available gas network instances that can(More)
We show, that higher analogs of the Willmore functional, defined on the space of immersions M 2 → R 3 , where M 2 is a two-dimensional torus, R 3 is the 3-dimensional Euclidean space are invariant under conformal transformations of R 3. This hypothesis was formulated recently by I. A. Taimanov. Higher analogs of the Willmore functional are defined in terms(More)
characterization in terms of curvature and torsion, the Hasimoto map and periodic solutions of the Filament Equation. Abstract If a curve in R 3 is closed, then the curvature and the torsion are periodic functions satisfying some additional constraints. We show that these constraints can be naturally formulated in terms of the spectral problem for a 2 2(More)
We show, that higher analogs of the Willmore functional, deened on the space of immersions M 2 ! R 3 , where M 2 is a two-dimensional torus, R 3 is the 3-dimensional Euclidean space are invariant under conformal transformations of R 3. This hypothesis was formulated recently by I. A. Taimanov. Higher analogs of the Willmore functional are deened in terms of(More)
Due to strict regulatory rules in combination with complex non-linear physics, major gas network operators in Germany and Europe face hard planning problems that call for optimization. In part 1 of this paper we have developed a suitable model hierarchy for that purpose. Here we consider the more practical aspects of modeling. We validate individual model(More)
Following the interest generated by two previous blind tests of crystal structure prediction (CSP1999 and CSP2001), a third such collaborative project (CSP2004) was hosted by the Cambridge Crystallographic Data Centre. A range of methodologies used in searching for and ranking the likelihood of predicted crystal structures is represented amongst the 18(More)
  • Tarek R Besold, Helmar Gust, Ulf Krumnack, Ahmed Abdel-Fattah, Martin Schmidt, Kai-Uwe Kühnberger
  • 2011
Humans are without any doubts the prototypical example of agents that can hold rational beliefs and can show rational behaviour. When modeling human decision-making, it seems reasonable to take the remarkable abilities of humans into account with respect to rational behaviour, but also the apparent deficiencies of humans shining up in certain rationality(More)
Coalgebraic Logic Programming (CoALP) is a dialect of Logic programming designed to work with coin-ductive definitions of infinite objects. Its main goal is to introduce guarded lazy corecursion akin functional theorem provers into logic programming. In this paper, we give the first full formal account of guarded corecursion in CoALP, and present its(More)
Feasibility pumps are highly effective primal heuristics for mixed-integer linear and nonlinear optimization. However, despite their success in practice there are only few works considering their theoretical properties. We show that feasibility pumps can be seen as alternating direction methods applied to special reformulations of the original problem,(More)