Results 291 to 300 of about 9,622,877 (367)
Axiomatic Semantics of Data-Parallel Languages; Automatization of Programs Verification
V. Mounier, Gil Utard
openalex +1 more source
Hybrid modelling using simulation and machine learning in healthcare.
Ahmadi A, Fakhimi M, Magnusson C.
europepmc +1 more source
Semantic agent programming language : use and formalization
Michael Cochez
openalex +1 more source

