Information sharing and updates have become increasingly important in the rapidly changing world. However, owing to the distributed and decentralized nature of information collection and storage, it is not easy to use information from different sources synergistically. Ontology plays as an important role in establishing formal descriptions of a domain of discourse. In geographic information sci...

There are numerous applications where we need to ensure that multiple moving objects are sufficiently far apart. Furthermore, in many moving object domains, there is positional indeterminacy — we are not 100% sure exactly when a given moving object will be at a given location. [Yaman et al., 2004] provided a logic of motion but did not provide algorithms to ensure that moving objects are kept s...

Woller A and Gonze D (2013) The bird circadian clock: insights from a computational model. J Biol Rhythms 28(6):390-402. (Original DOI: 10.1177/0748730413512454).

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various simulation-like preorders over finite-state processes without divergence. In addition, we show that even without the fixpoint operators this probabil...