uni hannover

∙ Hannover , Germany ∙ 0 followers

The University of Hanover, officially the Gottfried Wilhelm Leibniz Universität Hannover, short Leibniz University Hannover, is a public university located in Hannover, Germany.

Learning Disentangled Representations via Independent Subspaces

Image generating neural networks are mostly viewed as black boxes, where...
08/26/2019 ∙ by Maren Awiszus, et al. ∙ 32 ∙ share

read it
Using Machine Learning to Automate Mammogram Images Analysis

Breast cancer is the second leading cause of cancer-related death after ...
12/06/2020 ∙ by Xuejiao Tang, et al. ∙ 13 ∙ share

read it
Structuring Autoencoders

In this paper we propose Structuring AutoEncoders (SAE). SAEs are neural...
08/07/2019 ∙ by Marco Rudolph, et al. ∙ 10 ∙ share

read it
Deformable Medical Image Registration Using a Randomly-Initialized CNN as Regularization Prior

We present deformable unsupervised medical image registration using a ra...
08/02/2019 ∙ by Max-Heinrich Laves, et al. ∙ 6 ∙ share

read it
Semantic Deep Intermodal Feature Transfer: Transferring Feature Descriptors Between Imaging Modalities

Under difficult environmental conditions, the view of RGB cameras may be...
07/26/2019 ∙ by Sebastian P. Kleinschmidt, et al. ∙ 5 ∙ share

read it
A Dataset of Laryngeal Endoscopic Images with Comparative Study on Convolution Neural Network Based Semantic Segmentation

Purpose: Automated segmentation of anatomical structures in medical imag...
07/16/2018 ∙ by Max-Heinrich Laves, et al. ∙ 2 ∙ share

read it
A Novel Multi-Detector Fusion Framework for Multi-Object Tracking

In order to track all persons in a scene, the tracking-by-detection para...
05/23/2017 ∙ by Roberto Henschel, et al. ∙ 1 ∙ share

read it
A Kinematic Chain Space for Monocular Motion Capture

This paper deals with motion capture of kinematic chains (e.g. human ske...
02/01/2017 ∙ by Bastian Wandt, et al. ∙ 1 ∙ share

read it
Tracking with multi-level features

We present a novel formulation of the multiple object tracking problem w...
07/25/2016 ∙ by Roberto Henschel, et al. ∙ 1 ∙ share

read it
Security Event Recognition for Visual Surveillance

With rapidly increasing deployment of surveillance cameras, the reliable...
10/26/2018 ∙ by Michael Ying Yang, et al. ∙ 1 ∙ share

read it
RepNet: Weakly Supervised Training of an Adversarial Reprojection Network for 3D Human Pose Estimation

This paper addresses the problem of 3D human pose estimation from single...
02/26/2019 ∙ by Bastian Wandt, et al. ∙ 1 ∙ share

read it
Neural Random Forest Imitation

We present Neural Random Forest Imitation - a novel approach for transfo...
11/25/2019 ∙ by Christoph Reinders, et al. ∙ 1 ∙ share

read it
Default Logic and Bounded Treewidth

In this paper, we study Reiter's propositional default logic when the tr...
06/28/2017 ∙ by Johannes K. Fichte, et al. ∙ 0 ∙ share

read it
Evolutionary optimization of an experimental apparatus

In recent decades, cold atom experiments have become increasingly comple...
05/17/2013 ∙ by I. Geisel, et al. ∙ 0 ∙ share

read it
A continuous framework for fairness

Increasingly, discrimination by algorithms is perceived as a societal an...
12/21/2017 ∙ by Philipp Hacker, et al. ∙ 0 ∙ share

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

We propose and evaluate an immuno-inspired approach to misbehavior detec...
01/18/2010 ∙ by Martin Drozda, et al. ∙ 0 ∙ share

read it
AIS for Misbehavior Detection in Wireless Sensor Networks: Performance and Design Principles

A sensor network is a collection of wireless devices that are able to mo...
06/18/2009 ∙ by Martin Drozda, et al. ∙ 0 ∙ share

read it
Look Mum, no VM Exits! (Almost)

Multi-core CPUs are a standard component in many modern embedded systems...
05/19/2017 ∙ by Ralf Ramsauer, et al. ∙ 0 ∙ share

read it
Team Semantics for the Specification and Verification of Hyperproperties

We develop team semantics for Linear Temporal Logic (LTL) to express hyp...
09/25/2017 ∙ by Andreas Krebs, et al. ∙ 0 ∙ share

read it
Reframing Societal Discourse as Requirements Negotiation: Vision Statement

Challenges in spatial planning include adjusting settlement patterns to ...
08/01/2017 ∙ by Kurt Schneider, et al. ∙ 0 ∙ share

read it
Video as a By-Product of Digital Prototyping: Capturing the Dynamic Aspect of Interaction

Requirements engineering provides several practices to analyze how a use...
08/01/2017 ∙ by Oliver Karras, et al. ∙ 0 ∙ share

read it
Is Task Board Customization Beneficial? - An Eye Tracking Study

The task board is an essential artifact in many agile development approa...
08/01/2017 ∙ by Oliver Karras, et al. ∙ 0 ∙ share

read it
Non-Asymptotic Delay Bounds for Multi-Server Systems with Synchronization Constraints

Multi-server systems have received increasing attention with important i...
10/20/2016 ∙ by Markus Fidler, et al. ∙ 0 ∙ share

read it
A Non-stationary Service Curve Model for Estimation of Cellular Sleep Scheduling

While steady-state solutions of backlog and delay have been derived for ...
08/13/2016 ∙ by Nico Becker, et al. ∙ 0 ∙ share

read it
Probabilistic team semantics

Team semantics is a semantical framework for the study of dependence and...
03/06/2018 ∙ by Arnaud Durand, et al. ∙ 0 ∙ share

read it
Hybrid RF/VLC Systems under QoS Constraints

The coexistence of radio frequency (RF) and visible light communications...
04/14/2018 ∙ by Marwan Hammouda, et al. ∙ 0 ∙ share

read it
Enumeration in Incremental FPT-Time

In this paper, we study the relationship of parametrised enumeration com...
04/20/2018 ∙ by Arne Meier, et al. ∙ 0 ∙ share

read it
Resource Allocation and Interference Management in OFDMA-based VLC Networks

Resource allocation and interference management are two main issues that...
04/24/2018 ∙ by Marwan Hammouda, et al. ∙ 0 ∙ share

read it
Fundamentals of Parameterized Complexity Revisited

What is a parameterized algorithm? What is a parameterized problem and w...
04/30/2018 ∙ by Maurice Chandoo, et al. ∙ 0 ∙ share

read it
Software Professionals are Not Directors: What Constitutes a Good Video?

Videos are one of the best documentation options for a rich and effectiv...
08/15/2018 ∙ by Oliver Karras, et al. ∙ 0 ∙ share

read it
A Systematic Approach to Programming

We show how to systematically implement a mental representation of an al...
08/27/2018 ∙ by Maurice Chandoo, et al. ∙ 0 ∙ share

read it
Software Professionals' Attitudes towards Video as a Medium in Requirements Engineering

In requirements engineering (RE), knowledge is mainly communicated via w...
09/04/2018 ∙ by Oliver Karras, et al. ∙ 0 ∙ share

read it
Deep learning based 2.5D flow field estimation for maximum intensity projections of 4D optical coherence tomography

In laser microsurgery, image-based control of the ablation laser can lea...
10/26/2018 ∙ by Max-Heinrich Laves, et al. ∙ 0 ∙ share

read it
Counting Complexity for Reasoning in Abstract Argumentation

In this paper, we consider counting and projected model counting of exte...
11/28/2018 ∙ by Johannes K. Fichte, et al. ∙ 0 ∙ share

read it
HEVC Inter Coding Using Deep Recurrent Neural Networks and Artificial Reference Pictures

The efficiency of motion compensated prediction in modern video codecs h...
12/05/2018 ∙ by Felix Haub, et al. ∙ 0 ∙ share

read it
A Multi-Objective Anytime Rule Mining System to Ease Iterative Feedback from Domain Experts

Data extracted from software repositories is used intensively in Softwar...
12/23/2018 ∙ by Tobias Baum, et al. ∙ 0 ∙ share

read it
Endoscopic vs. volumetric OCT imaging of mastoid bone structure for pose estimation in minimally invasive cochlear implant surgery

Purpose: The facial recess is a delicate structure that must be protecte...
01/19/2019 ∙ by Max-Heinrich Laves, et al. ∙ 0 ∙ share

read it
Counting of Teams in First-Order Team Logics

We study descriptive complexity of counting complexity classes in the ra...
02/01/2019 ∙ by Anselm Haak, et al. ∙ 0 ∙ share

read it
Semantic denoising autoencoders for retinal optical coherence tomography

Noise in speckle-prone optical coherence tomography tends to obfuscate i...
03/23/2019 ∙ by Max-Heinrich Laves, et al. ∙ 0 ∙ share

read it
Data4UrbanMobility: Towards Holistic Data Analytics for Mobility Applications in Urban Regions

With the increasing availability of mobility-related data, such as GPS-t...
03/26/2019 ∙ by Nicolas Tempelmeier, et al. ∙ 0 ∙ share

read it
Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

In this paper, we initiate a systematic study of the parametrised comple...
04/12/2019 ∙ by Yasir Mahmood, et al. ∙ 0 ∙ share

read it
Neural-Attention-Based Deep Learning Architectures for Modeling Traffic Dynamics on Lane Graphs

Deep neural networks can be powerful tools, but require careful applicat...
04/18/2019 ∙ by Matthew A. Wright, et al. ∙ 0 ∙ share

read it
Bayesian inversion for nanowire field-effect sensors

Nanowire field-effect sensors have recently been developed for label-fre...
04/12/2019 ∙ by Amirreza Khodadadian, et al. ∙ 0 ∙ share

read it
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl

This report documents the program and results of the GI-Dagstuhl Seminar...
04/26/2019 ∙ by Joel Greenyer, et al. ∙ 0 ∙ share

read it
Parameterised Counting Classes with Bounded Nondeterminism

Stockhusen and Tantau (IPEC 2013) introduced the operators paraW and par...
04/27/2019 ∙ by Anselm Haak, et al. ∙ 0 ∙ share

read it
CNN-based Cost Volume Analysis as Confidence Measure for Dense Matching

Due to its capability to identify erroneous disparity assignments in den...
05/17/2019 ∙ by Max Mehltretter, et al. ∙ 0 ∙ share

read it
Parameterised Complexity for Abduction

Abductive reasoning is a non-monotonic formalism stemming from the work ...
06/03/2019 ∙ by Yasir Mahmood, et al. ∙ 0 ∙ share

read it
A surrogate model for computational homogenization of elastostatics at finite strain using the HDMR-based neural network approximator

We propose a surrogate model for two-scale computational homogenization ...
06/05/2019 ∙ by Vien Minh Nguyen-Thanh, et al. ∙ 0 ∙ share

read it
The saturation assumption yields optimal convergence of two-level adaptive BEM

We consider the convergence of adaptive BEM for weakly-singular and hype...
07/15/2019 ∙ by Dirk Praetorius, et al. ∙ 0 ∙ share

read it
Uncertainty Quantification in Computer-Aided Diagnosis: Make Your Model say "I don't know" for Ambiguous Cases

We evaluate two different methods for the integration of prediction unce...
08/02/2019 ∙ by Max-Heinrich Laves, et al. ∙ 0 ∙ share

read it

uni hannover

Featured Researchers