1582 search results - page 68 / 317 » Mathematical Tools for Physics |
KES
2005
Springer
14 years 2 months ago
2005
Springer
We propose using the human body for “storing” data used in devices for the imminent ubiquitous computing era. In the future, people will use information appliances as powerful ...
MC
2008
13 years 10 months ago
2008
Structure placement techniques have been successfully used to facilitate individual articulation and communication in organizational settings. Recent research provides evidence th...
MICS
2008
13 years 8 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
GG
2004
Springer
14 years 2 months ago
2004
Springer
Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various ...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...