Cargando…

Model-checking quantum systems

Detalles Bibliográficos
Autores principales:	Ying, Mingsheng, Feng, Yuan
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	Oxford University Press 2019
Materias:	Special Topic: Quantum Computing
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8291611/ https://www.ncbi.nlm.nih.gov/pubmed/34691829 http://dx.doi.org/10.1093/nsr/nwy106

Ejemplares similares

Preface to special topic on quantum computing
por: Guo, Guang-Can, et al.
Publicado: (2019)

Quantum machine learning
por: Allcock, Jonathan, et al.
Publicado: (2019)

Semiconductor quantum computation
por: Zhang, Xin, et al.
Publicado: (2019)

Quantum computing with neutral atoms
por: Saffman, Mark
Publicado: (2019)

Quantum supremacy: some fundamental concepts
por: Yung, Man-Hong
Publicado: (2019)

Model checking quantum systems: principles and algorithms
por: Ying, Mingsheng, et al.
Publicado: (2021)

The complexity-theoretic Bell inequality
por: Ji, Zhengfeng
Publicado: (2019)

Can the results of quantum refinement be improved with a continuum-solvation model?
por: Bergmann, Justin, et al.
Publicado: (2021)

Towards a European quantum network
por: Ribezzo, D, et al.
Publicado: (2022)

Superactivating Bound Entanglement in Quantum Networks via Quantum Zeno Dynamics and a Novel Algorithm for Optimized Zeno Evolution
por: Ozaydin, Fatih, et al.
Publicado: (2023)

Quantum Information and Probability: from Foundations to Engineering
Publicado: (2023)

CERN Quantum Technology Initiative Strategy and Roadmap
por: Di Meglio, Alberto, et al.
Publicado: (2021)

q-Deformed three-level quantum logic
por: Altintas, Azmi Ali, et al.
Publicado: (2020)

Quantum Convolutional Circuits for Earth Observation Image Classification
por: Chang, Su Yeon, et al.
Publicado: (2022)

A biological sequence comparison algorithm using quantum computers
por: Kösoglu-Kind, Büsra, et al.
Publicado: (2023)

Generating muonic force carriers events with classical and quantum neural networks
por: Ramazyan, T, et al.
Publicado: (2023)

International Conference on Quantum Technology for High-Energy Physics (QT4HEP22)
Publicado: (2022)

4-Dimensional Quantum Key Distribution Protocol over 52-km Deployed Multicore Fibre
por: Zahidy, M, et al.
Publicado: (2022)

Quantum Angle Generator for Image Generation
por: Florian, Rehm, et al.
Publicado: (2022)

On protocols for increasing the uniformity of random bits generated with noisy quantum computers
por: Combarro, Elías F, et al.
Publicado: (2021)

A report on teaching a series of online lectures on quantum computing from CERN
por: Combarro, Elías F, et al.
Publicado: (2021)

Prisoners’ Dilemma in a Spatially Separated System Based on Spin–Photon Interactions
por: Altintas, Azmi Ali, et al.
Publicado: (2022)

Classification With Unimodular Matrices In Hybrid Models
por: Pasquali, Dominic
Publicado: (2022)

Detailed analysis of deformation potentials with application in orbital-free density functional theory
por: Finzel, Kati
Publicado: (2021)

Interpreting the different emissive properties of cyclic triimidazole-based Cu(I) and Ag(I) coordination polymers: a QTAIM and IQA study
por: Forni, Alessandra, et al.
Publicado: (2021)

Ibuprofen and sila-ibuprofen: polarization effects in the crystal and enzyme environments
por: Kleemiss, Florian, et al.
Publicado: (2021)

Estimation of the number of single-photon emitters for multiple fluorophores with the same spectral signature
por: Li, Wenchao, et al.
Publicado: (2023)

Simulations of electric field gradient fluctuations and dynamics around sodium ions in ionic liquids
por: Gimbal-Zofka, Yann, et al.
Publicado: (2022)

Spectral purification of single-frequency Stokes pulses in doubly resonant integrated diamond resonators
por: Granados, Eduardo, et al.
Publicado: (2022)

Optical losses assessment for optical fiber-based strain sensing at cryogenic temperatures
por: Kandemir, Keziban, et al.
Publicado: (2023)

A Simple Pathway to Widely Tunable Single-Frequency Light Using Monolithic Diamond Raman Resonators
por: Granados, Eduardo
Publicado: (2023)

Quantum Zeno repeaters
por: Bayrakci, Veysel, et al.
Publicado: (2022)

Dynamical conductivity of disordered quantum chains
por: Takayoshi, Shintaro, et al.
Publicado: (2022)

Dosimetry in Micro-computed Tomography: a Review of the Measurement Methods, Impacts, and Characterization of the Quantum GX Imaging System
por: Meganck, Jeffrey A., et al.
Publicado: (2016)

Comparing quantum and classical machine learning for Vector Boson Scattering background reduction at the Large Hadron Collider
por: Cugini, Davide, et al.
Publicado: (2023)

Field and intensity correlations: the Siegert relation from stars to quantum emitters
por: Lassègues, Pierre, et al.
Publicado: (2022)

Performing the Millikan experiment at the molecular scale: Determination of atomic Millikan-Thomson charges by computationally measuring atomic forces
por: Rogers, T. Ryan, et al.
Publicado: (2017)

Quantum Systems for Enhanced High Energy Particle Physics Detectors
por: Doser, M, et al.
Publicado: (2022)

Complex Systems Modeling for Obesity Research
por: Hammond, Ross A.
Publicado: (2009)

Quantum Machine Learning for HEP Detector Simulations
por: Rehm, Florian, et al.
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_vr5m90vni6dmm9o3ncnijl4a1v