Results 161 to 170 of about 21,783,491 (356)

Symbolic model checking

open access: bronze, 1996
Emma L. Clarke   +3 more
openalex   +1 more source

Amide‐Linked Local Anesthetics Alter Tumor Biology in a Complex Human Tissue Model of Non‐Small Cell Lung Adenocarcinoma

open access: yesAdvanced Biology, EarlyView.
Amide local anesthetics (LA) affect tumor burden in various preclinical studies, possibly via their anti‐inflammatory properties. However, a translation into clinical evidence is still lacking. The current study demonstrates that LA ‐ even at clinically relevant concentrations – exert a strong anti‐tumoral effect in a complex ex vivo model patient ...
Juliane Krömer   +8 more
wiley   +1 more source

Comparative Wear and Friction Analysis of Sliding Surface Materials for Hydrostatic Bearing under Oil Supply Failure Conditions

open access: yesAdvanced Engineering Materials, EarlyView.
Hydrostatic bearings excel in high‐precision applications, but their performance hinges on a continuous external supply. This study evaluates various material combinations for sliding surfaces to mitigate damage during supply failures or misalignment and to discover the most effective materials identified for enhancing the reliability and efficiency of
Michal Michalec   +6 more
wiley   +1 more source

Model-Checking a Secure Group Communication Protocol: A Case Study [PDF]

open access: bronze, 1999
Alan J. Hu   +3 more
openalex   +1 more source

Consolidate Overview of Ribonucleic Acid Molecular Dynamics: From Molecular Movements to Material Innovations

open access: yesAdvanced Engineering Materials, EarlyView.
Molecular dynamics simulations are advancing the study of ribonucleic acid (RNA) and RNA‐conjugated molecules. These developments include improvements in force fields, long‐timescale dynamics, and coarse‐grained models, addressing limitations and refining methods.
Kanchan Yadav, Iksoo Jang, Jong Bum Lee
wiley   +1 more source

Influence of Temperature on Scratch and Wear Properties of Technical Thermoplastics: Implications for Material Selection

open access: yesAdvanced Engineering Materials, EarlyView.
The share of technical thermoplastics is expected to grow further in the e‐mobility segment. In this study, a detailed temperature‐based tribological characterization of technical thermoplastics is performed. The tribological properties are discussed in terms of the dynamic mechanical properties of polymers at different ambient temperatures. A proof of
Harsha Raghuram   +2 more
wiley   +1 more source

On-the-fly model checking of RCTL formulas

open access: bronze, 1998
Ilan Beer   +2 more
openalex   +1 more source

CALPHAD‐Guided Prediction and Interpretation of Phase Formation in Ta–Mo–Cr–Ti–Al Refractory High‐Entropy Alloys

open access: yesAdvanced Engineering Materials, EarlyView.
This study designs Ta–Mo–Cr–Ti–Al refractory high‐entropy alloys with a disordered body‐centered‐cubic A2 crystal structure aiming for improved ductility, lower density, and oxidation resistance. Four alloy compositions are identified by thermodynamic calculations.
Kateryna Khanchych   +7 more
wiley   +1 more source

Home - About - Disclaimer - Privacy