Results 281 to 290 of about 100,374 (308)

On knowing a gene: A distributional hypothesis of gene function. [PDF]

Cell Syst
Kwon JJ, Pan J, Gonzalez G, Hahn WC, Zitnik M.   +4 more
europepmc   +1 more source

Standards in sync: five principles to achieve semantic interoperability for TRUE research for healthcare. [PDF]

Front Digit Health
Facile R, Chronaki C, van Reusel P, Kush R.   +3 more
europepmc   +1 more source

Visual Modeling Languages in Patient Pathways: Scoping Review.

Interact J Med Res
Bogale B, Vesinurm M, Lillrank P, Celius EG, Halvorsrud R.   +4 more
europepmc   +1 more source

Bioanalytical Quality Assurance: a Tesla with a trafficator? [PDF]

Bioanalysis
Jones AB.
europepmc   +1 more source

Extracting Pulmonary Embolism Diagnoses From Radiology Impressions Using GPT-4o: Large Language Model Evaluation Study.

JMIR Med Inform
Mahyoub M, Dougherty K, Shukla A.
europepmc   +1 more source

Enhancing Doctor-Patient Shared Decision-Making: Design of a Novel Collaborative Decision Description Language.

J Med Internet Res
Guo X, Xiao L, Liu X, Chen J, Tong Z, Liu Z.   +5 more
europepmc   +1 more source

Interoperability Framework of the European Health Data Space for the Secondary Use of Data: Interactive European Interoperability Framework-Based Standards Compliance Toolkit for AI-Driven Projects.

J Med Internet Res
Hussein R, Gyrard A, Abedian S, Gribbon P, Martínez SA.   +4 more
europepmc   +1 more source

Core operational semantics of Proto [PDF]

Proceedings of the 2011 ACM Symposium on Applied Computing, 2011
The Proto spatial computing language [6] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is becoming a challenge to its coherence across different platforms and distributions.
VIROLI, MIRKO, J. Beal, CASADEI, MATTEO
openaire   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

An Operational Semantics for S-Net

2010
We present the formal operational semantics of S-NET, a coordination language and component technology based on stream processing. S-NET turns conventional (sequential) functions/procedures into asynchronous components interacting with each other through a streaming network; it defines network topologies inductively by a small combinator language that ...
Penczek, F., Grelck, C., Scholz, S.-B.
openaire   +4 more sources

An operational semantics for ZCCS

Proceedings First IEEE International Conference on Formal Engineering Methods, 2002
G. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is augmented with a rich data language. The data language can be used to describe sets, tuples and sequences etc. constructed from integer, Boolean and string constants. Z is a widely used formal specification language in which sets,
W.J. Stoddart, Andy Galloway
openaire   +2 more sources