Sciweavers

TCS
2016
8 years 6 months 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
8 years 6 months 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
TCS
2016
8 years 6 months 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...
TCS
2016
8 years 6 months 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. ...
TCS
2016
8 years 6 months 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
8 years 6 months 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...
TCS
2016
8 years 6 months 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
8 years 6 months 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
8 years 6 months 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