The Landscape of Formal Verification in APL - A Review with a Case Study in Quantum Computing
Explore formal verification in APL, focusing on its potential for building dependable software. Examine a case study in quantum computing and discuss future implications for software development.
A Type-Theoretic Account of Quantum Computation
Explore type-theoretic concepts for describing and proving properties of quantum computations, focusing on quantum circuits using Coq's dependent and polymorphic types.
Exploring Modal Types for the Intel Quantum SDK
Explore modal types for Intel Quantum SDK, focusing on a proposed type system with three modes to ensure proper data handling in quantum kernels.
Compilation of Qubit Circuits to Optimized Qutrit Circuits
Explore an optimizing compiler for qutrit circuits that improves quantum computations, offering depth reduction and higher fidelity compared to manual implementations and qubit circuits.
Journey into Quantum Computing - Overview and Business Benefits
Explore quantum computing fundamentals, potential applications, and future business impacts. Learn about qubits, entanglement, and quantum circuits while discovering how to prepare for the quantum era.
Empowering Executives to Embrace Quantum Computing
Explore quantum computing's potential, applications, and executive strategies for leveraging this transformative technology in various industries.
Using Qiskit to Create Quantum Games
Explore quantum key distribution and BB84 protocol through game development using Qiskit. Learn to implement quantum cryptography concepts in interactive applications.
Information Scrambling: A Path-Integral Perspective
Explore quantum information scrambling, its quantification through Lyapunov exponents, and the role of path integrals in understanding universal bounds on chaos in thermal quantum systems.
A Quantum Computing Algorithm to Speed Up Metropolis Sampling
Explore a quantum algorithm for accelerating Metropolis sampling in multidimensional systems, leveraging wave function collapses for non-local configuration space moves.
Introduction to Quantum Computing and Quantum Technology
Explore quantum computing fundamentals, mechanics, advantages, and applications in various industries. Gain insights into quantum machine learning for data science.
Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays
Explore Atomique, a novel quantum compiler for reconfigurable neutral atom arrays, enhancing scalability and efficiency in quantum computing through strategic atom movements and optimized gate scheduling.
Navigating the Quantum Readiness Journey: Open-Source Cryptography, PKI and Signing Tools
Explore quantum-resistant cryptography for IoT, containers, and software supply chains using open-source tools. Gain hands-on insights into FIPS-certified APIs, PKI software, and signing solutions for enhanced cybersecurity.
Modelling and Structure-Preserving Discretization of the Schrödinger Equation as a Port-Hamiltonian System
Explore Schrödinger equation modelling as port-Hamiltonian system, including structure-preserving discretization and simulation of controlled quantum box with Rabi oscillations.
Can Cencov Meet Petz - Unifying Classical and Quantum Information Geometry
Explore the unification of Cencov's and Petz's theorems through W*-algebra formulations of classical and quantum information geometry.
Mathematical General Relativity to Quantum Field and Information Theory - Research Overview
Explore core research in Mathematical General Relativity, Quantum Field Theory, and Information Theory, with connections to various mathematical areas.
Nonclassical Correlations and Quantum Theory
Explore nonclassical correlations and quantum theory with Rafael Freitas dos Santos in this colloquium from the Center for Theoretical Physics PAS.
Superposition of Energy States in a 1D Infinite Square Well
Explore superposition of energy eigenstates in a 1D infinite square well through calculations and Python modeling.
NISQ-Era Quantum Algorithms - Lecture 19
Explore NISQ-era quantum algorithms, focusing on their applications and limitations in current quantum computing systems.
Quantum Generative Adversarial Networks (QGANs) - Lecture 22
Explore quantum generative adversarial networks (QGANs), from theoretical foundations to practical implementations and simulations.
Quantum Algorithms Recap: Grover's Algorithm and SAT - Lesson 98
Recap geometric and rotational aspects of quantum computing, focusing on Grover's Algorithm for SAT in this advanced quantum programming lesson.
Quantum Algorithms Recap: Factoring - Lesson 99
Explore quantum algorithms for factoring and rotation estimation, understanding their efficiency in quantum computing.