99 results on '"Beccuti M"'
Search Results
2. A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations
3. Stochastic Petri Nets Sensitivity to Token Scheduling Policies
4. Dynamic Simulations of Kidney Exchanges
5. Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
6. Efficient and Settings-Free Calibration of Detailed Kinetic Metabolic Models with Enzyme Isoforms Characterization
7. Lumping partially symmetrical stochastic models
8. Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid
9. P–241 Construction of a Machine Learning algorithm based on early morphokinetics for human blastocyst development prediction: a retrospective analysis of 575 cleavage-stage embryos
10. An entropy heuristic to optimize decision diagrams for index-driven search in biological graph databases
11. Model-Based Evaluation of the Impact of Attacks to the Telecommunication Service of the Electrical Grid
12. Sparsely-Connected Autoencoder (SCA) for single cell RNAseq data mining
13. Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
14. The Drivers Behind Blockchain Adoption: The Rationality of Irrational Choices
15. GPU Powered Parameter Estimation of Large-scale kinetic metabolic model
16. High performance computing for haplotyping: Models and platforms
17. GPU Accelerated Analysis of Treg-Teff Cross Regulation in Relapsing-Remitting Multiple Sclerosis
18. The Drivers Behind Blockchain Adoption: The Rationality of Irrational Choices
19. Decision diagrams for Petri nets: which variable ordering?
20. Minimal residual disease by next-generation sequencing in mantle cell lymphoma: The bioinformatics tool HashClone
21. D8: preliminary modeling framework
22. Extended SWN Solvers in GreatSPN
23. Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis
24. From Symmetric Nets to Differential Equations exploiting Model Symmetries
25. The structure of state-of-art gene fusion-finder algorithms
26. First Passage Time Computation in Tagged GSPNs with Queue Places
27. From partially to fully lumped Markov chains in Stochastic Well Formed Petri Nets
28. A framework to design and solve Markov Decision Well-formed Net models
29. Efficient lumpability check in partially symmetric systems
30. A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks.
31. Probe Automata for Passage Time Specification.
32. Parametric NdRFT for the derivation of optimal repair strategies.
33. Quantification of dependencies in electrical and information infrastructures: The CRUTIAL approach.
34. Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.
35. Efficient lumpability check in partially symmetric systems.
36. New Solvers for Asymmetric Systems in GreatSPN.
37. Extended SWN solvers in GreatSPN.
38. MET Exon 14 Skipping: A Case Study for the Detection of Genetic Variants in Cancer Driver Genes by Deep Learning
39. Efficient and Settings-Free Calibration of Detailed Kinetic Metabolic Models with Enzyme Isoforms Characterization
40. GPU Accelerated Analysis of Treg-Teff Cross Regulation in Relapsing-Remitting Multiple Sclerosis
41. High performance computing for haplotyping: Models and platforms
42. CREDO: a friendly Customizable, REproducible, DOcker file generator for bioinformatics applications.
43. A single cell RNAseq benchmark experiment embedding "controlled" cancer heterogeneity.
44. Tamoxifen Activates Transcription Factor EB and Triggers Protective Autophagy in Breast Cancer Cells by Inducing Lysosomal Calcium Release: A Gateway to the Onset of Endocrine Resistance.
45. A new computational workflow to guide personalized drug therapy.
46. CONNECTOR, fitting and clustering of longitudinal data to reveal a new risk stratification system.
47. Single-Cell RNAseq Clustering.
48. Bringing Cell Subpopulation Discovery on a Cloud-HPC Using rCASC and StreamFlow.
49. Stardust: improving spatial transcriptomics data analysis through space-aware modularity optimization-based clustering.
50. Sparsely Connected Autoencoders: A Multi-Purpose Tool for Single Cell omics Analysis.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.