Abstract: Minesweeper is a popular single player game. Various strategies have been suggested in order to improve the probability of winning the game. In this paper, we present an optimal strategy for playing Minesweeper on a graph when it is known that exactly one cell is mined. [Copyright &y& Elsevier]
Abstract: The stability of the stochastic 2-D systems in the sense is studied and some sufficient conditions about the stability are also given in this paper. [Copyright &y& Elsevier]
Abstract: Axiomatization of Physics (and science in general) has many drawbacks that are correctly criticized by opposing philosophical views of science. This paper shows that, by giving formal proofs a more prominent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this approach allows, by means of proof theory, to open new conceptual bridges between the disciplines of Physics and Computer Science. [Copyright &y& Elsevier]
Abstract: In this paper we continue the coalgebraization of the structure of multilattice. Specifically, we introduce a coalgebraic characterization of the notion of finitary multi (semi) lattice, a generalization of that of semilattice which arises naturally in several areas of computer science and provides the possibility of handling non-determinism. [Copyright &y& Elsevier]