Results 21 to 30 of about 836,741 (199)

Local Termination: theory and practice [PDF]

open access: yesLogical Methods in Computer Science, 2010
The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years.
Joerg Endrullis   +2 more
doaj   +1 more source

Transforming Outermost into Context-Sensitive Rewriting [PDF]

open access: yesLogical Methods in Computer Science, 2010
We define two transformations from term rewriting systems (TRSs) to context-sensitive TRSs in such a way that termination of the target system implies outermost termination of the original system.
Joerg Endrullis, Dimitri Hendriks
doaj   +1 more source

Well-definedness of Streams by Transformation and Termination [PDF]

open access: yesLogical Methods in Computer Science, 2010
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream specification to a term rewriting system (TRS) in such a way that termination ...
Hans H Zantema
doaj   +1 more source

28-nm FD-SOI CMOS RF Figures of Merit Down to 4.2 K

open access: yesIEEE Journal of the Electron Devices Society, 2020
This work presents a detailed RF characterization of 28-nm FD-SOI nMOSFETs at cryogenic temperatures down to 4.2 K. Two main RF Figures of Merit (FoMs), i.e., current-gain cutoff frequency (ft) and maximum oscillation frequency (fmax), as well as ...
Lucas Nyssens   +6 more
doaj   +1 more source

Unveiling hidden energy poverty using the energy equity gap

open access: yesNature Communications, 2022
In the summer, low-income households in the Arizona, US wait 4 - 7 °F (2.6–4.2 °C) longer than high-income households to turn on their AC units to save money on energy bills. This energy limiting behavior indicates a hidden form of energy poverty.
Shuchen Cong   +3 more
doaj   +1 more source

Study of the e+e − → π + π − ω process at center-of-mass energies between 4.0 and 4.6 GeV

open access: yesJournal of High Energy Physics, 2023
Using 15.6 fb −1 of e + e − collision data collected at twenty-four center-of-mass energies from 4.0 to 4.6 GeV with the BESIII detector, the helicity amplitudes of the process e + e − → π + π − ω are analyzed for the first time.
The BESIII collaboration   +577 more
doaj   +1 more source

Femoroacetabular translation in female athletes and dancers assessed by dynamic hip ultrasonography

open access: yesBMJ Open Sport & Exercise Medicine, 2021
Objective To compare femoroacetabular (FA) translation between dancers and athletes with hip pain and between dancers with and without hip pain.Methods In this cross-sectional study, 171 female athletes and dancers with hip pain underwent dynamic hip ...
Dai Sugimoto   +7 more
doaj   +1 more source

Training on Sand or Parquet: Impact of Pre-Season Training on Jumping, Sprinting, and Change of Direction Performance in Professional Basketball Players

open access: yesApplied Sciences, 2023
This study examined the effects of combined change of direction (CoD) and plyometric training on sand in basketball players’ jump, sprint, and CoD performances.
Jo-Lâm Vuong   +6 more
doaj   +1 more source

Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease

open access: yesAnnals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham   +7 more
wiley   +1 more source

Intermittent F-actin Perturbations by Magnetic Fields Inhibit Breast Cancer Metastasis

open access: yesResearch, 2023
F-actin (filamentous actin) has been shown to be sensitive to mechanical stimuli and play critical roles in cell attachment, migration, and cancer metastasis, but there are very limited ways to perturb F-actin dynamics with low cell toxicity.
Xinmiao Ji   +11 more
doaj   +1 more source

Home - About - Disclaimer - Privacy