Results 101 to 110 of about 248 (214)

Karl Popper and the Mechanisms of Hydrogen Embrittlement

Advanced Engineering Materials, EarlyView.
Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley   +1 more source

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

Advanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch, Maximilian Holland, Klaus Drechsler, Johannes Schilp   +3 more
wiley   +1 more source

Symbolic Regression and Multi‐Objective Optimization of the Flory–Huggins Interaction Parameter for Hydrogels

Advanced Engineering Materials, EarlyView.
We develop a data‐driven method to derive the mathematical expressions of the Flory–Huggins interaction parameter χ for the swelling behavior of temperature–responsive hydrogels. Starting from initial assumptions of χ, our workflow combines Bayesian optimization, Flory–Rehner theory, and symbolic regression to generate candidate χ expressions.
Yawen Wang, Adrian Ehrenhofer, Thomas Wallmersperger   +2 more
wiley   +1 more source

SPPsolver: a SAT-based algorithm for solving any stable paths problem correctly

Cybersecurity
The Stable Paths Problem (SPP) is a widely adopted model for analyzing the convergence of Border Gateway Protocol (BGP). Solving SPP correctly is of great significance for determining BGP convergence.
Wenwu Yan, Bo Hu, Weiqing Huang, Chao Ma, Xiaobin Tian, Min Yu   +5 more
doaj   +1 more source

Prover - Toward More Efficient Formal Verification of Masking in Probing Model

Transactions on Cryptographic Hardware and Embedded Systems
In recent years, formal verification has emerged as a crucial method for assessing security against Side-Channel attacks of masked implementations, owing to its remarkable versatility and high degree of automation.
Feng Zhou, Hua Chen, Limin Fan
doaj   +1 more source

Microstructure Evolution of a VMnFeCoNi High‐Entropy Alloy After Synthesis, Swaging, and Annealing

Advanced Engineering Materials, EarlyView.
The synthesis and processing (rotary swaging and annealing) of the novel VMnFeCoNi alloy is investigated, alongside the estimation of the grain size effect on hardness. Analysis of a wide grain size range of recrystallized microstructures (12–210 µm) reveals a low annealing twin density.
Aditya Srinivasan Tirunilai, Zeki Ayrildi, Buse Şen, Maik Rajkowski, Mathias Redondo Garcia, Markus Stricker, Guillaume Laplanche   +6 more
wiley   +1 more source

Removing $$\delta $$ δ -dependence in minimal interpretable model learning: distribution conditions and structural parameters

Journal of King Saud University: Computer and Information Sciences
Learning minimal interpretable models (e.g., decision trees, decision sets, and binary decision diagrams) is computationally challenging, yet increasingly important in high-stakes settings.
Zhigao Huang, Shiyan Zheng, Quanfa Li
doaj   +1 more source

Fatigue Crack Initiation and Growth in Nanocrystalline Ni at Multiple Length‐Scales

Advanced Engineering Materials, EarlyView.
Overview of miniaturized in situ SEM fatigue setup and resultant fatigue crack growth data for nanocrystalline Ni. The presented study focuses on the analysis of fatigue crack growth rate (FCGR) in focused ion beam‐notched microcantilevers prepared from nanocrystalline (NC) Ni as a model material.
Igor Moravcik, Alexander Jelinek, Markus Alfreider, Jutta Luksch, Anton Hohenwarter, Florian Schaefer, Christian Motz, Daniel Kiener   +7 more
wiley   +1 more source

Tailoring Functional Properties of Ti–Ni–Cu Shape Memory Alloy Thin Films for MEMS Actuators

Advanced Engineering Materials, EarlyView.
A comprehensive study of critical parameters required to develop well‐performing Ti–Ni–Cu thin film shape memory alloy microactuators is provided. Materials science and device integration aspects are integrated by addressing structural and physical relationships using complementary characterization techniques as well as a practical fabrication solution
Elaheh Akbarnejad, Aleksander Kostka, Gowtham Arivanandhan, Yujiao Li, Alan Savan, Manfred Kohl, Alfred Ludwig   +6 more
wiley   +1 more source

Creep‐Induced Microstructural Evolution in an A2‐B2 Superalloy

Advanced Engineering Materials, EarlyView.
A 27.3Ta‐27.3Mo‐27.3Ti‐8Cr‐10Al (at.%) refractory high‐entropy alloy with precipitation‐strengthened A2‐B2 microstructure was studied by creep tests at 1030°C, which demonstrate a transition in deformation mechanisms in the range of 100–150 MPa applied stress. This is associated with changes in dislocation–precipitate interactions. Relevant deformation
Liu Yang, Aparajita Pramanik, Sandipan Sen, Shubhashis Dixit, Marcel Muench, R. J. Vikram, Daniel Schliephake, Yolita M. Eggeler, Ankur Chauhan, Martin Heilmaier, Alexander Kauffmann   +10 more
wiley   +1 more source