Results 101 to 110 of about 761,584 (320)

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

abstract

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

Long‐Term Temporal Profile of Motor Recovery After Intracerebral Hemorrhage

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Limited data is available to describe the temporal profile of long‐term recovery over 1 year after the stroke in patients with spontaneous intracerebral hemorrhage (ICH). Methods A registered multicentral cohort was conducted to consecutively include non‐herniated supratentorial ICH patients from November 2013 to January 2023 ...
Yan Zheng, Fu‐Xin Lin, Ling‐Yun Zhuo, Jian‐Cai Chen, Xin Ge, Xiang‐Lin Chen, Xue‐Jiao Wang, Zhi‐Gang Yao, You‐Liang Tong, Bo Xie, Bai‐Hai Guo, Zhao‐Sheng Sun, Zhi‐Hua Tian, Ping Qiu, Xin‐Ru Lin, Qiu He, Shu‐Na Huang, Ke Ma, Fang‐Yu Wang, Huang‐Cheng Shang‐Guan, Wen‐Hua Fang, Deng‐Liang Wang, Ying Fu, Yuan‐Xiang Lin, De‐Zhi Kang   +24 more
wiley   +1 more source

Groundwater resources: Challenges & solutions

Cambridge Prisms: Water
Through the provision of drinking and agricultural irrigation water, groundwater resources fundamentally underpin the existence of modern human society across large regions of the world.
Richard J. Cooper, Kevin M. Hiscock
doaj   +1 more source

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

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

Building and Refining Abstract Planning Cases by Change of Representation Language

, 1995
ion is one of the most promising approaches to improve the performance of problem solvers. In several domains abstraction by dropping sentences of a domain description -- as used in most hierarchical planners -- has proven useful.
Bergmann, R., Wilke, W.
core   +2 more sources

Durable B‐Cell Impairment While Sparing IgA B Cells After Ocrelizumab Therapy in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Ocrelizumab (OCR), a humanized anti‐CD20 monoclonal antibody, is highly efficient in relapsing–remitting multiple sclerosis (RR‐MS). We assessed early cellular B‐cell profiles in patients prior to OCR treatment, on OCR treatment, and after 15 months of therapy discontinuation.
Alexandra Garcia, Stephane Rodriguez, Emilie Dugast, Christine Lebrun‐Frenay, Eric Thouvenot, Jérôme de Sèze, Emmanuelle Le Page, Sandra Vukusic, Inès Doghri, Eric Berger, Olivier Casez, Pierre Labauge, Aurélie Ruet, Catarina Raposo, Fabienne Le Frère, Arnaud B. Nicot, Sandrine Wiertlewski, Pierre‐Antoine Gourraud, Laure Michel, Laureline Berthelot, David‐Axel Laplaud   +20 more
wiley   +1 more source

The Specificity of Human Cognition According to St. Thomas Aquinas [PDF]

Studia Gilsoniana
The aim of this article is to draw attention to the most important topics addressed by Thomas Aquinas, in which he presented the specificity of human cognition.
Michał Zembrzuski
doaj   +1 more source

REACTIONS OF ALKOXY RADICALS: I. HYDROGEN ATOM ABSTRACTION FROM SUBSTITUTED TOLUENES [PDF]

, 1966
Bianca Kennedy, K. U. Ingold
openalex   +1 more source

Multimodal Autonomic Biomarkers Predict Phenoconversion in Pure Autonomic Failure

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Pure autonomic failure (PAF) presents with autonomic failure without other neurological features. A third develop central neurological features, fulfilling criteria for multiple system atrophy (MSA) and Lewy body diseases (LBD), including Parkinson's disease and Dementia with Lewy bodies.
S. Koay, E. Vichayanrat, F. Bremner, F. Valerio, R. Mackenzie, G. Chiaro, G. Ingle, P. McNamara, L. Watson, J. N. Panicker, M. P. Lunn, C. Mathias, V. Iodice   +12 more
wiley   +1 more source