Results 111 to 118 of about 6,408 (118)
Mapping current research on biomarkers associated with the diagnosis of pedophilia: a scoping review. [PDF]
Front PsychiatryKaranikola M, El Riz AT, Chatzittofis A.
europepmc +1 more source
Alternative therapeutic approaches for combating multi-drug-resistant bacteria: Reverse vaccinology against Enterobacter cloacae. [PDF]
J Genet Eng BiotechnolSoares GG +9 more
europepmc +1 more source
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
, 2022 Miroslav Chodil +2 more
openalex +2 more sources
International Journal of Software Engineering and Knowledge Engineering, 2022 In this study, an inconsistency-tolerant hierarchical probabilistic computation tree logic (IHpCTL) is developed to establish a new extended model-checking paradigm referred to as IHpCTL model checking, which is intended to verify randomized, open, large, and complex concurrent systems.
Norihiro Kamide
openalex +2 more sources
The Satisfiability Problem for Probabilistic CTL [PDF]
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008 We study the satisfiability problem for qualitative PCTL (probabilistic computation tree logic), which is obtained from "ordinary" CTL by replacing the EX, AX, EU, and AU operators with their qualitative counterparts X > 0, X = 1, U > 0, and U = 1, respectively.
Tomǎš Brázdil +3 more
openalex +3 more sources
The Satisfiability and Validity Problems for Probabilistic CTL
Antonı́n Kučera
openalex +2 more sources