Genetic Engineering -Tool for Mankind

Genetic Programming: An emerging engineering tool

It is now 15 years since Genetic Programming (GP) burst on the research scene in Koza’s seminal book [3], though it had been pre-figured by a number of previous explorations of similar ideas [1,7]. Koza first showed that GP could be a credible engineering tool, and subsequent volumes [4–6] and the human-competitive research competitions [2] have drawn attention to its wide range of achievements...

Natural genetic transformation: A novel tool for efficient genetic engineering of the dairy bacterium Streptococcus thermophilus.

Streptococcus thermophilus is widely used for the manufacture of yoghurt and Swiss or Italian-type cheeses. These products have a market value of approximately 40 billion dollars per year, making S. thermophilus a species that has major economic importance. Even though the fermentation properties of this bacterium have been gradually improved by classical methods, there is great potential for f...

A victory for all mankind

Tool Support for Ontology Engineering

The Web Ontology Language (OWL) has been developed and standardised by the World Wide Web Consortium (W3C). It is one of the key technologies underpinning the Semantic Web, but its success has now spread far beyond the Web: it has become the ontology language of choice for a wide range of application domains. One of the key benefits flowing from OWL standardisation has been the development of a...

Tool Support for Proof Engineering

Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the programmer in understanding legacy code and making coordinated changes across large parts of a program. Similar tools incorporated into an integrated proof environment (IPE) would assist proof developers in understanding a...