1582 search results - page 52 / 317 » Mathematical Tools for Physics |
ASPDAC
2006
ACM
14 years 14 days ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
PCM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Achievement of museum guide systems, in physical and virtual worlds, providing the personalization and context awareness features requires the prior analysis and identiï¬...
WSC
1998
13 years 10 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...