#### Filter Results:

#### Publication Year

1997

2016

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

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)

- P G Grinevich, M U Schmidt
- 1997

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)

- M Kilian, M U Schmidt
- 2007

We show that one-sided Alexandrov embedded constant mean curvature cylinders of finite type in the 3-sphere have spectral genus g ≤ 1. This confirms a conjecture by Pinkall and Sterling that the only embedded constant mean curvature tori in the 3-sphere are tori of revolution.

- P G Grinevich, M U Schmidt
- 2007

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)

- P G Grinevich, M U Schmidt
- 2007

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)

- Martin Schmidt, Marc C Steinbach, Bernhard M Willert
- 2014

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)

- J'onathan Heras, Ekaterina Komendantskaya, Martin Schmidt
- 2014

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)

- Björn Geißler, Antonio Morsi, Lars Schewe, Martin Schmidt
- 2016

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)