Results 51 to 60 of about 3,818 (217)
, 1999 We show that Constraint Logic Programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation of concurrent systems into CLP programs, (2) a method for verifying safety and liveness properties on the CLP programs ...
DELZANNO, GIORGIO, PODELSKI A.
openaire +5 more sources
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Model Checking CSL for Markov Population Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinite-state continuous-time Markov chain.
David Spieler +2 more
doaj +1 more source
Data in Brief, 2018 This data article describes how the Dig It Check It (DICI) model operates. The purpose of the DICI model is to assess the effectiveness of a specified subsurface sampling program in the detection of archaeological sites (Way and Tabrett, in press) [1].
Amy Mosig Way, Amy Tabrett
openaire +3 more sources
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Hardware Model Checking Algorithms and Techniques
AlgorithmsDigital systems are nowadays ubiquitous and often comprise an extremely high level of complexity. Guaranteeing the correct behavior of such systems has become an ever more pressing need for manufacturers.
Gianpiero Cabodi +3 more
doaj +1 more source
Learning Markov Decision Processes for Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao +5 more
doaj +1 more source
FEBS Letters, EarlyView.The process of internalization of the Shiga toxin A subunit via formation of a complex with the Shiga toxin B subunit, which specifically binds to the Gb3 receptor. The peptide is designed to act as a carrier of drugs into cancer cells. Here, we explored the potential of peptides derived from the catalytic A subunit of Shiga toxin (STxA) to be drug ...
Giulia Opassi +6 more
wiley +1 more source
Teaching Model Checking to Undergraduates
Studia Universitatis Babes-Bolyai: Series Informatica, 2010 The way program verification is taught in our faculty is firstly described. One of the verification methods is model checking, shortly presented to the students in one lecture. One laboratory project consists in using the SPIN tool.
Andreea Vescan, Militon Frentiu
doaj
Translophagy—A potential link between autophagy impairment and translational errors
FEBS Letters, EarlyView.Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk +11 more
wiley +1 more source