output
20012026
most citedLSHTC: A Benchmark for Large-Scale Text Classification

136 citations

researchers with a paper here
collaborating institutions
Showing 2016Show all

18 papers · 1 filter

math.LO2016

A Comment on Argumentation

Karl Schlechta

We use the theory of defaults and their meaning of [GS16] to develop (the outline of a) new theory of argumentation.

quant-ph2016★ 21 cited

Fermion confinement via Quantum Walks in 2D+1 and 3D+1 spacetime

I. Marquez-Martin, G. Di Molfetta, A. Perez

We analyze the properties of a two and three dimensional quantum walk that are inspired by the idea of a brane-world model put forward by Rubakov and Shaposhnikov [1]. In that mode…

cs.LO2016

-Bicomplete Categories and Parity Games

Luigi Santocanale

For an arbitrary category, we consider the least class of functors con- taining the projections and closed under finite products, finite coproducts, parameterized initial algebras…

math.CO2016

A correction of a characterization of planar partial cubes

Rémi Desgranges, Kolja Knauer

In this note we determine the set of expansions such that a partial cube is planar if and only if it arises by a sequence of such expansions from a single vertex. This corrects a r…

math.LO2016★ 19 cited

Multi-type Sequent Calculi

Sabine Frittella, Giuseppe Greco, Alexander Kurz +2

Display calculi are generalized sequent calculi which enjoy a `canonical' cut elimination strategy. That is, their cut elimination is uniformly obtained by verifying the assumption…

cs.DS2016★ 25 cited

Collaborative Delivery with Energy-Constrained Mobile Robots

Andreas Bärtschi, Jérémie Chalopin, Shantanu Das +5

We consider the problem of collectively delivering some message from a specified source to a designated target location in a graph, using multiple mobile agents. Each agent has a l…