
Efficient RewardBased Structural Plasticity on a SpiNNaker 2 Prototype
Advances in neuroscience uncover the mechanisms employed by the brain to...
read it

Dynamic Power Management for Neuromorphic ManyCore Systems
This work presents a dynamic power management architecture for neuromorp...
read it

Structural Similarity based Anatomical and Functional Brain Imaging Fusion
Multimodal medical image fusion helps in combining contrasting features ...
read it

On the Usability of Probably Approximately Correct Implication Bases
We revisit the notion of probably approximately correct implication base...
read it

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Unification in Description Logics has been introduced as a means to dete...
read it

Body movement to sound interface with vector autoregressive hierarchical hidden Markov models
Interfacing a kinetic action of a person to an action of a machine syste...
read it

ColumnOriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report)
The evaluation of Datalog rules over large Knowledge Graphs (KGs) is ess...
read it

Reasoning in Infinitely Valued GIALCQ
Fuzzy Description Logics (FDLs) are logicbased formalisms used to repre...
read it

Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Fuzzy Description Logics (DLs) provide a means for representing vague kn...
read it

Worstcase Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses
The need for an ontological layer on top of data, associated with advanc...
read it

Interactive Error Correction in Implicative Theories
Errors in implicative theories coming from binary data are studied. Firs...
read it

On the measure of conflicts: A MUSDecomposition Based Framework
Measuring inconsistency is viewed as an important issue related to handl...
read it

Can Ground Truth Label Propagation from Video help Semantic Segmentation?
For stateoftheart semantic segmentation task, training convolutional ...
read it

The RegularGcc Matrix Constraint
We study propagation of the RegularGcc global constraint. This ensures t...
read it

FluCaP: A Heuristic Search Planner for FirstOrder MDPs
We present a heuristic search algorithm for solving firstorder Markov D...
read it

Coprocessor  a Standalone SAT Preprocessor
In this work a standalone preprocessor for SAT is presented that is abl...
read it

Computing with Logic as Operator Elimination: The ToyElim System
A prototype system is described whose core functionality is, based on pr...
read it

A uniform approach to logic programming semantics
Part of the theory of logic programming and nonmonotonic reasoning conce...
read it

Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System
This study covers an analytical approach to calculate positively invaria...
read it

ParMooN  a modernized program package based on mapped finite elements
ParMooN is a program package for the numerical solution of elliptic and...
read it

An LLVM Instrumentation Plugin for ScoreP
Reducing application runtime, scaling parallel applications to higher nu...
read it

Toward transient finite element simulation of thermal deformation of machine tools in realtime
Finite element models without simplifying assumptions can accurately des...
read it

Detecting independence of random vectors II. Distance multivariance and Gaussian multivariance
We introduce two new measures for the dependence of n > 2 random variabl...
read it

Synthesis of Optimal Resilient Control Strategies
Repair mechanisms are important within resilient systems to maintain the...
read it

Towards Adaptive Resilience in High Performance Computing
Failure rates in high performance computers rapidly increase due to the ...
read it

Secret Message Transmission over Quantum Channels under Adversarial Quantum Noise: Secrecy Capacity and SuperActivation
We determine the secrecy capacities of arbitrarily varying quantum chann...
read it

On Stochastic Orders and Fast Fading Multiuser Channels with Statistical CSIT
In this paper, we investigate the ergodic capacity of fast fading Gaussi...
read it

TTW: A TimeTriggeredWireless Design for CPS [ Extended version ]
Wired field buses have proved their effectiveness to support CyberPhysi...
read it

On the Use of Underspecified DataType Semantics for Type Safety in LowLevel Code
In recent projects on operatingsystem verification, C and C++ data type...
read it

Alpaka  An Abstraction Library for Parallel Kernel Acceleration
Porting applications to new hardware or programming models is a tedious ...
read it

The interface for functions in the dunefunctions module
The dunefunctions dune module introduces a new programmer interface for...
read it

The Dune FoamGrid implementation for surface and network grids
We present FoamGrid, a new implementation of the DUNE grid interface. Fo...
read it

Parametric Markov Chains: PCTL Complexity and Fractionfree Gaussian Elimination
Parametric Markov chains have been introduced as a model for families of...
read it

Testing Optimality of Sequential DecisionMaking
This paper provides a statistical method to test whether a system that p...
read it

Fully Quantum Arbitrarily Varying Channels: Random Coding Capacity and Capacity Dichotomy
We consider a model of communication via a fully quantum jammer channel ...
read it

Intrinsic dimension of concept lattices
Geometric analysis is a very capable theory to understand the influence ...
read it

Modeling of languages for tensor manipulation
Numerical applications and, more recently, machine learning applications...
read it

Which NPHard SAT and CSP Problems Admit Exponentially Improved Algorithms?
We study the complexity of SAT(Γ) problems for potentially infinite lang...
read it

Performance of Mediabased Modulation in Multiuser Networks
High spectral efficiency and low power consumption are the most challeng...
read it

Uplink and Downlink Transceiver Design for OFDM with Index Modulation in Multiuser Networks
A new modulation scheme called OFDM with index modulation (OFDMIM) is i...
read it

FrequencySelective Hybrid Beamforming Based on Implicit CSI for Millimeter Wave Systems
Hybrid beamforming is a promising concept to achieve high data rate tran...
read it

TimeDomain MultiBeam Selection and Its Performance Improvement for mmWave Systems
Multibeam selection is one of the crucial technologies in hybrid beamfo...
read it

Generic Library Interception for Improved Performance Measurement and Insight
As applications grow in capability, they also grow in complexity. This c...
read it

Incremental Predictive Process Monitoring: How to Deal with the Variability of Real Environments
A characteristic of existing predictive process monitoring techniques is...
read it

Intrinsic dimension and its application to association rules
The curse of dimensionality in the realm of association rules is twofold...
read it

The complexity of disjunctive linear Diophantine constraints
We study the Constraint Satisfaction Problem CSP(A), where A is firstor...
read it

GuiTeNet: A graphical user interface for tensor networks
We introduce a graphical user interface for constructing arbitrary tenso...
read it

Query Answering for Rough EL Ontologies (Extended Technical Report)
Querying large datasets with incomplete and vague data is still a challe...
read it

The Shift from Processor Power Consumption to Performance Variations: Fundamental Implications at Scale
The Intel HaswellEP processor generation introduces several major advan...
read it

Whisper: Fast Flooding for LowPower Wireless Networks
This paper presents Whisper, a fast and reliable protocol to flood small...
read it
TU Dresden
The TU Dresden is a public research university, the largest institute of higher education in the city of Dresden, the largest university in Saxony and one of the 10 largest universities in Germany with 37,134 students as of 2013.