Sciweavers

121
Voted
TCS
2016
10 years 16 days ago
A calculus and logic of bunched resources and processes
Abstract. Mathematical modelling and simulation modelling are fundamental tools of engineering, science, and social sciences such as economics, and provide decision-support tools i...
Gabrielle Anderson, David J. Pym
TCS
2016
10 years 16 days ago
Load rebalancing games in dynamic systems with migration costs
We consider the following dynamic load balancing game: Given an initial assignment of jobs to identical parallel machines, the system is modified; specifically, some machines ar...
Sofia Belikovetsky, Tami Tamir
132
Voted
TCS
2016
10 years 16 days ago
Convex p-partitions of bipartite graphs
A set of vertices X of a graph G is convex if no shortest path between two vertices in X contains a vertex outside X. We prove that for fixed p ≥ 1, all partitions of the verte...
Luciano N. Grippo, Martín Matamala, Mart&ia...
158
Voted
TCS
2016
10 years 16 days ago
Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3
A clique of a graph is a maximal set of vertices of size at least 2 that induces a complete graph. A k-clique-colouring of a graph is a colouring of the vertices with at most k co...
Hélio B. Macêdo Filho, Raphael C. S. ...
133
Voted
TCS
2016
10 years 16 days ago
On the state complexity of closures and interiors of regular languages with subwords and superwords
The downward and upward closures of a regular language L are obtained by collecting all the subwords and superwords of its elements, respectively. The downward and upward interior...
Prateek Karandikar, Matthias Niewerth, Philippe Sc...
TCS
2016
10 years 16 days ago
Average-case complexity of the min-sum matrix product problem
rder Abstract Voronoi Diagrams. Cecilia Bohler, Chih-Hung Liu, Evanthia Papadopoulou and Maksym Zavershynskyi 3D rectangulations and geometric matrix multiplication. Peter Floderus...
Ken C. K. Fong, Minming Li, Hongyu Liang, Linji Ya...
135
Voted
TCS
2016
10 years 16 days ago
Card-based protocols for securely computing the conjunction of multiple variables
Consider a deck of real cards with faces that are either black or red and backs that are all identical. Then, using two cards of different colors, we can commit a secret bit to a...
Takaaki Mizuki
TCS
2016
10 years 16 days ago
Games on interval and permutation graph representations
We describe combinatorial games on graphs in which two players antagonistically build a representation of a subgraph of a given graph. We show that for a large class of these game...
Jessica Enright, Lorna Stewart
TCS
2016
10 years 16 days ago
Computational complexity of covering three-vertex multigraphs
Abstract. A covering projection from a graph G to a graph H is a mapping of the vertices of G to the vertices of H such that, for every vertex v of G, the neighborhood of v is mapp...
Jan Kratochvíl, Jan Arne Telle, Marek Tesar