Results 141 to 150 of about 1,116 (265)

A dataset of DIMACS formulas derived from Kconfig models for research on highly configurable software. [PDF]

Data Brief
Heradio R, Cerrada C, Abad I, Aranda E, Escribano JJ, Fernandez-Amoros D.   +5 more
europepmc   +1 more source

Unifying Splitting. [PDF]

J Autom Reason, 2023
Ebner G, Blanchette J, Tourret S.
europepmc   +1 more source

Integrating Patient‐Reported Quality Measures in Systemic Lupus Erythematosus: Development of the American College of Rheumatology Implementation Guide

Arthritis Care &Research, EarlyView.
Objective To support high‐quality, patient‐centered care for systemic lupus erythematosus (SLE), the American College of Rheumatology (ACR) developed evidence‐based measures incorporating clinical and patient‐reported outcome measures (PROMs). Using the Consolidated Framework for Implementation Research (CFIR), we conducted semistructured interviews ...
Catherine Nasrallah, Cherish Wilson, Christine Hariz, Christie M. Bartels, Shanthini Kasturi, Wambui Machua, Amy Bennett, Kate Chiseri, Allison Plitman, Starla Hairston Blanks, April Jorge, Patti Katz, Jinoos Yazdany, Shivani Garg   +13 more
wiley   +1 more source

Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. [PDF]

J Autom Reason
Michaelson D, Schreiber D, Heule MJH, Kiesl-Reiter B, Whalen MW.   +4 more
europepmc   +1 more source

Experimental Evaluation of 100Cr6 Steel Microindented Surfaces Under Lubricated Nonconformal Point Contacts

Advanced Engineering Materials, EarlyView.
The tribological behavior of 100Cr6 steel spheres textured via Vickers microindentation is evaluated under lubricated sliding by varying both dimple size and density. Fine and dense textures significantly reduce friction across all lubrication regimes, while large dimples increase it.
Farideh Davoodi, Pasquale Guglielmi, Gianfranco Palumbo, Giuseppe Carbone   +3 more
wiley   +1 more source

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source

Low‐Cost, Large‐Scale Nanoporous Metals by Mechanical Alloying, Oxide Reduction, and Dealloying of Powders

Advanced Engineering Materials, EarlyView.
Powder metal processing provides scalable advantages in nanoporous (np) metal development. Mechanical alloying is used to produce unique precursors for hybrid nanopore formation by oxide reduction and dealloying. As demonstrated in np Ag, this approach improves process efficiency while promoting smaller ligaments and larger pores, both of which are ...
Mark A. Atwater, Oliver A. Fowler
wiley   +1 more source

Privacy-hardened and hallucination-resistant synthetic data generation with logic-solvers. [PDF]

Bioinformatics
Burgess MA, Hosking B, Reguant R, Kaphle A, O'Brien MJ, Sng LMF, Jain Y, Bauer DC.   +7 more
europepmc   +1 more source

Interpretable decision trees through MaxSAT. [PDF]

Artif Intell Rev, 2022
Alòs J, Ansótegui C, Torres E.
europepmc   +1 more source