zweidimensionales bewegtes Bild
Descriptive complexity of real computation and probabilistic independence logic: Q/A Session F - Paper F5.B
- Standort
-
Hannover TIB
- Umfang
-
127MB, 00:29:14:17 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Virtema, Jonni
Hannula, Miika
Kontinen, Juha
Bussche, Jan Van den
- DOI
-
10.5446/49324
- 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
- Virtema, Jonni
- Hannula, Miika
- Kontinen, Juha
- Bussche, Jan Van den
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
Probabilistic parallel computation
Probabilistic conditional independence structures
Efficient computation of descriptive patterns
![Qa- [Qa-]](https://iiif.deutsche-digitale-bibliothek.de/image/2/ad9b8567-c447-46da-a7ba-53b4975e74ba/full/!306,450/0/default.jpg)
Qa- [Qa-]
Probabilistic neural computation and neural simulation technology
Probabilistic Fault Tree Synthesis using Causality Computation
Simulating probabilistic by deterministic algebraic computation trees
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes: Q/A Session B - Paper B6.D
Spectral Sparsification via Bounded-Independence Sampling: Q/A Session D - Paper D3.B
Descriptive complexity on non-Polish spaces II: Q/A Session C - Paper C4.F
On the Synergy of Probabilistic Causality Computation and Causality Checking
On the synergy of probabilistic causality computation and causality checking
Probabilistic parallel computation
Probabilistic conditional independence structures
Efficient computation of descriptive patterns
Qa- [Qa-]
Probabilistic neural computation and neural simulation technology
Probabilistic Fault Tree Synthesis using Causality Computation
Simulating probabilistic by deterministic algebraic computation trees
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes: Q/A Session B - Paper B6.D
Spectral Sparsification via Bounded-Independence Sampling: Q/A Session D - Paper D3.B
Descriptive complexity on non-Polish spaces II: Q/A Session C - Paper C4.F
On the Synergy of Probabilistic Causality Computation and Causality Checking
On the synergy of probabilistic causality computation and causality checking
Probabilistic parallel computation
Probabilistic conditional independence structures
Efficient computation of descriptive patterns
Qa- [Qa-]
Probabilistic neural computation and neural simulation technology
Probabilistic Fault Tree Synthesis using Causality Computation
Simulating probabilistic by deterministic algebraic computation trees
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes: Q/A Session B - Paper B6.D
Spectral Sparsification via Bounded-Independence Sampling: Q/A Session D - Paper D3.B
Descriptive complexity on non-Polish spaces II: Q/A Session C - Paper C4.F
On the Synergy of Probabilistic Causality Computation and Causality Checking