When developing safety critical applications, the programmer might want to be able to prove his or her code correct. The integration of a proof system and a programming language of industrial strength can be fairly useful in this respect, like in the case of, for instance, the B method [1] or the functional programming languages Erlang [12,5] and Clean [6,4]. This paper presents the concept of ...

The new field of synthetic genetics has made significant advances during the past four years, both to create artificial and modified nucleic acids, and to investigate their structural and functional properties. This rapid progress promises to improve our understanding of the origins and fundamental basis of life, and to enhance the application of this knowledge in the search for new therapeutic...

This paper explores migration, the ability to move an application between devices, in the context of pervasive, or ubiquitous, computing. Pervasive computing, with its vision of information access anytime and anywhere, introduces a new class of applications that seamlessly follow people as they move through the physical world. As a result, migration becomes an important building block for the d...

Trade practices are becoming very important for products and services in the form of brands. For the global recognition, companies are competing for establishing the brand name in the market. Every company wants to register it’s unique trademark for brad name. As a result trademark are playing very important role now a days. Trademark registration and its evaluation for distinctiveness is thus ...

Coralina HAP-200 (coralline hydroxyapatite obtained by hydrothermal treatment of marine corals) and POVIAC (polymeric matrix based on PVAc), commercial trade marks were mixed with a natural product from the Cuban sea costs, i.e. calcium carbonate from Porites Porites coral, to obtain a novel bioactive composite with potential use as bone restoration material. The samples were characterized by p...

As innovation becomes an ever more central issue for the development of firms and world economies, so the need for improved assessments of innovative performance grows more urgent. This paper suggests that trademark analysis can contribute in capturing relevant aspects of innovation phenomena and the process of industrial change. We propose trademarks as a complementary indicator in the portfol...

While the concept of regular equivalence is equally applicable to dichotomous as well as valued networks, the identification of regular blocks in regular blockmodels is somewhat problematic when dealing with valued networks. Applying the standard procedure for identifying ties in such blockmodels, a procedure perhaps most suited for dichotomous networks, does tend to generate block images and r...

The ability to predict a student's performance could be useful in a great number of different ways associated with university-level learning. In this paper, a grammar guided genetic programming algorithm, G3P-MI, has been applied to predict if the student will fail or pass a certain course and identifies activities to promote learning in a positive or negative way from the perspective of Multip...