Results 91 to 100 of about 11,440 (300)

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

, 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

Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol

, 2006
We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F., Szreter, M., Lomuscio, A., Penczek, W., Niewiadomski, A., Kacprzak, M.   +5 more
core  

Building free Binary Decision Diagrams using SAT solvers

, 2007
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, Rolf Drechsler, Robert Wille   +2 more
core   +1 more source

Revisiting Stability Criteria in Ball‐Milled High‐Entropy Alloys: Do Hume–Rothery and Thermodynamic Rules Equally Apply?

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, Alejandro F. Manchón‐Gordón, Antonio Vidal‐Crespo, Rafael Caballero‐Flores, Jhon J. Ipus, Clara F. Conde   +5 more
wiley   +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

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   +1 more source

Combined Process‐ and Phase‐Field‐Simulation to Predict the Microstructure of Single‐Crystal Ni‐Based Superalloys

Advanced Engineering Materials, EarlyView.
A combined finite element and phase‐field approach predicts the evolution of microstructure during the directional solidification of Ni‐based superalloys. The model reveals how withdrawal rate, temperature gradient, and wall thickness control the dendrite spacing, highlighting the strong effect of surface regions in thin sections where dendrite growth ...
Sean Böhm, André B. Baldissera, Rainer Völkl, Uwe Glatzel   +3 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