The classical logical antinomy known as Richard-Berry paradox is combined with plausible assumptions about the size i.e. the descriptional complexity, of Turing machines formalizing certain sentences, to show that formalization of language leads to contradiction.

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...

Insofar as empirical inquiry involves the coevolution of descriptive language and theoretical commitments, a satisfactory model of empirical knowledge should describe the coordinated evolution of both language and theory. But since we do not know what conceptual resources we might need to express our future theories or to provide our best future faithful descriptions of the world, we do not now...

An electronic individual descriptive record system for storing the individual's identification and descriptive data on a programmable electronic identification and data storage module carried with the individual so that the individual's identification, the individual's descriptive data and the individual itself become one. The system includes an implantable programmable electronic identificatio...

In this study, the outcomes of descriptive, experimental and informant-based methods of functional assessment were compared in four individuals with developmental disabilities who showed problem behaviors. Results indicated that the descriptive and experimental assessments were concordant in only one of the four cases whilst informant-based and experimental assessments were concordant in three ...

The present study extends the previous research on the social influences on quitting by investigating inconsistencies between different types of social norms and their main and moderating effects on quitting intentions. The theory of planned behaviour (TPB) served as the theoretical framework. Social influences were operationalised by subjective quitting norm (significant others' expectations t...