Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.

Weitere Informationen

Veranstaltungsarchiv

Treffer 201 - 250 von 364 Ergebnissen

Alle Einträge anzeigen

Blättern

Datum

Veranstaltung
16.05.2018

Gastvortrag: Milan Češka:Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection Abstract
12.05.2021

Gastvortrag: Mirco Giacobbe: Neural Termination Analysis
07.12.2017

Gastvortrag: Motion Planning under Uncertainty and Partial Observability
26.06.2018

Gastvortrag: Nash Flows with Spillback
07.07.2022

Gastvortrag: Nicole Megow: Learning-Augmented Online Algorithms for Scheduling and Routing
11.01.2023

Gastvortrag: Nils Jansen: Intelligent Decision-Making Under Uncertainty: Beyond Probabilities
18.02.2020

Gastvortrag: Nofar Carmeli: The Complexity of Answering Unions of Conjunctive Queries
26.02.2019

Gastvortrag: On the Complexity of Value Iteration
07.12.2017

Gastvortrag: Ordered Nominal Sets and Automata
24.11.2022

Gastvortrag: Paolo Morettin: Probabilistic formal verification of AI systems with Weighted Model Integration
23.10.2018

Gastvortrag: Polyregular functions
23.11.2017

Gastvortrag: Probabilistic Databases - Managing uncertainty in data
29.10.2019

Gastvortrag: Prof. Gilles Barthe: Verifying Relational Properties of Probabilistic Programs
20.11.2019

Gastvortrag: Prof. Lenore Zuck
17.06.2021

Gastvortrag: Raphaël Berthon: Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
29.03.2022

Gastvortrag: Raphaël Reynouard: The Baum-Welch Algorithm in All its Power
03.09.2019

Gastvortrag: Rob van Glabbeek: Axiomatising Probabilistic Weak and Branching Bisimilarity
19.11.2018

Gastvortrag: Sebastian Arming:Parameter-Independent Strategies for pMDPs
23.05.2023

Gastvortrag: Sebastian Kassing: On the existence of minimizers in neural network optimisation landscapes
23.07.2018

Gastvortrag: Sensitivity of probabilistic programs
29.05.2018

Gastvortrag: Simulating and analyzing autonomous taxis in the agent-based transport simulation MatSim -- an overview about existing work
24.10.2018

Gastvortrag: Strategical Timetable Planning
26.04.2019

Gastvortrag: The role of Mathematical Optimization to enhance Interpretability in Data Science
12.03.2020

Gastvortrag: Thomas Rothvoss: Discrepancy Theory: Algorithms and Applications
01.10.2019

Gastvortrag: Tom van Dijk: Tangles and Distractions in Parity Games
24.11.2021

Gastvortrag: Vaishak Belle: Logic & Learning: From Aristotle to Neural Networks
04.12.2018

Gastvortrag: Verification and Strategy Synthesis for Stochastic Games
28.07.2020

Gastvortrag: Wolfgang Gatterbauer: Algebraic Amplificatio for Semi-Supervised Learning from Sparse Data
07.10.2022

Gedenkfeier zu Ehren von Gerhard Wöginger
28.04.2022 - 28.04.2022

Girls‘ Day 2022
26.04.2018

Girl'sDay - Mädchen-Zukunftstag
30.07.2020

Good scientific practice: Course “good scientific practice”
17.06.2020

Good scientific practice: Erika Ábrahám: Behind the scenes: Review processes for publications
21.02.2019

Good scientific practice: Informationsveranstaltung über die Förderprogramme der DFG
14.11.2018

Good scientific practice: Research Data Management
09.11.2022

IGaD und Career Center Themenabend (online): “Mein Weg zur Professur“ mit Professorin Christina Büsing (RWTH)
08.02.2019

Informatik Oberseminar: Advanced Weakest Precondition Calculi for Probabilistic Programs
03.03.2020

Informatik Oberseminar: Norman Weik: Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability
13.02.2020

Informatik Oberseminar: Sebastian Junges: Parameter Synthesis in Markov Models
21.02.2018

Informatik Oberseminar: Stefan Wüller: Privacy-Preserving Electronic Bartering
25.09.2019

Informatik-Oberseminar
21.11.2022

Informatik-Oberseminar: Daxin Liu: Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification
14.12.2017

Informatik-Oberseminar: Dominik Rausch: Modal Sound Synthesis for Interactive Virtual Environments
26.08.2022

Informatik-Oberseminar: Janosch Fuchs: Graph Exploration with Advice (and Online Crossing Minimization)
18.06.2021

Informatik-Oberseminar: Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
23.09.2021

Informatik-Oberseminar: Martin Ritzert: Learning on Graphs with Logic and Neural Networks
28.04.2022

Informatik-Oberseminar: Matthias Volk
24.08.2021

Informatik-Oberseminar: Peter Lindner: The Theory of Infinite Probabilistic Databases
21.10.2022

Informatik-Oberseminar: Rebecca Haehn
23.07.2021

Informatik-Oberseminar: Richard Wilke: Reasoning about Dependence and Independence: Teams and Multiteams

Blättern

RWTH

Service

Soziale Medien

Einrichtungen