Szczegóły Szczegóły PDF BIBTEX RIS Tytuł artykułu Extending scientific computing system with structural quantum programming capabilities Tytuł czasopisma Bulletin of the Polish Academy of Sciences Technical Sciences Rocznik 2010 Wolumin 58 Numer No 1 Autorzy Gawron, P. ; Klamka, J. ; Miszczak, J. ; Winiarczyk, R. Wydział PAN Nauki Techniczne Zakres 77-88 Data 2010 Identyfikator DOI: 10.2478/v10175-010-0008-4 ; ISSN 2300-1917 Źródło Bulletin of the Polish Academy of Sciences: Technical Sciences; 2010; 58; No 1; 77-88 Referencje Nielsen M. (2000), Quantum Computation and Quantum Information. ; Hirvensalo M. (2001), Quantum Computing. ; Bugajski S. (2001), Foudations of quantum computing, Part I, Archives of Theoretical and Applied Informatics, 13, 1, 97. ; Bugajski S. (2001), Foudations of quantum computing. Part II, Archives of Theoretical and Applied Informatics, 13, 1, 137. ; Shor P. (2003), Why haven't more quantum algorithms been found?, ACM, 50, 1, 87. ; Shor P. (2004), Progress in quantum algorithms, Quantum Information Processing, 3, 1. ; Deutsch D. (1985), Quantum theory, the Church-Turing principle and the universal quantum computer, Proc. Roy. Soc. Lond, A 400, 97. ; Deutsch D. (1989), Quantum computational networks, Proc. Roy. Soc. Lond, A 425, 73. ; Bettelli S. (2003), Toward an architecture for quantum programming, Eur. Phys. J. D, 25, 2, 181. ; Gudder S. (2003), Quantum computational logic, Int. J. Theoretical Physics, 1, 42, 39. ; A. van Tonder (2004), A lambda calculus for quantum computation, SIAM J. COMPUT, 33, 1109. ; Moore C. (2000), Quantum automata and quantum grammars, Theoretical Computer Science, 237, 1-2, 275. ; Bernstein E. (1997), Quantum complexity theory, SIAM J. on Computing, 26, 5, 1411. ; Gay S. (2005), Quantum programming languages: Survey and bibliography, Bull. Eur. Association for Theoretical Computer Science, 1. ; J. A. Miszczak, <i>Probabilistic Aspects of Quantum Programming Languages</i>, PhD Thesis, The Institute of Theoretical and Applied Informatics PAS, Warsaw, 2008. ; S. Gay, <i>Bibliography on Quantum Programming Languages</i>, web-page <a target="_blank" href='http://www.dcs.gla.ac.uk/~simon/quantum/'>http://www.dcs.gla.ac.uk/~simon/quantum/</a> ; Altenkirch T. (2005), A functional quantum programming language, null, 1, 249. ; E. Knill, "Conventions for quantum pseudocode", <i>Technical Report LAUR-96-2724</i> 1, CD-ROM (1996). ; B. Oeme, <i>Structured Quantum Programming</i>, PhD Thesis, Technical University of Vienna, Vienna, 2003. ; Cook S. (1973), Time-bounded random access machines, null, 1, 73. ; Papadimitriou C. (1994), Computational Complexity. ; Shepherdson J. (1963), Computability of recursive functions, J. ACM, 10, 2, 217. ; Cleve R. (1996), Schumacher's quantum data compression as a quantum computation, Phys. Rev, A 54, 4, 2636, doi.org/10.1103/PhysRevA.54.2636 ; Cormen T. (2001), Introduction to Algorithms. ; Hopcroft J. (2003), Introduction to the Theory of Automata, Language. ; S. Bettelli, <i>Toward an Architecture for Quantum Programming</i>, PhD Thesis, Università di Trento, Trento, 2002. ; P. Gawron, <i>High Level Programming in Quantum Computer Science</i>, PhD Thesis, The Institute of Theoretical and Applied Informatics PAS, Warsaw, 2008. ; B. Oemer, <i>Quantum Programming in QCL</i>, Master Thesis, TU Viena, Vienna, 2000. ; Gawron P. (2004), Didactic tools for teaching quantum informatics, Annales UMCS Informatica, AI 1, 2, 77. ; Gawron P. (2004), Simulations of quantum systems evolution with quantum-octave package, Annales UMCS Informatica, AI 1, 2, 52. ; Gawron P. (2005), Numerical simulations of mixed states quantum computation, Int. J. Quan. Inf, 3, 1, 195. ; Eaton J. (2002), GNU Octave Manual. ; Grover L. (1996), A fast quantum mechanical algorithm for database search, null, 1, 212. ; Grover L. (1997), Quantum mechanics helps in searching for a needle in a haystack, Phys. Rev. Lett, 79, 325. ; Grover L. (1998), A framework for fast quantum mechanical algorithms, null, 1, 53. ; Bugajski S. (2001), Quantum search, Archives of Theoretical and Applied Informatics, 13, 2, 143. ; Lomonaco S. (2002), Grover's quantum search algorithm, null, 58, 181. ; Project quantum-octave <a target="_blank" href='http://quantum-octave.sf.net/'>http://quantum-octave.sf.net/</a>