
Unifying machine learning and quantum chemistry  a deep neural network for molecular wavefunctions
Machine learning advances chemistry and materials science by enabling la...
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...
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 ...
read it

Containers for portable, productive and performant scientific computing
Containers are an emerging technology that hold promise for improving pr...
read it

A Parallel BestResponse Algorithm with Exact Line Search for Nonconvex SparsityRegularized Rank Minimization
In this paper, we propose a convergent parallel bestresponse algorithm ...
read it

Identifying Irregular Power Usage by Turning Predictions into Holographic Spatial Visualizations
Power grids are critical infrastructure assets that face nontechnical l...
read it

Deep Learning For Smile Recognition
Inspired by recent successes of deep learning in computer vision, we pro...
read it

Universal Reasoning, Rational Argumentation and HumanMachine Interaction
Classical higherorder logic, when utilized as a metalogic in which var...
read it

Is Big Data Sufficient for a Reliable Detection of NonTechnical Losses?
Nontechnical losses (NTL) occur during the distribution of electricity ...
read it

Reasoning in NonProbabilistic Uncertainty: Logic Programming and NeuralSymbolic Computing as Examples
This article aims to achieve two goals: to show that probability is not ...
read it

Interpreting Finite Automata for Sequential Data
Automaton models are often seen as interpretable models. Interpretabilit...
read it

Neighborhood Features Help Detecting NonTechnical Losses in Big Data Sets
Electricity theft is a major problem around the world in both developed ...
read it

Revising Incompletely Specified Convex Probabilistic Belief Bases
We propose a method for an agent to revise its incomplete probabilistic ...
read it

Distributed methods for synchronization of orthogonal matrices over graphs
This paper addresses the problem of synchronizing orthogonal matrices ov...
read it

On computable abstractions (a conceptual introduction)
This paper introduces abstractions that are meaningful for computers and...
read it

Abduction and Dialogical Proof in Argumentation and Logic Programming
We develop a model of abduction in abstract argumentation, where changes...
read it

A Solution for MultiAlignment by Transformation Synchronisation
The alignment of a set of objects by means of transformations plays an i...
read it

Assessing the Impact of Informedness on a Consultant's Profit
We study the notion of informedness in a clientconsultant setting. Usin...
read it

Mechanizing Principia LogicoMetaphysica in Functional Type Theory
Principia LogicoMetaphysica proposes a foundational logical theory for ...
read it

Statistical inference for Vasicektype model driven by Hermite processes
Let (Z^q, H_t)_t ≥ 0 denote a Hermite process of order q ≥ 1 and selfsi...
read it

Reservoir Computing for Detection of Steady State in Performance Tests of Compressors
Fabrication of devices in industrial plants often includes undergoing qu...
read it

Dynamic controllers for column synchronization of rotation matrices: a QRfactorization approach
In the multiagent systems setting, this paper addresses continuoustime...
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...
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 ...
read it

Abstractly Interpreting Argumentation Frameworks for Sharpening Extensions
Cycles of attacking arguments pose nontrivial issues in Dung style argu...
read it

CryptoRec: Secure Recommendations as a Service
Recommender systems rely on large datasets of historical data and entail...
read it

A colocated partitions strategy for parallel CFDDEM couplings
In this work, a new partitioncollocation strategy for the parallel exec...
read it

A Polynomial Time Subsumption Algorithm for Nominal Safe ELO_ under Rational Closure
Description Logics (DLs) under Rational Closure (RC) is a wellknown fra...
read it

SymbolLevel Precoding Design for MaxMin SINR in Multiuser MISO Broadcast Channels
In this paper, we address the symbol level precoding (SLP) design proble...
read it

Advanced Signal Processing Techniques for Fixed and Mobile Satellite Communications
Enabling ultra fast systems has been widely investigated during recent d...
read it

Selecting Fault Revealing Mutants
Mutant selection refers to the problem of choosing, among a large number...
read it

GreyCat: Efficient WhatIf Analytics for Data in Motion at Scale
Over the last few years, data analytics shifted from a descriptive era, ...
read it

SymbolLevel Precoding Design Based on Distance Preserving Constructive Interference Regions
In this paper, we investigate the symbollevel precoding (SLP) design pr...
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...
read it

Lifting method for analyzing distributed synchronization on the unit sphere
This paper introduces a new lifting method for analyzing convergence of ...
read it

Robust Design of Power Minimizing SymbolLevel Precoder under Channel Uncertainty
In this paper, we investigate the downlink transmission of a multiuser m...
read it

A Lifting method for analyzing distributed synchronization on the unit sphere
This paper introduces a new lifting method for analyzing convergence of ...
read it

Code Design for NonCoherent Detection of Frame Headers in Precoded Satellite Systems
In this paper we propose a simple method for generating binary shortlen...
read it

Quantumchemical insights from interpretable atomistic neural networks
With the rise of deep neural networks for quantum chemistry applications...
read it

Successive Convex Approximation Algorithms for Sparse Signal Estimation with Nonconvex Regularizations
In this paper, we propose a successive convex approximation framework fo...
read it

A parallel dualgrid multiscale approach to CFDDEM couplings
In this work, a new parallel dualgrid multiscale approach for CFDDEM c...
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...
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...
read it

The XDEM Multiphysics and Multiscale Simulation Technology: Review on DEMCFD Coupling, Methodology and Engineering Applications
The XDEM multiphysics and multiscale simulation platform roots in the ...
read it

On Rational Entailment for Propositional Typicality Logic
Propositional Typicality Logic (PTL) is a recently proposed logic, obtai...
read it

A Bisimilarity Congruence for the Applied piCalculus Sufficiently Coarse to Verify Privacy Properties
This paper is the first thorough investigation into the coarsest notion ...
read it

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing
Programs expecting structured inputs often consist of both a syntactic a...
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...
read it

Learning representations of molecules and materials with atomistic neural networks
Deep Learning has been shown to learn efficient representations for stru...
read it

Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders
An autonomous system is constructed by a manufacturer, operates in a soc...
read it
University of Luxembourg
Founded in 2003, the university has already built a reputation as being among the best young universities in the world.