Results 31 to 40 of about 1,406,501 (313)
D 3.1 Guidance for scoring levels of risk supplied via hypertext links within each component of the web-based EPPO PRA scheme [PDF]
, 1996 A language for representing timed automata is introduced. Its semantics is defined in terms of timed automata. This language is complete in the sense that any timed automaton can be represented by a term in the language.
Baker, R. +13 more
core +13 more sources
Full abstraction for nominal general references [PDF]
Logical Methods in Computer Science, 2009 Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects.
Nikos Tzevelekos
doaj +1 more source
Coaxioms: flexible coinductive definitions by inference systems [PDF]
Logical Methods in Computer Science, 2020 We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which can only be ...
Francesco Dagnino
doaj +1 more source
Treatment planning with a 2.5 MV photon beam for radiation therapy
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose The shallow depth of maximum dose and higher dose fall‐off gradient of a 2.5 MV beam along the central axis that is available for imaging on linear accelerators is investigated for treatment of shallow tumors and sparing the organs at risk (OARs) beyond it.
Navid Khaledi +5 more
wiley +1 more source
First steps in synthetic guarded domain theory: step-indexing in the topos of trees [PDF]
Logical Methods in Computer Science, 2012 We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms,
Lars Birkedal +3 more
doaj +1 more source
Impact of flexible noise control (FNC) image processing parameters on portable chest radiography
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract There is a lack of understanding in the performance of flexible noise control (FNC) processing, which is used in digital radiography on a scanner vendor and has four parameters each involving multiple options. The aim of this study was to investigate the impact of FNC on portable chest imaging. An anthropomorphic chest phantom was imaged using
Krystal M. Kirby +6 more
wiley +1 more source
Block structure vs scope extrusion: between innocence and omniscience [PDF]
Logical Methods in Computer Science, 2017 We study the semantic meaning of block structure using game semantics. To that end, we introduce the notion of block-innocent strategies and characterise call-by-value computation with block-allocated storage through soundness, finite definability and ...
Andrzej S. Murawski, Nikos Tzevelekos
doaj +1 more source
Differentials and distances in probabilistic coherence spaces [PDF]
Logical Methods in Computer Science, 2022 In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives.
Thomas Ehrhard
doaj +1 more source
Volume staging for arteriovenous malformation SRS treatment using VMAT
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Volume staging involves dividing the target volume into smaller parts and treating each part separately. In this study, the feasibility of volume‐staged stereotactic radiosurgery (VS‐SRS) on a linear accelerator using volumetric modulated arc therapy (VMAT) and a frameless patient positioning system is investigated.
Claudia Mendez, Ermias Gete
wiley +1 more source
D 3.1 - Data Management Plan I
, 2021 The Data Management Plan (DMP) outlines the ways in which data is collected, generated and processed throughout the lifespan of the project. This first version, created six months into the project, intended to provide a data summary and guidelines towards the FAIR management of data.
Simoes, Joana, Cerciello, Antonio
openaire +2 more sources