Results 161 to 170 of about 45,230 (224)

A model for correlation-based choreographic programming. [PDF]

open access: yesPeerJ Comput Sci
Giallorenzo S, Montesi F, Gabbrielli M.
europepmc   +1 more source

Patient-level simulation models in cancer care: a systematic review. [PDF]

open access: yesFront Public Health
Busschaert SL   +3 more
europepmc   +1 more source

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

open access: yesForm Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

Reachability analysis of FMI models using data-driven dynamic sensitivity. [PDF]

open access: yesSimulation
Bogomolov S   +5 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy