Results 241 to 250 of about 3,157,454 (357)

Formal verification of fault-tolerant software design: the CSP approach

, 2004
W.L. Yeung, Steve Schneider
openalex   +2 more sources

Antimicrobial Titanium–Copper Alloys: The Role of Microstructure in Arc‐Melted Compositions

Advanced Engineering Materials, EarlyView.
Copper‐containing titanium alloys show promise in combating orthopedic implant infections. This study explores the influence of heat treatment on Ti‐11.5Cu and Ti‐33Cu alloys, revealing that larger Ti2Cu precipitates (≈5 μm) enhance antimicrobial efficacy through increased surface contact. Results suggest contact sterilization is the primary mechanism,
Daisy Rabbitt, Paraic O’Kelly, Victor M. Villapún, Luke N. Carter, Alexander J. Knowles, Sophie C. Cox   +5 more
wiley   +1 more source

Comparison of the review models and regulatory timelines of seven countries participating in the ECOWAS-MRH initiative: identifying opportunities for improvement. [PDF]

Front Med (Lausanne)
Owusu-Asante M, Darko DM, Seaneke S, Nacoulma A, Traore OIO, Adeyeye MC, Akinyemi A, Assane C, Clamoungou CÉKM, Ndao OK, Kande RN, Komeh J, Mansaray S, Lamboni D, Agba M, Salek S, Walker S.   +16 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

Security verification framework for NDN access control. [PDF]

Sci Rep
Fei Y, Yin J, Yan L.
europepmc   +1 more source

How the design of JML accommodates both runtime assertion checking and formal verification

, 2004
Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok   +4 more
openalex   +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

Rule-based design verification for mechanical parts with dynamic rule subset selection. [PDF]

Sci Rep
Lee H, Yeo C, Lim S, Kim BC, Bae KC, Mun D.   +5 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

Ultrahypofractionated radiotherapy for localised prostate cancer: The impact of daily MRI-guided adaptive radiotherapy on delivered dose. [PDF]

Clin Transl Radiat Oncol
Alexander SE, Mitchell RA, Dunlop A, Herbert T, Morrison K, Nartey J, Oelfke U, McNair HA, Tree AC.   +8 more
europepmc   +1 more source