Results 251 to 260 of about 3,649,820 (385)

A formal specification and verification framework for Time Warp-based parallel simulation

, 2002
Peter W. Frey, R. Radhakrishnan, H.W. Carter, Philip A. Wilsey, Perry Alexander   +4 more
openalex   +2 more sources

Seeking validation in the digital age: The impact of validation seeking on self-image and internalized stigma among self- vs. clinically diagnosed individuals on r/ADHD. [PDF]

PLoS One
Zhang X, Oh YJ, Zhang Y, Zhu J.
europepmc   +1 more source

Tribology of ZrC Coatings and Spherical Tips Acquired with Extraordinarily Stiff, Metal Atomic Force Microscopy Probes

Advanced Engineering Materials, EarlyView.
In this research, ZrC coatings are evaluated against various counterprobes at the microscale using novel super‐stiff atomic force microscopy cantilevers. The chemical composition of the coating is shown to be an important factor influencing coating hardness and Young's modulus, while surface roughness, counterprobe hardness, and surface energy are the ...
Piotr Jenczyk, Marcin Michałowski, Bogdan Warcholiński, Michał Milczarek, Adam Gilewicz   +4 more
wiley   +1 more source

Using Interface Refinement to Integrate Formal Verification into the Design Cycle [PDF]

, 2004
Jacob Chang, Sergey Berezin, David L. Dill   +2 more
openalex   +1 more source

Evaluating Transport Layer Security 1.3 Optimization Strategies for 5G Cross-Border Roaming: A Comprehensive Security and Performance Analysis. [PDF]

Sensors (Basel)
Lastre JK, Ko Y, Kwon H, You I.
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

Hybrid compton-PET imaging for ion-range verification: a preclinical study for proton, helium, and carbon therapy at HIT. [PDF]

Eur Phys J Plus
Balibrea-Correa J, Lerendegui-Marco J, Ladarescu I, Morell S, Guerrero C, Rodríguez-González T, Jiménez-Ramos MDC, Quesada JM, Bauer J, Brons S, Domingo-Pardo C.   +10 more
europepmc   +1 more source

Graphene–Catechol Dental Sealant: Antibacterial and Mechanical Evaluation

Advanced Engineering Materials, EarlyView.
This study presents dental sealants made with graphene and L‐DOPA‐modified graphene. L‐DOPA enhances graphene dispersion, improving sealant properties. The material shows antibacterial activity against S. mutans and L. casei, along with high strength and elasticity.
Renata Pereira, Flávio H. B. Aguiar, Rodrigo B. E. Lins, Maria C. A. J. Mainairdi, Bruna G. Silva, Marcela A. Ferretti, Klaus Rischka   +6 more
wiley   +1 more source

Monitoring and predicting cotton leaf diseases using deep learning approaches and mathematical models. [PDF]

Sci Rep
Rehman A, Akhtar N, Alhazmi OH.
europepmc   +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