1582 search results - page 68 / 317 » Mathematical Tools for Physics |
147
Voted
KES
2005
Springer
16 years 6 days 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 ...
195
click to vote
MC
2008
15 years 8 months ago
2008
Structure placement techniques have been successfully used to facilitate individual articulation and communication in organizational settings. Recent research provides evidence th...
199
click to vote
MICS
2008
15 years 6 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...
181
click to vote
GG
2004
Springer
16 years 3 days 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 ...
143
Voted
ICALT
2003
IEEE
16 years 3 hour 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...