Results 31 to 40 of about 2,176 (251)

Integration of Serum Neurofilament Light Chain and Cortical Dysfunction Improves Diagnostic Accuracy in ALS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine whether integration of serum neurofilament light chain (NfL) and cortical dysfunction improves diagnostic accuracy in amyotrophic lateral sclerosis (ALS) when applied alongside the Gold Coast criteria (GCC). Methods In this prospective study, 148 participants with suspected ALS were recruited (101 ALS and 47 with ALS ...
Aicee Dawn Calma, Nathan Pavey, Yukiko Tsuji, Amirul Ab Ghapar, Mehdi A.J. van den Bos, Bronwen Orden, Grace Lee, Linda Mekhael, Julie Ryder, Cláudia Santos Silva, David McDonald, Fakhria Kakar, Con Yiannikas, Matthew C. Kiernan, David A. Brown, Parvathi Menon, Steve Vucic   +16 more
wiley   +1 more source

An Anytime Symmetry Detection Algorithm for ROBDDs [PDF]

, 2006
Detecting symmetries is crucial to logic synthesis, technology mapping, detecting function equivalence under unknown input correspondence, and ROBDD minimization. State-of-the-art is represented by Mishchenko's algorithm.
Kettle, Neil, Andy King, Neil Kettle, King, Andy   +3 more
core   +1 more source

Clinical and Modifiable Factors Associated With Disability and Relapse in MOGAD: A Multicentre Cohort Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Factors associated with relapse course and disability in myelin oligodendrocyte glycoprotein antibody‐associated disease (MOGAD) remain incompletely understood. Objectives To identify clinical and modifiable factors associated with relapse and disability in MOGAD. Methods In this ambispective multicentre cohort study using data from
Yingtao Wang, Shaoxin Tao, Qiujia Wang, Xiaoyu Xu, Hui Yao, Zheng Liu, Dawei Li, Zhandong Qiu, Jinming Han, Jiangwei Xia, Qi Wang, Jun Sun, Kai Shao, Jiao Li, Shishuang Ruan, Yi Zhong, Jun Guo, Shougang Guo, Yue Huang, Guoliang Chai, Tao Jin, Hongyu Zhou, Junwei Hao, Yinan Zhao   +23 more
wiley   +1 more source

Binary Decision Diagrams for Random Boolean Functions [PDF]

, 1999
Binary Decision Diagrams (BDDs) sind eine Datenstruktur für Boolesche Funktionen, die auch unter dem Namen branching program bekannt ist. In ordered binary decision diagrams (OBDDs) müssen die Tests einer festen Variablenordnung genügen.
Gröpl, C., Gröpl, Clemens
core   +1 more source

Factors Associated With the Rising Trend in Self‐Reported Cognitive Disability Among U.S. Adults Aged 18–39 From 2013–2024

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Building on our prior Behavioral Risk Factor Surveillance System analysis identifying adults aged 18–39 as the primary driver of the national increase in self‐reported cognitive disability, we examined factors associated with this rise using 2013–2024 U.S. BRFSS data. Methods We analyzed U.S.
Adam de Havenon, Ka‐Ho Wong, Mirriam Mananah, Christopher D. Anderson, Ada Fenick, Amy Arnsten, Arman Fesharaki‐Zadeh, James C. McPartland, Mary L. Adams, Kevin N. Sheth   +9 more
wiley   +1 more source

Binary decision diagrams for first-order predicate logic

The Journal of Logic and Algebraic Programming, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jan Friso Groote, Olga Tveretina
openaire   +3 more sources

Evaluation of a Novel Electric Health Record Sidecar Application to Display Rheumatoid Arthritis Clinical Outcomes During Clinic Visits: Results of a Stepped‐Wedge Cluster Randomized Pragmatic Trial

Arthritis Care &Research, EarlyView.
Objective We developed a novel electronic health record sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk, Jing Li, Cathy Nasrallah, Cherish Wilson, Alicia Hamblin, Christine Hariz, Cammie Young, Stephen Shiboski, Emma Kersey, Mary Nakamura, Judith F. Ashouri, Mehrdad Matloubian, Andrew J. Gross, Jennifer Barton, Beth Berrean, Jonathan Prugh, Jinoos Yazdany   +16 more
wiley   +1 more source

Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition

CoRR, 2014
This paper augments OBDD with conjunctive decomposition to propose a generalization called OBDD[$\wedge$]. By imposing reducedness and the finest $\wedge$-decomposition bounded by integer $i$ ($\wedge_{\widehat{i}}$-decomposition) on OBDD[$\wedge$], we identify a family of canonical languages called ROBDD[$\wedge_{\widehat{i}}$], where ROBDD[$\wedge_ ...
Yong Lai 0001, Dayou Liu, Minghao Yin
openaire   +2 more sources

Revisiting Stability Criteria in Ball‐Milled High‐Entropy Alloys: Do Hume–Rothery and Thermodynamic Rules Equally Apply?

Advanced Engineering Materials, Volume 27, Issue 6, March 2025.
The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez, Alejandro F. Manchón‐Gordón, Antonio Vidal‐Crespo, Rafael Caballero‐Flores, Jhon J. Ipus, Clara F. Conde   +5 more
wiley   +1 more source

Building free Binary Decision Diagrams using SAT solvers [PDF]

, 2007
Free Binary Decision Diagrams (FBDDs) are a data structure for the representation of Boolean functions. In contrast to Ordered Binary Decision Diagrams (OBDDs) FBDDs allow different variable orderings along each path.
Görschwin Fey, Rolf Drechsler, Robert Wille   +2 more
core   +1 more source