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

A gastrointestinal problem known as ‘bloody gut’ has been recognized with increasing frequency in dairy cows over the last decade. The disease is also called jejunal hemorrhage syndrome or hemorrhagic bowel syndrome (HBS). These different names are quite descriptive of the way the problem appears in affected cows. Animals may be affected individually, or in a cluster of several affected on the ...

In [1] it was shown that there are very effective attacks leading to collisions for the hash function MD4 designed by R. Rivest [3]. A summary of the status of hash functions of the MD4-family with respect to collision-resistence can be found in [2] and [4]. However, attacking the one-wayness of a hash function is a much more demanding challenge, and in case of success it has much more devastat...

This paper discussed the concepts and development of a multimedia geographic information system (GIS) for analyzing and visualizing both spatial and temporal geographic information in image/vector format as well as multimedia information in descriptive text, graphics, ground photographs and digital video clips. The multimedia GIS presents a new way to analyze and visualize geographic informatio...

0