Technische Universität Braunschweig

research

∙ 05/12/2020

Class-Incremental Learning for Semantic Segmentation Re-Using Neither Old Data Nor Old Labels

While neural networks trained for semantic segmentation are essential fo...

Marvin Klingner, et al. ∙

research

∙ 01/11/2021

The Vulnerability of Semantic Segmentation Networks to Adversarial Attacks in Autonomous Driving: Enhancing Extensive Environment Sensing

Enabling autonomous driving (AD) can be considered one of the biggest ch...

Andreas Bär, et al. ∙

research

∙ 04/10/2002

The Geometric Maximum Traveling Salesman Problem

We consider the traveling salesman problem when the cities are points in...

Alexander Barvinok, et al. ∙

research

∙ 03/29/2017

Ontology based Scene Creation for the Development of Automated Vehicles

The introduction of automated vehicles without permanent human supervisi...

Gerrit Bagschik, et al. ∙

research

∙ 01/18/2010

An Immuno-Inspired Approach to Misbehavior Detection in Ad Hoc Wireless Networks

We propose and evaluate an immuno-inspired approach to misbehavior detec...

Martin Drozda, et al. ∙

research

∙ 12/04/2017

Particle Computation: Complexity, Algorithms, and Logic

We investigate algorithmic control of a large swarm of mobile particles ...

Aaron T. Becker, et al. ∙

research

∙ 11/30/2017

Keep it Fair: Equivalences

For models of concurrent and distributed systems, it is important and al...

Tobias Prehn, et al. ∙

research

∙ 12/20/2017

EstimatedWold Representation and Spectral Density-Driven Bootstrap for Time Series

The second-order dependence structure of purely nondeterministic station...

Jonas Krampe, et al. ∙

research

∙ 12/26/2017

Folding Polyominoes into (Poly)Cubes

We study the problem of folding a polyomino P into a polycube Q, allowin...

Oswin Aichholzer, et al. ∙

research

∙ 12/18/2017

Don't Rock the Boat: Algorithms for Balanced Dynamic Loading and Unloading

We consider dynamic loading and unloading problems for heavy geometric o...

Sandor P. Fekete, et al. ∙

research

∙ 06/15/2017

On meeting Energy Balance Errors in Cosimulations

In engineering, it is a common desire to couple existing simulation tool...

Thilo Moshagen, et al. ∙

research

∙ 11/24/2017

Improving Reliability of Service Function Chains with Combined VNF Migrations and Replications

The Network Function Virtualization (NFV) paradigm is enabling flexibili...

Francisco Carpio, et al. ∙

research

∙ 09/12/2017

Conflict-Free Coloring of Intersection Graphs

A conflict-free k-coloring of a graph G=(V,E) assigns one of k different...

Sandor P. Fekete, et al. ∙

research

∙ 10/13/2017

On Integrated L^1 Convergence Rate of an Isotonic Regression Estimator for Multivariate Observations

We consider a general monotone regression estimation where we allow for ...

Konstantinos Fokianos, et al. ∙

research

∙ 01/19/2018

Some aspects of physical prototyping in Pervasive Computing

This document summarises the results of several research campaigns over ...

Stephan Sigg, et al. ∙

research

∙ 01/05/2018

Scenarios for Development, Test and Validation of Automated Vehicles

The ISO 26262 standard from 2016 represents the state of the art for a s...

Till Menzel, et al. ∙

research

∙ 02/15/2018

Fine-Grained Complexity of Safety Verification

We study the fine-grained complexity of Leader Contributor Reachability ...

Peter Chini, et al. ∙

research

∙ 03/07/2018

A finest balancing score algorithm to avoid common pitfalls of propensity score matching

Propensity score matching (PSM) is the de-facto standard for estimating ...

Felix Bestehorn, et al. ∙

research

∙ 04/05/2018

Survey of Communication Protocols for Internet-of-Things and Related Challenges of Fog and Cloud Computing Integration

The fast increment in the number of IoT (Internet of Things) devices is ...

Jasenka Dizdarevic, et al. ∙

research

∙ 06/18/2018

A Frequency Domain Bootstrap for General Stationary Processes

Existing frequency domain methods for bootstrapping time series have a l...

Marco Meyer, et al. ∙

research

∙ 06/28/2018

Bootstrap Based Inference for Sparse High-Dimensional Time Series Models

Fitting sparse models to high dimensional time series is an important ar...

J. Krampe, et al. ∙

research

∙ 07/03/2018

Time Series Modeling on Dynamic Networks

We consider multivariate time series on dynamic networks with a fixed nu...

Jonas Krampe, et al. ∙

research

∙ 07/16/2018

Fast Witness Counting

We study the witness-counting problem: given a set of vectors V in the d...

Peter Chini, et al. ∙

research

∙ 03/07/2018

A deterministic balancing score algorithm to avoid common pitfalls of propensity score matching

Propensity score matching (PSM) is the de-facto standard for estimating ...

Felix Bestehorn, et al. ∙

research

∙ 10/15/2018

CADbots: Algorithmic Aspects of Manipulating Programmable Matter with Finite Automata

We contribute results for a set of fundamental problems in the context o...

Sandor P. Fekete, et al. ∙

research

∙ 10/22/2018

Fast Dual Simulation Processing of Graph Database Queries (Supplement)

Graph database query languages feature expressive, yet computationally e...

Stephan Mennicke, et al. ∙

research

∙ 10/25/2018

Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis

Verification of concurrent data structures is one of the most challengin...

Roland Meyer, et al. ∙

research

∙ 10/29/2018

On Coding for Reliable VNF Chaining in DCNs

We study how erasure coding can improve service reliability in Data Cent...

Anna Engelmann, et al. ∙

research

∙ 11/14/2018

How to get meaningful and correct results from your finite element model

This document gives guidelines to set up, run, and postprocess correct s...

Martin Bäker, et al. ∙

research

∙ 11/26/2018

Non-deterministic inference using random set models: theory, approximation, and sampling method

A random set is a generalisation of a random variable, i.e. a set-valued...

Truong-Vinh Hoang, et al. ∙

research

∙ 11/27/2018

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

Deductive verification of software has not yet found its way into indust...

Alexander Knüppel, et al. ∙

research

∙ 01/17/2019

New family of Stream Ciphers and their applications for Physical Security

In this paper, we propose a new family of stream ciphers based on combin...

Ayoub Mars, et al. ∙

research

∙ 01/17/2019

New Family of Stream Ciphers as Physically Clone-Resistant VLSI-Structures

A new large class of 2^100 possible stream ciphers as keystream generato...

Ayoub Mars, et al. ∙

research

∙ 02/12/2019

GAN- vs. JPEG2000 Image Compression for Distributed Automotive Perception: Higher Peak SNR Does Not Mean Better Semantic Segmentation

The high amount of sensors required for autonomous driving poses enormou...

Jonas Löhdefink, et al. ∙

research

∙ 02/20/2019

Machine Learning Techniques to Detecting and Preventing Jamming Attacks in Optical Networks

We study the effectiveness of various machine learning techniques, inclu...

Mounir Bensalem, et al. ∙

research

∙ 02/25/2019

Towards Corner Case Detection for Autonomous Driving

The progress in autonomous driving is also due to the increased availabi...

Jan-Aike Bolte, et al. ∙

research

∙ 03/08/2019

Enhancing REST HTTP with Random Linear Network Coding in Dynamic Edge Computing Environments

The rising number of IoT devices is accelerating the research on new sol...

Cao-Vien Phung, et al. ∙

research

∙ 04/21/2019

Kriging in Tensor Train data format

Combination of low-tensor rank techniques and the Fast Fourier transform...

Sergey Dolgov, et al. ∙

research

∙ 05/02/2019

Engineering a QoS Provider Mechanism for Edge Computing with Deep Reinforcement Learning

With the development of new system solutions that integrate traditional ...

Francisco Carpio, et al. ∙

research

∙ 05/22/2019

A Method for Classifying Test Bench Configurations in a Scenario-Based Test Approach for Automated Vehicles

The introduction of automated vehicles demands a way to prove their safe...

Markus Steimle, et al. ∙

research

∙ 05/27/2019

Enhancing Block-Wise Transfer with Network Coding in CoAP

CoAP (Constrained Application Protocol) with block-wise transfer (BWT) o...

Cao-Vien Phung, et al. ∙

research

∙ 06/26/2019

On free completely iterative algebras

For every finitary set functor F we demonstrate that free algebras carry...

Jiří Adamek, et al. ∙

research

∙ 07/02/2019

The Information Processing Factory: Organization, Terminology, and Definitions

The Information Processing Factory (IPF) project has recently introduced...

Eberle A. Rambo, et al. ∙

research

∙ 07/08/2019

Mitigating Censorship with Multi-Circuit Tor and Linear Network Coding

Anonymity networks are providing practical mechanisms to protect its use...

Anna Engelmann, et al. ∙

research

∙ 07/09/2019

Shock Capturing by Bernstein Polynomials for Scalar Conservation Laws

A main disadvantage of many high-order methods for hyperbolic conservati...

Jan Glaubitz, et al. ∙

research

∙ 07/22/2019

Calculating phase diagrams with ATAT

This document is a short and informal tutorial on some aspects of calcul...

Martin Bäker, et al. ∙

research

∙ 08/27/2019

High Performance Block Incomplete LU Factorization

Many application problems that lead to solving linear systems make use o...

Matthias Bollhöfer, et al. ∙

research

∙ 11/22/2019

Parametric Models Analysed with Linear Maps

Parametric entities appear in many contexts, be it in optimisation, cont...

Hermann G. Matthies, et al. ∙

research

∙ 01/19/2020

Modeling of Deep Neural Network (DNN) Placement and Inference in Edge Computing

With the edge computing becoming an increasingly adopted concept in syst...

Mounir Bensalem, et al. ∙

research

∙ 02/10/2020

Engineering and Experimentally Benchmarking a Container-based Edge Computing System

While edge computing is envisioned to superbly serve latency sensitive a...

Francisco Carpio, et al. ∙

Technische Universität Braunschweig

Featured Researchers