Results 91 to 100 of about 3,773,797 (206)
Rough Set Data Representation Using Binary Decision Diagrams
A new information system representation, which inherently represents indiscernibility is presented. The basic structure of this representation is a Binary Decision Diagram.
Alex Muir +5 more
core
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 +10 more
wiley +1 more source
Binary Decision Diagrams for First Order Predicate Logic
We present an extension of Binary Decision Diagrams (BDDs) such that they can be used for predicate logic.
Groote, J.F.
core
ABSTRACT Background Dysregulated lipid metabolism, which can affect remyelination and neural repair, has not been extensively investigated in progressive multiple sclerosis (PMS). The goal was to examine whether dysregulated cholesterol metabolism was associated with disability in PMS. Methods The study sample comprised 53 Severe PMS patients (Expanded
Taylor R. Wicks +8 more
wiley +1 more source
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 +4 more
wiley +1 more source
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 +13 more
wiley +1 more source
Observer‐Based Adaptive Event‐Triggered Tracking Control for Fuzzy TS Systems With Premise Mismatch
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 +3 more
wiley +1 more source
Building free Binary Decision Diagrams using SAT solvers
Free Binary Decision Diagrams (FBDDs) are a data structure for the representation of Boolean functions. In contrast to Ordered Binary Decision Diagrams (OBDDs) FBDDs allow different variable orderings along each path.
Görschwin Fey +2 more
core +1 more source
dynoGP: Deep Gaussian Processes for Dynamic System Identification
This work introduces a novel class of deep models for system identification, dynamical deep Gaussian processes, which combine the strengths of data‐driven methods, such as those based on neural network architectures, with the ability to output a probability distribution for uncertainty representation.
Alessio Benavoli +3 more
wiley +1 more source
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

