3179 search results - page 357 / 636 » Applications of PCF Theory |
BC
2002
13 years 9 months ago
2002
Two types of pathological tremors, essential and Parkinsonian, are studied using dynamical systems theory. It is shown that pathological tremors can be characterized as diffusional...
CGF
2000
13 years 9 months ago
2000
: Having evolved from volume visualisation, volume graphics is emerging as an important sub-field of computer graphics. This paper focuses on a fundamental aspect of volume graphic...
JSC
2000
13 years 9 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
FOCM
2002
13 years 9 months ago
2002
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of i...
ITP
2002
13 years 9 months ago
2002
Presents a theoretical approach to understanding the local culture of firms in the multinational information sector. Called situating culture, this approach holds that cultural und...