Filters








41,640 Hits in 5.2 sec

Quantum One-Time Programs [chapter]

Anne Broadbent, Gus Gutoski, Douglas Stebila
2013 Lecture Notes in Computer Science  
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

Kartik Singhal, John Reppy
2021 Electronic Proceedings in Theoretical Computer Science  
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)

J. Engelen
2010 Acta Polytechnica  
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)

David Reutter, Jamie Vicary
2018 Electronic Proceedings in Theoretical Computer Science  
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)

Francisco Rios, Peter Selinger
2018 Electronic Proceedings in Theoretical Computer Science  
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)

Daniel Mills, Anna Pappa, Theodoros Kapourniotis, Elham Kashefi
2018 Electronic Proceedings in Theoretical Computer Science  
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)

Robert D. Blumofe, Dionisios Papadopoulos
1998 Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems - SIGMETRICS '98/PERFORMANCE '98  
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)

Robert D. Blumofe, Dionisios Papadopoulos
1998 Performance Evaluation Review  
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

Klementyna Jankiewicz, Piotr Migdal, Pawel Grabarz
2022 CHI Conference on Human Factors in Computing Systems Extended Abstracts  
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

Maribeth Back, Margaret H. Szymanski
2001 CHI '01 extended abstracts on Human factors in computer systems - CHI '01  
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]

Janis Jatnieks
2010 Lecture Notes in Computer Science  
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)

Jeff Edmonds, Donald D. Chinn, Tim Brecht, Xiaotie Deng
1997 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97  
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

Dikun Yang, Doug Oldenburg
2013 ASEG Extended Abstracts  
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)

MARTA UGOLINI
2021 Sinergie Italian Journal of Management  
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

Maribeth Back, Margaret H. Szymanski
2001 CHI '01 extended abstracts on Human factors in computing systems - CHI '01  
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