Results 191 to 200 of about 1,133,638 (315)

Temporal Logic Model Checking [PDF]

, 1997

openalex   +1 more source

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

Advanced 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

An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis. [PDF]

Sci Rep
Varriano G, Nardone V, Brunese MC, Bruno M, Santone A, Brunese L, Zappia M.   +6 more
europepmc   +1 more source

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]

Sensors (Basel), 2020
Chouhan AP, Banda G.
europepmc   +1 more source

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

Advanced 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, Thomas Koch, Vasiliki-Maria Archodoulaki   +2 more
wiley   +1 more source

Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC. [PDF]

Stat Biosci
Yang Z, Liang H, Liu H, Barth S, Byrne M, Andersen E, Bhandaru V, Castel A.   +7 more
europepmc   +1 more source

Semantic analysis of concurrent ML by abstract model-checking

, 1997
Régis Cridlig
openalex   +1 more source

Femtosecond Single‐ and Double‐Pulse Fabrication of Periodic Nanostructures on Stainless Steel for Surface‐Enhanced Raman Spectroscopy

Advanced Engineering Materials, EarlyView.
Periodic submicron features are fabricated on 304 stainless steel using single and double femtosecond laser pulses. By adjusting polarization, fluence, and inter‐pulse delay, 1D and 2D nanostructures are formed. Enhanced hydrophobicity and dense surface‐enhanced Raman spectroscopy hotspots enable analyte detection down to 10−10 M with good ...
Balaji Baskar, Atiqul Islam Ahad, Carla Berrospe‐Rodriguez, Guillermo Aguilar   +3 more
wiley   +1 more source

Global guidance for local generalization in model checking. [PDF]

Form Methods Syst Des
Vediramana Krishnan HG, Chen Y, Shoham S, Gurfinkel A.   +3 more
europepmc   +1 more source