1582 search results - page 98 / 317 » Mathematical Tools for Physics |
DAC
2004
ACM
14 years 9 months ago
2004
ACM
The negative effect of electromigration on signal and power line lifetime and functional reliability is an increasingly important problem for the physical design of integrated cir...
ECAL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In recent years simulation tools for agent-environment interactions have included increasingly complex and physically realistic conditions. These simulations pose challen...
WSC
1997
13 years 10 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...
GRAPHICSINTERFACE
2009
13 years 6 months ago
2009
This paper describes how mixed reality (MR) technology is applied in the urban renewal process to help mixed groups of stakeholders collaboratively construct, explore and discuss ...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...