44 search results - page 9 / 9 » Quantum Circuits with Mixed States |
SIGGRAPH
1995
ACM
14 years 1 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...
CADE
2009
Springer
14 years 10 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
IEPOL
2011
13 years 1 months ago
2011
In this paper, we construct a price index for broadband services in the United States between 2004 and 2009. We analyze over 1500 service contracts offered by DSL and cable provid...
HYBRID
1999
Springer
14 years 2 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...