University of Luxembourg

∙ Esch-sur-Alzette , Luxembourg ∙ 0 followers

Founded in 2003, the university has already built a reputation as being among the best young universities in the world.

Unifying machine learning and quantum chemistry -- a deep neural network for molecular wavefunctions

Machine learning advances chemistry and materials science by enabling la...
06/24/2019 ∙ by K. T. Schütt, et al. ∙ 23 ∙ share

read it
Deep Learning Advances on Different 3D Data Representations: A Survey

3D data is a valuable asset in the field of computer vision as it provid...
08/04/2018 ∙ by Eman Ahmed, et al. ∙ 14 ∙ share

read it
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

Matlab/Simulink is a development and simulation language that is widely ...
05/09/2019 ∙ by Shiva Nejati, et al. ∙ 1 ∙ share

read it
Containers for portable, productive and performant scientific computing

Containers are an emerging technology that hold promise for improving pr...
08/26/2016 ∙ by Jack S. Hale, et al. ∙ 0 ∙ share

read it
A Parallel Best-Response Algorithm with Exact Line Search for Nonconvex Sparsity-Regularized Rank Minimization

In this paper, we propose a convergent parallel best-response algorithm ...
11/13/2017 ∙ by Yang Yang, et al. ∙ 0 ∙ share

read it
Identifying Irregular Power Usage by Turning Predictions into Holographic Spatial Visualizations

Power grids are critical infrastructure assets that face non-technical l...
09/09/2017 ∙ by Patrick Glauner, et al. ∙ 0 ∙ share

read it
Deep Learning For Smile Recognition

Inspired by recent successes of deep learning in computer vision, we pro...
01/30/2016 ∙ by Patrick O. Glauner, et al. ∙ 0 ∙ share

read it
Universal Reasoning, Rational Argumentation and Human-Machine Interaction

Classical higher-order logic, when utilized as a meta-logic in which var...
03/28/2017 ∙ by Christoph Benzmüller, et al. ∙ 0 ∙ share

read it
Is Big Data Sufficient for a Reliable Detection of Non-Technical Losses?

Non-technical losses (NTL) occur during the distribution of electricity ...
02/13/2017 ∙ by Patrick Glauner, et al. ∙ 0 ∙ share

read it
Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples

This article aims to achieve two goals: to show that probability is not ...
01/18/2017 ∙ by Tarek R. Besold, et al. ∙ 0 ∙ share

read it
Interpreting Finite Automata for Sequential Data

Automaton models are often seen as interpretable models. Interpretabilit...
11/21/2016 ∙ by Christian Albert Hammerschmidt, et al. ∙ 0 ∙ share

read it
Neighborhood Features Help Detecting Non-Technical Losses in Big Data Sets

Electricity theft is a major problem around the world in both developed ...
07/04/2016 ∙ by Patrick Glauner, et al. ∙ 0 ∙ share

read it
Revising Incompletely Specified Convex Probabilistic Belief Bases

We propose a method for an agent to revise its incomplete probabilistic ...
04/07/2016 ∙ by Gavin Rens, et al. ∙ 0 ∙ share

read it
Distributed methods for synchronization of orthogonal matrices over graphs

This paper addresses the problem of synchronizing orthogonal matrices ov...
01/25/2017 ∙ by Johan Thunberg, et al. ∙ 0 ∙ share

read it
On computable abstractions (a conceptual introduction)

This paper introduces abstractions that are meaningful for computers and...
08/29/2014 ∙ by Alejandro Sánchez Guinea, et al. ∙ 0 ∙ share

read it
Abduction and Dialogical Proof in Argumentation and Logic Programming

We develop a model of abduction in abstract argumentation, where changes...
07/15/2014 ∙ by Richard Booth, et al. ∙ 0 ∙ share

read it
A Solution for Multi-Alignment by Transformation Synchronisation

The alignment of a set of objects by means of transformations plays an i...
10/30/2014 ∙ by Florian Bernard, et al. ∙ 0 ∙ share

read it
Assessing the Impact of Informedness on a Consultant's Profit

We study the notion of informedness in a client-consultant setting. Usin...
09/04/2009 ∙ by Eugen Staab, et al. ∙ 0 ∙ share

read it
Mechanizing Principia Logico-Metaphysica in Functional Type Theory

Principia Logico-Metaphysica proposes a foundational logical theory for ...
11/16/2017 ∙ by Daniel Kirchner, et al. ∙ 0 ∙ share

read it
Statistical inference for Vasicek-type model driven by Hermite processes

Let (Z^q, H_t)_t ≥ 0 denote a Hermite process of order q ≥ 1 and self-si...
12/16/2017 ∙ by Ivan Nourdin, et al. ∙ 0 ∙ share

read it
Reservoir Computing for Detection of Steady State in Performance Tests of Compressors

Fabrication of devices in industrial plants often includes undergoing qu...
06/02/2017 ∙ by Eric Aislan Antonelo, et al. ∙ 0 ∙ share

read it
Dynamic controllers for column synchronization of rotation matrices: a QR-factorization approach

In the multi-agent systems setting, this paper addresses continuous-time...
08/11/2017 ∙ by Johan Thunberg, et al. ∙ 0 ∙ share

read it
On the Reduction of Biases in Big Data Sets for the Detection of Irregular Power Usage

In machine learning, a bias occurs whenever training sets are not repres...
01/17/2018 ∙ by Patrick Glauner, et al. ∙ 0 ∙ share

read it
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions

A binary string transmitted via a memoryless i.i.d. deletion channel is ...
02/02/2018 ∙ by Arash Atashpendar, et al. ∙ 0 ∙ share

read it
Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions

Cycles of attacking arguments pose non-trivial issues in Dung style argu...
02/05/2018 ∙ by Ryuta Arisaka, et al. ∙ 0 ∙ share

read it
CryptoRec: Secure Recommendations as a Service

Recommender systems rely on large datasets of historical data and entail...
02/07/2018 ∙ by Jun Wang, et al. ∙ 0 ∙ share

read it
A co-located partitions strategy for parallel CFD-DEM couplings

In this work, a new partition-collocation strategy for the parallel exec...
02/14/2018 ∙ by Gabriele Pozzetti, et al. ∙ 0 ∙ share

read it
A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_ under Rational Closure

Description Logics (DLs) under Rational Closure (RC) is a well-known fra...
02/22/2018 ∙ by Giovanni Casini, et al. ∙ 0 ∙ share

read it
Symbol-Level Precoding Design for Max-Min SINR in Multiuser MISO Broadcast Channels

In this paper, we address the symbol level precoding (SLP) design proble...
03/19/2018 ∙ by A. Haqiqatnejad, et al. ∙ 0 ∙ share

read it
Advanced Signal Processing Techniques for Fixed and Mobile Satellite Communications

Enabling ultra fast systems has been widely investigated during recent d...
03/20/2018 ∙ by Pol Henarejos, et al. ∙ 0 ∙ share

read it
Selecting Fault Revealing Mutants

Mutant selection refers to the problem of choosing, among a large number...
03/21/2018 ∙ by Thierry Titcheu Chekam, et al. ∙ 0 ∙ share

read it
GreyCat: Efficient What-If Analytics for Data in Motion at Scale

Over the last few years, data analytics shifted from a descriptive era, ...
03/23/2018 ∙ by Thomas Hartmann, et al. ∙ 0 ∙ share

read it
Symbol-Level Precoding Design Based on Distance Preserving Constructive Interference Regions

In this paper, we investigate the symbol-level precoding (SLP) design pr...
04/03/2018 ∙ by Alireza Haqiqatnejad, et al. ∙ 0 ∙ share

read it
Composable, Unconditionally Secure Message Authentication without any Secret Key

We consider a setup in which the channel from Alice to Bob is less noisy...
04/05/2018 ∙ by Dimiter Ostrev, et al. ∙ 0 ∙ share

read it
Lifting method for analyzing distributed synchronization on the unit sphere

This paper introduces a new lifting method for analyzing convergence of ...
05/07/2018 ∙ by Johan Thunberg, et al. ∙ 0 ∙ share

read it
Robust Design of Power Minimizing Symbol-Level Precoder under Channel Uncertainty

In this paper, we investigate the downlink transmission of a multiuser m...
05/07/2018 ∙ by Alireza Haqiqatnejad, et al. ∙ 0 ∙ share

read it
A Lifting method for analyzing distributed synchronization on the unit sphere

This paper introduces a new lifting method for analyzing convergence of ...
05/07/2018 ∙ by Johan Thunberg, et al. ∙ 0 ∙ share

read it
Code Design for Non-Coherent Detection of Frame Headers in Precoded Satellite Systems

In this paper we propose a simple method for generating binary short-len...
06/07/2018 ∙ by Farbod Kayhan, et al. ∙ 0 ∙ share

read it
Quantum-chemical insights from interpretable atomistic neural networks

With the rise of deep neural networks for quantum chemistry applications...
06/27/2018 ∙ by Kristof T. Schütt, et al. ∙ 0 ∙ share

read it
Successive Convex Approximation Algorithms for Sparse Signal Estimation with Nonconvex Regularizations

In this paper, we propose a successive convex approximation framework fo...
06/28/2018 ∙ by Yang Yang, et al. ∙ 0 ∙ share

read it
A parallel dual-grid multiscale approach to CFD-DEM couplings

In this work, a new parallel dual-grid multiscale approach for CFD-DEM c...
07/31/2018 ∙ by Gabriele Pozzetti, et al. ∙ 0 ∙ share

read it
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics

From the output produced by a memoryless deletion channel from a uniform...
07/30/2018 ∙ by Arash Atashpendar, et al. ∙ 0 ∙ share

read it
Continuous time Gaussian process dynamical models in gene regulatory network inference

One of the focus areas of modern scientific research is to reveal myster...
08/24/2018 ∙ by Atte Aalto, et al. ∙ 0 ∙ share

read it
The XDEM Multi-physics and Multi-scale Simulation Technology: Review on DEM-CFD Coupling, Methodology and Engineering Applications

The XDEM multi-physics and multi-scale simulation platform roots in the ...
08/24/2018 ∙ by Bernhard Peters, et al. ∙ 0 ∙ share

read it
On Rational Entailment for Propositional Typicality Logic

Propositional Typicality Logic (PTL) is a recently proposed logic, obtai...
09/28/2018 ∙ by Richard Booth, et al. ∙ 0 ∙ share

read it
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties

This paper is the first thorough investigation into the coarsest notion ...
11/06/2018 ∙ by Ross Horne, et al. ∙ 0 ∙ share

read it
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing

Programs expecting structured inputs often consist of both a syntactic a...
11/30/2018 ∙ by Rohan Padhye, et al. ∙ 0 ∙ share

read it
Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation

We revisit the notion of deniability in quantum key exchange (QKE), a to...
12/05/2018 ∙ by Arash Atashpendar, et al. ∙ 0 ∙ share

read it
Learning representations of molecules and materials with atomistic neural networks

Deep Learning has been shown to learn efficient representations for stru...
12/11/2018 ∙ by Kristof T. Schütt, et al. ∙ 0 ∙ share

read it
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders

An autonomous system is constructed by a manufacturer, operates in a soc...
12/11/2018 ∙ by Beishui Liao, et al. ∙ 0 ∙ share

read it

University of Luxembourg

Featured Researchers