Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Quantum state verification (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/198)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
Why quantum state verification cannot be both efficient and secure : a categorical approach
Wiesner, Fabian
;
Chaoui, Ziad
;
Kessler, Diana-Maria
;
Pappa, Anna
;
Karvonen, Martti
arXiv.org
2024
/
36 p
https://doi.org/10.48550/arXiv.2411.04767
journal article
Related publications
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
Number of records 1, displaying
1 - 1
keyword
198
1.
Quantum state verification
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
ameliorated quantum class topper optimization (A-QCTO)
4.
external quantum efficiency
5.
parabolic quantum well
6.
parabolic quantum wells
7.
polynomial multiplication; post-quantum cryptography
8.
post-quantum
9.
post-quantum cryptography
10.
post-quantum one-way functions
11.
post-quantum security
12.
quantum attack
13.
quantum chemical calculations
14.
quantum communication
15.
quantum communication chanell
16.
quantum computing
17.
quantum cryptography
18.
quantum detectors
19.
quantum dots (QDs)
20.
quantum efficiency
21.
quantum groups
22.
quantum internet
23.
quantum logic
24.
quantum matrix spaces
25.
quantum noise
26.
quantum structures
27.
quantum tunneling
28.
quantum well
29.
quantum wells
30.
assertion-based verification
31.
Automata, Formal Verification
32.
Automatic Security Verification
33.
automatic speaker verification
34.
compliance verification
35.
compositional verification
36.
deductive verification
37.
extra-functional verification
38.
forecast verification
39.
formal verification
40.
functional verification
41.
grid verification
42.
Hardware Verification
43.
model verification
44.
model-based verification
45.
power verification
46.
program verification
47.
reliability verification
48.
RISC-V Security Verification
49.
security verification
50.
simple payment verification (SVP)
51.
simulation-based verification
52.
speaker verification
53.
timing verification
54.
validation and verification
55.
verification
56.
verification and validation
57.
verification by model checking
58.
verification methods
59.
act of state
60.
Algorithmic State Machine - ASM
61.
Algorithmic State Machines (ASMs)
62.
all solid-state batteries
63.
Arab state
64.
covalent self-assembly in solid state
65.
current state capability quantitative estimates
66.
digital state
67.
entrepreneurial state
68.
e-state system
69.
EU state aid
70.
Final state
71.
finite state machine
72.
Finite State Machine - FSM
73.
finite-state machines
74.
flag state control
75.
functional state of the muscles -tiredness
76.
good life in the good state
77.
HATEOAS (Hypermedia as the Engine of Application State)
78.
H-detected solid-state NMR
79.
hierarchical finite state machine
80.
Initial state
81.
Islamic State
82.
liquid-state sintering
83.
minimal state space realization
84.
Neo-Weberian State
85.
parametrised state transformation
86.
partner state
87.
physiological state
88.
port state control
89.
process state classification
90.
quasi steady state (QSS) analysis
91.
reader and writer and state monads
92.
recent state
93.
renewable electricity state subsidies
94.
representing the state
95.
REST (Representational State Transfer)
96.
sea state
97.
second state transients
98.
small state
99.
small state governance
100.
solid state detectors
101.
solid state diffusion
102.
solid state nuclear magnetic resonance
103.
solid state reaction
104.
solid state transformer
105.
solid-state
106.
solid-state 35Cl NMR
107.
solid-state batteries
108.
solid-state circuit breaker
109.
solid-state circuit breaker (SSCB)
110.
solid-state circuit breakers (SSCBs)
111.
solid-state electrolyte
112.
solid‐state electrolyte
113.
solid-state electrolytes
114.
solid-state fermentation
115.
solid-state fermentations
116.
solid-state fluoride electrolyte
117.
solid-state NMR
118.
solid-state NMR spectroscopy
119.
solid-state pH electrodes
120.
solid-state reactions
121.
solid-state sintering
122.
solid-state transformer
123.
solid-state transformers
124.
state
125.
state aid
126.
state aid regulations
127.
State Aid Temporary Framework
128.
state and governance traditions
129.
state and output transformations
130.
state assignment
131.
state audit institution
132.
state capacity
133.
state complexity
134.
state equations
135.
state equivalence
136.
State estimation
137.
state feedback
138.
state feedback linearization
139.
state financing
140.
state fire and rescue service (SFRS)
141.
state fleets
142.
state institutions
143.
state intervention
144.
state linearizability
145.
state machine
146.
state mindfulness
147.
state monads
148.
state morals
149.
state of change
150.
state of charge
151.
state of charge (SOC)
152.
state of health
153.
state of the art
154.
state of the art research
155.
state of the brain
156.
state of the ocean
157.
state owned enterprises
158.
state policy
159.
state socialism
160.
state sovereignt
161.
state sovereignty
162.
state space methods
163.
state space realization
164.
state support
165.
state support of religion
166.
State Theory
167.
state variable
168.
state-citizen
169.
state-feedback control
170.
state-of-the-art
171.
state-owned enterprises of Ukraine
172.
state-separating proofs
173.
State-space
174.
state-space interpolation
175.
state‐space method
176.
state-space models
177.
state-space realization
178.
state-spacerealization
179.
steady state
180.
steady state analysis
181.
steady state response
182.
Steady-state
183.
steady-state analysis
184.
steady-state flow rheology
185.
steady-state forced vibrations
186.
steady‐state growth space analysis
187.
stedy-state analysis
188.
Sumy State University
189.
technical state index
190.
the state of the economy
191.
transient state
192.
U.S. state budgeting
193.
Ultimate limit state
194.
university-industry-state relations
195.
university-industry-state relations
196.
welfare state
197.
world state
198.
1H solid-state NMR
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT