Results 101 to 110 of about 3,612,733 (245)

Binary Decision Diagrams as a HOL derived rule [PDF]

The Computer Journal, 1994
Binary Decision Diagrams (BDDs) are a representation for Boolean formulas which makes many operations, in particular tautology - checking, surprisingly efficient in important practical cases. In contrast to such custom decision procedures, the HOL theorem prover expands all proofs out to a sequence of extremely simple primitive inferences.
openaire   +2 more sources

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

, 2014
This paper discusses the error resilience of Zero-Suppressed Binary Decision Diagrams (ZDDs), which are a particular family of Ordered Binary Decision Diagrams used for representing and manipulating combination sets.
V. Ciriani, Ciriani, Valentina, A. Bernasconi, Anna Bernasconi, Valentina Ciriani, BERNASCONI, ANNA, Ciriani V.   +6 more
core   +1 more source

Clinical Impact of MGMT Promoter Methylation in IDH‐Mutant Gliomas: Influence of Threshold Selection and Clinical Confounding

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background The clinical relevance of MGMT promoter methylation in IDH‐mutant gliomas remains controversial in the era of molecular classification. We aimed to systematically evaluate its clinical relevance by integrating quantitative assessment, cutoff exploration, and adjustment for clinical confounding.
Haihui Jiang, Linxi Cao, Xiaodong Chen, Siqi Tong, Qinghui Zhu, Jun Yang, Song Lin, Yong Cui   +7 more
wiley   +1 more source

A symbolic approach to the verification and enforcement of current‐state opacity using labelled Petri nets

IET Control Theory & Applications
This work proposes a symbolic method to verify and enforce the current‐state opacity of labelled Petri nets (LPNs). The notion of basis markings of partially observed Petri nets currently dominates the development of opacity verification and enforcement ...
Kun Peng, Yufeng Chen, Zhiwu Li
doaj   +1 more source

Static and Dynamic Load-Triggered Cascading Failure Mitigation for Storage Area Networks [PDF]

International Journal of Mathematical, Engineering and Management Sciences
Storage area networks (SANs) are a widely used and dependable solution for data storage. Nevertheless, the occurrence of cascading failures caused by overloading has emerged as a significant risk to the reliability of SANs, impeding the delivery of the ...
Guixiang Lyu, Liudong Xing, Guilin Zhao
doaj   +1 more source

Early Clinical and Cerebrospinal Fluid Predictors of 1‐Year Recurrence in Autoimmune GFAP Astrocytopathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Autoimmune glial fibrillary acidic protein astrocytopathy (GFAP‐A) is an inflammatory central nervous system disorder with variable outcomes. Relapse occurs in a subset of patients, but early predictors remain unclear. We aimed to identify admission‐available features associated with 1‐year recurrence and develop an interpretable ...
Qingting Hong, Yuping Xiao, Yuhan Wu, Ziyuan Huang, Weishan Liang, Li Xiao, Yaqing Shu, Tingting Lu, Yanyu Chang, Wei Qiu, Yuge Wang   +10 more
wiley   +1 more source

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

An efficient query learning algorithm for ordered binary decision diagrams [PDF]

, 2005
In this paper, we propose a new algorithm that exactly learns ordered binary decision diagrams (OBDDs) with a given variable ordering via equivalence and membership queries.
Nakamura, Atsuyoshi
core   +1 more source

Clinical, Histologic, and Serological Predictors of Renal Function Loss in Lupus Nephritis

Arthritis Care &Research, EarlyView.
Objective Kidney survival is the ultimate goal in lupus nephritis (LN) management, but long‐term predictors remain inadequately studied, requiring long‐term follow‐up. This study aimed to identify baseline and early longitudinal predictors of kidney survival in the Accelerating Medicines Partnership LN longitudinal cohort.
Shangzhu Zhang, Laurence Magder, Daniel Goldman, Judith A. James, Joel M. Guthridge, Carla Guthridge, Peter Izmirly, Jill P. Buyon, H. Michael Belmont, Richard A. Furie, Noa Schwartz, Chaim Putterman, Jennifer L. Barnas, Jennifer H. Anolik, Sarah French, Maria Dall'Era, Avi Z. Rosenberg, Jeffrey Hodgin, Dawit S. Demeke, the Accelerating Medicines Partnership Rheumatoid Arthritis and Systemic Lupus Erythematosus (RA/SLE) Network, Michelle Petri, Andrea Fava   +21 more
wiley   +1 more source

Short‐Term Response to Biologic Therapy in Psoriatic Arthritis Is Not Influenced by Disease Duration at Initiation of Therapy

Arthritis Care &Research, EarlyView.
Objective We aimed to determine whether the short‐term response to biologics in biologic‐naive psoriatic arthritis (PsA) is better in patients initiating biologic treatment early in the disease course. Methods Patients with PsA who started on biologic therapy from the year 2000 to 2025 were included for analysis.
Sung Min Cho, Shangyi Gao, Daniel Pereira, Richard J. Cook, Dafna D. Gladman   +4 more
wiley   +1 more source