Results 151 to 160 of about 2,767,476 (321)
Automatic API Usage Rule Extraction for Software Model Checking
, 2008 The need to manually specify temporal properties of software systems is a major barrier to wider adoption of software model checking, because the specification of software temporal properties is a difficult, time-consuming, and error-prone process.
Chang Liu
core
Arthritis Care &Research, EarlyView.Systemic sclerosis (SSc) is a rare autoimmune disease defined by immune dysregulation, vasculopathy, and progressive fibrosis of the skin and internal organs. Despite advances in care, major complications such as interstitial lung disease (ILD) and myocardial involvement remain the leading causes of morbidity and mortality.
Cristiana Sieiro Santos +2 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective The objective of this article is to identify perceptions of patients with systemic lupus erythematosus (SLE) regarding artificial intelligence (AI)–based online symptom assessment tools, and the potential of these tools to address diagnostic barriers.
Olivia A. Stein +7 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Although the definition of a gout flare is well established, the state of gout flare resolution has not yet been defined. This study aimed to explore patients’ experiences and perceptions of gout flare resolution. Methods Semistructured interviews were conducted with 24 people with gout, guided by open‐ended questions exploring their ...
Sarah Stewart +5 more
wiley +1 more source
β‐Catenin/c‐Myc Axis Modulates Autophagy Response to Different Ammonia Concentrations
Advanced Biology, Volume 9, Issue 3, March 2025.Ammonia, detoxified by the liver into urea and glutamine, impacts autophagy differently at varying levels. Low ammonia activates autophagy via c‐Myc and β‐catenin, while high levels suppress it. Using Huh7 cells and Spf‐ash mice, c‐Myc's role in cytoprotective autophagy is revealed, offering insights into hyperammonemia and potential therapeutic ...
S. Sergio +11 more
wiley +1 more source
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 +3 more
wiley +1 more source
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
Advanced Engineering Materials, EarlyView.This study introduces a workflow to accelerate predictions of microstructure‐sensitive fatigue life. Results from frameworks with varying levels of simplification are benchmarked against published reference results. The analysis reveals a trade‐off between accuracy and model complexity, offering researchers a practical guide for selecting the optimal ...
Luca Loiodice +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source