Suche
Anzeige der Dokumente 11-18 von 18
Dissertation
Buffered Simulation for Büchi Automata
(2019)
Wir stellen eine neue Familie von Simulationsrelationen zwischen zwei nicht deterministischen Büchi Automaten (NBA), genannt gepufferte Simulation vor. Wir erweitern das Spiel-Framework der üblichen fairen Simulation, so dass Duplicator ihren Spielzug überspringen und die Buchstaben, die Spoiler gelesenen hat, vorübergehend in einem Puffer speichern kann. Duplicator kann diese Buchstaben in ihrer Struktur dann später ausführen. Duplicator hat damit eine Vorschau in die Bewegungen von Spoiler und somit mehr Chancen, ...
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Towards Effective Natural Language Application Development
(2019)
There is a current trend that more and more computer programs analyze written or spoken natural language. For example, DVAs, IE systems, machine translation systems, and many other types of programs process natural language in order to solve specific use cases when interacting with humans via natural language. Amazon, Google, and Mycroft AI are just some of the companies that have produced DVAs capable of interacting with humans via voice. Such NLP applications use techniques from computer science and artificial ...
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Discovering Knowledge in Bipartite Graphs with Formal Concept Analysis
(2019)
Since the 1970s knowledge based approaches are a crucial part of artificial intelligence (AI) research. In this work we investigate data sets in the form of bipartite graphs, i.e., graphs where a bipartition of the vertex set respecting the edge set can be found, for knowledge. To this end we first relate those bipartite graphs to the structure formal context, as used in formal concept analysis (FCA). This link enables us to employ the whole tool-set of FCA to bipartite graphs and therefore, notably, to bipartite ...
Konferenzveröffentlichung
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Alexa, Can You Help Us Solve This Problem? How Conversations With Smart Personal Assistant Tutors Increase Task Group Outcomes
(Association for Computing Machinery, 2019)
Despite a growing body of research about the design and use of Smart Personal Assistants, existing work has mainly focused on their use as task support for individual users in rather simple problem scenarios. Less is known about their ability to improve collaboration among multiple users in more complex problem settings. In our study, we directly compare 21 groups who either use a Smart Personal Assistant tutor or a human tutor when solving a problem task. The results indicate that groups interacting with Smart ...
Aufsatz
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Machines as teammates: A research agenda on AI in team collaboration
(2019-07-06)
What if artificial intelligence (AI) machines became teammates rather than tools? This paper reports on an international initiative by 65 collaboration scientists to develop a research agenda for exploring the potential risks and benefits of machines as teammates (MaT). They generated 819 research questions. A subteam of 12 converged them to a research agenda comprising three design areas – Machine artifact, Collaboration, and Institution – and 17 dualities – significant effects with the potential for benefit or harm. ...
Konferenzveröffentlichung
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Insights into Using IT-Based Peer Feedback to Practice the Students Providing Feedback Skill
(University of Hawaii at Manoa, Hamilton Library, ScholarSpace, 2019)
The skills students need nowadays have changed over the last decades. The required skills are shifting more and more towards higher order thinking skills, such as critical thinking, collaboration and communication. One of the main ways of practicing these skills is through formative feedback, which consists of self-assessment and peer-assessment in our setting.
However, today’s lecturers are facing the challenge that the number of students per lecture is continuously increasing, while the available budget is stagnating. ...
Dissertation
Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems
(2019-11)
Field Programmable Gate Array (FPGA) has been involved in various applications in the last couple of decades, such as aerospace, biomedical instrumentation, safety-critical systems, and spacecraft, due to their remarkable features. These features include parallelism, reconfiguration, self-healing capabilities, availability, low cost and low design turn-around time. FPGA devices are sensitive to Single Event Effects (SEE), which can be caused by various sources, such as α-particles, cosmic rays, atmospheric neutrons, ...
Dissertation
Das NetworkParser-Framework
(2019-03-10)
Meine Dissertation, die im Fachbereich Elektrotechnik/Informatik in Kassel eingereicht wurde, hat das Ziel ein Tool zur Verfügung zu stellen, um den Entwickler bei der Entwicklung eines Programms in jedem Entwicklungsschritt zu unterstützen. Der komplette Ablauf von Story Driven Modeling wird dabei unterstützt. Das Tool soll so intuitiv bedienbar sein, dass Programmieranfänger damit arbeiten können und die Techniken erlernen können. Es ist gelungen ein kompaktes Tool für den kompletten SDM-Prozess zu schaffen, welches ...