"Non UBC"@en . "DSpace"@en . "Valiron, Benoit"@en . "2016-10-25T10:13:23"@en . "2016-04-22T09:02"@en . "In this talk, I will turn to the question of logical resource estimation for quantum programs in the quantum programming language Quipper. In the current implementation, gatecount can be obtained automatically for fixed size of circuits. I will present a static analysis tool for obtaining resource estimation parametric on the parameters fed to the program. I will discuss the conditions for this gate count to be in closed form."@en . "https://circle.library.ubc.ca/rest/handle/2429/59562?expand=metadata"@en . "33 minutes"@en . "video/mp4"@en . ""@en . "Author affiliation: CentraleSup\u00E9lec - LRI Univ. Paris Saclay"@en . "10.14288/1.0319340"@en . "eng"@en . "Unreviewed"@en . "Vancouver : University of British Columbia Library"@en . "Banff International Research Station for Mathematical Innovation and Discovery"@en . "Attribution-NonCommercial-NoDerivatives 4.0 International"@en . "http://creativecommons.org/licenses/by-nc-nd/4.0/"@en . "Faculty"@en . "BIRS Workshop Lecture Videos (Banff, Alta)"@en . "Mathematics"@en . "Quantum theory"@en . "Information and communication, circuits"@en . "Theoretical computer science"@en . "Automated, parametric gate count of quantum programs"@en . "Moving Image"@en . "http://hdl.handle.net/2429/59562"@en .