Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach

0 avg rating
( 0 ratings by Goodreads )
 
9783639094725: Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
View all copies of this ISBN edition:
 
 

Traditionally, computer simulation techniques areused to perform probabilistic analysis. However, theyprovide less accurate results and cannot handlelarge-scale problems due to their enormous CPU timerequirements. Recently, a significant amount offormalization has been done in higher-order logicthat allows us to conduct precise probabilisticanalysis using theorem proving and thus overcome thelimitations of the simulation based probabilisticanalysis approach. Some major contributions includethe formalization of both discrete and continuousrandom variables and the verification of corresponding probabilistic and statisticalproperties. This book presents a concise descriptionof the infrastructures behind these capabilities andtheir utilization to conduct the probabilisticanalysis of real-world systems. The case studies ofthe round-off error of a digital processor, theCoupon Collector''s problem and the Stop-and-Waitprotocol are used to illustrate the proposed analysisapproach. Designed as an independent research tool, the bookpresents a well-thought-out treatment of a rapidlyemerging multidisciplinary field across Mathematics,Computer Science and Engineering.

"synopsis" may belong to another edition of this title.

About the Author:

Osman Hasan, PhD, is a Postdoctoral Fellow at ConcordiaUniversity. His research interests include Higher-order-logicTheorem Proving and Probabilistic Analysis.Sofiène Tahar, PhD, is a Computer Engineering Professor atConcordia University. His research interests are in FormalVerification of Hardware, Embedded Systems and System-on-Chip.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 93.00
US$ 58.80

Convert currency

Shipping: US$ 4.97
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Hasan, Osman
Published by VDM Verlag Dr. Mueller e.K. (2016)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description VDM Verlag Dr. Mueller e.K., 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783639094725_lsuk

More information about this seller | Contact this seller

Buy New
US$ 58.80
Convert currency

Add to Basket

Shipping: US$ 4.97
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Hasan, Osman
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Condition: New. Publisher/Verlag: VDM Verlag Dr. Müller | A Higher-order Logic Based Approach | Traditionally, computer simulation techniques areused to perform probabilistic analysis. However, theyprovide less accurate results and cannot handlelarge-scale problems due to their enormous CPU timerequirements. Recently, a significant amount offormalization has been done in higher-order logicthat allows us to conduct precise probabilisticanalysis using theorem proving and thus overcome thelimitations of the simulation based probabilisticanalysis approach. Some major contributions includethe formalization of both discrete and continuousrandom variables and the verification of corresponding probabilistic and statisticalproperties. This book presents a concise descriptionof the infrastructures behind these capabilities andtheir utilization to conduct the probabilisticanalysis of real-world systems. The case studies ofthe round-off error of a digital processor, theCoupon Collector''s problem and the Stop-and-Waitprotocol are used to illustrate the proposed analysisapproach. Designed as an independent research tool, the bookpresents a well-thought-out treatment of a rapidlyemerging multidisciplinary field across Mathematics,Computer Science and Engineering. | Format: Paperback | Language/Sprache: english | 230 gr | 164 pp. Seller Inventory # K9783639094725

More information about this seller | Contact this seller

Buy New
US$ 73.19
Convert currency

Add to Basket

Shipping: US$ 3.19
From Germany to U.S.A.
Destination, rates & speeds

3.

Osman Hasan
Published by VDM Verlag Dr. Mueller E.K. (2008)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Quantity Available: > 20
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description VDM Verlag Dr. Mueller E.K., 2008. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783639094725

More information about this seller | Contact this seller

Buy New
US$ 79.52
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

4.

Osman Hasan, Sofi?ne Tahar
Published by VDM Verlag Dr. Mueller e.K. (2008)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description VDM Verlag Dr. Mueller e.K., 2008. Paperback. Condition: New. Seller Inventory # DADAX3639094727

More information about this seller | Contact this seller

Buy New
US$ 81.35
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Osman Hasan
Published by VDM Verlag (2008)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description VDM Verlag, 2008. PAP. Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783639094725

More information about this seller | Contact this seller

Buy New
US$ 74.01
Convert currency

Add to Basket

Shipping: US$ 11.55
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Osman Hasan
Published by VDM Verlag Dr. Müller (2008)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description VDM Verlag Dr. Müller, 2008. Condition: New. book. Seller Inventory # M3639094727

More information about this seller | Contact this seller

Buy New
US$ 89.94
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

7.

Osman Hasan
Published by VDM Verlag Dr. Müller E.K. Okt 2013 (2013)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description VDM Verlag Dr. Müller E.K. Okt 2013, 2013. Taschenbuch. Condition: Neu. Neuware - Traditionally, computer simulation techniques are 164 pp. Deutsch. Seller Inventory # 9783639094725

More information about this seller | Contact this seller

Buy New
US$ 79.97
Convert currency

Add to Basket

Shipping: US$ 19.56
From Germany to U.S.A.
Destination, rates & speeds

8.

Osman Hasan
Published by VDM Verlag Dr. Müller E.K. Okt 2013 (2013)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description VDM Verlag Dr. Müller E.K. Okt 2013, 2013. Taschenbuch. Condition: Neu. Neuware - Traditionally, computer simulation techniques are 164 pp. Deutsch. Seller Inventory # 9783639094725

More information about this seller | Contact this seller

Buy New
US$ 79.97
Convert currency

Add to Basket

Shipping: US$ 19.56
From Germany to U.S.A.
Destination, rates & speeds

9.

Sofiene Tahar, Osman Hasan
Published by VDM Verlag Dr. Mueller e.K., Germany (2013)
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Paperback Quantity Available: 10
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description VDM Verlag Dr. Mueller e.K., Germany, 2013. Paperback. Condition: New. Language: English. Brand new Book. Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handle large-scale problems due to their enormous CPU time requirements. Recently, a significant amount of formalization has been done in higher-order logic that allows us to conduct precise probabilistic analysis using theorem proving and thus overcome the limitations of the simulation based probabilistic analysis approach. Some major contributions include the formalization of both discrete and continuous random variables and the verification of corresponding probabilistic and statistical properties. This book presents a concise description of the infrastructures behind these capabilities and their utilization to conduct the probabilistic analysis of real-world systems. The case studies of the round-off error of a digital processor, the Coupon Collector's problem and the Stop-and-Wait protocol are used to illustrate the proposed analysis approach. Designed as an independent research tool, the book presents a well-thought-out treatment of a rapidly emerging multidisciplinary field across Mathematics, Computer Science and Engineering. Seller Inventory # AAV9783639094725

More information about this seller | Contact this seller

Buy New
US$ 97.57
Convert currency

Add to Basket

Shipping: US$ 3.85
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

Osman Hasan
Published by VDM Verlag
ISBN 10: 3639094727 ISBN 13: 9783639094725
New Paperback Quantity Available: > 20
Seller:
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description VDM Verlag. Paperback. Condition: New. 164 pages. Dimensions: 8.7in. x 5.9in. x 0.4in.Traditionally, computer simulation techniques areused to perform probabilistic analysis. However, theyprovide less accurate results and cannot handlelarge-scale problems due to their enormous CPU timerequirements. Recently, a significant amount offormalization has been done in higher-order logicthat allows us to conduct precise probabilisticanalysis using theorem proving and thus overcome thelimitations of the simulation based probabilisticanalysis approach. Some major contributions includethe formalization of both discrete and continuousrandom variables and the verification of corresponding probabilistic and statisticalproperties. This book presents a concise descriptionof the infrastructures behind these capabilities andtheir utilization to conduct the probabilisticanalysis of real-world systems. The case studies ofthe round-off error of a digital processor, theCoupon Collectors problem and the Stop-and-Waitprotocol are used to illustrate the proposed analysisapproach. Designed as an independent research tool, the bookpresents a well-thought-out treatment of a rapidlyemerging multidisciplinary field across Mathematics, Computer Science and Engineering. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Seller Inventory # 9783639094725

More information about this seller | Contact this seller

Buy New
US$ 118.96
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book