Results 161 to 170 of about 1,197,742 (268)
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]
Chouhan AP, Banda G.
europepmc +1 more source
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
Exact acceleration of complex real-time model checking based on overlapping cycle. [PDF]
Wang G +5 more
europepmc +1 more source
What Do Large Language Models Know About Materials?
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
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
This study examines how several molten high‐silicon electrical steels interact with both conventional and recycled MgO–C refractories. For this, various immersion experiments are conducted. In addition to infiltration, a number of mechanisms are identified and explained that control the corrosion of the refractory material.
Lukas Neubert +7 more
wiley +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
Handbook of Establishing and Maintaining Oxygen‐Free Atmospheres
This study presents a practical framework for creating oxygen‐free atmospheres at ambient pressure using silane‐doped inert gases. The results show that ultra‐low oxygen levels and strongly reduced water content can be achieved through controlled silane dosing, drying systems, and sensor monitoring.
Sascha Jan Zimmermann +3 more
wiley +1 more source
ZnS‐MXene‐TiO2 nanocomposite heterojunction for photocatalytic decomposition of this methylene blue dye (MB) greatly improves light absorption, charge separation, and active site area. Two‐dimensional MXene forms nanocomposites by easily combining them with 0D (quantum dots), 1D (tube and wire), 2D (plane and sheet), and 3D (particle and lamellar ...
Latiful Kabir +7 more
wiley +1 more source

