— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
Cell-DEVS is a formalism intended to model complex physical systems as cell spaces. Cell-DEVS allow describing cellular models using timing delay constructions, allowing simple de...
We propose a technique to diagnose and treat individual cells in the human body. A virus-like system delivers a copy of a diagnosis and treatment DNA complex to each cell. The comp...
The growing popularity of computers in all areas of daily life leads to the situation that an increasing number of people with diverse know-how of computers and software use these...