33 results on '"Demko, Martin"'
Search Results
2. Transcriptome analysis of thermomorphogenesis in ovules and during early seed development in Brassica napus
3. Trematode Diplostomum pseudospathaceum inducing differential immune gene expression in sexual and gynogenetic gibel carp (Carassius gibelio): parasites facilitating the coexistence of two reproductive forms of the invasive species.
4. Barbaric Robustness Monitoring Revisited for STL* in Parasim
5. WALTER: an easy way to online evaluate telomere lengths from terminal restriction fragment analysis
6. TeloBase: a community-curated database of telomere sequences across the tree of life.
7. Hormone-regulated expansins: Expression, localization, and cell wall biomechanics in Arabidopsis root growth.
8. Transcriptome Profile Analyses of Head Kidney in Roach (Rutilus rutilus), Common Bream (Abramis brama) and Their Hybrids: Does Infection by Monogenean Parasites in Freshwater Fish Reveal Differences in Fish Vigour among Parental Species and Their Hybrids?
9. TeloBase: a community-curated database of telomere sequences across the tree of life
10. Detecting Attractors in Biological Models with Uncertain Parameters
11. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
12. Hormone-regulated expansins: expression, localization, and cell wall biomechanics in Arabidopsis root growth
13. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
14. A Model Checking Approach to Discrete Bifurcation Analysis
15. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
16. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems
17. Barbaric Robustness Monitoring Revisited for STL* in Parasim
18. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
19. Parameter Synthesis by Parallel Coloured CTL Model Checking
20. HITS-CLIP analysis of human ALKBH8 reveals interactions with fully processed substrate tRNAs and with specific noncoding RNAs
21. Detecting Attractors in Biological Models with Uncertain Parameters
22. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
23. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
24. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
25. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems
26. A Model Checking Approach to Discrete Bifurcation Analysis
27. Parameter Synthesis by Parallel Coloured CTL Model Checking
28. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
29. Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway
30. GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data.
31. ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data.
32. GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data
33. Trematode Diplostomum pseudospathaceum inducing differential immune gene expression in sexual and gynogenetic gibel carp ( Carassius gibelio) : parasites facilitating the coexistence of two reproductive forms of the invasive species.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.