Sciweavers

1582 search results - page 7 / 317
» Mathematical Tools for Physics
Sort
View
JUCS
2000
102views more  JUCS 2000»
13 years 8 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
UIST
2000
ACM
14 years 4 days ago
ToolStone: effective use of the physical manipulation vocabularies of input devices
The ToolStone is a cordless, multiple degree-of-freedom (MDOF) input device that senses physical manipulation of itself, such as rotating, flipping, or tilting. As an input device...
Jun Rekimoto, Eduardo Sciammarella
LISA
2004
13 years 10 months ago
PatchMaker: A Physical Network Patch Manager Tool
PatchMaker is a network management tool that tracks and stores descriptions of physical network patches in a database. Physical patches are cables that connect switches, patch pan...
Joseph R. Crouthamel, James M. Roberts, Christophe...
CSCW
2002
ACM
13 years 8 months ago
Physical and Virtual Tools: Activity Theory Applied to the Design of Groupware
Activity theory is based on the concept of tools mediating between subjects and objects. In this theory, an individual's creative interaction with his or her surroundings can ...
Morten Fjeld, Kristina Lauche, Martin Bichsel, Fre...
VISUALIZATION
2000
IEEE
14 years 29 days ago
Four-dimensional non-linear ray tracing as a visualization tool for gravitational physics
In this paper, general relativistic ray tracing is presented as a tool for gravitational physics. It is shown how standard three-dimensional ray tracing can be extended to allow f...
Daniel Weiskopf