Results 71 to 80 of about 914,128 (308)

Detecting rs‐fMRI Networks in Disorders of Consciousness: Improving Clinical Interpretability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Preserved resting‐state functional MRI (rs‐fMRI) networks are typically observed in Disorders of Consciousness (DOC). Despite the widespread use of rs‐fMRI in DOC, a systematic assessment of networks is needed to improve the interpretability of data in clinical practice.
Jean Paul Medina Carrion, Mario Stanziano, Ludovico D'Incerti, Davide Sattin, Stefania Ferraro, Davide Rossi Sebastiano, Francesca Giulia Magnani, Alice Deruti, Davide Fedeli, Ludovico Minati, Francesca Epifani, Marina Grisoli, Matilde Leonardi, Maria Grazia Bruzzone, Anna Nigri, Cristina Rosazza   +15 more
wiley   +1 more source

Injecting Abstract Interpretations into Linear Cost Models

, 2010
We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs.
Cachera, David, Jobin, Arnaud
core   +2 more sources

HYDROGEN ABSTRACTION REACTIONS OF DIPHENYLPICRYLHYDRAZYL [PDF]

, 1958
A. G. Brook, R. J. Anderson, J. Tissot Van Patot   +2 more
openalex   +1 more source

Amyotrophic Lateral Sclerosis as a Multistep Process in the United States: A Population‐Based Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Amyotrophic lateral sclerosis (ALS) is a fatal, progressive neurodegenerative disease that typically results in death within 3–5 years from symptom onset. However, little is known about the environmental exposures, clinical aspects, or social determinants of health factors that may be associated with the disease.
Jasmine Berry, Jaime Raymond, Theodore Larson, D. Kevin Horton, Moon Han, Theresa Nair, Ammar Al‐Chalabi, Paul Mehta   +7 more
wiley   +1 more source

Abstraction in directed model checking [PDF]

, 2004
ion is one of the most important issues to cope with large and infinite state spaces in model checking and to reduce the verification efforts. The abstract system is smaller than the original one and if the abstract system satisfies a correctness ...
Edelkamp, Stefan, Lluch-Lafuente, Alberto   +1 more
core  

Expressiveness and Completeness in Abstraction

, 2012
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition ...
Bas Luttik, Clarke, Clarke, Clarke, Cousot, Dams, Dams, Dams, de Alfaro, Fecher, Fecher, Godefroid, Gurfinkel, Huth, Larsen, Larsen, Larsen, Maciej Gazda, Michel A. Reniers, Shoham, Shoham, Tim A.C. Willemse, Wei   +22 more
core   +3 more sources

Influence of Dystrophin Isoform Deficiency on Motor Development in Duchenne Muscular Dystrophy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective In Duchenne muscular dystrophy (DMD), lack of the shorter dystrophin isoforms Dp140 and Dp71 is associated with increased central nervous system (CNS) involvement. We aimed to investigate how CNS involvement affects motor development in young DMD boys.
Mary Chesshyre, Deborah Ridout, Georgia Stimpson, Laurent Servais, Giovanni Baranello, Adnan Manzur, UK NorthStar Clinical Network, M. Scoto, A. Sarkozy, P. Munot, S. Robb, E. Chan, V. Robinson, W. Girshab, V. Crook, E. Milev, L. Abbott, A. Wolfe, E. O’Reilly, J. Watts‐Whent, N. Burnett, R. Thomas, R. Terespolsky, O. Martinaeu, J. Longatto, V. Straub, C. Bettolo, M. Guglieri, J. Diaz‐Manera, G. Tasca, M. Elseed, R. Muni‐Lofra, M. James, D. Moat, J. Sodhi, K. Wong, E. Robinson, E. Groves, R. Rabb, D. Parasuraman, H. McMurchie, H. Chase, Tracey Willis, C. Rylance, N. Birchall, E. Wright, A. Childs, K. Pysden, C. Martos, D. Roberts, L. Pallant, S. Walker, A. Henderson, R. Madhu, R. Karuvattil, Y. Balla, S. Gregson, S. Clark, E. Wraige, H. Jungbluth, V. Gowda, M. Vanegas, J. Sheehan, A. Schofield, C. Smith, I. Hughes, E. Whitehouse, S. Warner, E. Reading, N. Emery, J. Moustoukas, K. Strachan, M. Ong, M. Atherton, N. Mills, S. Sanchez Marco, A. Saxena, K. Skone, J. TeWaterNaude, H. Davis, C. Wood, A. Majumdar, A. Murugan, I. Guarino, R. Tomlinson, H. Jarvis, L. Wills, C. Frimpong, J. Watson, G. Cobb, G. Robertson, P. Brink, J. Burslem, C. Adams, J. Wong, S. Joseph, I. Horrocks, J. Dunne, M. DiMarco, S. Brown, S. McKenzie, K. Torne, R. Mohamed, V. Velmurugan, M. Prasad, S. Sedehizadeh, A. Schugal, R. Keetley, S. Williamson, K. Payne, E. Dowling, P. Fenty, C. de Goede, A. Parkes, K. Baxter, M. Illingworth, N. Bhangu, S. Geary, J. Palmer, K. Shill, S. Tirupathi, A. Shah, D. O’Donogue, J. McVeigh, J. McFetridge, G. Nicfhirleinn, H. Beattie, T. Leyland, K. Stevenson, N. Hussain, D. Baskaran, Z. Lambat, R. Sullivan, L. Locke, G. Ambegaonkar, D. Krishnakumar, J. Taylor, J. Moores, E. Stephen, J. Tewnion, S. Ramdas, M. Sa, A. Skippen, M. Khries, C. Lilien, H. Ramjattan, F. Taylor, H. English, K. Stewart, F. Flint, E. Bartram, R. Noble, Francesco Muntoni   +152 more
wiley   +1 more source

abstract

پژوهشهای زراعی ایران, 2011
abstract
openaire   +16 more sources

Predicate Abstraction with Indexed Predicates [PDF]

, 2004
Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core  

Hydrogen Abstraction Reaction of α-Heteroatom Substituted Compounds byt-Butoxy Radical [PDF]

, 1968
Kenji Uneyama, Hiroshi Namba, Shigeru Ōae   +2 more
openalex   +1 more source