
Hypergraph Acyclicity and Propositional Model Counting
We show that the propositional model counting problem #SAT for CNF form...
read it

Syzygies among reduction operators
We introduce the notion of syzygy for a set of reduction operators and r...
read it

Wadge Degrees of ωLanguages of Petri Nets
We prove that ωlanguages of (nondeterministic) Petri nets and ωlangua...
read it

Dimensionfree PACBayesian bounds for matrices, vectors, and linear least squares regression
This paper is focused on dimensionfree PACBayesian bounds, under weak ...
read it

Polishness of some topologies related to automata (Extended version)
We prove that the Büchi topology, the automatic topology, the alphabetic...
read it

ModelTheoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth
In this paper we give a characterization of both Boolean and arithmetic ...
read it

Quantization/clustering: when does kmeans work?
Though mostly used as a clustering algorithm, kmeans are originally des...
read it

Quantization/clustering: when and why does kmeans work?
Though mostly used as a clustering algorithm, kmeans are originally des...
read it

The kPDTM : a coreset for robust geometric inference
Analyzing the sublevel sets of the distance to a compact submanifold o...
read it

Dimensionfree PACBayesian bounds for the estimation of the mean of a random vector
In this paper, we present a new estimator of the mean of a random vector...
read it

Convergence rates for smooth kmeans changepoint detection
In this paper, we consider the estimation of a changepoint for possibly...
read it

Probabilistic team semantics
Team semantics is a semantical framework for the study of dependence and...
read it

Segmentation of Scanning Tunneling Microscopy Images Using Variational Methods and Empirical Wavelets
In the fields of nanoscience and nanotechnology, it is important to be a...
read it

Kernel and wavelet density estimators on manifolds and more general metric spaces
We consider the problem of estimating the density of observations taking...
read it

Fast approximation of centrality and distances in hyperbolic graphs
We show that the eccentricities (and thus the centrality indices) of all...
read it

An Effective Property of ωRational Functions
We prove that ωregular languages accepted by Büchi or Muller automata s...
read it

Recursion schemes, discrete differential equations and characterization of polynomial time computation
This papers studies the expressive and computational power of discrete O...
read it

RNNs Implicitly Implement Tensor Product Representations
Recurrent neural networks (RNNs) can learn continuous vector representat...
read it

Unlexicalized Transitionbased Discontinuous Constituency Parsing
Lexicalized parsing models are based on the assumptions that (i) constit...
read it

The Zero Resource Speech Challenge 2019: TTS without T
We present the Zero Resource Speech Challenge 2019, which proposes to bu...
read it

Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale
We study the evolution of the largest known corpus of publicly available...
read it

Representation of Constituents in Neural Language Models: Coordination Phrase as a Case Study
Neural language models have achieved stateoftheart performances on ma...
read it

The Perceptimatic English Benchmark for Speech Perception Models
We present the Perceptimatic English Benchmark, an open experimental ben...
read it

Tables of Quantiles of the Distribution of the Empirical Chiral Index in the Case of the Uniform Law and in the Case of the Normal Law
The empirical distribution of the chiral index is simulated for various ...
read it

Some complete ωpowers of a onecounter language, for any Borel class of finite rank
We prove that, for any natural number n ≥ 1, we can find a finite alphab...
read it

Descriptive Set Theory and ωPowers of Finitary Languages
The ωpower of a finitary language L over a finite alphabet Σ is the lan...
read it

The inverse of Ackermann function is computable in linear time
We propose a detailed proof of the fact that the inverse of Ackermann fu...
read it
Young’s fringes pattern obtained at 80 kV showing a point
Paris Diderot University is a multidisciplinary research university open to the city and the world. It offers excellent Bachelor's degree to PhD courses in science, health, arts, literature and languages, and humanities and social sciences.