27 citations
12 papers
Distinct Difference Configurations: Multihop Paths and Key Predistribution in Sensor Networks
Simon R. Blackburn, Tuvi Etzion, Keith M. Martin +1
A distinct difference configuration is a set of points in with the property that the vectors (\emph{difference vectors}) connecting any two of the points are all dis…
Covariance and Time Regained in Canonical General Relativity
Ioannis Kouletsis
Canonical vacuum gravity is expressed in generally-covariant form in order that spacetime diffeomorphisms be represented within its equal-time phase space. In accordance with the p…
Modelling the Navigation Potential of a Web Page
Trevor Fenner, Mark Levene, George Loizou
Suppose that you are navigating in ``hyperspace'' and you have reached a web page with several outgoing links you could choose to follow. Which link should you choose in such an on…
Comparing Typical Opening Move Choices Made by Humans and Chess Engines
Mark Levene, Judit Bar-Ilan
The opening book is an important component of a chess engine, and thus computer chess programmers have been developing automated methods to improve the quality of their books. For…
Undecidability of the unification and admissibility problems for modal and description logics
Frank Wolter, Michael Zakharyaschev
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extende…
Methods for comparing rankings of search engine results
Judit Bar-Ilan, Mazlita Mat-Hassan, Mark Levene
In this paper we present a number of measures that compare rankings of search engine results. We apply these measures to five queries that were monitored daily for two periods of a…