RIV/00216224:14330/11:00054481 - Randomness: A Tool for Constructing and Analyzing Computer Programs (2011)
| Údaje o výsledku | |||||||||||
| Identifikační kód | RIV/00216224:14330/11:00054481 | ||||||||||
| Název v původním jazyce | Randomness: A Tool for Constructing and Analyzing Computer Programs | ||||||||||
| Druh | C - Kapitola v knize | ||||||||||
| Jazyk | eng - angličtina | ||||||||||
| Obor | IN - Informatika | ||||||||||
| Rok uplatnění | 2011 | ||||||||||
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů | ||||||||||
| Počet výskytů výsledku | 1 | ||||||||||
| Údaje z Hodnocení výsledků výzkumných organizací 2014 | |||||||||||
| Výsledek byl hodnocen v Pilíři I | |||||||||||
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen | ||||||||||
| Zařazení výsledku v hodnocení | BC - Odborná kniha nebo kapitola v odborné knize | ||||||||||
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy | ||||||||||
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají | ||||||||||
| Bodové ohodnocení | 40,000 | ||||||||||
| Faktor korekce | 100,9 % | ||||||||||
| Body (upravené podle přílohy č. 8 Metodiky) | 40,371 | ||||||||||
| Rozdělení výsledku mezi předkladatele | |||||||||||
| |||||||||||
| Tvůrci výsledku | |||||||||||
| Počet tvůrců celkem | 1 | ||||||||||
| Počet domácích tvůrců | 1 | ||||||||||
| Tvůrce | Kučera Antonín (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 9872655) | ||||||||||
| Údaje blíže specifikující výsledek | |||||||||||
| Popis v původním jazyce | The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs. | ||||||||||
| Klíčová slova | randomness; stochastic systems; verification | ||||||||||
| Název knihy | Randomness through Computation | ||||||||||
| Rozsah stran | 275-282 | ||||||||||
| Počet stran výsledku | 8 | ||||||||||
| ISBN | 978-981-4327-74-9 | ||||||||||
| Název edice a číslo svazku | Neuveden | ||||||||||
| Počet stran knihy | 440 | ||||||||||
| Název nakladatele | World Scientific | ||||||||||
| Místo vydání | New Jersey | ||||||||||
| Údaje o tomto záznamu o výsledku | |||||||||||
| Předkladatel | Masarykova univerzita / Fakulta informatiky | ||||||||||
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) | ||||||||||
| Rok sběru | 2012 | ||||||||||
| Systémové označení dodávky dat | RIV12-MSM-14330___/01:1 | ||||||||||
| Specifikace | RIV/00216224:14330/11:00054481!RIV12-MSM-14330___ | ||||||||||
| Kontrolní kód | [EC75B3B05F21] | ||||||||||
| Jiný výskyt tohoto výsledku se v RIV nenachází | |||||||||||
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl | |||||||||||
| Projekt | 1M0545 - Institut Teoretické Informatiky (2005-2011, MSM/1M) | ||||||||||