Results 211 to 220 of about 18,923 (241)

Robots, ledgers, and RevPAR: a blockchain-enabled AI-robotics conceptual model for sustainable hotel revenue and asset management. [PDF]

Front Robot AI
Jackson LA.
europepmc   +1 more source

A framework for defining diagnostically challenging conditions identifiable through electronic algorithms. [PDF]

Diagnosis (Berl)
Olson APJ, Sloane J, Zimolzak A, Kaul B, Vaghani V, Matin R, Cholankeril RT, Singh H.   +7 more
europepmc   +1 more source

Beyond the equation: transparency and verification in pharmacokinetic-pharmacodynamic model implementation for target-controlled infusion. [PDF]

J Clin Monit Comput
Introna M.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Verifiability and strong verifiability

Journal of Mathematical Sciences, 1994
See the review in Zbl 0742.62022.
openaire   +2 more sources

Verified Bytecode Subroutines

Journal of Automated Reasoning, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Klein, G., Wildmoser, M.
openaire   +2 more sources

Totally verified systems:
linking verified software to verified hardware

1989
We describe exploratory efforts to design and verify a compiler for a formally verified microprocessor as one aspect of the eventual goal of building totally verified systems. Together with a formal proof of correctness for the microprocessor this yields a precise and rigorously established link between the semantics of the source language and the ...
openaire   +1 more source

Designated Verifier Proofs

2011
-
openaire   +2 more sources