A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Quantum One-Time Programs
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
Other Versions
has a quantum one-time program that is secure in the universal composability framework. ...
We show that this intuition is false: one-time programs for both classical and quantum maps, based solely on quantum information, do not exist, even with computational assumptions. ...
Protocol for quantum one-time programs In this section we present our protocol for quantum one-time programs in the quantum BR-OTP hybrid model. ...
doi:10.1007/978-3-642-40084-1_20
fatcat:b6umgu4yzvdxzbw4xj2kxu2lwi
Quantum Hoare Type Theory: Extended Abstract
2021
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2109.02198v1 fatcat:i4fv2leqobbdzprbxebm5g2f24
As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. ...
Inspired by Hoare Type Theory in the classical paradigm, we propose Quantum Hoare Types by extending the Quantum IO Monad by indexing it with pre- and post-conditions that serve as program specifications ...
Acknowledgments We thank Robert Rand and the anonymous reviewers for their feedback on a previous draft of this paper. ...
doi:10.4204/eptcs.340.15
fatcat:3g5uw77z7zespmlqoyh2g2uy7a
Physics on the Terascale (extended abstract)
2010
Acta Polytechnica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Finally Jiri Niederle has contributed prominently to the European leadership referred to in the previous paragraph: as the Czech delegate, he is a long-time member of the CERN Council; on the basis of ...
Physics on the Terascale
J. ...
doaj:df94a0e4b11f48dda9e636ab7a036862
fatcat:uunnful2nvffdmwtabqspcvzr4
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
2018
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2017 pre-print arXiv:1701.03309v5 fatcat:lbypl6bcarfq7d2zaylfbrt2kmOther Versions
We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. ...
We analyze many known quantum programs in this way -- including entanglement manipulation and error correction -- and in each case present a fully-topological formal verification, yielding in several cases ...
As a consequence, even in this short extended abstract, we are able to give detailed analyses of 13 distinct procedures. ...
doi:10.4204/eptcs.266.21
fatcat:qijlzwuvmrbdpp4qq6g5gmsr7e
A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
2018
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Proto-Quipper-M is also more general than Quipper, in that it can describe families of morphisms in any symmetric monoidal category, of which quantum circuits are but one example. ...
Quipper is a practical programming language for describing families of quantum circuits. In this paper, we formalize a small, but useful fragment of Quipper called Proto-Quipper-M. ...
This means two things: on the one hand, the language can be used to construct quantum circuits in a structured way, essentially by applying one gate at a time. ...
doi:10.4204/eptcs.266.11
fatcat:mecmm3uhunh5nncitcnx6i4baa
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)
2018
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The efficient certification of classically intractable quantum devices has been a central research question for some time. ...
However, to observe a "quantum advantage", it is believed that one does not need to build a large scale universal quantum computer, a task which has proven extremely challenging. ...
from the UK Engineering and Physical Sciences Research Council (EPSRC) and by grants EP/K04057X/2, EP/N003829/1 and EP/ M013243/1, as well as by the European Union's Horizon 2020 Research and Innovation program ...
doi:10.4204/eptcs.266.14
fatcat:5ixhsdpw2jhefkxrdc3sybobim
The performance of work stealing in multiprogrammed environments (extended abstract)
1998
Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '98/PERFORMANCE '98
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This model holds even when the processes run on a set of processors that arbitrarily grows and shrinks over time. ...
With this implementation, the execution time of a computation running with arbitrarily many processes on arbitrarily many processors can be modeled as a simple function of work and critical-path length ...
We acknowledge Nimar Arora and Greg Plaxton of UT Austin, who have been collaborating on our analysis of the non-blocking work-stealing algorithm, and we thank Charles Leiserson and Matteo Frigo of MIT ...
doi:10.1145/277851.277939
dblp:conf/sigmetrics/BlumofeP98
fatcat:nhxrsndun5ehtpdaa4bscdr3p4
The performance of work stealing in multiprogrammed environments (extended abstract)
1998
Performance Evaluation Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This model holds even when the processes run on a set of processors that arbitrarily grows and shrinks over time. ...
With this implementation, the execution time of a computation running with arbitrarily many processes on arbitrarily many processors can be modeled as a simple function of work and critical-path length ...
We acknowledge Nimar Arora and Greg Plaxton of UT Austin, who have been collaborating on our analysis of the non-blocking work-stealing algorithm, and we thank Charles Leiserson and Matteo Frigo of MIT ...
doi:10.1145/277858.277939
fatcat:hoe4swj2ubdj7hcw7ljhfiaqdi
Virtual Lab by Quantum Flytrap: Interactive simulation of quantum mechanics
2022
CHI Conference on Human Factors in Computing Systems Extended Abstracts
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
It is an online laboratory with a real-time simulation of an optical table, supporting up to 3 entangled particles. ...
At the same time, a confgurable sandbox mode with customizable elements makes it useful for students, lecturers, and scientists. ...
ACKNOWLEDGMENTS Development of the previous stages of Virtual Lab was supported by the Centre for Quantum Technologies, the National University of Singapore, and a Unitary Fund microgrant. ...
doi:10.1145/3491101.3519885
fatcat:xkicweac2nbe5mtatnfz6btaya
The AirBook
2001
CHI '01 extended abstracts on Human factors in computer systems - CHI '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
The sensors read the proximity of a human limb, and adjust parameters on the text accordingly. ...
For example, the reading device can be controlled with the motion of one finger if necessary, or adjusted to read the motion of an entire arm or leg. ...
As the words continually flash in one spot, the reader does not have to move his or her eyes, thus minimizing the saccadic jumps and eliminating the time needed to move and refocus the eyes on standard ...
doi:10.1145/634211.634216
fatcat:rzerfq4qrrgbdoytsqscf7dcrm
Extended Poster Abstract: Open Source Solution for Massive Map Sheet Georeferencing Tasks for Digital Archiving
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To identify the map frame corners in the original raster, the user has to click on them using the program interface. ...
open source Quantum GIS [1]. ...
doi:10.1007/978-3-642-13654-2_33
fatcat:565xscz4r5d5xjzdeuaacxpmkq
Non-clairvoyant multiprocessor scheduling of jobs with changing execution characteristics (extended abstract)
1997
Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
In th~extended abstract, we define a variety of job classes, but we will provide the full proof only for nondecreasing sublinear jobs. ...
Such speedup functions occur in parallel programs with a strong time-space tradeoff. For example, suppose we have a job that with one processor takes time T/S when given S space. ...
doi:10.1145/258533.258565
dblp:conf/stoc/EdmondsCBD97
fatcat:5eh4te3okbavboycwu5kn2xbeu
3D conductivity model of the Lalor Lake VMS deposit using ground and airborne EM data
2013
ASEG Extended Abstracts
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Figure 1 is derived from the materials on Hudbay Minerals Inc.'s website. ...
Unlike traditional EM surveys that measure the time derivative of the magnetic field (dB/dt) using coils, this survey directly measures the magnetic field (B) using a SQUID (superconducting quantum interference ...
A large and highly conductive target can be seen extending down to 1800 m deep in the ground data model; this is not seen in the airborne model. ...
doi:10.1071/aseg2013ab296
fatcat:t5r2kclderh53eb5l23dksqe2e
Grand challenges: companies and universities working for a better society (Extended Abstracts)
2021
Sinergie Italian Journal of Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Gli Extended Abstract racconti in questo volume affrontano la tematica con una varietà di argomenti, punti di vista, prospettive. ...
A critical review of the empirical literature based on econometric methods", Journal of Cleaner Production, vol. 112, n. 4, pp. 2158Production, vol. 112, n. 4, pp. -2170. ...
of time. ...
doi:10.7433/srecp.ea.2020.01
fatcat:7tu5ulmovbauzc744x5nxjx2by
The AirBook
2001
CHI '01 extended abstracts on Human factors in computing systems - CHI '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
The sensors read the proximity of a human limb, and adjust parameters on the text accordingly. ...
For example, the reading device can be controlled with the motion of one finger if necessary, or adjusted to read the motion of an entire arm or leg. ...
As the words continually flash in one spot, the reader does not have to move his or her eyes, thus minimizing the saccadic jumps and eliminating the time needed to move and refocus the eyes on standard ...
doi:10.1145/634067.634216
dblp:conf/chi/BackS01
fatcat:elpdirnorvgitp7azcffv3enxq
« Previous
Showing results 1 — 15 out of 41,640 results