Results 111 to 120 of about 9,213 (262)
Tailoring Functional Properties of Ti–Ni–Cu Shape Memory Alloy Thin Films for MEMS Actuators
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 +6 more
wiley +1 more source
Creep‐Induced Microstructural Evolution in an A2‐B2 Superalloy
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 +10 more
wiley +1 more source
SPPsolver: a SAT-based algorithm for solving any stable paths problem correctly
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 +5 more
doaj +1 more source
Prover - Toward More Efficient Formal Verification of Masking in Probing Model
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
PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley +1 more source
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
Do not let thermal drift and instrument artifacts deceive high‐temperature nanoindentation results. We compare classical Oliver–Pharr and automatic image recognition analyses across steels and a Ni alloy to quantify these effects. Accounting for artifacts reveals systematic softening with temperature, while Cr and Ni additions boost resistance ...
Velislava Yonkova +2 more
wiley +1 more source
The present study investigates recycling of NiTi shape memory alloys via vacuum induction melting. An ingot was synthesized from elemental Ni and Ti and subjected to three subsequent remelting cycles. Remelting increases process durations and impurity levels and adversely affects microstructures and functional properties.
Sakia Sophia Noorzayee +7 more
wiley +1 more source
A novel workflow for investigating hydride vapor phase epitaxy for GaN bulk crystal growth is proposed. It combines Design of experiments (DoE) with physical simulations of mass transport and crystal growth kinetics, serving as an intermediate step between DoE and experiments.
J. Tomkovič +7 more
wiley +1 more source
Measuring evidence-based clinical guideline compliance in the paediatric intensive care unit
Background Evidence-based clinical care guidelines improve medical treatment by reducing error, improving outcomes and possibly lowering healthcare costs.
Dori-Ann Martin +4 more
doaj +1 more source

