Development, Evaluation, and Implementation of SEQR -- a Usable Secure QR Code Scanner

Συγγραφείς: Mattia Mossano, Maxime Fabian Veit, Tobias Länge, Benjamin Maximilian Berens, Filipo Sharevski, Melanie Volkamer

Πηγή: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. :1-33

Θεματικοί όροι: ddc:004, Artifact or System, DATA processing & computer science, Usability Study, Security, Mobile devices: Phones/Tablets

Περιγραφή αρχείου: application/pdf

StreAM: An LLM-Based System for Stress-Adaptive Meditation at Work

Συγγραφείς: Luca L. Bennardo, Luisa Weber, Jonas Hummel, Martin Feick

Πηγή: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems. :1-6

Θεματικοί όροι: ddc:004, DATA processing & computer science

Περιγραφή αρχείου: application/pdf

Why Johnny Checks but Doesn’t Alert: Reporting as the Missing Step in Verifiable Internet Voting

Συγγραφείς: Tobias Hilt, Christian Mack, Benjamin Maximilian Berens, Melanie Volkamer

Πηγή: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. :1-25

Θεματικοί όροι: ddc:004, DATA processing & computer science

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000191673/177627878
https://doi.org/10.5445/IR/1000191673
https://publikationen.bibliothek.kit.edu/1000191673

Towards a Child-Appropriate LLM for Child–Robot Conversation

Συγγραφείς: Irina Rudenko, Utku Norman, Lukas Hilgert, Jan Niehues, Barbara Bruno

Πηγή: Companion Proceedings of the 21st ACM/IEEE International Conference on Human-Robot Interaction. :201-206

Θεματικοί όροι: ddc:004, DATA processing & computer science, age-appropriate LLM design, child–robot interaction, preschoolers, LLM evaluation, LLM-powered robots, large language models (LLMs)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000190916
https://doi.org/10.5445/IR/1000190916
https://publikationen.bibliothek.kit.edu/1000190916/175669179

Sympathy as a Lens for Human–Robot Interaction: Analysing YouTube Responses to Robot Abuse

Συγγραφείς: Vlatka Tolj, Caterina Neef, Barbara Bruno

Πηγή: Proceedings of the 21st ACM/IEEE International Conference on Human-Robot Interaction. :1070-1078

Θεματικοί όροι: ddc:004, Robot abuse, Online discourse, DATA processing & computer science, Affective computing

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000192777
https://doi.org/10.5445/IR/1000192777
https://publikationen.bibliothek.kit.edu/1000192777/180067234

Long-Term Integration of a Robot in an Inclusive Daycare: An Ethnographic Study Focused on Children and Caregivers

Συγγραφείς: Jan Ole Rixen, Kathrin Gerling, Barbara Bruno

Πηγή: Proceedings of the 21st ACM/IEEE International Conference on Human-Robot Interaction. :11-20

Θεματικοί όροι: ddc:004, DATA processing & computer science

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000192776
https://publikationen.bibliothek.kit.edu/1000192776/180066934
https://doi.org/10.5445/IR/1000192776

State-of-Grid-Based SoC Balancing and AC Coupling Control for DC Microgrids

Συγγραφείς: Oemer Ekin, Max Leuthaeusser, Giovanni De Carne, Veit Hagenmeyer

Πηγή: IEEE Transactions on Industrial Electronics, 73 (5), 7071–7083

Θεματικοί όροι: ddc:004, decentralized control, dc microgrid, Battery energy storage system (BESS), state-of-grid (SoG), DATA processing & computer science, SoC-balancing, power management

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000189724/173157355
https://publikationen.bibliothek.kit.edu/1000189724
https://doi.org/10.5445/IR/1000189724

Advancing Brainwave-Based Biometrics: A Large-Scale, Multi-Session Evaluation

Συγγραφείς: Matin Fallahi, Patricia Arias Cabarcos, Thorsten Strufe

Πηγή: IEEE Transactions on Biometrics, Behavior, and Identity Science, 8 (3), 445–460

Θεματικοί όροι: ddc:004, Signal Processing (eess.SP), FOS: Computer and information sciences, Cryptography and Security, DATA processing & computer science, Signal Processing, FOS: Electrical engineering, electronic engineering, information engineering, Cryptography and Security (cs.CR)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2501.17866

Differential Execution with Lexical Tracing

Συγγραφείς: Sebastian Erdweg, Runqing Xu, Mo Bitar

Πηγή: Proceedings of the ACM on programming languages, 10 (OOPSLA1), 1682-1706

Θεματικοί όροι: ddc:004, mechanized metatheory, DATA processing & computer science, incremental computing, operational semantics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000192219/179208164
https://doi.org/10.5445/IR/1000192219
https://publikationen.bibliothek.kit.edu/1000192219

Predicting new research directions in materials science using large language models and concept graphs

Συγγραφείς: Thomas Marwitz, Alexander Colsmann, Ben Breitung, Christoph Brabec, Christoph Kirchlechner, Eva Blasco, Gabriel Cadilha Marques, Horst Hahn, Michael Hirtz, Pavel A. Levkin, Yolita M. Eggeler, Tobias Schlöder, Pascal Friederich

Πηγή: Nature Machine Intelligence, 8 (4), 535–544

Θεματικοί όροι: ddc:004, Machine Learning, FOS: Computer and information sciences, DATA processing & computer science, Machine Learning (cs.LG)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2506.16824
https://publikationen.bibliothek.kit.edu/1000192100/178820194
https://doi.org/10.5445/IR/1000192100
https://publikationen.bibliothek.kit.edu/1000192100

ARDiS: A Portable and Unified Resource Management Framework in Real Hardware Systems

Συγγραφείς: Mohammed Bakr Sikal, Jeferson Gonzalez-Gomez, Andreas Noebel, Heba Khdr, Joerg Henkel

Πηγή: ACM Transactions on Design Automation of Electronic Systems, 31 (4), 1–24

Θεματικοί όροι: ddc:004, DATA processing & computer science

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000192244/179277304
https://doi.org/10.5445/IR/1000192244
https://publikationen.bibliothek.kit.edu/1000192244

Detection of Airborne Pathogenic Wheat Rust Spores Using Machine-Learning-Assisted Optical Imaging

Συγγραφείς: Sebastian Kalt, Berthold Wegner, Max Strauß, Lenon Romano Modesto, Tim Alletzhäusser, Philipp Schulz, Tzenka Miteva, Martin Wegener

Πηγή: ACS Agricultural Science and Technology, 6 (4), 586-598

Θεματικοί όροι: ddc:004, machine learning, Puccinia striiformis f.sp. tritici, airborne pathogens, disease monitoring, DATA processing & computer science, fungal spores, Puccinia triticina, biosensing, wheat rust, spore tracking

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000192738
https://doi.org/10.5445/IR/1000192738
https://publikationen.bibliothek.kit.edu/1000192738/180052136

WebTigerPython: A Low-Floor High-Ceiling Python IDE for the Browser

Συγγραφείς: Clemens Bachmann, Alexandra Maximova, Tobias Kohn, Dennis Komm

Πηγή: Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1. :73-79

Θεματικοί όροι: ddc:004, K–12 education, FOS: Computer and information sciences, CS education, Computer Science - Programming Languages, programming education, educational robotics, Programming education, DATA processing & computer science, Educational robotics, Python, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2410.07001
https://publikationen.bibliothek.kit.edu/1000191550/177301531
https://doi.org/10.5445/IR/1000191550
https://publikationen.bibliothek.kit.edu/1000191550

Jumpy – Reinforce Learning about Reinforcement Learning from an AI's Point of View

Συγγραφείς: Annika Vielsack, Martina Landman, Tobias Kohn

Πηγή: Proceedings of the 28th Australasian Computing Education Conference. :170-178

Θεματικοί όροι: ddc:004, AI, Computer Science Education, DATA processing & computer science, AI Literacy, Tool, Reinforcement Learning, K-12 Education

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000192476/179685656
https://publikationen.bibliothek.kit.edu/1000192476
https://doi.org/10.5445/IR/1000192476

Finding the Right Balance: Facilitating the Exploration of Sorting Strategies using 3D-Printable Weights and Scales

Συγγραφείς: Annika Vielsack, Martina Landman

Πηγή: Proceedings of the 28th Australasian Computing Education Conference. :194-198

Θεματικοί όροι: ddc:004, Computational Thinking, Sorting Algorithms, Computer Science Education, DATA processing & computer science, Algorithmic Thinking

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000192480
https://doi.org/10.5445/IR/1000192480
https://publikationen.bibliothek.kit.edu/1000192480/179684866

Early-Exit and Instant Confidence Translation Quality Estimation

Συγγραφείς: Zouhar, Vilém, Züfle, Maike, Egressy, Beni, Cheng, Julius, Sachan, Mrinmaya, Niehues, Jan

Πηγή: Proceedings of the 19th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers). :55-76

Θεματικοί όροι: ddc:004, FOS: Computer and information sciences, DATA processing & computer science, Computation and Language, Computation and Language (cs.CL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2502.14429
https://aclanthology.org/2026.eacl-long.4/
https://publikationen.bibliothek.kit.edu/1000192829/180150462
https://publikationen.bibliothek.kit.edu/1000192829
https://doi.org/10.5445/IR/1000192829

Fix it - If you Can! Towards Understanding the Impact of Tool Support and Domain Owners' Reactions to SSHFP Misconfigurations

Συγγραφείς: Anne Hennig, Sebastian Neef, Peter Mayer 0001

Πηγή: 2025 IEEE Annual Computer Security Applications Conference (ACSAC). :1255-1271

Θεματικοί όροι: ddc:004, notification experiment, DNSSEC, DATA processing & computer science, SSH, misconfiguration, vulnerability notification, SSHFP

Περιγραφή αρχείου: application/pdf

An ontology-driven bayesian network approach to fault diagnosis and correction in manufacturing

Συγγραφείς: Wilhelm, Yannick, Reimann, Peter, Gauchel, Wolfgang, Mitschang, Bernhard

Πηγή: The International Journal of Advanced Manufacturing Technology, 143 (5-6), 2521–2544

Θεματικοί όροι: ddc:004, Bayesian network, Fault diagnosis and correction, Ontology, DATA processing & computer science, Decision support system, FMECA

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://publikationen.bibliothek.kit.edu/1000193220/181018155
https://doi.org/10.5445/IR/1000193220
https://publikationen.bibliothek.kit.edu/1000193220

Ribbon: Fast Succinct Static Retrieval and Approximate Membership

Συγγραφείς: Martin Dietzfelbinger, Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders 0001, Stefan Walzer

Πηγή: Journal of the ACM, 73 (1), 1–45

Θεματικοί όροι: ddc:004, DATA processing & computer science

Περιγραφή αρχείου: application/pdf

Dialogs with GenAI NPCs: Exploring Player Interactions with Speech Agents in a VR Game: Exploring Player Interactions with Speech Agents in a VR Game

Συγγραφείς: Nima Zargham, Leandro Tonini, Dmitry Alexandrovsky, Emma Grace Ruthven, Maximilian A. Friehs, Leon Tristan Dratzidis, Bastian Dänekas, Ioannis Bikas, Lennart E. Nacke, Sven Zebel, Rainer Malaka

Πηγή: International Journal of Human–Computer Interaction

Θεματικοί όροι: ddc:004, voice interaction, Generative AI, DATA processing & computer science, UT-Hybrid-D, virtual reality, video games, NPCs

Περιγραφή αρχείου: application/pdf