Formalized probability theory and applications using theorem proving

"This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"--

Saved in:
Bibliographic Details
Main Author: Hasan, Osman, 1975-
Other Authors: Tahar, Sofiène, 1966-
Format: eBook
Language: English
Published: Hershey, PA : Information Science Reference, an imprint of IGI Global, [2015]
Subjects:
Computer systems > Evaluation.
Automatic theorem proving.
Stochastic analysis > Data processing.
elektronické knihy
electronic books
ISBN: 9781466683174
1466683171
9781466683150
9781466683167
1466683163
9781680157338
1680157337
1466683155
Physical Description: 1 online resource (xii, 298 pages)

Cover

Table of contents

LEADER 03499cam a2200481 i 4500
001 kn-ocn908145821
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
008 150225s2015 paua ob 001 0 eng
040 |a DLC  |b eng  |e rda  |e pn  |c DLC  |d N$T  |d UIU  |d YDXCP  |d UMI  |d IDEBK  |d VT2  |d KNOVL  |d ZCU  |d UAB  |d OCLCF  |d CEF  |d WYU  |d OL$  |d IGIGL  |d NFS  |d E7B  |d EBLCP  |d COA  |d OCLCO  |d OCLCL  |d SXB  |d OCLCQ 
020 |a 9781466683174  |q ebook 
020 |a 1466683171 
020 |z 9781466683150  |q hardcover 
020 |a 9781466683167  |q (electronic bk.) 
020 |a 1466683163  |q (electronic bk.) 
020 |a 9781680157338  |q (electronic bk.) 
020 |a 1680157337  |q (electronic bk.) 
020 |z 1466683155 
024 7 |a 10.4018/978-1-4666-8315-0  |2 doi 
024 8 |a (WaSeSS)ssj0001483932 
035 |a (OCoLC)908145821  |z (OCoLC)909284894  |z (OCoLC)909616505  |z (OCoLC)909894083  |z (OCoLC)961850890  |z (OCoLC)988638055  |z (OCoLC)999474936  |z (OCoLC)1002910968  |z (OCoLC)1005788136  |z (OCoLC)1066673308  |z (OCoLC)1340053727 
100 1 |a Hasan, Osman,  |d 1975-  |1 https://id.oclc.org/worldcat/entity/E39PCjGyxJTfRXcMh7kfBhC84q 
245 1 0 |a Formalized probability theory and applications using theorem proving /  |c Osman Hasan, National University of Sciences and Technology, Pakistan, Sofiène Tahar, Concordia University, Canada. 
264 1 |a Hershey, PA :  |b Information Science Reference, an imprint of IGI Global,  |c [2015] 
300 |a 1 online resource (xii, 298 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references (pages 287-294) and index. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
520 |a "This book discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving"--  |c Provided by publisher. 
505 0 |a Probabilistic analysis -- Formal verification methods -- Probabilistic analysis using theorem proving -- Measure theory and Lebesgue integration theories -- Probability theory -- Discrete-time Markov chains in HOL -- Classified discrete-time Markov chains -- Formalization of hidden Markov model -- Information measures -- Formal analysis of information flow using min-entropy and belief min-entropy -- Applications of formalized information theory -- Reliability theory -- Scheduling algorithm for wireless sensor networks -- Formal probabilistic analysis of detection properties in wireless sensor networks. 
590 |a Knovel  |b Knovel (All titles) 
650 0 |a Computer systems  |x Evaluation. 
650 0 |a Automatic theorem proving. 
650 0 |a Stochastic analysis  |x Data processing. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Tahar, Sofiène,  |d 1966-  |1 https://id.oclc.org/worldcat/entity/E39PCjHgc7KXJggKyjvrjmvrFX 
776 0 8 |i Print version:  |t Formalized probability theory and applications using theorem proving  |d Hershey, PA : Information Science Reference, an imprint of IGI Global, [2015]  |z 9781466683150 (hardcover)  |w (DLC) 2015006750 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpFPTAUTP1/formalized-probability-theory?kpromoter=marc  |y Full text 

Similar Items