Zobrazeno 1 - 10
of 287
pro vyhledávání: '"Reversible computation"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Biasse Jean-François, Pring Benjamin
Publikováno v:
Journal of Mathematical Cryptology, Vol 15, Iss 1, Pp 143-156 (2020)
In this paper we provide a framework for applying classical search and preprocessing to quantum oracles for use with Grover’s quantum search algorithm in order to lower the quantum circuit-complexity of Grover’s algorithm for single-target search
Externí odkaz:
https://doaj.org/article/55170b0d108945209f7e8657d6fca39d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In this paper, we present a linear and reversible programming language with inductives types and recursion. The semantics of the languages is based on pattern-matching; we show how ensuring syntactical exhaustivity and non-overlapping of clauses is e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3da2a93a80c6a990d1a6db977a6586a3
http://arxiv.org/abs/2302.11887
http://arxiv.org/abs/2302.11887
Autor:
Ågren Thuné, Anders
Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryptio
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337228
Publikováno v:
Theoretical Computer Science. 813:218-233
We focus on total functions in the theory of reversible computational models. We define a class of recursive permutations, dubbed Reversible Primitive Permutations ( RPP ) which are computable invertible total endo-functions on integers, so a subset
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf11f3fefb1ba0931ace33b4479ff7b2
https://doi.org/10.1016/j.tcs.2019.11.029
https://doi.org/10.1016/j.tcs.2019.11.029