Zurück zur Hauptseite von "Praxis der Forschung"

Praxis der Forschung

Veröffentlichungen im Rahmen von "Praxis der Forschung"

Im Folgenden sind aus Projekten im Rahmen von "Praxis der Forschung" entstandene Veröffentlichungen aufgelistet:

Lieber nach Kategorien gruppieren.
2023
Florian Seligmann, Philipp Becker, Michael Volpp und Gerhard Neumann
Beyond Deep Ensembles: A Large-Scale Evaluation of Bayesian Deep Learning under Distribution Shift
Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, December 10-16, 2021, New Orleans, US
2022
Stefan Hermann, Tobias Röddiger und Michael Beigl
Towards Detecting Complete Chest Recoil from Smartphone Vibration Strength during Cardiopulmonary Resuscitation
2022 ACM International Symposium on Wearable Computers (ISWC 2022)
Jonas Teufel, Luca Torresi, Patrick Reiser und Pascal Friederich
MEGAN: Multi-Explanation Graph Attention Network
CoRR abs/2211.13236
2021
Sebastian H. Faller, Pascal Baumer, Michael Klooß, Alexander Koch, Astrid Ottenhues und Markus Raiber
Black-Box Accumulation Based on Lattices
18th IMA International Conference on Cryptography and Coding (IMACC 2021)
Samuel Teuber, Marko Kleine Büning, Philipp Kern und Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks
33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021)
Leonard Bärmann, Fabian Peller‑Konrad, Stefan Constantin, Tamim Asfour und Alex Waibel
Deep Episodic Memory for Verbalization of Robot Experience
IEEE Robotics and Automation Letters (RA-L) 6(3) (Best Paper Award at the IEEE/RAS International Conference on Humanoid Robots (Humanoids) Interactive Session)
Joshua Gleitze, Heiko Klare und Erik Burger
Finding a Universal Execution Strategy for Model Transformation Networks
24th International Conference on Fundamental Approaches to Software Engineering (FASE 2021) held as part of ETAPS 2021: European Joint Conferences on Theory and Practice of Software
2020
Rainer Kartmann, You Zhou, Danqing Liu, Fabian Paus und Tamim Asfour
Representing Spatial Object Relations as Parametric Polar Distribution for Scene Manipulation Based on Verbal Commands
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2020)
Karsten Diekhoff, Michael Kirsten und Jonas Krämer
Verified Construction of Fair Voting Rules
29th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2019), Revised Selected Papers
Nicolas Boltz, Maximilian Walter und Robert Heinrich
Context-Based Confidentiality Analysis for Industrial IoT
46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2020)
Antonios Karatzoglou, Jan Ebbing, Phil Ostheimer, Wenlan Hua und Michael Beigl
Sentient Destination Prediction
User Modeling and User-Adapted Interaction (UMUAI), Special Issue on Harnessing Personal Tracking Data for Personalization and Sense-Making (HPTDPS 2019)
Laura Merker und Torsten Ueckerdt
The Local Queue Number of Graphs with Bounded Treewidth
28th International Symposium on Graph Drawing and Network Visualization (GD 2020), Revised Selected Papers
2019
Verena Heusser, Niklas Freymuth, Stefan Constantin und Alex Waibel
Bimodal Speech Emotion Recognition Using Pre-Trained Language Models
Life Long Learning for Spoken Language Systems Workshop affiliated with ASRU 2019: IEEE Automatic Speech Recognition and Understanding Workshop
Alexander Koch, Michael Schrempp und Michael Kirsten
Card-Based Cryptography Meets Formal Verification
25th International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2019)
Karsten Diekhoff, Michael Kirsten und Jonas Krämer
Formal Property-Oriented Design of Voting Rules Using Composable Modules
6th International Conference on Algorithmic Decision Theory (ADT 2019)
Kiron Mirdha und Markus Jung
SERUM: A Lightweight Approach for Secure Network Route Monitoring in Industrial Networks
24th IEEE Symposium on Computers and Communications (ISCC 2019)
2018
Julia Starke, Christian Eichmann, Simon Ottenhaus und Tamim Asfour
Synergy-Based, Data-Driven Generation of Object-Specific Grasps for Anthropomorphic Hands
18th IEEE/RAS International Conference on Humanoid Robots (Humanoids 2018)
Oliver Karrenbauer, Samuel Rader und Tamim Asfour
An Ontology-Based Expert System to Support the Design of Humanoid Robot Components
IEEE/RAS International Conference on Humanoid Robots (Humanoids 2018)
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten und Marko Kleine Büning
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control
20th International Conference on Formal Engineering Methods - Formal Methods and Software Engineering (ICFEM 2018)
Rainer Kartmann, Fabian Paus, Markus Grotz und Tamim Asfour
Extraction of Physically Plausible Support Relations to Predict and Validate Manipulation Action Effects
IEEE Robotics and Automation Letters 3(4)
Jonas Rothfuss, Fábio Ferreira, Eren Erdal Aksoy, You Zhou und Tamim Asfour
Deep Episodic Memory: Encoding, Recalling, and Predicting Episodic Experiences for Robot Action Execution
IEEE Robotics and Automation Letters 3(4)
Simon Ottenhaus, Pascal Weiner, Lukas Kaul, Andreea Tulbure und Tamim Asfour
Exploration and Reconstruction of Unknown Objects using a Novel Normal and Contact Sensor
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018)
Yves Schneider, Axel Busch und Anne Koziolek
Using Informal Knowledge for Improving Software Quality Trade-Off Decisions
12th European Conference on Software Architecture (ECSA 2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich und Alexander Weigl
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation (MARS/VPT@ETAPS 2018)
Rudolf Biczok, Kiana Busch, Robert Heinrich und Ralf Reussner
An Industry 4.0 Case Study: The Integration of CoCoME and xPPU
Karlsruhe Institute of Technology (KIT) 8
2017
Christian R. G. Dreher, Nicklas Kulp, Christian Mandery, Mirko Wächter und Tamim Asfour
A Framework for Evaluating Motion Segmentation Algorithms
IEEE/RAS International Conference on Humanoid Robots (Humanoids 2017)
Andrea Schankin, Daniel Reichert, Matthias Berning und Michael Beigl
The Impact of the Frame of Reference on Attention Shifts Between Augmented Reality and Real-World Environment
IEEE International Symposium on Mixed and Augmented Reality (ISMAR-Adjunct 2017) (Poster)
Vincent Diener, Michael Beigl, Matthias Budde und Erik Pescara
VibrationCap: Studying Vibrotactile Localization on the Human Head with an Unobtrusive Wearable Tactile Display
21st International Symposium on Wearable Computers (ISWC 2017)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch und Mattias Ulbrich
SemSlice: Exploiting Relational Verification for Automatic Program Slicing
13th International Conference on integrated Formal Methods (iFM 2017)
Matthias Budde, Andrea Schankin, Julien Hoffmann, Marcel Danz, Till Riedel und Michael Beigl
Participatory Sensing or Participatory Nonsense? – Mitigating the Effect of Human Error on Data Quality in Citizen Science
Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) 1(3)
Addis Dittebrandt, Michael König und Felix Neumeister
Towards a Shared Evaluation Environment for Software-defined Networking
Studierendenkonferenz Informatik (SKILL 2017) im Rahmen der INFORMATIK 2017 (Best Paper Award)
Julio Borges, Henrik Hain, Simon Sudrich und Michael Beigl
Event Detection for Smarter Cities
1st IEEE International Conference on Smart City Innovations (IEEE SCI 2017)
Almut Demel und Michael Kirsten
Formal Fairness Properties in Network Routing Based on a Resource Allocation Model
9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017)
Simon Sudrich, Julio Borges und Michael Beigl
Graph-based Anomaly Detection for Smart Cities: A Survey
1st IEEE International Conference on Smart City Innovations (IEEE SCI 2017)
Simon Sudrich, Julio Borges und Michael Beigl
Anomaly Detection in Evolving Heterogeneous Graphs
3rd IEEE International Conference on Smart Data (SmartData 2017)
Niklas Baumstark, Simon Gog, Tobias Heuer und Julian Labeit
The Quantile Index – Succinct Self-Index for Top-k Document Retrieval
16th International Symposium on Experimental Algorithms (SEA 2017)
Niklas Baumstark, Simon Gog, Tobias Heuer und Julian Labeit
Practical Range Minimum Queries Revisited
16th International Symposium on Experimental Algorithms (SEA 2017)
Julio Borges, Peter Bozsoky, Simon Sudrich und Michael Beigl
Advances in Event Detection
International Symposium on Advances in Smart Big Data Processing (SBDP 2017)
Julian Labeit und Simon Gog
Elias-Fano meets Single-Term Top-k Document Retrieval
19th Workshop on Algorithm Engineering and Experiments (ALENEX 2017)
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten und Marko Kleine Büning
Combining Graph-Based and Deduction-Based Information-Flow Analysis
5th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2017)
2016
Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm und Peter Sanders
Thrill: High-Performance Algorithmic Distributed Batch Data Processing with C++
IEEE International Conference on Big Data (Big Data 2016)
Matthias Plappert, Christian Mandery und Tamim Asfour
The KIT Motion-Language Dataset
Big Data 4(4)
Anja Exler, Matthias Urschel, Andrea Schankin und Michael Beigl
Smartphone-Based Detection of Location Changes Using WiFi Data
6th EAI International Conference on Wireless Mobile Communication and Healthcare (MobiHealth 2016)
Anja Exler, Andrea Schankin, Christoph Klebsattel und Michael Beigl
A Wearable System for Mood Assessment Considering Smartphone Features and Data from Mobile ECGs
ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp-Adjunct 2016)
Christian Mandery, Matthias Plappert, Júlia Borrás Sol und Tamim Asfour
Dimensionality Reduction for Whole-Body Human Motion Recognition
19th International Conference on Information Fusion (FUSION 2016)
2015
Anja Bachmann, Christoph Klebsattel, Andrea Schankin, Till Riedel, Michael Beigl, Markus Reichert, Philip Santangelo und Ulrich Ebner‑Priemer
Leveraging Smartwatches for Unobtrusive Mobile Ambulatory Mood Assessment
ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers (UbiComp 2015)
Sven Leonhardt, Benjamin Hettwer, Johannes Hoor und Michael Langhammer
Integration of Existing Software Artifacts into a View- and Change-Driven Development Approach
Joint Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering (MORSE/VAO 2015)
Markus Scholz, Lukas Kohout, Matthias Horne, Matthias Budde, Michael Beigl und Moustafa A. Youssef
Device-Free Radio-based Low Overhead Identification of Subject Classes
2nd Workshop on Physical Analytics (WPA@MobiSys 2015)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer und Mattias Ulbrich
Automating Regression Verification
LNI Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW (SE & SWM 2015)
2014
Andrei Miclaus, Till Riedel, Jack Unseld und Michael Beigl
Semantic Web Based Context-Adaptable Generation of Product Specific Documentation
5th International Workshop on Web of Things (WoT 2014)
Andrei Miclaus, Till Riedel und Michael Beigl
End-User Installation of Heterogeneous Home Automation Systems Using Pen and Paper Interfaces and Dynamically Generated Documentation
4th International Conference on the Internet of Things (IOT 2014)
Matthias Budde, Julio De Melo Borges, Stefan Tomov, Till Riedel und Michael Beigl
Leveraging Spatio-Temporal Clustering for Participatory Urban Infrastructure Monitoring
1st International Conference on IoT in Urban Space (Urb-IoT 2014) (Best Paper Award)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer und Mattias Ulbrich
Automating Regression Verification
29th ACM/IEEE International Conference on Automated Software Engineering (ASE 2014)
Matthias Budde, Julio De Melo Borges, Stefan Tomov, Till Riedel und Michael Beigl
Improving Participatory Urban Infrastructure Monitoring through Spatio-Temporal Analytics
3rd International Workshop on Urban Computing (UrbComp 2014)
2013
Michael Hauber, Anja Bachmann, Matthias Budde und Michael Beigl
jActivity: Supporting Mobile Web Developers with HTML5/JavaScript based Human Activity Recognition
12th International Conference on Mobile and Ubiquitous Multimedia (MUM 2013) (Poster)