2253 search results - page 139 / 451 » Computing with Realizational Morphology |
143
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
: We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantifier elimin...
145
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
172
click to vote
IFIP3
2008
15 years 7 months ago
2008
Abstract. In this paper, we describe an innovative concept of threedimensional interactive educational games that combine the excitement and looks of popular computer games with th...
137
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
Three dimensional truncated pyramidal quantum dots are simulated numerically to compute the energy states and the wave functions. The simulation of the heterostructures is realize...
143
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature ...