Symbolic Representations and Analysis of Large Probabilistic Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-24611-4_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems

2007English

Learning Portable Symbolic Representations

2018English

Probabilistic Transfer Matrices in Symbolic Reliability Analysis of Logic Circuits

ACM Transactions on Design Automation of Electronic Systems
Computer Science ApplicationsElectronic EngineeringComputer GraphicsElectricalComputer-Aided Design
2008English

Children’s Non-Symbolic and Symbolic Numerical Representations and Their Associations With Mathematical Ability

Frontiers in Psychology
Psychology
2018English

Symbolic Conditioning of Arrays in Probabilistic Programs

Proceedings of the ACM on Programming Languages
2017English

Children’s Mapping Between Symbolic and Nonsymbolic Representations of Number

Journal of Experimental Child Psychology
DevelopmentalExperimentalEducational PsychologyCognitive Psychology
2009English

Symbolic ZBDD Representations for Mechanical Assembly Sequences

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2012English

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking

English

Probabilistic Analysis of Electronic Systems via Adaptive Hierarchical Interpolation

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy