Results 111 to 120 of about 3,636,570 (292)

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

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

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

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

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

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

Microvascular Damage Is Associated With Carotid Wall Structural Changes in Systemic Sclerosis: A Capillaroscopy and Ultrasound‐Based Observational Study

Arthritis Care &Research, EarlyView.
Objective Systemic sclerosis (SSc) is characterized by cardiovascular risk excess not fully explained by traditional factors. Whether the severity of microvascular damage correlates with structural subclinical atherosclerosis remains unclear. We investigated the relationship between nailfold videocapillaroscopy (NVC) abnormalities and carotid ...
Eugenio Capparelli, Luca Clerici, Francesco Lapia, Giusy C. Moltisanti, Eleonora Zaccara, Greta Pellegrino, Daniela Bompane, Francesca Capelli, Letizia Ferrami, Laura Castelnovo, Antonio Tamburello, Maria Sole Chimenti, Paola Faggioli, Antonino Mazzone   +13 more
wiley   +1 more source

Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents an adaptive logistic event‐triggered observer‐based tracking controller for Takagi‐Sugeno fuzzy systems under constrained inputs and network delays. Leveraging a hybrid LMI and Secretary Bird Optimization approach, this strategy significantly minimizes communication overhead and computational burden while ensuring optimal reference ...
Oussama Djadane, Salama Makni, Mourad Kchaou, Ahmed El Hajjaji   +3 more
wiley   +1 more source