Results 141 to 150 of about 25,570,341 (217)

Model checking optimal finite-horizon control for probabilistic gene regulatory networks. [PDF]

BMC Syst Biol, 2017
Wei O, Guo Z, Niu Y, Liao W.
europepmc   +1 more source

Model checking to assess T-helper cell plasticity. [PDF]

Front Bioeng Biotechnol, 2014
Abou-Jaoudé W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D.   +6 more
europepmc   +1 more source

Approximating Attractors of Boolean Networks by Iterative CTL Model Checking. [PDF]

Front Bioeng Biotechnol, 2015
Klarner H, Siebert H.
europepmc   +1 more source

Automated parameter estimation for biological models using Bayesian statistical model checking. [PDF]

BMC Bioinformatics, 2015
Hussain F, Langmead CJ, Mi Q, Dutta-Moscato J, Vodovotz Y, Jha SK.   +5 more
europepmc   +1 more source

Large language models show Dunning-Kruger-like effects in multilingual fact-checking. [PDF]

Sci Rep
Qazi IA, Khan Z, Ghani A, Raza AA, Qazi ZA, Sajjad W, Ali A, Javaid A, Sohail MA, Azeemi AH.   +9 more
europepmc   +1 more source

Development and validation of a fentanyl quantification model for drug checking services. [PDF]

Drug Alcohol Depend Rep
Tobias S, Guzman SM, Hein JE, Ti L.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Model Checking

Handbook of Finite State Based Models and Applications, 2018
ion ● Approximation ○ M’ approximates M ○ Use M’ to deduce properties of ...
D. Peled, Patrizio Pelliccione, Paola Spoletini   +2 more
openaire   +2 more sources

Model Checking

Undergraduate Topics in Computer Science, 2017
Calin Belta, Boyan Yordanov, Ebru Aydin Gol   +2 more
semanticscholar   +3 more sources