Results 71 to 80 of about 707,165 (261)

Machine stability and dosimetry for ultra‐high dose rate FLASH radiotherapy human clinical protocol

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Background The FLASH effect, induced by ultra‐high dose rate (UHDR) irradiations, offers the potential to spare normal tissue while effectively treating tumors. It is important to achieve precise and accurate dose delivery and to establish reliable detector systems, particularly for clinical trials needed to help the clinical transfer of FLASH‐
Patrik Gonçalves Jorge, Reiner Geyer, Rémy Kinj, Luis Schiappacasse, Wendy Jeanneret‐Sozzi, Jean Bourhis, Fernanda Herrera, François Bochud, Claude Bailat, Raphaël Moeckli   +9 more
wiley   +1 more source

A note on first-order spectra with binary relations [PDF]

Logical Methods in Computer Science, 2018
The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables.
Eryk Kopczynski, Tony Tan
doaj   +1 more source

Quick appraisal of "Sistema de suministro desde el embalse del Cenajo a la Mancomunidad de Canales del Taibilla" [PDF]

, 2013
The project under assessment concerns the construction of an aqueduct in order to divert water from Tajo-Segura Channel onto the Cenajo reservoir and to the water purification plants of Sierra de la Espada and of Campotéjar.
COWI, Directorate-General for Regional and Urban Policy (European Commission)   +1 more
core  

Management and Outcomes in Confirmed or Suspected Acute Symptomatic Seizure: Role of Structured Outpatient Care

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Post‐discharge management and outcomes of acute symptomatic seizures (ASyS) remain underexplored. We analyzed post‐discharge ASM management and outcomes in ASyS patients undergoing continuous EEG (cEEG), including the role of outpatient care through a post‐acute symptomatic seizure (PASS) clinic. Methods We performed a single‐center,
Vineet Punia, MarieElena Byrnes, Nicolas R. Thompson, Neishay Ayub, Clio Rubinos, Sahar Zafar, Adithya Sivaraju, Zhong Ying, Jessica R. Fesler, Stephen Hantus, Post‐Acute Symptomatic Seizure Investigation and Outcomes Network (PASSION) investigators   +10 more
wiley   +1 more source

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness [PDF]

Logical Methods in Computer Science, 2007
We consider Dense-Timed Petri Nets (TPN), an extension of Petri nets in which each token is equipped with a real-valued clock and where the semantics is lazy (i.e., enabled transitions need not fire; time can pass and disable transitions).
Parosh Abdulla, Pritha Mahata, Richard Mayr   +2 more
doaj   +1 more source

Axiomatic differential geometry I-1 - towards model cathegories of differential geometry [PDF]

, 2012
In this paper we give an axiomatization of di erential geometry comparable to model categories for homotopy theory.
Nishimura, Hirokazu
core   +1 more source

Clinical Trial Readiness in Limb Girdle Muscular Dystrophy R1 (LGMDR1): A GRASP Consortium Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Identifying functional measures that are both valid and reliable in the limb girdle muscular dystrophy (LGMD) population is critical for quantifying the level of functional impairment related to disease progression in order to establish clinical trial readiness in the context of anticipated therapeutic trials.
Stephanie M. Hunn, Lindsay N. Alfano, Aileen Jones, Amanda Butler, Linda P. Lowes, Megan A. Iammarino, Natalie F. Reash, Lindsay Pietruszewski, Sandhya Sasidharan, Melissa Currence, Jeffrey M. Statland, Talia Strahler, Robert Will, Matthew Wicklund, Stacy Dixon, Renee Augsburger, Tahseen Mozaffar, Katie M. Laubscher, Shelley R. H. Mockler, Katherine D. Mathews, Nikia Stinson, Doris G. Leung, Molly M. Stark, Rebecca A. Horton, Peter B. Kang, Meredith K. James, Amanda Clause, Conrad C. Weihl, Nicholas E. Johnson, GRASP‐LGMD Consortium   +29 more
wiley   +1 more source

Models of Type Theory Based on Moore Paths [PDF]

Logical Methods in Computer Science, 2019
This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path.
Ian Orton, Andrew M. Pitts
doaj   +1 more source

Energetic costs, precision, and efficiency of a biological motor in cargo transport

, 2018
Molecular motors play pivotal roles in organizing the interior of cells. A motor efficient in cargo transport would move along cytoskeletal filaments with a high speed and a minimal error in transport distance (or time) while consuming a minimal amount ...
Hwang, Wonseok, Hyeon, Changbong
core   +1 more source

Threshold Values of Sleep Spindles Features in Healthy Adults Using Scalp‐EEG and Associations With Sleep Parameters

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Sleep spindles are an electrophysiological fingerprint of the sleeping human brain. They can be described in terms of duration, frequency, amplitude, and density, and vary widely according to age and sex. Spindles play a role in sleep and wake functions and are altered in several neurological and psychiatric disorders.
Julien Coelho, Heloïse Degros, Jean‐Arthur Micoulaud‐Franchi, Patricia Sagaspe, Emmanuel d'Incau, Paul Galvez, Christian Berthomier, Pierre Philip, Jacques Taillard   +8 more
wiley   +1 more source