Results 111 to 120 of about 6,312 (121)

Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models. [PDF]

Sci Rep
Rehman A, Akhtar N, Alhazmi OH.
europepmc   +1 more source

Predictive immunoinformatics reveal promising safety and anti-onchocerciasis protective immune response profiles to vaccine candidates (Ov-RAL-2 and Ov-103) in anticipation of phase I clinical trials. [PDF]

PLoS One
Nebangwa DN, Shey RA, Shadrack DM, Shintouo CM, Yaah NE, Yengo BN, Efeti MT, Gwei KY, Fomekong DBA, Nchanji GT, Lemoge AA, Ntie-Kang F, Ghogomu SM.   +12 more
europepmc   +1 more source

Thalamocortical functional connectivity and rapid antidepressant and antisuicidal effects of low-dose ketamine infusion among patients with treatment-resistant depression. [PDF]

Mol Psychiatry
Tu PC, Chang WC, Su TP, Lin WC, Li CT, Bai YM, Tsai SJ, Chen MH.   +7 more
europepmc   +1 more source

A CRISPR/Cas9-based enhancement of high-throughput single-cell transcriptomics. [PDF]

Nat Commun
Pandey AC, Bezney J, DeAscanis D, Kirsch EB, Ahmed F, Crinklaw A, Choudhary KS, Mandala T, Deason J, Hamidi JS, Siddique A, Ranganathan S, Brown K, Armstrong J, Head S, Ordoukhanian P, Steinmetz LM, Topol EJ.   +17 more
europepmc   +1 more source

Enhancing in vivo cell and tissue targeting by modulation of polymer nanoparticles and macrophage decoys. [PDF]

Nat Commun
Piotrowski-Daspit AS, Bracaglia LG, Eaton DA, Richfield O, Binns TC, Albert C, Gould J, Mortlock RD, Egan ME, Pober JS, Saltzman WM.   +10 more
europepmc   +1 more source

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

, 2022
Miroslav Chodil, Antonı́n Kučera, Jan Křetínský   +2 more
openalex   +2 more sources

Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples

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 and Validity Problems for Probabilistic CTL

Antonı́n Kučera
openalex   +2 more sources