A spectral algorithm with additive clustering for the recovery of overlapping communities in networks Fulltext Access 24 Pages 2018
From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories Fulltext Access 24 Pages 2018
Prolific permutations and permuted packings: Downsets containing many large patterns Fulltext Access 24 Pages 2018
Enumeration of partitions with prescribed successive rank parity blocks Fulltext Access 24 Pages 2018
On the complexity of bounded time and precision reachability for piecewise affine systems Fulltext Access 25 Pages 2018
Sorting permutations and binary strings by length-weighted rearrangements Fulltext Access 25 Pages 2018
A weighted cellular matrix-tree theorem, with applications to complete colorful and cubical complexes Fulltext Access 25 Pages 2018
New sufficient conditions for strong unimodality of multivariate discrete distributions Fulltext Access 25 Pages 2018
Large width nearest prototype classification on general distance spaces Fulltext Access 26 Pages 2018
Regular lossy functions and their applications in leakage-resilient cryptography Fulltext Access 26 Pages 2018
On the descriptional complexity of stateless deterministic ordered restarting automata Fulltext Access 26 Pages 2018
Synthesising succinct strategies in safety games with an application to real-time scheduling Fulltext Access 26 Pages 2018
Proofs of proximity for context-free languages and read-once branching programs Fulltext Access 27 Pages 2018
Partial sum of matrix entries of representations of the symmetric group and its asymptotics Fulltext Access 27 Pages 2018
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games Fulltext Access 27 Pages 2018
Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes Fulltext Access 28 Pages 2018
Domination parameters with number 2: Interrelations and algorithmic consequences Fulltext Access 28 Pages 2018
Asymptotics of bivariate analytic functions with algebraic singularities Fulltext Access 30 Pages 2018
Paths-based criteria and application to linear logic subsystems characterizing polynomial time Fulltext Access 32 Pages 2018
The smallest eigenvalues of Hamming graphs, Johnson graphs and other distance-regular graphs with classical parameters Fulltext Access 34 Pages 2018
On the construction of graphs with a planar bipartite double cover from boolean formulas and its application to counting satisfying solutions Fulltext Access 36 Pages 2018
Kripke semantics for higher-order type theory applied to constraint logic programming languages Fulltext Access 37 Pages 2018