Languages
Pages
Legal
Explore all categories to find your favorite topic
Tutorial: Probabilistic Model Checking Christel Baier Technische Universität Dresden 1 373 Probability elsewhere 2373 Probability elsewhere • randomized algorithms Rabin…
The markovchain Package: A Package for Easily Handling Discrete Markov Chains in R Giorgio Alfredo Spedicato, Tae Seung Kang, Sai Bhargav Yalamanchi and Deepak Yadav Abstract…
The markovchain Package: A Package for Easily Handling Discrete Markov Chains in R Giorgio Alfredo Spedicato, Tae Seung Kang, Sai Bhargav Yalamanchi, Deepak Yadav, Ignacio…
Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes Reid G. Simmons (initial work performed at HTC, Summer 2001) Carnegie Mellon Introduction Goal: Verify…
Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes Introduction Verify properties of discrete event systems Probabilistic and real-time properties Properties…
Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes Reid G. Simmons (initial work performed at HTC, Summer 2001) Carnegie Mellon Introduction Goal: Verify…
Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes The Problem Given a model of a discrete event system, check if certain properties hold The model…
Probabilistic Analysis of Discrete Optimization Problems DISSERTATION zur Erlangung des Grades Doktor der Ingenieurwissenschaften Dr.-Ing. der Naturwissenschaftlich-Technischen…
CONTRIBUTED RESEARCH ARTICLE 84 Discrete Time Markov Chains with R by Giorgio Alfredo Spedicato Abstract The markovchain package aims to provide S4 classes and methods to…
The markovchain Package: A Package for Easily Handling Discrete Markov Chains in R Giorgio Alfredo Spedicato, Tae Seung Kang, and Sai Bhargav Yalamanchi Abstract The markovchain…
SANDIA REPORT SAND2012-9346 Unlimited Release Printed: October 2012 Discrete Dynamic Probabilistic Risk Assessment Model Development and Application J. LaChance, J. Cardoni,…
by Joost Kraaijeveld Supervisor: Prof. dr. Peter Lucas Summer of 2011 Nijmegen The Netherlands Abstract This thesis answers the research question whether it is possible to
Microsoft Word - final2.docModelling Lúðvík Guðjónsson Submitted by Lúðvík Guðjónsson to the University of Skövde
Contributions to Probabilistic Discrete Choice P O Lindberg Department of Transport Science KTH Doctoral Thesis in Transport Science With specialization in Transport and…
Discrete Residual Flow for Probabilistic Pedestrian Behavior Prediction Ajay Jain∗3†, Sergio Casas∗12, Renjie Liao∗12, Yuwen Xiong∗12, Song Feng1, Sean Segal12,…
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling Håkan L. S. Younes Reid G. Simmons Carnegie Mellon University Introduction Verify properties…
Slide 1 Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes Slide 2 The Problem Given a model of a discrete event system, check if certain properties…
Probabilistic Verification of Discrete Event Systems Håkan L. S. Younes Introduction Verify properties of discrete event systems Probabilistic and real-time properties Properties…
Some Essentials of Probability for Probabilistic Machine Learning Piyush Rai IIT Kanpur Probabilistic Machine Learning CS772A Jan 4 2016 Probabilistic Machine Learning CS772A…
The markovchain Package: A Package for Easily Handling Discrete Markov Chains in RHandling Discrete Markov Chains in R Giorgio Alfredo Spedicato, Tae Seung Kang, and Sai