Filtry
Inductive Synthesis for Probabilistic Programs Reaches New Horizons
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Satisfiability Machines
JC - Počítačový hardware a software
- 2014 •
- O
Rok uplatnění
O - Ostatní výsledky
Probabilistic Compositional Models: solution of an equivalence problem
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Automatic Verification of Competitive Stochastic Systems
IN - Informatika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Probabilistic Modeling Uncertainty of Resistance Model of Steel Members
JN - Stavebnictví
- 2015 •
- O
Rok uplatnění
O - Ostatní výsledky
Probabilistic Modeling Uncertainty of Resistance Model of Steel Members
JN - Stavebnictví
- 2015 •
- O
Rok uplatnění
O - Ostatní výsledky
Local Quantitative LTL Model Checking
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Similarity-based transfer learning of decision policies
Statistics and probability
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 60 807