المؤلفون: Sara Ayman Metwalli, Rodney Van Meter

المصدر: IEEE Transactions on Quantum Engineering, Vol 5, Pp 1-15 (2024)

مصطلحات موضوعية: Debugging, quantum programs, quantum software, testing, Atomic physics. Constitution and properties of matter, QC170-197, Materials of engineering and construction. Mechanics of materials, TA401-492

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10463159/; https://doaj.org/toc/2689-1808

URL الوصول: https://doaj.org/article/59b7d6587f124095af3936f2206b6043

المؤلفون: Shaukat Ali (215701), Paolo Arcaini (10524174), Xinyi Wang (559030), Tao yue (10524177)

مصطلحات موضوعية: Medicine, Sociology, Biological Sciences not elsewhere classified, Mathematical Sciences not elsewhere classified, Information Systems not elsewhere classified, quantum programs, software testing, coverage criteria, mutation analysis

Relation: https://figshare.com/articles/presentation/Assessing_the_Effectiveness_of_Input_and_Output_Coverage_Criteria_for_Testing_Quantum_Programs/14370180

الاتاحة: https://doi.org/10.5281/zenodo.4660979

المؤلفون: Tao Yue, Xinyi Wang, Paolo Arcaini, Shaukat Ali

المصدر: ICST

مصطلحات موضوعية: Input/output, Computer science, Computation, Probabilistic logic, 020207 software engineering, software testing, 02 engineering and technology, 020202 computer hardware & architecture, Reliability engineering, Test case, 0202 electrical engineering, electronic engineering, information engineering, Quantum algorithm, Computational problem, Quantum, quantum programs, coverage criteria, mutation analysis, Quantum computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0459fb57fcdb7d82b43fff18c1ffb30a

المؤلفون: Marek Sawerwain, Roman Gielerak

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://matwbn.icm.edu.pl/ksiazki/amc/amc18/amc1838.pdf.

مصطلحات موضوعية: quantum computation, predicate notion for quantum programs, quantum labelled transition systems

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.3223; http://matwbn.icm.edu.pl/ksiazki/amc/amc18/amc1838.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.390.3223
http://matwbn.icm.edu.pl/ksiazki/amc/amc18/amc1838.pdf

المؤلفون: Brunet, Olivier, Jorrand, Philippe

المساهمون: Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 0219-7499 ; International Journal of Quantum Information ; https://hal.science/hal-00000855 ; International Journal of Quantum Information, 2004, 2, pp.45-54.

مصطلحات موضوعية: Quantum logic, Quantum programs analysis, Non-standard models of quantum computation, [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/quant-ph/0311143

الاتاحة: https://hal.science/hal-00000855
https://hal.science/hal-00000855v1/document
https://hal.science/hal-00000855v1/file/EQIS-IJQI.pdf

المؤلفون: Sawerwain, Marek, Gielerak, Roman

المساهمون: Gałkowski, Krzysztof - ed., Rogers, Eric - ed., Willems, Jan

المصدر: AMCS, volume 18, number 3 (2008) ; https://www.amcs.uz.zgora.pl/?action=papers&issue=33

مصطلحات موضوعية: quantum computation, predicate notion for quantum programs, quantum labelled transition systems

Relation: oai:zbc.uz.zgora.pl:publication:88484; https://zbc.uz.zgora.pl/dlibra/docmetadata?showContent=true&id=78722; oai:zbc.uz.zgora.pl:78722; http://zbc.uz.zgora.pl/Content/78722/AMCS_2008_18_3_8.pdf

الاتاحة: https://zbc.uz.zgora.pl/dlibra/docmetadata?showContent=true&id=78722
http://zbc.uz.zgora.pl/Content/78722/AMCS_2008_18_3_8.pdf

المؤلفون: Smets, Sonja

المساهمون: Centre for Logic and Philosophy of Science

مصطلحات موضوعية: verification of quantum programs, quantum physics, entanglement, Quantum logic

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3848::e2b4ed2db667e8439e19f7fd411d0c73
https://biblio.vub.ac.be/vubir/reasoning-about-entanglement-the-logic-of-quantum-actions-in-compound-systems(217eba83-bf67-465e-9026-604caca8748d).html

المؤلفون: Olivier Brunet, Philippe Jorrand

المساهمون: Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

المصدر: International Journal of Quantum Information
International Journal of Quantum Information, World Scientific Publishing, 2004, 2, pp.45-54

مصطلحات موضوعية: Physics and Astronomy (miscellaneous), Computer science, FOS: Physical sciences, 02 engineering and technology, 01 natural sciences, Open quantum system, [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph], Quantum error correction, Computer Science::Logic in Computer Science, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Calculus, Quantum operation, Quantum information, 010306 general physics, Quantum logic, Quantum computer, Quantum network, Quantum Physics, Quantum programs analysis, 020207 software engineering, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Quantum process, Non-standard models of quantum computation, Quantum algorithm, Quantum Physics (quant-ph)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63d1604a30c0fd8fb20fb0d7f4b0726c
http://arxiv.org/abs/quant-ph/0311143

المؤلفون: Sawerwain, M., Gierelak, R.

المصدر: International Journal of Applied Mathematics and Computer Science.

مصطلحات موضوعية: obliczenia kwantowe, predykat, program kwantowy, kwantowy system przejścia, quantum computation, predicate notion for quantum programs, quantum labelled transition systems

URL الوصول: http://yadda.icm.edu.pl/baztech/element/bwmeta1.element.baztech-article-BPZ1-0044-0031