Results 221 to 230 of about 491,607 (366)

Decidable Discriminator Varieties from Unary Classes [PDF]

, 1993
Ross Willard
openalex   +1 more source

To Be Decided Remains to Be Decided

Política Común, 2018
openaire   +2 more sources

Prevalence of Stroke and Diagnostic Performance of Emergency MRI in Acute Isolated Dizziness

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Stroke is frequently misdiagnosed in patients presenting with acute isolated dizziness; the optimal imaging modality for this population remains debated. This study aimed to determine the prevalence of stroke among patients with isolated dizziness and to assess the diagnostic accuracy of magnetic resonance imaging (MRI) and computed ...
Xiao Hu, Sijia Liu, Xiaosan Wu, Sunhong Yan, Jie Shen, Lei Zhu, Xueyun Liu, Zijie Wang, Chu Chen, Tiannan Yang, Chuanqin Fang, Qi Li   +11 more
wiley   +1 more source

Prediction Model for Etiologic Differentiation of Isolated Vestibular Syndrome in Emergency Settings

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective This study aimed to develop and validate a predictive model for differentiating central from peripheral etiologies in patients with isolated vestibular syndrome (VS). Methods In this multicenter retrospective cohort study, 506 patients with isolated VS from five hospitals were divided into derivation (n = 301) and validation (n = 205)
Guo Wenting, Du Liping, Yang Yi, Hu Jin, Ye Bijun, Wang Jianer, Liu Shuangsi, Guo Shunyuan, Cai Xiaofeng, Wang Huiyuan, Wu Bin, Yu Xiang, Shi Tianming   +12 more
wiley   +1 more source

Fungi as Turing automata with oracles. [PDF]

R Soc Open Sci
Schumann A, Adamatzky A, Król J, Goles E.   +3 more
europepmc   +1 more source

The complexity of verifying population protocols. [PDF]

Distrib Comput, 2021
Esparza J, Jaax S, Raskin M, Weil-Kennedy C.   +3 more
europepmc   +1 more source

On rules with existential variables: Walking the decidability line

Artificial Intelligence, 2011
Jean-François Baget, M. Leclère, M. Mugnier, E. Salvat   +3 more
semanticscholar   +1 more source

Impact of Stress‐Induced Hyperglycemia on In‐Hospital Medical Complications in Patients With Acute Stroke: From a Large‐Scale Nationwide Longitudinal Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Aims This study aimed to explore the relationship between stress‐induced hyperglycemia (SIH) and in‐hospital medical complications in patients with acute stroke. Methods We enrolled 865,765 patients with acute stroke from the Chinese Stroke Center Alliance cohort.
Xintong Song, Yi Ju, Hongqiu Gu, Zhikai Zhu, Zixiao Li, Qian Zhang, Xingquan Zhao   +6 more
wiley   +1 more source

Complexity of deciding Tarski algebra

, 1988
D. Yu. Grigor'ev
openalex   +1 more source

Soundness of workflow nets: classification, decidability, and analysis

Formal Aspects of Computing, 2011
Wil M.P. van der Aalst, K. V. Hee, A. Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve, M. Wynn   +6 more
semanticscholar   +1 more source