2086 search results - page 197 / 418 » Mathematical Theory Exploration |
136
click to vote
TCS
2002
15 years 3 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
107
click to vote
PSYCHNOLOGY
2008
15 years 3 months ago
2008
This article explores the possibility of using dynamic Educational Virtual Environments (EVEs) for helping students with limited background in physics and mathematics to deeply un...
145
click to vote
QI
2009
Springer
15 years 10 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
231
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
134
click to vote
TEI
2009
ACM
15 years 11 months ago
2009
ACM
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...