Results 51 to 60 of about 50,577 (261)

Extracting Co-Occurrence Relations from ZDDs

Algorithms, 2012
A zero-suppressed binary decision diagram (ZDD) is a graph representation suitable for handling sparse set families. Given a ZDD representing a set family, we present an efficient algorithm to discover a hidden structure, called a co-occurrence relation,
Takahisa Toda
doaj   +1 more source

IV Thrombolysis Facilitates Interventional Reperfusion in Non‐Cardioembolic but Not Cardioembolic Stroke

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Intravenous thrombolysis (IVT) before thrombectomy for ischemic stroke may alter clot structure and procedural performance. We investigated how IVT relates to thrombectomy metrics across stroke etiologies. Methods We performed a time‐to‐event analysis of consecutive patients with anterior circulation large vessel occlusion (acLVO ...
Annahita Sedghi, Daniel P. O. Kaiser, Martin Arndt, Norma J. Diel, Erik Simon, Witold H. Polanski, Volker Puetz, Hagen B. Huttner, Timo Siepmann   +8 more
wiley   +1 more source

TeDDy: Templated decision diagram library

SoftwareX
Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena, Miroslav Kvassay, Elena Zaitseva   +2 more
doaj   +1 more source

Reliability Analysis of Noncoherent Systems by Logical Differential Calculus and Binary Decision Diagrams

Communications, 2014
Reliability is the important characteristic of systems. Most of the systems consist of more than one component. Moreover, modern systems are very complex and they include a lot of components. Therefore, effective methods have to be developed for analysis
Jozef Kostolny, Miroslav Kvassay, Stefan Kovalik   +2 more
doaj   +1 more source

A rewriting approach to binary decision diagrams

The Journal of Logic and Algebraic Programming, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
H. Zantema (Hans), J.C. van de Pol (Jaco)   +1 more
openaire   +4 more sources

White Matter Hyperintensity Burden and Short‐Interval Change Associated With Sleep Apnoea in the UK Biobank

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Purpose White matter hyperintensities (WMH) are a core neuroimaging marker of cerebral small vessel disease (CSVD). Sleep apnoea (SA) is a recognized vascular risk factor, but its associations with regional WMH burden, short‐interval WMH change and cognitive performance in population‐based cohorts remain incompletely defined. We
Peng Cheng, Diego Z. Carvalho, Shahid Karim, Anwar Chahal, Virend K. Somers   +4 more
wiley   +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

On the error resilience of ordered binary decision diagrams

Theoretical Computer Science, 2015
Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and manipulating discrete structures and Boolean functions.
Anna Bernasconi 0001, Valentina Ciriani, Lorenzo Lago   +2 more
openaire   +3 more sources

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

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