Results 81 to 90 of about 3,877,335 (299)

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation

, 2018
In this paper, we discuss the use of binary decision diagrams to represent general ...
Edmund M Clarke (5373698), K. McMillan (5418341), P C McGeer (5418344), X Zhao (5417381), M. Fujita (5414921), J C-Y Yang (5418347)   +5 more
core   +1 more source

MOGAD Is the Most Common Cause of Isolated Optic Neuritis in Children

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives The study aimed to characterize the clinical features, etiologies, and outcomes of isolated, first‐time pediatric ON in the post‐MOG‐IgG era. Methods This was a single‐center retrospective cohort study at Texas Children's Hospital of patients diagnosed with first‐time ON between 2018–2024, with follow‐up data collected through 2025.
Chaitanya Aduru, Akansha Chandrasekar, Kyla Blasingame, Jonathan Rosen, Jesse M. Levine, Karla Salazar, Madhuri Chilakapati, Rod Foroozan, Victoria Hardwick, Jonathan M. Yarimi, Nikita Shukla, Timothy E. Lotze, Kristen S. Fisher, Alexander J. Sandweiss   +13 more
wiley   +1 more source

Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs

Algorithms, 2012
Link puzzles involve finding paths or a cycle in a grid that satisfy given local and global properties. This paper proposes algorithms that enumerate solutions and instances of two link puzzles, Slitherlink and Numberlink, by zero-suppressed binary ...
Shin-ichi Minato, Koji Tsuruma, Hiroaki Iwashita, Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara   +5 more
doaj   +1 more source

Neurochemical Endpoints to Inform Early‐Stage Trials of Spinocerebellar Ataxia 2 and 3 in a Multisite Setting

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Neurochemical levels measured by brain MR spectroscopy (MRS) have been proposed as endpoints for clinical trials in early‐stage spinocerebellar ataxia (SCA) trials. We tested their trial‐readiness by quantifying neurochemicals in three affected brain regions in early‐stage cohorts of SCA2 and SCA3, examining their reproducibility in ...
James M. Joers, Yaqiao Wei, Dinesh K. Deelchand, Adam Berrington, Young Woo Park, Guita Banan, Michal Povazan, Jens T. Rosenberg, André J. W. van der Kouwe, Tetsuo Ashizawa, Khalaf O. Bushara, Chiadi U. Onyike, Sub H. Subramony, Jeremy D. Schmahmann, Brian J. Soher, Peter B. Barker, Thomas H. Mareci, Eva‐Maria Ratai, Lynn E. Eberly, Gülin Öz   +19 more
wiley   +1 more source

Topology planning for autonomous MMGs: an ordered binary decision diagram-based approach

IET Smart Grid, 2019
This paper finds its motivation from the perspective of utility planners, where the flexibility of choice while reconfiguring a distribution system into Multi-Micrgrids (MMGs) is critical.
Hafiz Anwar Ullah Khan, Mohamed Al Hosani, Mohamed Al Hosani, Hatem Zeineldin   +3 more
doaj   +1 more source

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

EMPLOYING COMPLEXITY ESTIMATES OF BINARY DECISION DIAGRAMS IN THE SYNTHESIS OF LOGICAL CIRCUITS

Informatika, 2016
A formula is suggested to evaluate the area of a logical circuit that is built in a given library of logical elements according to the BDD (Binary Decision Diagram) representation of a system of Boolean functions. The experimental results of synthesis of
N. A. Avdeev, P. N. Bibilo
doaj  

Cost-bounded binary decision diagrams for 0-1 programming

, 2007
In binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller BDDs can be used for the same analysis by employing cost bounding techniques in their ...
J. N. Hooker, Hooker, J.N., John N. Hooker (5357795), Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 4th International Conference, CPAIOR 2007, Tarik Hadzic (5455742), Tarik Hadžić, Hadzic, T.   +6 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

Quantum and classical nondeterministic OBDDs

Учёные записки Казанского университета: Серия Физико-математические науки
A model of nondeterministic ordered binary decision diagrams (NOBDDs) was analyzed. A method for proving a lower bound on the complexity of quantum NOBDDs was developed.
A. F. Gainutdinova
doaj   +1 more source