: Contemporary power distribution faces various new challenges. Most of those challenges have a strong impact on the ICT-structure required and on system architecture. This contrib...
Indexing and retrieval techniques for homology searching of genomic databases are increasingly important as the search tools are facing great challenges of rapid growth in sequence...
Simon M. C. Yuen, Fu-Lai Chung, Robert Wing Pong L...
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
This paper describes the concept, and previous realisations, of multi-perspective images in nature, art and visualisation. By showing how distortions have been used for visualisat...
At one time or another we have all faced the doubters who wonder why they need to use simulation. We have wowed our potential clients with animation, left them in awe at our grasp...