zweidimensionales bewegtes Bild
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
- Standort
-
Hannover TIB
- Umfang
-
56MB, 00:16:12:45 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Hark, Marcel
Meyer, Fabian Niklas
Giesl, Jürgen
- DOI
-
10.5446/54982
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Hark, Marcel
- Meyer, Fabian Niklas
- Giesl, Jürgen
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
Computing Subjective Expected Utility using Probabilistic Description Logics
Expected discrepancies
Expected Values
Expected Value
Expected Inflation, Expected Stock Returns, and Money Illusion
On Expected Present Value Vs. Expected Future Value: Further Remarks
Hoyerswerda, different than expected
Approximate Expected Utility Rationalization
Backtesting the Expected Shortfall
Expected multi-utility representations
Testing choquet expected utility
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
Computing Subjective Expected Utility using Probabilistic Description Logics
Expected discrepancies
Expected Values
Expected Value
Expected Inflation, Expected Stock Returns, and Money Illusion
On Expected Present Value Vs. Expected Future Value: Further Remarks
Hoyerswerda, different than expected
Approximate Expected Utility Rationalization
Backtesting the Expected Shortfall
Expected multi-utility representations
Testing choquet expected utility
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
Computing Subjective Expected Utility using Probabilistic Description Logics
Expected discrepancies
Expected Values
Expected Value
Expected Inflation, Expected Stock Returns, and Money Illusion
On Expected Present Value Vs. Expected Future Value: Further Remarks
Hoyerswerda, different than expected
Approximate Expected Utility Rationalization
Backtesting the Expected Shortfall
Expected multi-utility representations