Results 251 to 260 of about 3,157,454 (357)

Finite Element Modeling of Residual Stress Formation during Nanosecond Laser Ablation of Stainless Steel

Advanced Engineering Materials, EarlyView.
This article investigates residual stress formation during single‐spot nanosecond laser ablation of stainless steel. Experimental validation and a parametric study using finite element simulations are employed to analyze thermal effects, ablation dynamics, and stress evolution.
Yutaka Tsumura, Anna Paradowska, Andrei V. Rode, Steve Madden, Ludovic Rapp, Meera Mohan, Alison Wain, Gwénaëlle Proust   +7 more
wiley   +1 more source

Post-Quantum Secure Multi-Factor Authentication Protocol for Multi-Server Architecture. [PDF]

Entropy (Basel)
Wen Y, Su Y, Li W.
europepmc   +1 more source

VeriAgent: an Approach to Integrating UML and Formal Verification Tools*1

, 2004
Edjard Mota
openalex   +1 more source

CeO2 Nanostructures Prepared by Selective Water‐Soluble Sr3Al2O6(SAO)‐CeO2 Vertically Aligned Nanocomposite

Advanced Engineering Materials, EarlyView.
Highly textured CeO2 nanowires and nanoporous thin films are successfully synthesized by water dissolution of Sr3Al2O6 (SAO) from the SAO:CeO2 vertically aligned nanocomposites (VANs). The morphology of CeO2 can be varied by VAN composition. It demonstrates a new method for synthesizing nanostructured CeO2 without chemical etching or complex micro ...
Benson Kunhung Tsai, Jialong Huang, Jianan Shen, Yizhi Zhang, James P. Barnard, Claire A. Mihalko, Abhijeet Choudhury, Shiyu Zhou, Haiyan Wang   +8 more
wiley   +1 more source

Construction and validation of nomogram model for endoscopic submucosal dissection in patients with early colorectal cancer based on intestinal microflora and clinical pathological parameters. [PDF]

Front Med (Lausanne)
Han W, Liu Y, Zhang B, Liu J, Sun M, Zhuo H.   +5 more
europepmc   +1 more source

Formal verification of synchronous digital designs, based on symbolic simulation

, 2001
P. Georgelin
openalex   +1 more source

A case study in integrating formal verification tools using the OMDoc standard for mathematical documents

, 2004
Jin Xiao
openalex   +2 more sources

Optimized Strategy for Fabricating High‐Aspect‐Ratio Periodic Structures Over Large Areas Using ps‐Direct Laser Interference Patterning

Advanced Engineering Materials, EarlyView.
Picosecond direct laser interference patterning (DLIP) enables precise microstructure fabrication on stainless steel. Using a multiscan approach, high‐aspect‐ratio patterns are achieved. Fluence influences structure growth and homogeneity, with smaller periods yielding better uniformity.
Fabian Ränke, Marcelo Sallese, Marcos Soldera, Ignacio Tabares, Flavio Soldera, Andrés Fabián Lasagni   +5 more
wiley   +1 more source

Sol–Gel Synthesis of Ca2.5Ag0.3Sm0.2Co4O9 Semiconducting Materials for Thermoelectric Applications in Aerospace Systems

Advanced Engineering Materials, EarlyView.
Ca2.5Ag0.3Sm0.2Co4O9 semiconductor materials are synthesized and produced in this study using the sol–gel and cold pressing techniques for thermoelectric generator applications. As template samples are added, the Seebeck coefficient and power factor values rise, peaking at 800 °C for Ca2.5Ag0.3Sm0.2Co4O9 at 274.47 μV K−1 and 0.58 mW mK−2, respectively.
Enes Kilinc, Fatih Uysal, Mucahit Abdullah Sari, Huseyin Kurt, Erdal Celik   +4 more
wiley   +1 more source

Titanium‐S23: A New Alloy with Ultra‐High Tensile Toughness Directly from the Solid‐State Processing of Recycled Ti–6Al–4V and Ti–5Al–5Mo–5V–3Cr Powders using Field Assisted Sintering Technology

Advanced Engineering Materials, EarlyView.
This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister, Gavin J. Baxter, Martin Jackson   +2 more
wiley   +1 more source