Sciweavers

13977 search results - page 670 / 2796
» Evolution in complex systems
Sort
View
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
16 years 1 months ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— 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...
Eric Lucet, Christophe Grand, Damien Sallé,...
TPHOL
2006
IEEE
16 years 1 months ago
ACL2
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...
Ruben Gamboa
ANSS
2003
IEEE
16 years 22 days ago
Implementing Parallel Cell-DEVS
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...
Alejandro Troccoli, Gabriel A. Wainer
BIOCOMP
2006
15 years 8 months ago
Toward In Vivo Disease Diagnosis and Treatment Using DNA
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...
Yuriy Brun, Manoj Gopalkrishnan
MC
2001
15 years 8 months ago
Towards a Task-Based System Administration Tool for Linux Systems
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...
Ernianti Hasibuan, Gerd Szwillus