Results 141 to 150 of about 1,558,985 (350)
A Workflow to Accelerate Microstructure‐Sensitive Fatigue Life Predictions
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
Modeling the C. elegans germline stem cell genetic network using automated reasoning.
Amar A, Hubbard EJA, Kugler H.
europepmc +1 more source
Rheocasting versus Die Casting: An Insight into the Low‐Cycle Fatigue Behavior of AlSi7Mg0.6
The study compares rheocast lightweight components with high‐pressure die cast materials regarding microstructure and fatigue behavior. Rheocast process offers higher efficiency due to lower casting temperatures. Despite some microstructural differences, both processes show similar strengths (yield strength 125 MPa, tensile strength 240 MPa).
Julia Richter +4 more
wiley +1 more source
Correctness Verification of Mutual Exclusion Algorithms by Model Checking
Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by ...
Libero Nigro, Franco Cicirelli
doaj +1 more source
Automated Knowledge Acquisition Framework for Supply Chain Management based on Hybridization of Case based Reasoning and Intelligent Agent [PDF]
Mohammad Almuiet, Maryam Mohamad
openalex +1 more source
Automated classification of modes of moral reasoning in judicial decisions [PDF]
Nischal Mainali +3 more
openalex +1 more source
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
High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
Toward Automated Knowledge Discovery in Case-Based Reasoning
Automated Case Elicitation (ACE) enables case-based reasoning (CBR) systems to automatically acquire knowledge through real-time exploration and interaction with environments.
Sherri Weitl-Harms +2 more
doaj +1 more source
Utilizing Multimedia Ontologies in Video Scene Interpretation via Information Fusion and Automated Reasoning [PDF]
Leslie F. Sikos
openalex +1 more source

