Probabilistic -Calculus and Quantitative Program Analysis

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exi008
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Probabilistic Asynchronous Π-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Probabilistic Modal μ-Calculus With Independent Product

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Probabilistic Temporal Logics via the Modal Mu-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Quantitative Analysis of Breast Cancer Diagnosis Using a Probabilistic Modelling Approach

Computers in Biology and Medicine
Computer Science ApplicationsHealth Informatics
2018English

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Novel Approach for Improved Tractography and Quantitative Analysis of Probabilistic Fibre Tracking Curves

Medical Image Analysis
Nuclear MedicineComputer GraphicsPattern RecognitionUltrasound TechnologyRadiologicalHealth InformaticsComputer VisionRadiologyComputer-Aided DesignImaging
2012English

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy