Results 221 to 230 of about 3,157,454 (357)

A blockchain-based verifiable CP-ABE scheme for medical data privacy protection. [PDF]

Sci Rep
Zhao L, Dong G, Yuan H.
europepmc   +1 more source

A Method for the Formal Verification of Human-interactive Systems. [PDF]

Proc Hum Factors Ergon Soc Annu Meet, 2009
Bolton ML, Bass EJ.
europepmc   +1 more source

Influence of a Standard Heat Treatment on the Microstructure and Properties of Inconel X‐750 Produced by Laser Powder Bed Fusion

Advanced Engineering Materials, EarlyView.
Ni‐base superalloys produced using additive manufacturing (AM) have a different response to heat treatments when compared to their conventional counterparts. Due to such unpredictability, various alloys with industrial interest are currently overlooked in most prior AM research.
Guilherme Maziero Volpato, Adriano de Souza Pinto Pereira, Steffen Neumeier, Dachamir Hotza, Mathias Göken, Ulrich Tetzlaff, Márcio Celso Fredel   +6 more
wiley   +1 more source

Lightweight authentication for IoT devices (LAID) in sustainable smart cities. [PDF]

Sci Rep
Khalique A, Siddiqui F, Ahad MA, Hussain I.   +3 more
europepmc   +1 more source

Quality Enhancement of Laser Powder‐Bed Fusion Parts by Acoustically Assisted Additive Manufacturing by Laser Powder‐Bed Fusion and its Application to Lattice Structures

Advanced Engineering Materials, EarlyView.
Additive manufacturing technologies like laser powder‐bed fusion offer great design freedom and individualization of products down to a batch size of one. However, parts fabricated with this technology suffer from poor quality. Acoustic assistance during the build process can minimize these drawbacks.
Oliver Maurer, Dirk Bähre
wiley   +1 more source

Evaluation of university student education management effect based on data augmentation and transfer learning for remote sensing applications. [PDF]

Sci Rep
Jie C, Min H, Bin C, Ziwen S.
europepmc   +1 more source

Planning for change in a formal verification of the raft consensus protocol

Certified Programs and Proofs, 2016
Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, T. Anderson   +5 more
semanticscholar   +1 more source

First‐Principles Modeling of Solid Solution Softening and Hardening Effects in Al–Mg–Zr–Si Aluminum Alloys

Advanced Engineering Materials, EarlyView.
The role of various alloying elements in face‐centered cubic aluminum on the barrier of a Shockley partial dislocation during its motion is presented. The study aims to understand how alloying atoms such as Mg, Si, and Zr affect the energy landscape for dislocation motion, thus influencing the solid solution hardening and softening in aluminum, which ...
Inna Plyushchay, Zhengqing Wei, Nebahat Bulut, Sibylle Gemming   +3 more
wiley   +1 more source

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification. [PDF]

Sensors (Basel)
Deng L, Zhong Q, Song J, Lei H, Li W.
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