Results 261 to 270 of about 3,649,820 (385)

Identity-based linear homomorphic signature for a restricted combiners' group for e-commerce. [PDF]

PeerJ Comput Sci
Tian Y, Song W, Zhou T, Hu B, Zhou X, Ding Y, Zhong W, Yang X.   +7 more
europepmc   +1 more source

Mechanical Behavior and Microstructural Changes Associated with Tensile Deformation above the Martensite Start Temperature during Quenching and Subsequent Partitioning of a Low‐Alloy 37SiB6 Steel

Advanced Engineering Materials, EarlyView.
A new experimental setup, incorporating digital image correlation and infrared thermography in combination with inductive‐conductive heating for precise temperature control, is used to analyze the mechanical behavior and microstructural changes of sheet metal under complex thermomechanical test conditions that represent quench and partitioning ...
Christian Illgen, Benjamin Bohne, Sven Winter, Marcus Böhme, Martin F.-X. Wagner   +4 more
wiley   +1 more source

A Systematic Review on the Applications of Uppaal. [PDF]

Sensors (Basel)
Grobelna I, Gajewski K, Karatkevich A.
europepmc   +1 more source

Development of Aluminum Scandium Alloys for Hydrogen Storage Valves

Advanced Engineering Materials, EarlyView.
Different aluminum alloy series and various aluminum‐scandium alloys with differing Sc and Zr levels are evaluated for use in hydrogen storage valve production. The alloys undergo hardness testing, optical microscopy, and tensile strength analysis, with hardening behavior studied under varying conditions.
Francisco García‐Moreno, Tillmann Robert Neu, Markus Eberl, Paul Hans Kamm, Hans‐Wolfgang Seeliger   +4 more
wiley   +1 more source

Model-based partition scheduling of integrated modular avionics systems using genetic algorithm. [PDF]

Sci Rep
Chen J, Zhai Z, Han P, Huang M.
europepmc   +1 more source

Advancing Wildfire‐Retardant Materials: Engineering Strategies for Direct and Indirect Suppression

Advanced Engineering Materials, EarlyView.
Here, the evolution, ecological impact, and performance of current fire‐retardant materials and suppression strategies are reviewed, offering an engineering perspective to address existing challenges and propose pathways for the development of more effective, scalable, and sustainable solutions to meet the demands of a changing climate. Wildfires cause
Changxin Dong, Samya Sen, Athena Kolli, Stewart G. Wilson, Eric Andrew Appel   +4 more
wiley   +1 more source

Continuous Authentication in Resource-Constrained Devices via Biometric and Environmental Fusion. [PDF]

Sensors (Basel)
Zeeshan N, Bakyt M, Moradpoor N, La Spada L.   +3 more
europepmc   +1 more source

Residual Stress States in Microstructurally Graded PBF–LB/M Austenitic Steel Components

Advanced Engineering Materials, EarlyView.
This study examines microstructurally graded 316L rectangular tube profiles fabricated via PBF–LB/M using a dual‐laser system. A 1 kW top‐hat and a 400 W Gaussian laser create distinct grain sizes and crystallographic texture. Mechanical properties are linked to microstructural evolution driven by processing conditions.
Nico Möller, Florian Loebich, Thomas Wegener, Julia Richter, Jens Gibmeier, Thomas Niendorf   +5 more
wiley   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Formal Verification of Automotive Embedded Software

FME Workshop on Formal Methods in Software Engineering, 2018
Vassil Todorov, Frédéric Boulanger, Safouan Taha   +2 more
semanticscholar   +1 more source