Suche
Anzeige der Dokumente 1-10 von 84
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 ...
Dissertation
Social Network Mining for Analysis of Social Phenomena
(2019)
In den letzten zehn Jahren wurde eine große Menge an Daten über menschliche Interaktionen verfügbar, die entweder aus sozialen Online-Netzwerken stammen oder von tragbaren Geräten erfasst wurden. Die klassischen Sozialwissenschaften bieten keine Instrumente für die Durchführung datengetriebener Forschung mit solchen Daten. Die computerorientierte Sozialwissenschaft (Computational Social Science) versucht, diese Lücke zu schließen, indem sie Methoden für Data-Mining und maschinelles Lernen zur Nutzung der Daten aus ...
Dissertation
Planning of Autonomous and Mobile Robots in Dynamic Environments
(2018-11)
The capabilities of autonomous robots are increasing which is a reason for research progress
in the last years. An increasing number of robotic scenarios are becoming more viable in
various domains for example, mowing, harvesting, warehouse robots. But autonomous
mobile robots need more than the ability to navigate through their world, and manipulate
objects. Even in teams of robots, a structured plan for each team member is necessary.
Planning becomes a more important task. Furthermore, the environment can ...
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
Development of an ArcGIS extension to model urban climate factors
(2015-03-20)
The possibility to develop automatically running models which can capture some of the most important factors driving the urban climate would be very useful for many planning aspects. With the help of these modulated climate data, the creation of the typically used “Urban Climate Maps” (UCM) will be accelerated and facilitated. This work describes the development of a special ArcGIS software extension, along with two support databases to achieve this functionality. At the present time, lacking comparability between ...
Konferenzveröffentlichung
Gestaltung smarter persönlicher Assistenten zwischen Rechtsverträglichkeit und Dienstleistungsqualität
(Gesellschaft für Informatik e.V. (GI), 2019)
Smarte persönliche Assistenten von Amazon, Google und zahlreichen anderen Anbietern ermöglichen es, qualitativ hochwertige elektronische Dienstleistungen anzubieten. Gleichzeitig bringen diese Systeme auch viele Risiken mit sich. Berichte von diskriminierenden oder unverständlichem Systemverhalten häufen sich und verursachen Skepsis in der Gesellschaft. Diesen Problemen kann mit einer gleichermaßen rechtsverträglichen und qualitätsorientierten ITGestaltung entgegengewirkt werden. In diesem Beitrag werden Rechtsvert ...
Konferenzveröffentlichung
Alexa, Can You Help Me Solve That Problem? - Understanding the Value of Smart Personal Assistants as Tutors for Complex Problem Tasks
(universi - Universitätsverlag Siegen, 2019)
In recent decades, the number of students per lecturer at universities has constantly risen. In these learning scenarios, individual lecturer support for helping students actively acquiring new knowledge is hardly possible. However, active student behavior is necessary for successful learning. Smart Personal Assistants such as Amazon’s Alexa or Google’s Home promise to fill this gap by being students’ individual tutors. In order to understand what students expect from Smart Personal Assistants as tutors and how they ...
Konferenzveröffentlichung
Classifying Smart Personal Assistants: An Empirical Cluster Analysis
(University of Hawaii at Manoa, Hamilton Library, ScholarSpace, 2019)
The digital age has yielded systems that increasingly reduce the complexity of our everyday lives. As such, smart personal assistants such as Amazon’s Alexa or Apple’s Siri combine the comfort of intuitive natural language interaction with the utility of personalized and situation-dependent information and service provision. However, research on SPAs is becoming increasingly complex and opaque. To reduce complexity, this paper introduces a classification system for SPAs. Based on a systematic literature review, a ...
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 ...
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. ...