Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by A.I. Bazin

Gait Verification Using Probabilistic Methods

2005English

Related publications

Probabilistic Verification of BGP Convergence

2011English

Incremental Runtime Verification of Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Improved Probabilistic Verification by Hash Compaction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Quantitative Examples of Safety Assessment Using Logical-Probabilistic Methods

International Journal of Risk Assessment and Management
StatisticsProbabilityBusinessUncertaintyInternational ManagementManagement ScienceOperations Research
2018English

Sub-Word Speaker Verification Using Data Fusion Methods

English

Consideration of Uncertainties in LCA for Infrastructure Using Probabilistic Methods

Structure and Infrastructure Engineering
BuildingGeotechnical EngineeringRiskMechanical EngineeringCivilOcean EngineeringEngineering GeologyConstructionSafetyStructural EngineeringReliabilityQuality
2019English

Speaker Verification With a Priori Threshold Determination Using Kernel-Based Probabilistic Neural Networks

2002English

Probabilistic Structured Query Methods

2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy