Results 151 to 160 of about 12,748 (219)

Possible Hyperworlds: representing Kripke models in RDF [PDF]

open access: green
Christopher Leturc   +2 more
openalex  

Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures [PDF]

open access: green
Nikola Beneš   +4 more
openalex   +1 more source

Ascending Aortic Dimensions and Body Size: Allometric Scaling, Normative Values, and Prognostic Performance. [PDF]

open access: yesJACC Cardiovasc Imaging
Tavolinejad H   +13 more
europepmc   +1 more source

Automated characterization of abdominal MRI exams using deep learning. [PDF]

open access: yesSci Rep
Kim J   +9 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy