Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021

Quantitative Verification of Stochastic Regular Expressions

Sinem Getir Yaman, Esteban Pavese, Lars Grunske

Fundamenta Informaticae

Retricted access

Research article

First published 2025-10

Verification of quantitative temporal properties in RealTime-DEVS

Ariel González, Maximiliano Cristiá, Carlos Luna

SIMULATION

Free access

Abstract

First published 1985-10

Quantitative histochemical determination of muscle enzymes: biochemical verification.

T P Martin, A C Vailas, J B Durivage [...]

Journal of Histochemistry & Cytochemistry

Retricted access

Research article

First published 2009-12

Quantitative Real-Time Polymerase Chain Reaction for the Verification of Genomic Imbalances Detected by Microarray-Based Comparative Genomic Hybridization

Shihui Yu, Matthew Kielt, Andrew L. Stegner [...]

Genetic Testing and Molecular Biomarkers

Retricted access

Research article

First published 2023-12-02

Runtime verification of self-adaptive multi-agent system using probabilistic timed automata

Yongan Mu, Wei Liu, Tao Lu [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2014-2

Quantile Acoustic Vectors vs. MFCC Applied to Speaker Verification

Mayorga-Ortiz Pedro, Olguín-Espinoza J. Martín, González-Arriaga O. Hugo [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2015-8

On Promptness in Parity Games * †

Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Fundamenta Informaticae

Free access

Research article

First published 2018-11

Development of a rapid liquid chromatography tandem mass spectrometry method for the quantitation of serum dexamethasone and its clinical verification

James M Hawley, Laura J Owen, Miguel Debono [...]

Annals of Clinical Biochemistry: International Journal of Laboratory Medicine

Retricted access

Research article

First published 2023-10

A quantitative simulation and verification of the sustainable and low-carbon development efficiency curves for Beijing–Tianjin–Hebei urban agglomeration

Peng Zeng, Jingqiu Huang, Tingting Tang [...]

Indoor and Built Environment

Retricted access

Research article

First published 2011-12-23

On bounding problems of quantitative information flow

Hirotoshi Yasuoka, Tachio Terauchi

Journal of Computer Security

Search results