Aktivitäten pro Jahr
Aktivitäten
- 29 Ergebnisse
Suchergebnisse
-
Empty Triangles in Generalized Twisted Drawings of K_n
Alexandra Weinberger (Redner/in)
Sep. 2022Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Plane Structures in Simple Drawings and Twisted Ways to Find Them
Birgit Vogtenhuber (Redner/in)
3 Juni 2022Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Effective Modeling in Answer Set Programming modulo Theories
Martin Gebser (Redner/in)
31 Juli 2022Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (Redner/in)
4 Okt. 2021Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
On the use of ontologies for automated test suite generation
Franz Wotawa (Redner/in)
25 Juni 2021Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Where Difference Logic Makes The Difference: Applications of ASP modulo DL
Martin Gebser (Redner/in)
21 Sep. 2021Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Verifying autonomous systems using ontology-based testing
Franz Wotawa (Keynote speaker)
24 Okt. 2020Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Ontology-based verification of autonomous driving & ADAS
Franz Wotawa (Keynote speaker)
3 Sep. 2020Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)
20 Okt. 2020Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Security Testing using Artificial Intelligence Methods and Techniques
Franz Wotawa (Keynote speaker)
24 Okt. 2020Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Crossing Numbers of $K_n$ for Geometric and Topological Drawings - A short survey
Oswin Aichholzer (Redner/in)
11 Dez. 2020Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
AI Literacy - Projekt EDLRIS
Martin Kandlhofer (Redner/in)
Nov. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
Testing AI-based systems
Franz Wotawa (Redner/in)
17 Sep. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Herr oder Diener des Menschen? Der Aufstieg der künstlichen Intelligenz
Martin Gebser (Redner/in)
21 Nov. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Redner/in)
8 Okt. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
AI Literacy
Martin Kandlhofer (Redner/in)
Okt. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
A.I. (Artificial Intelligence) Literacy - Künstliche Intelligenz als Grundkompetenz
Martin Kandlhofer (Redner/in)
Mai 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
Training in Robotics and AI Enabling the Creation of Intelligent Things
Martin Kandlhofer (Redner/in)
Nov. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Grundkompetenz KI und das Projekt EDLRIS
Martin Kandlhofer (Redner/in)
21 Nov. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to public
-
Keynote: AI-based AI-testing
Franz Wotawa (Redner/in)
8 Apr. 2019Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)
5 Juni 2018Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Superhirne und starke Helfer - Educational Robotics in Kindergarten und Hort
Martin Kandlhofer (Redner/in)
Sep. 2018Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Künstliche Intelligenz & Robotik in Schule und Universität
Martin Kandlhofer (Redner/in)
Sep. 2018Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Smart Black-box Testing
Bernhard Aichernig (Keynote speaker)
7 Dez. 2018Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Model-based Mutation Testing - The Science of Killing Bugs in a Black Box
Bernhard Aichernig (Redner/in)
11 Juni 2018Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Ist Künstliche Intelligenz eine Kulturtechnik?
Martin Kandlhofer (Redner/in)
März 2018Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
EDLRIS - A European Driving License for Robots and Intelligent Systems
Martin Kandlhofer (Redner/in)
10 Nov. 2017Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Redner/in)
20 Sep. 2017Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science
-
Perfect k-colored Matchings and k+2-gonal Tilings
Birgit Vogtenhuber (Redner/in)
12 Juni 2017Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science