A prototype of zero-sum theorems, the well-known theorem of Erdos, Ginzburg and Ziv says that for any positive integer n, any sequence a1, a2, . . . , a2n-1 of 2n-1 integers has a...
Sukumar Das Adhikari, Yong-Gao Chen, John Friedlan...
A Zero-knowledge protocol provides provably secure entity authentication based on a hard computational problem. Among many schemes proposed since 1984, the most practical rely on f...
Abstract. We investigate mathematical formulations and solution techniques for a variant of the Connected Subgraph Problem. Given a connected graph with costs and profits associat...
Researchers who make tutoring systems would like to know which sequences of educational content lead to the most effective learning by their students. The majority of data collecte...
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...