Search Results - "Streck, Adam"

PyBoolNet: a python package for the generation, analysis and visualization of boolean networks by Klarner, Hannes, Streck, Adam, Siebert, Heike

“…The goal of this project is to provide a simple interface to working with Boolean networks. Emphasis is put on easy access to a large number of common tasks…”
Get full text

SMITH: spatially constrained stochastic model for simulation of intra-tumour heterogeneity by Streck, Adam, Kaufmann, Tom L, Schwarz, Roland F

“…Abstract Motivation Simulations of cancer evolution are highly useful to study the effects of selection and mutation rates on cellular fitness. However, most…”
Get full text

Data-driven optimizations for model checking of multi-valued regulatory networks by Streck, Adam, Thobe, Kirsten, Siebert, Heike

“…The model checking method has been long since established as an important tool for modelling and reverse engineering of biological systems. However, due to a…”
Get full text

Minimization and equivalence in multi-valued logical models of regulatory networks by Streck, Adam, Lorenz, Therese, Siebert, Heike

“…Multi-valued logical models can be used to describe biological networks on a high level of abstraction based on the network structure and logical parameters…”
Get full text

Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli by Yousef, Kaveh Pouran, Streck, Adam, Schütte, Christof, Siebert, Heike, Hengge, Regine, von Kleist, Max

“…Bacteria have developed a repertoire of signalling mechanisms that enable adaptive responses to fluctuating environmental conditions. The formation of biofilm,…”
Get full text

On Parameter Synthesis by Parallel Model Checking by Barnat, J., Brim, L., Krejci, A., Streck, A., Safranek, D., Vejnar, M., Vejpustek, T.

“…An important problem in current computational systems biology is to analyze models of biological systems dynamics under parameter uncertainty. This paper…”
Get full text

Using Discrete Time Markov Chains for Control of Idle Character Animation by Streck, Adam, Wolbers, Thomas

“…The behavior of autonomous characters in virtual environments is usually described via a complex deterministic state machine or a behavior tree driven by the…”
Get full text

neomento SAD - VR Treatment For Social Anxiety by Streck, Adam, Stepnicka, Philipp, Klaubert, Jens, Wolbers, Thomas

“…We present the neomento project, a solution for virtual reality (VR) exposure therapy (VRET). In our work we have created specific rendering methods and…”
Get full text

neomento - Towards Building a Universal Solution for Virtual Reality Exposure Psychotherapy by Streck, Adam, Stepnicka, Philipp, Klaubert, Jens, Wolbers, Thomas

“…We present the neomento project, a solution for virtual reality (VR) exposure therapy (VRET). In our work we have created specific rendering methods and…”
Get full text

Minimization and Equivalence in Multi-valued Logical Models of Regulatory Networks by Streck, Adam, Lorenz, Therese, Siebert, Heike

“…Natural Computing, Springer Netherlands, 2015, pp 1-12 Multi-valued logical models can be used to describe biological networks on a high level of abstraction…”
Get full text