We quickly review labelled Markov processes (LMP) and provide a counterexample showing that in general measurable spaces, event bisimilarity and state bisimilarity differ in LMP. This shows that the logic in Desharnais [3] does not characterize state bisimulation in non-analytic measurable spaces. Furthermore we show that, under current foundations of Mathematics, such logical characterization ...

The paper examines the concept of hairpin-free words motivated from the biocomputing and bioinformatics fields. Hairpin (-free) DNA structures have numerous applications to DNA computing and molecular genetics in general. A word is called hairpin-free if it cannot be written in the form xvyθ(v)z, with certain additional conditions, for an involution θ (a function θ with the property that θ equa...

We propose a framework for modelling and solving search problems using logic, and describe a project whose goal is to produce practically effective, general purpose tools for representing and solving search problems based on this framework. The mathematical foundation lies in the areas of finite model theory and descriptive complexity, which provide us with many classical results, as well as po...

Traditional image-based localisation methods do not work when the robot is moving in an environment whose appearance is changing in time. We propose an extension to the classical image-based localisation that uses a Distributed Vision System (DVS) and can work also in highly dynamic environments. The DVS is composed of omnidirectional cameras installed in the environment and can communicate wit...

The Distributed Video Server DVS system provides a comprehensive solution for the management and distribution of a major future electronic commodity service Video on Demand VOD Key contributions of DVS include a scalable architecture that combines the global accessibility of the Internet with an acceptable quality of service through an optional private high speed backbone novel adaptive algorit...

This paper describes the usage of descriptive process modeling in the association with simulation for analyzing the dynamic effects of processes. At first a method to build a comprehensive descriptive model is presented, which can build the foundation for the simulation model. Based upon the understanding of the static process, parts of the dynamic model can be modeled can be created. The initi...

A simple in vitro method for the detection of precipitation using 96-well microplates and a SpectraMax Plus microtiter plate reader has been developed and described. The method requires only small amount of drug and is, therefore, potentially applicable in early pre-formulation. The method is based on opacity changes that occur with precipitation and yields several descriptive parameters, onset...