Home  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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.
2018
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)
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)
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)
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)
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
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
CoRR abs/1801.04134
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)
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)
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)
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)
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)
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)
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)
Julio Borges, Peter Bozsoky, Simon Sudrich und Michael Beigl
Advances in Event Detection
International Symposium on Advances in Smart Big Data Processing (SBDP 2017)
Niklas Baumstark, Simon Gog, Tobias Heuer und Julian Labeit
Practical Range Minimum Queries Revisited
16th International Symposium on Experimental Algorithms (SEA 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)
Simon Sudrich, Julio Borges und Michael Beigl
Anomaly Detection in Evolving Heterogeneous Graphs
3rd IEEE International Conference on Smart Data (SmartData 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
Matthias Plappert, Christian Mandery und Tamim Asfour
The KIT Motion-Language Dataset
Big Data 4(4)
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)
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 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)
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)
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)