In this paper, we explore several extensions to surface pasting. In particular, using the task of modelling a ferret as a driving force, we improved the user interface for cylindrical pasting; we looked at methods for reducing the distortion of pasted features; and we created a method for pasting trimmed features to allow for features that do not have the rectilinear shape of standard pasting.

EasyCrypt is an automated tool that supports the machinechecked construction and verification of security proofs of cryptographic systems, and that has been used to verify emblematic examples of publickey encryption schemes, digital signature schemes, hash function designs, and block cipher modes of operation. The purpose of this paper is to motivate the role of computer-aided proofs in the bro...

This research investigated the state of art of computer aided detection systems for digital mammograms, and evaluated the related techniques in image pre-processing, feature extraction and classification of digital mammograms. Furthermore, this paper explored the further research directions for next generation CAD for mammograms. It was identified that computer-aided detection techniques for ma...

Computational approaches are an integral part of interdisciplinary drug discovery research. Understanding the science behind computational tools, their opportunities, and limitations is essential to make a true impact on drug discovery at different levels. If applied in a scientifically meaningful way, computational methods improve the ability to identify and evaluate potential drug molecules, ...

It is tempting for those in the field of organic synthesis to liken the process of retrosynthesis to a game of chess. That the world chess champion was recently defeated by a computer leads us to think that perhaps new and powerful computing methods could be applied to synthetic problems. Here the analogy between synthesis and chess is outlined. Achievements in the 35-year history of computer-a...

Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether veriication technology could cope with the problems of scale and complexity. Though there is very little compelling evidence either way at this point, several powerful mechanical veriication systems are now available for...

1.1 Introduction Sum of all time between part development and part expedition represents time to market. Time to market direct influences on the total production cost. It is sufficient that time to market and the production costs is minimum. The computer aided (CA) systems influence on the factors of competitive advantage.

Formal requirements specifications play an important role in enhancing the reliability and effectiveness of software development. They provide a precise, unambiguous standard for the construction of a system and raise the confidence in a planned system by enabling a proper mathematical analysis of its requirements. The construction of formal specifications can be effectively supported by comput...