Fak. 4 Elektrotechnik und Informatik

1486 Items

Recent Submissions
The State of Network Neutrality Regulation

Stocker, Volker ; Smaragdakis, Georgios ; Lehr, William (2020-03)

The Network Neutrality (NN) debate refers to the battle over the design of a regulatory framework for preserving the Internet as a public network and open innovation platform. Fueled by concerns that broadband access service providers might abuse network management to discriminate against third party providers (e.g., content or application providers), policymakers have struggled with designing ...

BCI under distraction: Motor imagery in a pseudo realistic environment

Brandl, Stephanie (2015)

With the aim to investigate BCI in a pseudo-realistic environment, we recorded EEG from 16 healthy participants. Participants were asked to perform motor imagery tasks while dealing with different types of distractions such as vibratory stimulations or listening tasks.

Advancing data curation with metadata and statistical relational learning

Visengeriyeva, Larysa (2020)

The foundation of every data science project depends on clean data because the quality of the data determines the quality of the insights derived from data by using machine learning or analytics. In this dissertation, we tackle the problem of data cleaning and provide three approaches to advance data error detection and repair: (1) We establish a mapping that reflects the connection between d...

Knowledge Extraction from Natural Language Requirements into a Semantic Relation Graph

Schlutter, Aaron ; Vogelsang, Andreas (2020)

Knowledge extraction and representation aims to identify information and to transform it into a machine-readable format. Knowledge representations support Information Retrieval tasks such as searching for single statements, documents, or metadata. Requirements specifications of complex systems such as automotive software systems are usually divided into different subsystem specifications. Nev...

Electron-beam-induced current measurements with applied bias provide insight to locally resolved acceptor concentrations at p-n junctions

Abou-Ras, Daniel ; Schaefer, Norbert ; Baldaz, N. ; Brunken, Stephan ; Boit, Christian (2015-07-31)

Electron-beam-induced current (EBIC) measurements have been employed for the investigation of the local electrical properties existing at various types of electrical junctions during the past decades. In the standard configuration, the device under investigation is analyzed under short-circuit conditions. Further insight into the function of the electrical junction can be obtained when applying...

Active Acoustic Contact Sensing for Soft Pneumatic Actuators

Zöller, Gabriel ; Wall, Vincent ; Brock, Oliver (2020-02)

Supplementary data to our publication Zöller, Gabriel, Vincent Wall, and Oliver Brock. "Active Acoustic Contact Sensing for Soft Pneumatic Actuators." 2020 IEEE International Conference on Robotics and Automation (ICRA). IEEE, 2020.

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages

Berg, Nils ; Göthel, Thomas ; Danziger, Armin ; Glesner, Sabine (2018-10-11)

In the implementation of abstract synchronous communication in asynchronous unstructured low-level languages, e.g. using shared variables, the preservation of safety and especially liveness properties is a hitherto open problem due to inherently different abstraction levels. Our approach to overcome this problem is threefold: First, we present our notion of handshake refinement with which we fo...

Refinement-Based Verification of Communicating Unstructured Code

Jähnig, Nils ; Göthel, Thomas ; Glesner, Sabine (2016-06-23)

Formal model refinement aims at preserving safety and liveness properties of models. However, there is usually a verification gap between model and executed code, especially if concurrent processes are involved. The reason for this is that a manual implementation and further code optimizations can introduce implementation errors. In this paper, we present a framework that allows for formally pr...

Secure cloud computing in legal metrology

Oppermann, Alexander (2020)

In Europe, all measuring instruments under legal control have to pass a conformity assessment to prove compliance with the European Measuring Instrument Directive (MID). In Germany, the MID is regulated via the German Measures and Verification Act (MessEG) that imposes additional requirements for nationally regulated measuring instruments. According to estimations, about four to six percent of t...

Flexibler Modulator und Digitalverstärker-MMIC für den energieeffizienten Betrieb einer digitalen Sendekette im GHz-Bereich

Hühn, Florian (2020)

Schaltverstärker für Mikrowellenanwendungen versprechen gegenüber analogen Verstärkern ein hohes Energieeinsparungspotential, deutlich gesteigerte Flexibilität, z.B. in Form von maximaler Frequenzagilität und Einsparungsmöglichkeiten bei Volumen und Gewicht, sowie geringere Empfindlichkeit gegenüber Bauteiltoleranzen. Bislang konnten diese Vorzüge in der Praxis jedoch nicht genutzt werden, da d...

From threats to solutions in data center networks

Kashyap, Thimmaraju (2020)

In this dissertation we adopt a threat model where the data center network infrastructure is potentially malicious. To describe practical threats and solutions related to malicious switches, we draw our attention to multi-tenant data center networks that i) consolidate control over the (hardware and software) switches to a logically centralized controller and ii) use virtualization techniques f...

Locally solving linear systems for geometry processing

Herholz, Philipp (2020)

Geometry processing algorithms commonly need to solve linear systems involv- ing discrete Laplacians. In many cases this constitutes a central building block of the algorithm and dominates runtime. Usually highly optimized libraries are em- ployed to solve these systems, however, they are built to solve very general linear systems. I argue that it is possible to create more efficient algorithms...

Impact of stochastic transmission effects on the design of digital back propagation

Goroshko, Kseniia (2020)

During the last three decades optical telecommunications industry is constantly pushing for new data transmission capacity limits. With a nowadays paradigm of coherent communication, one of the ways to increase the data rates is closely related to increasing the signal transmission power. That in turns allows reaching higher optical signal-to-noise ratio (OSNR). An intrinsic part of this soluti...

Impairment analysis and mitigation for cost-effective OFDM-based access systems

Duarte Sequeira André, Nuno Miguel (2020)

The growth in broadband connection speed has been exponential, and this trend will continue in the foreseeable future [1]. An access network is a connection between users and service providers and therefore a key element in support of this growth. While expanding its broadband offer a service provider must ensure seamless migration through compatibility with legacy networks, and also create an ...

Supporting domain modeling with automated knowledge acquisition and modeling recommendations

Agt-Rickauer, Henning (2020)

Domain modeling is an important model-driven engineering activity, which is typically used in the early stages of software projects. Domain models capture concepts and relationships of respective application fields using a modeling language and domain-specific terms. They are a key factor in achieving shared understanding of the problem area among stakeholders, improving communication in softwa...

Ad-hoc stream query processing

Karimov, Jeyhun (2020)

Many modern applications require processing large amounts of data in a real-time fashion. As a result, distributed stream processing engines (SPEs) have gained significant attention as an important new class of big data processing systems. The central design principle of these SPEs is to handle queries that potentially run forever on data streams with a query-at-a-time model, i.e., each query i...

Fully integrated 240 GHz transmitter and receiver for high data rate communication

Eissa, Mohamed Hussein (2020)

The need for higher data rate wireless communication is increasing rapidly for different kind of applications. Hence the utilization of the wide and unallocated band above 200 GHz opens a lot of opportunities to serve these applications. This work presents the design, implementation and demonstration of fully integrated transmitter and receiver circuits for wireless communication at 240 GHz car...

Performance Counters based Power Modeling of Mobile GPUs using Deep Learning

Mammeri, Nadjib ; Neu, Markus ; Lal, Sohan ; Juurlink, Ben (2019-07-15)

GPUs have recently become important computational units on mobile devices, resulting in heterogeneous devices that can run a variety of parallel processing applications. While developing and optimizing such applications, estimating power consumption is of immense importance as energy efficiency has become the key design constraint to optimize for on these platforms. In this work, we apply deep ...

An Efficient Lightweight Framework for Porting Vision Algorithms on Embedded SoCs

Ashish, Apurv ; Lal, Sohan ; Juurlink, Ben (2019-09-10)

The recent advances in the field of embedded hardware and computer vision have made autonomous vehicles a tangible reality. The primary requirement of such an autonomous vehicle is an intelligent system that can process sensor inputs such as camera or lidar to have a perception of the surroundings. The vision algorithms are the core of a camera-based Advanced Driver Assistance Systems (ADAS). H...

Investigation of the Mechanical and Electrical Properties of Elastic Textile/Polymer Composites for Stretchable Electronics at Quasi-Static or Cyclic Mechanical Loads

Dils, Christian ; Werft, Lukas ; Walter, Hans ; Zwanzig, Michael ; Krshiwoblozki, Malte von ; Schneider-Ramelow, Martin (2019-11-01)

In the last decade, interest in stretchable electronic systems that can be bent or shaped three-dimensionally has increased. The application of these systems is that they differentiate between two states and derive there from the requirements for the materials used: once formed, but static or permanently flexible. For this purpose, new materials that exceed the limited mechanical properties of ...