939 search results - page 17 / 188 » Semantic Abstraction and Quantum Computation |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
ions Sriram Krishnamoorthy½ Umit Catalyurek¾ Jarek Nieplocha¿ Atanas Rountev½ P. Sadayappan½ ½ Dept. of Computer Science and Engineering, ¾ Dept. of Biomedical Informatics T...
ENTCS
1998
14 years 9 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We consider a physical model of ultrafast evolution of an initial electron distribution in a quantum wire. The electron evolution is described by a quantum-kinetic equati...
71
Voted
LSSC
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In this work we solve the Barker-Ferry equation which accounts for the quantum character of the electron-phonon interaction in semiconductors in the framework of the Mont...
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...