Results 241 to 250 of about 1,037,765 (269)

Feelings of Patients Admitted to the Emergency Department. [PDF]

Healthcare (Basel)
Pilet C, Tandzi-Tonleu F, Lagarde E, Gil-Jardiné C, Galinski M, Lafont S.   +5 more
europepmc   +1 more source

F.3.1 Institutionen der sozialwissenschaftlichen Stadtforschung, Stadtplanung und ArchitekturWendelin Strubelt

, 2020
Wendelin Strubelt
semanticscholar   +3 more sources

Near-diffraction-limited F-3.1 apochromat singlet lens design enabled by spherical gradient index

Classical Optics 2014, 2014
A refractive singlet lens design that is near-diffraction-limited across the F, d, C wavelengths, hence across most of the visible spectrum, is presented. The lens is a reasonably fast F/3.1. An offset spherical gradient index (GRIN) and careful choice of GRIN materials enables this performance.
Richard A. Flynn, Guy Beadie
openaire   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Consistently-Detecting Monitors

International Conference on Concurrency Theory, 2017
We study a contextual definition for deterministic monitoring based on consistent detections. It is defined in terms of the observed behaviour of the monitor when instrumented over arbitrary systems.
Adrian Francalanza
semanticscholar   +1 more source

Evaluation and development of a new diagnostic tool for early and reliable diagnostic of prosthetic joint infection

, 2020
ENGLISH) ..................................................................................................................................................
K. Yermak
semanticscholar   +1 more source

Refinement for Signal Flow Graphs

International Conference on Concurrency Theory, 2017
The symmetric monoidal theory of Interacting Hopf Algebras provides a sound and complete axiomatisation for linear relations over a given field. As is the case for ordinary relations, linear relations have a natural order that coincides with inclusion ...
F. Bonchi, Joshua Holland, Dusko Pavlovic, P. Sobocinski   +3 more
semanticscholar   +1 more source

A Type Theory for Probabilistic and Bayesian Reasoning

Types for Proofs and Programs, 2015
This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of states.
Robin Adams, B. Jacobs
semanticscholar   +1 more source

Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures

Foundations of Software Technology and Theoretical Computer Science, 2012
We consider the problem of automatically verifying programs that manipulate a dynamic heap, maintaining complex and multiple data-structures, given modular pre-post conditions and loop invariants.
P. Madhusudan
semanticscholar   +1 more source

Synthesis of Logic Programs from Object-Oriented Formal Specifications

International Conference on Logic Programming, 2011
Early validation of requirements is crucial for the rigorous development of software. Without it, even the most formal of the methodologies will produce the wrong outcome.
Ángel Herranz-Nieva, Julio Mariño-Carballo   +1 more
semanticscholar   +1 more source