Search

Your search keyword '"Timotheus Hell"' showing total 5 results
Start Over Author "Timotheus Hell" Search Limiters Full Text
5 results on '"Timotheus Hell"'

1. Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT)

Author

Roland Ambros, Angelika Bernsteiner, Roderick Bloem, Dominik Dolezal, David Garcia, Katrin Göltl, Claudia Haagen-Schützenhöfer, Markus Hadler, Timotheus Hell, Alina Herderich, Petar Jercic, Fares Kayali, Ferenc Kemény, Christoph Kirsch, Beate Kloesch, Daniel Kocher, Karin Landerl, Jana Lasser, Elisabeth Lex, Renate Motschnig, Claudia Plant, Lisa Posch, Markus Reiter-Haas, Thomas Schubatzky, Wolfgang Slany, Ana Sokolova, Philipp Spitzer, Matthias Steinböck, Yllka Velaj, and Pelin Yüksel-Arslan

Subjects
Education
Abstract

This article presents a progress report from the last two years of the Teaching Digital Thinking (TDT) project. This project aims to implement new concepts, didactic methods, and teaching formats for sustainable digital transformation in Austrian Universities’ curricula by introducing new digital competencies. By equipping students and teachers with 21st-century digital competencies, partner universities can contribute to solving global challenges and organizing pilot projects. In line with the overall project aims, this article presents the ongoing digital transformation activities, courses, and research in the project, which have been carried out by the five partner universities since 2020, and briefly discusses the results. This article presents a summary of the research and educational activities carried out within two parts: complementary research and pilot projects.

Published
2023
Full Text
View/download PDF

3. Assessment of the Effectiveness of Omicron Transmission Mitigation Strategies for European Universities Using an Agent-Based Network Model

Author

Jana Lasser, Timotheus Hell, and David Garcia

Subjects
Microbiology (medical), European People, Physics - Physics and Society, Universities, SARS-CoV-2, Populations and Evolution (q-bio.PE), COVID-19, FOS: Physical sciences, Physics and Society (physics.soc-ph), Infectious Diseases, FOS: Biological sciences, ddc:320, Humans, COVID-19, modeling, Prevention, network, agend-based, Quantitative Biology - Populations and Evolution
Abstract

Background Returning universities to full on-campus operations while the coronavirus disease 2019 pandemic is ongoing has been a controversial discussion in many countries. The risk of large outbreaks in dense course settings is contrasted by the benefits of in-person teaching. Transmission risk depends on a range of parameters, such as vaccination coverage and efficacy, number of contacts, and adoption of nonpharmaceutical intervention measures. Owing to the generalized academic freedom in Europe, many universities are asked to autonomously decide on and implement intervention measures and regulate on-campus operations. In the context of rapidly changing vaccination coverage and parameters of the virus, universities often lack sufficient scientific insight on which to base these decisions. Methods To address this problem, we analyzed a calibrated, data-driven agent-based simulation of transmission dynamics among 13 284 students and 1482 faculty members in a medium-sized European university. Wed use a colocation network reconstructed from student enrollment data and calibrate transmission risk based on outbreak size distributions in education institutions. We focused on actionable interventions that are part of the already existing decision process of universities to provide guidance for concrete policy decisions. Results Here we show that, with the Omicron variant of the severe acute respiratory syndrome coronavirus 2, even a reduction to 25% occupancy and universal mask mandates are not enough to prevent large outbreaks, given the vaccination coverage of about 85% reported for students in Austria. Conclusions Our results show that controlling the spread of the virus with available vaccines in combination with nonpharmaceutical intervention measures is not feasible in the university setting if presence of students and faculty on campus is required.

Published
2022

4. High COVID-19 vaccine coverage allows for a re-opening of European universities

Author

Jana Lasser, David Garcia, and Timotheus Hell

Subjects
Occupancy, Process (engineering), business.industry, Academic freedom, Pandemic, Psychological intervention, Mandate, Context (language use), Business, Public relations, Lecture hall
Abstract

Returning universities to full on-campus operations while the COVID-19 pandemic is ongoing has been a controversial discussion in many countries. The risk of large outbreaks in dense course settings is contrasted by the benefits of in-person teaching. Transmission risk depends on a range of parameters, such as vaccination coverage, number of contacts and adoption of non-pharmaceutical intervention measures (NPIs). Due to the generalised academic freedom in Europe, many universities are asked to autonomously decide on and implement intervention measures and regulate on-campus operations. In the context of rapidly changing vaccination coverage and parameters of the virus, universities often lack the scientific facts to base these decisions on. To address this problem, we analyse a calibrated, data-driven simulation of transmission dynamics of 10755 students and 974 faculty in a medium-sized university. We use a co-location network reconstructed from student enrolment data and calibrate transmission risk based on outbreak size distributions in other Austrian education institutions. We focus on actionable interventions that are part of the already existing decision-making process of universities to provide guidance for concrete policy decisions. Here we show that with the vaccination coverage of about 80% recently reported for students in Austria, universities can be safely reopened if they either mandate masks or reduce lecture hall occupancy to 50%. Our results indicate that relaxing NPIs within an organisation based on the vaccination coverage of its sub-population can be a way towards limited normalcy, even if nation wide vaccination coverage is not sufficient to prevent large outbreaks yet.

Published
2021
Full Text
View/download PDF

5. The First Reactive Synthesis Competition (SYNTCOMP 2014)

Author

Adam Walker, Guillermo A. Pérez, Leander Tentrup, Roderick Bloem, Rüdiger Ehlers, Robert Könighofer, Leonid Ryzhyk, Romain Brenguier, Swen Jacobs, Jean-François Raskin, Ocan Sankur, Martina Seidl, Timotheus Hell, Graz University of Technology [Graz] (TU Graz), University of Oxford [Oxford], Deutsche Forschungszentrum für Künstliche Intelligenz [Bremen] (DKFI), University of Bremen, Université libre de Bruxelles (ULB), National ICT Australia [Sydney] (NICTA), Carnegie Mellon University [Pittsburgh] (CMU), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Johannes Kepler University Linz [Linz] (JKU), Saarland University [Saarbrücken], University of Oxford, Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Johannes Kepler Universität Linz - Johannes Kepler University Linz [Autriche] (JKU), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

Subjects
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, 020207 software engineering, Control engineering, 02 engineering and technology, Logic in Computer Science (cs.LO), Competition (economics), Control theory, Reactive synthesis, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], State (computer science), Reactive system, Software, Information Systems
Abstract

We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. The first iteration of SYNTCOMP is based on the controller synthesis problem for finite-state systems and safety specifications. We provide an overview of this problem and existing approaches to solve it, and report on the design and results of the first SYNTCOMP. This includes the definition of the benchmark format, the collection of benchmarks, the rules of the competition, and the five synthesis tools that participated. We present and analyze the results of the competition and draw conclusions on the state of the art. Finally, we give an outlook on future directions of SYNTCOMP., Comment: 24 pages, published in STTT

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results