Philipp Hoffmann

Learn More
Whether prepubertal estrogen production impacts on the timing of puberty is not clear. We aimed to investigate prepubertal 24-h estrogen excretion levels and their association with early and late pubertal markers. Daily urinary excretion rates of estrogens of 132 healthy children, who provided 24-h urine samples 1 and 2 yr before the start of the pubertal(More)
We present our GPU-based implementations of three well-known algorithms for solving parity games. Our implementations are in general faster by a factor of at least two than the corresponding implementations found in the widely known PGSolver collection of solvers. For benchmarking we use several of PGSolver's benchmarks as well as arenas obtained by means(More)
The elimination half-life and consequently the accumulation of enoxaparin increase as glomerular filtration rate (GFR) decreases. A dose adjustment for patients with a GFR <30 ml/min is recommended and considered relatively safe. Our intention was to identify whether the use of enoxaparin is safe and to determine what impact an enoxaparin dose adjustment(More)
We study Probabilistic Workflow Nets (PWNs), a model extending van der Aalst's workflow nets with probabilities. We give a semantics for PWNs in terms of Markov Decision Processes and introduce a reward model. Using a result by Varacca and Nielsen, we show that the expected reward of a complete execution of the PWN is independent of the scheduler. Extending(More)
Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced in [5, 6]. We initiate the study of games for this model. We study coalition problems: can a given coalition of agents force that a negotiation terminates (resp. block the negotiation so that it goes on forever)?; can the coalition force a given(More)
The distribution and use of nanoparticles increased rapidly during the last years, while the knowledge about mode of action, ecological tolerance and biodegradability of these chemicals is still insufficient. The effect of silver nanoparticles (AgNP) and free silver ions (Ag(+) , AgNO3 ) on Pseudomonas putida mt-2 as one of the best described bacterial(More)
Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced in [5,6]. We initiate the study of games for this model. We study coalition problems: can a given coalition of agents force that a negotiation terminates (resp. block the negotiation so that it goes on forever)?; can the coalition force a given(More)