Results 61 to 70 of about 50,489 (260)
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 +2 more
openaire +3 more sources
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 +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
IEEE Access, 2019 In this paper, we propose a failure mechanism cumulative model that considers the loading history of the load sharing effect in a k-out-of-n system. Three types of failure mechanisms are considered, continuous degradation, compound point degradation, and
Ying Chen, Xiaoyong Yu, Yingyi Li
doaj +1 more source
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 +4 more
wiley +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 +21 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 +1 more
openaire +2 more sources
An Innovative Linear Wireless Sensor Network Reliability Evaluation Algorithm
SensorsIn recent years, wireless sensor networks (WSNs) have become a crucial technology for infrastructure monitoring. To ensure the reliability of monitoring services, evaluating the network’s reliability is particularly important.
Tao Ma, Huidong Guo, Xin Li
doaj +1 more source
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 +5 more
wiley +1 more source