wyszukanych pozycji: 7
Probabilistic Analysis using Theorem Proving
ISBN: 9783639094725 / Angielski / Miękka / 2008 / 164 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. 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...
Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handl...
|
|
cena:
312,73 zł |
Sindrom Alisy w strane chudes: osnowano na real'noj istorii
ISBN: 9786204924175 / Rosyjski / Miękka / 52 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
91,06 zł |
Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
ISBN: 9783030469016 / Angielski / Miękka / 2020 / 141 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
195,42 zł |
Sindrom "Alisa w strane chudes": osnowanyj na prawdiwoj istorii
ISBN: 9786200902917 / Rosyjski / Miękka / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
|
cena:
91,06 zł |
Formalized Probability Theory and Applications Using Theorem Proving
ISBN: 9781466683150 / Angielski / Twarda / 2015 / 312 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) 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. It combines practical application with theoretical discussion.
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to th...
|
|
cena:
1132,85 zł |
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
ISBN: 9783030784089 / Angielski / Miękka / 2021 / 79 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
254,06 zł |
International Journal of Electronics, Mechanical and Mechatronics Engineering: Ijemme
ISBN: 9781642260304 / Angielski / Miękka / 2018 / 50 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
43,64 zł |