Results 151 to 160 of about 590,012 (309)

Abstract Interpretation with Specialized Definitions

, 2006
. The relationship between abstract interpretation and partial evaluation has received considerable attention and (partial) integrations interpretation perspectives.
Germán Puebla, Manuel Hermenegildo, Elvira Albert   +2 more
core   +1 more source

Verification, Model Checking, and Abstract Interpretation

, 2014
International audienceThis book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013.
Rival, Xavier, Mcmillan, Kenneth
core   +1 more source

Towards a process-based approach to consciousness and collapse in quantum mechanics

Manuscrito
According to a particular interpretation of quantum mechanics, the causal role of human consciousness in the measuring process is called upon to solve a foundational problem called the “measurement problem.” Traditionally, this interpretation is tied up ...
RAONI ARROYO, LAURO DE MATOS NUNES FILHO, FREDERIK MOREIRA DOS SANTOS   +2 more
doaj   +1 more source

Super‐Refractory Status Epilepticus (SRSE) in a Patient With Compound Heterozygous OPA1 Variants: Case Report and Literature Review

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Super‐Refractory Status Epilepticus (SRSE) is a rare, life‐threatening neurological emergency with unclear etiology in many cases. Mitochondrial dysfunction, often due to disease‐causing genetic variants, is increasingly recognized as a cause, with each gene producing distinct pathophysiological mechanisms.
Pouria Mohammadi, Lara Basovic, Christopher Michael McGraw   +2 more
wiley   +1 more source

The Interpretation of Non-Sentential Utterances in Dialogue

, 2003
Schlangen D, Lascarides A. The Interpretation of Non-Sentential Utterances in Dialogue. In: Rudnicky A, ed. Proceedings of the 4th SIGdial workshop on Discourse and Dialogue.
Schlangen, David ; https://orcid.org/, Rudnicky, Alexander, Lascarides, Alex   +2 more
core  

A General, Abstract Model of Incremental Dialogue Processing

, 2011
Schlangen D, Skantze G. A General, Abstract Model of Incremental Dialogue Processing. Dialogue and Discourse.
Schlangen, David, Schlangen, David ; https://orcid.org/, Skantze, Gabriel   +2 more
core   +1 more source

Spinal Cord Infarction Versus Idiopathic Transverse Myelitis: Clinical, Radiological, and Functional Insights From a Retrospective Cohort Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Spinal cord infarction (SCI) is a rare but devastating myelopathy, characterized by a high disability rate and an unfavorable prognosis. It has often been underdiagnosed and misdiagnosed as idiopathic transverse myelitis (ITM). This study aimed to describe the clinical features, radiological biomarkers, treatments, and functional ...
Zeqiang Ji, Jianlong Zhang, Yiming Shi, Shiyu Shan, Yang Du, Guangshuo Li, Ying Jin, Yani Zhang, Chuanying Wang, Yijun Lin, Yuhao Guo, Decai Tian, Xingquan Zhao, Tian Song   +13 more
wiley   +1 more source

Clinical Spectrum and Outcomes of SOX1 Antibody‐Associated Paraneoplastic Neurological Syndromes: A Chinese Cohort Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background SOX1 antibody‐positive paraneoplastic neurological syndromes (PNS) exhibit significant population‐specific clinical heterogeneity. While Western cohorts predominantly manifest Lambert‐Eaton myasthenic syndrome (65%–80%), comprehensive clinical characterization and treatment response data in Asian populations remain critically ...
Jin‐Long Ye, Zu‐Ying Kuang, Bo Li, Meng‐Qiu Pan, Li‐Hua Zhou, Yang‐Yang Dai, Si‐Fen Xie, Xian‐Guang Lin, Ye‐Peng Hu, Li‐Hong Jiang, Zhan‐Hang Wang, Wei‐Jing Zhang   +11 more
wiley   +1 more source

An abstract machine for restricted and-parallel execution of logic programs

, 1986
Although the sequential execution speed of logic programs has been greatly improved by the concepts introduced in the Warren Abstract Machine (WAM), parallel execution represents the only way to increase this speed beyond the natural limits of sequential
Hermenegildo, Manuel V.
core