2075 search results - page 17 / 415 » aims 2007 |
AR
2007
13 years 10 months ago
2007
We aim at developing ultralight autonomous microflyers capable of freely flying within houses or small built environments while avoiding collisions. Our latest prototype is a ï¬...
AO
2006
13 years 10 months ago
2006
: The aim of this paper is to provide a logically accurate and technologically sound taxonomy of artifact functions. To this end, I review one of the recent proposals of such taxon...
APAL
2006
13 years 10 months ago
2006
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive ...
COMSIS
2007
13 years 9 months ago
2007
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...
CCE
2005
13 years 9 months ago
2005
To date, sensitivity, bifurcation and singularity analysis have been employed to identify and characterize the qualitative nonlinear behaviour of chemical process systems. The phe...