Entity usage

Showing below up to 31 results in range #1 to #31.

1. Joint distribution of protein concentration and cell volume coupled by feedback in dilution: Label: en
2. Fridge compiler: optimal circuits from molecular inventories: Label: en
3. 3D hybrid cellular automata for cardiac electrophysiology: a concept study: Label: en
4. Attractor identification in asynchronous Boolean dynamics with network reduction: Label: en
5. Condition for periodic attractor in 4-dimensional repressilators: Label: en
6. SAF: SAT-based attractor finder in asynchronous automata networks: Label: en
7. Tackling universal properties of minimal trap spaces of Boolean networks: Label: en
8. Average sensitivity of nested canalizing multivalued functions: Label: en
9. Core SBML and its formal semantics: Label: en
10. Approximate constrained lumping of polynomial differential equations: Label: en
11. Harissa: stochastic simulation and inference of gene regulatory networks based on transcriptional bursting: Label: en
12. On estimating derivatives of input signals in biochemistry: Label: en
13. Cell-level pathway scoring comparison with a biologically constrained variational autoencoder: Label: en
14. Intuitive modelling and formal analysis of collective behaviour in foraging ants: Label: en
15. Phenotype control of partially specified Boolean networks: Label: en
16. A formal approach for tuning stochastic oscillators: Label: en
17. Brane Calculi: Label: en
18. Automated Property Synthesis of ODEs Based Bio-pathways Models: Label: en
19. Graph Representations of Monotonic Boolean Model Pools: Label: en
20. Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties: Label: en
21. Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes: Label: en
22. Temporal Reprogramming of Boolean Networks: Label: en
23. A Stochastic Model for the Formation of Spatial Methylation Patterns: Label: en
24. A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte Carlo: Label: en
25. Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs: Label: en
26. Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF- $$\beta $$ Signaling: Label: en
27. Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data: Label: en
28. Abduction Based Drug Target Discovery Using Boolean Control Network: Label: en
29. Detecting Attractors in Biological Models with Uncertain Parameters: Label: en
30. Quantitative Regular Expressions for Arrhythmia Detection Algorithms: Label: en
31. Sequential reprogramming of biological network fate: Label: en