Search

Your search keyword '"Koeppl, Heinz"' showing total 44 results

Search Constraints

Start Over You searched for: Author "Koeppl, Heinz" Remove constraint Author: "Koeppl, Heinz" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
44 results on '"Koeppl, Heinz"'

Search Results

1. Multi-magnification Networks for Deformable Image Registration on Histopathology Images

2. Multi-StyleGAN: Towards Image-Based Simulation of Time-Lapse Live-Cell Microscopy

5. Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models

6. Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks

8. Cooperative Assembly Systems

9. Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs

10. A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte Carlo

11. Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN)

12. Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking

13. Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface

14. Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data

15. Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF- Signaling

16. KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models

17. TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation Tests

18. Abduction Based Drug Target Discovery Using Boolean Control Network

19. Automated Property Synthesis of ODEs Based Bio-pathways Models

20. Explaining Response to Drugs Using Pathway Logic

21. Detecting Attractors in Biological Models with Uncertain Parameters

22. Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes

23. Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties

24. Graph Representations of Monotonic Boolean Model Pools

25. Quantitative Regular Expressions for Arrhythmia Detection Algorithms

26. Bio-Curation for Cellular Signalling: The KAMI Project

27. A Stochastic Model for the Formation of Spatial Methylation Patterns

28. Temporal Reprogramming of Boolean Networks

Catalog

Books, media, physical & digital resources