This paper presents the extended and re-integrated JCSP library of CSP packages for Java. It integrates the differing advances made by Quickstoneās JCSP Network Edition and the ā...
Peter H. Welch, Neil Brown, James Moores, Kevin Ch...
Polyominoes are the two dimensional shapes made by connecting n unit squares, joined along their edges. In this paper, we propose algorithms to enumerate polyominoes for p4 tiling...
Abstract. In today's world wide web hundreds of thousands of companies use SSL to protect their customers' transactions from potential eavesdroppers. Recently, a new atta...
Various healthcare areas such as diagnosis, surgery, intensive care and treatment, and patient monitoring in general, would greatly beneļ¬t from light, autonomous devices which c...
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...