
-
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 Best-Response Algorithm with Exact Line Search for Nonconvex Sparsity-Regularized Rank Minimization
In this paper, we propose a convergent parallel best-response algorithm ...
read it
-
Identifying Irregular Power Usage by Turning Predictions into Holographic Spatial Visualizations
Power grids are critical infrastructure assets that face non-technical 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 Human-Machine Interaction
Classical higher-order logic, when utilized as a meta-logic in which var...
read it
-
Is Big Data Sufficient for a Reliable Detection of Non-Technical Losses?
Non-technical losses (NTL) occur during the distribution of electricity ...
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 ...
read it
-
Interpreting Finite Automata for Sequential Data
Automaton models are often seen as interpretable models. Interpretabilit...
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 ...
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 Multi-Alignment 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 client-consultant setting. Usin...
read it
-
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
Principia Logico-Metaphysica proposes a foundational logical theory for ...
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...
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 QR-factorization approach
In the multi-agent systems setting, this paper addresses continuous-time...
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 non-trivial 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 co-located partitions strategy for parallel CFD-DEM couplings
In this work, a new partition-collocation 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 well-known fra...
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...
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 What-If Analytics for Data in Motion at Scale
Over the last few years, data analytics shifted from a descriptive era, ...
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...
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 Symbol-Level 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 Non-Coherent Detection of Frame Headers in Precoded Satellite Systems
In this paper we propose a simple method for generating binary short-len...
read it
-
Quantum-chemical 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 dual-grid multiscale approach to CFD-DEM couplings
In this work, a new parallel dual-grid multiscale approach for CFD-DEM 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 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 ...
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 pi-Calculus 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