Digital Library of Gesellschaft für Informatik e.V.
Not a member yet
40758 research outputs found
Sort by
Towards Monitoring and Diagnosis of Quantum Digital Twins
No full textAs access to larger-scale quantum computers is still limited, it is useful to simulate quantum algorithms on specialized programmable logic hardware such as FPGAs to exploit analogies between quantum and digital circuits, and allow for analysis and efficient debugging of quantum programs. Such simulations can be viewed as digital representations of actual physical systems, commonly referred to as Digital Twins (DTs). In previous work, we applied formal methods from runtime verification to synthesize monitors capable of real-time analysis of conventional DTs. Specifically, these monitors supervise alignment with their physical counterparts and support model-based diagnosis to identify potential root causes of observed deviations. In this short paper, we present ongoing work aimed at adapting and extending our approach to hardware-based simulation and analysis of quantum software on FPGAs, with the objective of improving both accuracy and resilience
Fostering Structured Problem Solving in Machine Learning through Collaborative Gameplay
No full textTo effectively grasp and apply key machine learning concepts, students benefit from learning environments that actively support structured problem-solving strategies. Prior research indicates that learners often rely on exploratory approaches when constructing decision trees, with limited use of systematic problem-solving strategies. This paper examines the design and implementation of collaborative features in a digital learning game focused on developing decision trees as classification models. Building on earlier findings, a multiplayer mode was developed to enhance social interaction through targeted game mechanics, with the aim of fostering the development and persistence of structured problem-solving. Results from an initial pilot study suggest that the multiplayer mode facilitates strategic peer discourse, promoting both collaborative engagement and more systematic problem-solving behavior. These findings highlight the potential of collaborative, game-based learning environments to support effective strategy use in machine learning education
Hochschulübergreifende Kooperation am Beispiel der Mathematikkurse OMB+ und HM4MINT
No full textDie Digitalisierung der Hochschullehre eröffnet neue Möglichkeiten für hochschulüber- greifende Kooperationen. Anhand der Kurse OMB+ und HM4MINT wird gezeigt, wie gemeinsa- me digitale Mathematikkurse erfolgreich entwickelt und implementiert werden können
``It sounds like automation'' -- Towards Users' Understanding of Adaptive Systems
No full textIT-based Adaptive Systems (ITbAS) are understood as information technology artifacts capable of changing to fit different situations, environments, and users. Still, little is known on how users understand ITbAS, and which risks they associate with their use (if any).
We conducted a survey with n=62 participants to discover what people know about ITbAS, whether they are aware of using them in their everyday life, and what possible risks they can imagine.
We found that, even though 72.58% of our participants heard of ITbAS, only 56.5% could define them. Further, the examples the participants provided partially suggest a lack of knowledge about the full potential of ITbAS in their everyday lives.
Risk-wise, the more common code was security-related (27.59% of entries), e.g., ``Data breaches,'' with privacy risks as second (18.72%), e.g., ``Profile and targeting.''
As this, our work should be seen as a first investigation into what users know about and how they understand ITbAS
Workshop zur Überarbeitung der KMK-Anforderungen zum Informatik-Lehramt
No full textDie Ländergemeinsamen inhaltlichen Anforderungen für die Fachwissenschaften und Fachdidaktiken der KMK (Fachstandards), die die Grundlage von Lehramtsstudiengängen darstellen, sind seit 2008 kaum verändert worden. Bei der Einrichtung oder Überarbeitung von Studiengängen zum Informatik-Lehramt geben insbesondere die dort gelisteten fachlichen Stichworte den Akteuren vor Ort und Gutachtenden oft gleichermaßen Rätsel auf. Ausgehend von der Idealvorstellung, dass die KMK-Vorgaben verändert werden könnten, wollen wir deshalb in diesem Workshop eine gute Grundlage schaffen, um im Anschluss im Arbeitskreis Lehrkräftebildung ggf. hierzu einen Vorschlag zur Überarbeitung zu entwickeln
Illuminating the Invisible: Lumocus for Enhancing Women’s Work-From-Home Experiences
No full textAs our workplaces have shifted into our homes, the rise of home offices has brought both advantages and disadvantages. While offering flexibility, working from home can also increase stress on women as they manage both professional and personal demands. This study aimed to identify the needs and challenges of women working from home without caregiving responsibilities, a group often overlooked in existing literature, and to show how qualitative data can inform design to improve their experiences. To achieve this, I conducted a week-long cultural probes with three female participants, aged 25 to 35, documenting their home office experiences. The collected data was then analyzed using thematic analysis and key insights informed the conceptual design of Lumocus, an illuminating agent designed to enhance comfort and support concentration in home office environments
Connected in the Digital Age: A Mixed Methods Exploration to Assess Technology-Mediated Connectedness
No full textConnectedness, a fundamental human need, is increasingly met through digital technologies which offer new opportunities to foster and maintain relationships. To effectively evaluate how well these technologies facilitate connectedness, standardized and validated measurement instruments are essential. However, many current evaluation studies lack a robust theoretical foundation and rely on non-validated items, limiting the comparability and reliability of their findings. The present online study (N = 206) implements a mixed-methods approach with the aim of exploring technology-mediated interpersonal connectedness and forming a foundation for its assessment. With open-ended questions, respondents were asked to describe situations in which they experienced high vs. low connectedness. Quantitatively, items from different connectedness measures (partly adapted to fit the technology context) were applied and an exploratory factor analysis was conducted to explore underlying intersections. Based on the quantitative and qualitative results, we identified four central themes: Relational Closeness, Perceived Support, Mutual Understanding, and Detachment
“What do they think about my idea?”- Co-Designing an E-Participation Tool for Participatory Urban Planning in Germany
No full textThis paper reports on multiple co-design workshops for the development of an e-participation tool. Participants were citizens and city staff from Wuppertal, Germany, and experts on participation. We explored what information citizens and city staff need, how this information should be provided, and what features for input and communication should be implemented. Through a thematic analysis, we found that information should be short, visual, and accessible. This visual information includes a visualization of the area relevant to participation. Participants preferred an abstract 3D model over a 2D map and a photorealistic 3D model. Additional visualizations should complement this abstract 3D model to support better recognition of the area, e.g. through photos and videos, or through an extra layer that visualizes the terrain. Three preferred ways of interaction and communication were identified through the analysis: 1) commenting and voting on existing ideas, 2) placing icons, and 3) drawing sketches. Since moderation is often conducted manually, this impacts which features can be implemented. We also found that city staff was generally interested in using AI for several purposes, such as lowering their moderation load and supporting citizens in formulating ideas
Shifting boundaries from preparedness to response: Using simulation of rescue robots in weather-induced emergencies
No full textIn early operational phases of severe weather events, a lack of information challenges emergency management teams to gain an overview of the situation and make informed decisions. To support the exploration of a situation, unmanned aerial and ground vehicles attract increasing attention. They are primarily used to document operational sites. However, they offer further potential in early operational phases. To ensure their reliable use for exploration, decision-makers must be aware of opportunities and limitations under prevailing conditions. For this, use cases for robotic simulation in emergency response are presented, considering technical restrictions and dynamic influences from weather impacts. The approach of integrating rescue robot simulation into the response phase is developed following a five-step research design. A systematic literature analysis is conducted to identify existing use cases of robotic simulation in emergency contexts. The results are extended with use cases developed for urban flooding scenarios. Subsequently, use cases are assessed and selected for implementation in the simulation environment Gazebo . Finally, the results are validated with end users in the EU research project CREXDATA , which focuses on decision support based on processing extreme data. The implemented use cases demonstrate the potential of robotic simulation in emergency response to accelerate action planning in decision-making and provide a more detailed picture, enabling better-informed decisions