Suche
Anzeige der Dokumente 41-50 von 105
Dissertation
Extremal Fixpoints for Higher-Order Modal Logic
(2018-10)
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL.
A first characterization is given by converting the denotational semantics ...
Konferenzveröffentlichung
SPAM – A Process Model for Developing Smart Personal Assistants
(ScholarSpace, 2020)
Information technology capabilities are growing at an impressive pace and increasingly overstrain the cognitive abilities of users. User assistance systems such as online manuals try to help the user in handling these systems. However, there is strong evidence that traditional user assistance systems are not as effective as intended. With the rise of smart personal assistants, such as Amazon’s Alexa, user assistance systems are becoming more sophisticated by offering a higher degree of interaction and intelligence. ...
Dissertation
Fine-scale grassland monitoring using unmanned aerial vehicle borne remote sensing
(2020-04)
RS is widely employed as a non-destructive methodology to monitor grasslands. Usage of UAV as the RS platform benefits to provide high spatial (fine-grain) and temporal resolution, unclouded data over small grassland extent. Therefore, this thesis evaluated the applications of UAV-borne RS for fine-scale grassland monitoring along with practical farm condition. Grass biomass estimation, predicting forage quality of grass and mapping invasive lupine in grasslands are considered as applications of UAVborne RS.
Konferenzveröffentlichung
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
Process is King: Evaluating the Performance of Technology-mediated Learning in Vocational Software Training
(2018-09-01)
Technology-mediated learning (TML) is a major trend in education, since it allows to integrate the strengths of traditional- and IT-based learning activities. However, TML providers still struggle in identifying areas for improvement in their TML offerings. One reason for their struggles is inconsistencies in the literature regarding drivers of TML performance. Prior research suggests that these inconsistencies in TML literature might stem from neglecting the importance of considering the process perspective in ...
Preprint
Heapsort for Equal Keys
(2014-09)
Das effiziente Entfernen von Duplikaten in Datenbeständen ist eine algorithmische Herausforderung in theoretischer und praktischer Hinsicht. Tabellen mit Duplikaten entstehen in Datenbanken nach einer Projektion, beim Verfolgen von Seiten im Web, bei Messreihen und in der Stochastik. Ein häufige Methode, diese sog. Multisets in echte Mengen zu wandeln, ist die Sortierung mit folgender Entfernung aller gleichen Sätze bis auf einen. Idealerweise kann dies bereits bei der Sortierung in situ erfolgen, so dass vorne die ...
Aufsatz
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
Towards a Technique for Modeling New Forms of Collaborative Work Practices – The Facilitation Process Model 2.0
(University of Hawaii at Manoa, Hamilton Library, ScholarSpace, 2020)
Collaboration Engineering (CE) is an approach for the design and deployment of repeatable collaborative work practices that can be executed by practitioners themselves without the ongoing support of external collaboration professionals. A key design activity in CE concerns modeling current and future collaborative work practices. CE researchers and practitioners have used the Facilitation Process Model (FPM) technique. However, this modeling technique suffers from a number of shortcomings to model contemporary ...
Konferenzveröffentlichung
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. ...
Working paper
Der „elektronische Personalausweis“ in Deutschland: Gesetzgebungsverfahren, Einflussfaktoren und Pfade
(2010-08-27)
Zum 1. November 2010 wird in Deutschland der neue Personalausweis starten, der gegenüber dem bisherigen Dokument drei neue Funktionen enthält: Die Speicherung biometrischer Daten, die optionale Signaturfunktion und den elektronischen Identitätsnachweis, also eine technische Funktion zur elektronischen Authentisierung. Die Rechtsgrundlagen wurden mit der Verabschiedung des neuen Gesetzes über Personalausweise und den elektronischen Identitätsnachweis sowie zur Änderung weiterer Vorschriften am 18. Dezember 2008 im ...