Results 111 to 120 of about 21,783,491 (356)
Model-checking processes with data
Science of Computer Programming, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Groote, J.F., Willemse, T.A.C.
openaire +5 more sources
Card games are effective tools to enhance foundation year health and safety inductions
FEBS Open Bio, EarlyView.A series of three card games was developed to actively deliver health and safety education to foundation year students. Most students reported positive responses regarding their enjoyment (89.9 %) and learning (74.7 %) from all games evaluated. Data revealed significant improvements in health and safety knowledge (P < 0.0001).
Rumana Rafiq +4 more
wiley +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Model-checking concurrent systems with unbounded integer variables [PDF]
, 1999 Tevfik Bultan, R. Gerber, William Pugh
openalex +1 more source
FEBS Open Bio, EarlyView.Comparative analysis of chloroplast genomes from 14 genera of Thymelaeaceae revealed variation in gene content, ranging from 128 to 142 genes, primarily influenced by IR expansion/contraction events and pseudogenization of ndhF, ndhI, and ndhG. Two large inversions were detected within the large single‐copy region, including a synapomorphic inversion ...
Abdullah +8 more
wiley +1 more source
Model Checking with Right Censored Data Using Relative Belief Ratio. [PDF]
Entropy (Basel), 2022 Al-Labadi L, Alzaatreh A, Asuncion M.
europepmc +1 more source
Compositional verification by model checking for counter-examples [PDF]
, 1996 Tevfik Bultan +2 more
openalex +1 more source
The rs10191329 Risk Allele Is Associated With Pronounced Retinal Layer Atrophy in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To investigate whether the rs10191329 risk allele in the DYSF–ZNF638 locus, which is implicated in central nervous system resilience rather than immune‐mediated pathology, is associated with retinal layer thinning, a biomarker of neuroaxonal damage in relapsing multiple sclerosis (RMS). Methods From a prospective observational study,
Gabriel Bsteh +22 more
wiley +1 more source
NL/sub q/ theory: checking and imposing stability of recurrent neural networks for nonlinear modeling [PDF]
, 1997 Johan A. K. Suykens +2 more
openalex +1 more source