Results 81 to 90 of about 9,213 (262)

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

Binary-Decision-Diagrams for Set Abstraction

CoRR, 2015
Whether explicit or implicit, sets are a critical part of many pieces of software. As a result, it is necessary to develop abstractions of sets for the purposes of abstract interpretation, model checking, and deductive verification. However, the construction of effective abstractions for sets is challenging because they are a higher-order construct. It
openaire   +2 more sources

Ordered Binary Decision Diagrams as Knowledge-Bases

Artificial Intelligence, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire   +2 more sources

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

Truth tables to binary decision diagrams [PDF]

, 2020
Model transformation tools have reached a considerable level of maturity in the core features, and are currently developing in many directions. Some tools are focusing on providing higher performance for large models or complex transformations. Others focus on bidirectionality, visualisation, traceability, or verifiability, among other research ...
Antonio García-Domínguez, Georg Hinkel
openaire   +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

Learning ordered binary decision diagrams

, 1995
We study the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that finds the minimum obdd for the target respecting a given ordering. We also prove that both types of queries and the restriction to a given ordering are necessary if we want minimality in the output ...
Gavaldà Mestre, Ricard, Guijarro Guillem, David   +1 more
openaire   +2 more sources

Safety of Prescription Nonsteroidal Anti‐inflammatory Drugs in Adults With Inflammatory Bowel Disease: Data From a Large Administrative Claims Cohort

Arthritis Care &Research, EarlyView.
Objective The concern that nonsteroidal anti‐inflammatory drugs (NSAIDs) may precipitate flares of inflammatory bowel disease (IBD) has limited their use in managing musculoskeletal symptoms in those with IBD, but safety data are mixed. Methods This retrospective cohort study included patients with IBD aged at least 18 years from Optum's deidentified ...
Adam S. Mayer, Rui Xiao, Meenakshi Bewtra, Michael D. George, Pamela F. Weiss   +4 more
wiley   +1 more source