Ambient logics have been proposed to describe properties for mobile agents which may evolve over time as well as space. This paper takes a predicate-based appro
With several rice genome projects approaching completion gene prediction/finding by computer algorithms has become an urgent task. Two test sets were constructe