Results 211 to 220 of about 1,501,622 (351)

Formal sequential equivalence checking of digital systems by symbolic simulation

, 2001
Gerd Ritter
openalex   +1 more source

Acyclicity of Preferences, Nash Equilibria, and Subgame Perfect Equilibria: a Formal and Constructive Equivalence

, 2007
Stéphane Le Roux
openalex   +2 more sources

High‐Temperature Oxidation of the CrFeNi Medium‐Entropy Alloy

Advanced Engineering Materials, EarlyView.
The oxidation behavior of equiatomic CrFeNi MEA is a key issue that determines this material's suitability for high‐temperature application. The understanding of long‐term behavior is even more crucial than short‐term corrosion effects. The alloy is exposed to synthetic air at 1000, 1050, and 1100 °C for 24, 100, and 1000 h and systematically compared ...
Anna Maria Manzoni, Wencke Mohring, Mike Schneider, Guillaume Laplanche, Sebastian Peter Hagen, Christiane Stephan‐Scherb   +5 more
wiley   +1 more source

Efficacy and Safety of Combined Topical Lidocaine and Tetracaine Cream for Facial Fractional Laser Resurfacing Compared With Its Reference Product in Chinese Adults: A Multicenter, Randomized, Double-Blind Phase 3 Study. [PDF]

J Cosmet Dermatol
Yu W, Luo Z, Zhao Y, Hu Z, Zhang A, Li Y, Tao J, Chen X, Wang H, Chen L, Zhu H, Lin X.   +11 more
europepmc   +1 more source

Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation

, 2007
Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange   +4 more
openalex   +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

Translation and validation of the polish version of the self-reported postural awareness scale in an adult sample. [PDF]

Front Psychol
Jankowicz-Szymańska A, Wódka K, Grochowska A, Stefanowicz-Kocoł A, Bilc MI, Anheyer D, Kozioł U, Cramer H, Sagan A.   +8 more
europepmc   +1 more source

Combining Metal Additive Manufacturing and Casting Technology: High Performance Cooling Channels for Electric Powertrain Components

Advanced Engineering Materials, EarlyView.
When realized as inserts in high‐pressure die casting, aluminum cooling channels for electric powertrain components and similar applications typically require a stabilizing filler to survive the process. The present study investigates relinquishing this filler using additively manufactured inserts promising performance improvements.
Dirk Lehmhus, Gefei Li, Martin Czekalla, Leonardo Fernandes Gomes, Christoph Pille, Hermann Pleteit, Adrian Struss, Keno Toussaint, Andre Irretier, Münip Dalgic   +9 more
wiley   +1 more source

Resilience measurement for environmental shocks and stressors: scale development and psychometric assessment for coastal urban informal settlements in Fiji and Indonesia. [PDF]

BMC Glob Public Health
Oza HH, Salinger AP, Taruc R, Tela A, Barker SF, Leder K, Freeman MC, Clasen T, Sinharoy SS.   +8 more
europepmc   +1 more source

W‐Based Thin Film Metallic Glasses Doped with Ni, Zr, and B for Industrial Applications

Advanced Engineering Materials, EarlyView.
This work is the first to deal with a comprehensive comparison of two metallic glass systems, W–Zr–B and W–Ni–B, in terms of their suitability for specific industrial applications. Their mechanical and tribological properties are compared and discussed in combination with structural homogeneity on different types of technically relevant substrates and ...
Zbynek Studeny, Antonin Kubicek, Vjaceslav Sochora, Zdenek Pokorny, Stanislava Debnárová, Pavel Soucek   +5 more
wiley   +1 more source