Results 11 to 20 of about 699,995 (283)
Aggressive Behavior, Volume 49, Issue 1, Page 5-14, January 2023., 2023 Abstract This study uses longitudinal data from the UK Millennium Cohort Study (N = 13,277) to examine the childhood and early adolescence factors that predict weapon involvement in middle adolescence, which in this study is exemplified by having carried or used a weapon.
Aase Villadsen, Emla Fitzsimons
wiley +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
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose To assess whether the joint application of hybrid iterative reconstruction (HIR) and an adaptive filter (AF) could reduce streak artifacts and improve image quality of neck‐and‐shoulder computed tomography (CT). Methods This study included 96 patients with suspicious neck lesions who underwent a routine nonenhanced scan on a 64‐slice ...
Wenfeng Jin +6 more
wiley +1 more source
Algebraic Notions of Termination [PDF]
Logical Methods in Computer Science, 2011 Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation.
Desharnais Jules +2 more
doaj +1 more source
A potential biomarker of cognitive impairment: The olfactory dysfunction and its genes expression
Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 1884-1897, December 2022., 2022 Abstract Objective Accumulation evidence has reported that olfactory impairment may be an essential clinical marker and predictor of mild cognitive impairment or Alzheimer's disease. Method Participants were enrolled in the population‐based, prospective study in Fuxin county, Liaoning province, China between 2019 and 2021.
Jiayi Song +11 more
wiley +1 more source
Knowledge-Based Synthesis of Distributed Systems Using Event Structures [PDF]
Logical Methods in Computer Science, 2011 To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a
Mark Bickford +3 more
doaj +1 more source
The clinical spectrum of SMA‐PME and in vitro normalization of its cellular ceramide profile
Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 1941-1952, December 2022., 2022 Abstract Objective The objectives of this study were to define the clinical and biochemical spectrum of spinal muscular atrophy with progressive myoclonic epilepsy (SMA‐PME) and to determine if aberrant cellular ceramide accumulation could be normalized by enzyme replacement.
Michelle M. Lee +16 more
wiley +1 more source
The complexity of linear-time temporal logic over the class of ordinals [PDF]
Logical Methods in Computer Science, 2010 We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem.
Stephane Demri, Alexander Rabinovich
doaj +1 more source
The anterior nucleus of the thalamus plays a role in the epileptic network
Annals of Clinical and Translational Neurology, Volume 9, Issue 12, Page 2010-2024, December 2022., 2022 Abstract Objectives We investigated both the metabolic differences and interictal/ictal discharges of the anterior nucleus of the thalamus (ANT) in patients with epilepsy to clarify the relationship between the ANT and the epileptic network. Methods Nineteen patients with drug‐resistant epilepsy who underwent stereoelectroencephalography were studied ...
Hao Yan +9 more
wiley +1 more source
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure [PDF]
Logical Methods in Computer Science, 2007 String languages recognizable in (deterministic) log-space are characterized either by two-way (deterministic) multi-head automata, or following Immerman, by first-order logic with (deterministic) transitive closure.
Joost Engelfriet, Hendrik Jan Hoogeboom
doaj +1 more source