Results 101 to 110 of about 699,995 (283)

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

Lindstrom theorems for fragments of first-order logic [PDF]

Logical Methods in Computer Science, 2009
Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem, Balder ten Cate, Jouko Vaananen   +2 more
doaj   +1 more source

Action Logic is Undecidable [PDF]

arXiv, 2019
Action logic is the algebraic logic (inequational theory) of residuated Kleene lattices. This logic involves Kleene star, axiomatized by an induction scheme. For a stronger system which uses an $\omega$-rule instead (infinitary action logic) Buszkowski and Palka (2007) have proved $\Pi_1^0$-completeness (thus, undecidability).
arxiv  

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

Nanomechanical resonators operating as charge detectors in the nonlinear regime

, 1999
We present measurements on nanomechanical resonators machined from Silicon-on-Insulator substrates. The resonators are designed as freely suspended Au/Si beams of lengths on the order of 1 - 4 um and a thickness of 200 nm.
A Erbe, A Tilke, H Krömmer, Pescini L., R. H Blick, S Manus, Weiss Ch.   +6 more
core   +1 more source

Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version) [PDF]

Logical Methods in Computer Science, 2017
We show that a version of Martin-L\"of type theory with an extensional identity type former I, a unit type N1 , Sigma-types, Pi-types, and a base type is a free category with families (supporting these type formers) both in a 1- and a 2-categorical sense.
Simon Castellan, Pierre Clairambault, Peter Dybjer   +2 more
doaj   +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

Tissue-specific alternative splicing of protein 4.1 inserts an exon necessary for formation of the ternary complex with erythrocyte spectrin and F-actin [PDF]

, 1993
WC Horne, SC Huang, PS Becker, Tang K. Tang, EJ Jr Benz   +4 more
openalex   +3 more sources

Validity and Reliability of Clinical and Patient‐Reported Outcomes in Multisystem Proteinopathy 1

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Valosin‐containing protein (VCP)‐associated multisystem proteinopathy 1 (MSP1) is caused by variants in the VCP gene. MSP1 results in various phenotypes including progressive myopathy, Paget's disease of bone, frontotemporal dementia, amyotrophic lateral sclerosis, and parkinsonism, among others.
Lindsay N. Alfano, Megan A. Iammarino, Natalie F. Reash, Linda P. Lowes, Lindsay Pietruszewski, Kathleen Adderley, Lauren Humphrey, Audrey B. Knight, Christopher L. Steiner, Melissa A. Smith, Zarife Sahenk, Anne M. Connolly, Momen Almomen, Eleonora S. D'Ambrosio, Nathan Peck, Allison Peck   +15 more
wiley   +1 more source

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time [PDF]

8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2. IFAAMAS 2009, ISBN 978-0-9817381-7-8, 2009
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common and distributed knowledge for all coalitions of agents. The tableau procedure runs in exponential time, matching the lower bound obtained by Halpern and Vardi for a fragment of ...
arxiv