421 results on '"Milazzo, Paolo"'
Search Results
2. Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics
3. Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies
4. Farming and Automation. How Professional Visions Change with the Introduction of ICT in Greenhouse Cultivation
5. Drug Mechanism: A bioinformatic update
6. Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity
7. Formal characterization and efficient verification of a biological robustness property
8. Quantitative extensions of reaction systems based on SOS semantics
9. IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations
10. Analysis and Verification of Robustness Properties in Becker-Döring Model
11. Experimental setup of the 239Pu neutron capture and fission cross-section measurements at n_TOF, CERN
12. Subnetwork inclusion and switching of multilevel Boolean networks preserve parameter graph structure and dynamics.
13. Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
14. Classification of Biochemical Pathway Robustness with Neural Networks for Graphs
15. Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling
16. Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
17. Analysis and Verification of Robustness Properties in Becker-Döring Model
18. Characterization and computation of ancestors in reaction systems
19. n_TOF at CERN: Status and Perspectives.
20. Antibody design using deep learning: from sequence and structure design to affinity maturation.
21. A Free Interactive Digital Tool to Introduce Particle Model of Matter and Thermal Particle Motion at Middle School Level
22. Exploiting the structure of biochemical pathways to investigate dynamical properties with neural networks for graphs
23. The impact of updated Zr neutron-capture cross sections and new asymptotic giant branch models on our understanding of the s process and the origin of stardust
24. Measurement of the 235U(n,f) cross section relative to the 10B(n,α) reaction with Micromegas detectors at the CERN n_TOF facility: First results
25. A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
26. Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models
27. An Executable Formal Framework for Safety-Critical Human Multitasking
28. A Computational Model of Internet Addiction Phenomena in Social Networks
29. An Algorithm for Simulating Human Selective Attention
30. Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
31. Formalizing a Notion of Concentration Robustness for Biochemical Networks
32. Computing Preimages and Ancestors in Reaction Systems
33. Towards modular verification of pathways: fairness and assumptions
34. Classification of Biochemical Pathway Robustness with Neural Networks for Graphs
35. Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling
36. Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
37. A Testing Framework for P Systems
38. A Model for Configuration Management of Open Software Systems
39. Aspects of multiscale modelling in a process algebra for biological systems
40. Modelling the Dynamics of an Aedes albopictus Population
41. Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology
42. A Process Calculus for Molecular Interaction Maps
43. On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems
44. A High-Level Model Checking Language with Compile-Time Pruning of Local Variables
45. Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems
46. Formal modeling and analysis of safety-critical human multitasking
47. A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems
48. Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates
49. A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer
50. Generalized contexts for reaction systems: definition and study of dynamic causalities
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.