Results 291 to 300 of about 9,622,877 (367)

Axiomatic Semantics of Data-Parallel Languages; Automatization of Programs Verification

, 1993
V. Mounier, Gil Utard
openalex   +1 more source

Realizability for programming languages.

, 2010
Christophe Raffalli
openalex   +1 more source

An Intelligent Trial Eligibility Screening Tool Using Natural Language Processing With a Block-Based Visual Programming Interface: Development and Usability Study.

JMIR Med Inform
Hu YH, Cheng YY, Lan CC, Su YH, Sung SF.
europepmc   +1 more source

Hybrid modelling using simulation and machine learning in healthcare.

Comput Oper Res
Ahmadi A, Fakhimi M, Magnusson C.
europepmc   +1 more source

Semantic agent programming language : use and formalization

, 2012
Michael Cochez
openalex   +1 more source