2015
article
OpenAlex
Bern Klein, Florian Kummer, Matthias Keil, Martin Oberlack
Summary In this paper, we present a SIMPLE based algorithm in the context of the discontinuous Galerkin method for unsteady incompressible flows. Time discretization is done fully implicit using backward differentiation formulae (BDF) of varying order from 1 to 4. We show …
de, us
(code pays fourni par la source)
Accès ouvert
2014
preprint
OpenAlex
Matthias Keil, Peter J. Thiemann
This paper presents a new solution to the containment problem for extended regular expressions that extends basic regular expressions with intersection and complement operators and consider regular expressions on infinite alphabets based on potentially infinite character sets. Standard approaches deciding the containment …
de
(code pays fourni par la source)
Accès ouvert
2014
article
OpenAlex
Matthias Keil, Peter J. Thiemann
This paper presents a new algorithm for the containment problem for extended regular expressions that contain intersection and complement operators and that range over infinite alphabets. The algorithm solves extended regular expressions inequalities symbolically by term rewriting and thus avoids the translation …
de
(code pays fourni par la source)
2013
article
OpenAlex
Christian Katzenmeier, Matthias Keil, Charlotte Landwehr, Kurt R. Schumacher et autres
de
(code pays fourni par la source)
2013
conference-paper
OpenAlex
Matthias Keil, Peter J. Thiemann
JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation.
de
(code pays fourni par la source)
2012
article
OpenAlex
Oliver Korb, Tim ten Brink, Fredrick Robin Devadoss Victor Paul Raj, Matthias Keil et autres
de, gb, ru
(code pays fourni par la source)
2009
article
OpenAlex
Ursula Denison, Helin Salzer, Andreas Obermair, Matthias Keil et autres
at, de
(code pays fourni par la source)
2009
article
OpenAlex
Alfred Bichler, Christine Pavelka-Arends, Wolfgang Walcher, W. Urdl et autres
Accès ouvert
2009
article
OpenAlex
A. Bichler, Christine Pavelka-Arends, Wolfgang Walcher, W. Urdl et autres
2009
article
OpenAlex
Matthias Keil, Ulrich Wetterauer, H.‐J. Heite
Glutamic acid content of semen was determined photometrically in over 400 semen specimens. Glutamatic acid content was found to increase proportionately to temperature in the first few hours post ejaculation. The glutamate estimation should therefore be performed on semen at 30 min. …
de
(code pays fourni par la source)
2009
article
OpenAlex
Matthias Keil
The visualization of molecular scenarios on an atomic level can help to interpret experimental and theoretical findings. This is demonstrated in this review article with the specific field of drug design. State-of-the-art visualization techniques are described and applied to the different stages …
2008
article
OpenAlex
Michael Dolan, Matthias Keil, David S. Baker
Although the number of known protein structures is increasing, the number of protein sequences without determined structures is still much larger. Three-dimensional (3D) protein structure information helps in the understanding of functional mechanisms, but solving structures by X-ray crystallography or NMR is …