Results 21 to 30 of about 1,406,501 (313)
Extending the theory of Owicki and Gries with a logic of progress [PDF]
Logical Methods in Computer Science, 2006 This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates ...
Brijesh Dongol, Doug Goldson
doaj +1 more source
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers [PDF]
Logical Methods in Computer Science, 2021 Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of Things (IoT), and edge computing, call for coordination approaches addressing openness, self-adaptation, heterogeneity, and deployment agnosticism.
Danilo Pianini +4 more
doaj +1 more source
Constraint solving in non-permutative nominal abstract syntax [PDF]
Logical Methods in Computer Science, 2011 Nominal abstract syntax is a popular first-order technique for encoding, and reasoning about, abstract syntax involving binders. Many of its applications involve constraint solving.
Matthew R. Lakin
doaj +1 more source
A Rewriting View of Simple Typing [PDF]
Logical Methods in Computer Science, 2013 This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective.
Aaron Stump +3 more
doaj +1 more source
Lazy Evaluation and Delimited Control [PDF]
Logical Methods in Computer Science, 2010 The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics.
Ronald Garcia +2 more
doaj +1 more source
Factors modulating 99mTc‐MAA planar lung dosimetry for 90Y radioembolization
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose To investigate the accuracy and biases of predicted lung shunt fraction (LSF) and lung dose (LD) calculations via 99mTc‐macro‐aggregated albumin (99mTc‐MAA) planar imaging for treatment planning of 90Y‐microsphere radioembolization.
Benjamin P. Lopez +4 more
wiley +1 more source
Call-by-value Termination in the Untyped lambda-calculus [PDF]
Logical Methods in Computer Science, 2008 A fully-automated algorithm is developed able to show that evaluation of a given untyped lambda-expression will terminate under CBV (call-by-value).
Neil D. Jones, Nina Bohr
doaj +1 more source
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose A set of treatment planning strategies were designed and retrospectively implemented for locally advanced, non‐small cell lung cancer (NSCLC) patients in order to minimize cardiac dose without compromising target coverage goals. Methods Retrospective analysis was performed for 20 NSCLC patients prescribed to 60–66 Gy that received a ...
Joshua P. Kim +5 more
wiley +1 more source
Explicit fairness in testing semantics [PDF]
Logical Methods in Computer Science, 2009 In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations.
D. Cacciagrano +2 more
doaj +1 more source
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose MRI is increasingly used for brain and head and neck radiotherapy treatment planning due to its superior soft tissue contrast. Flexible array coils can be arranged to encompass treatment immobilization devices, which do not fit in diagnostic head/neck coils. Selecting a flexible coil arrangement to replace a diagnostic coil should rely
Evangelia Kaza +6 more
wiley +1 more source