Post-Quantum Encryption - AC 2023 Session
Explore cutting-edge developments in post-quantum encryption, preparing for a future where quantum computers could threaten current cryptographic systems.
Quantum Machine Learning - Cutting Through the Buzzword BS
Explore the intersection of quantum computing and machine learning, examining QML's viability, progress, and challenges. Learn how ML developers can contribute to open-source QML projects like Qiskit Machine Learning.
The Quest for the Final Quantum Computer
Explore quantum computing basics, cutting-edge algorithms, and future prospects in experimental quantum computers with insights from a postdoctoral researcher.
Why Quantum Safe Encryption Is the Next Y2K and How to Be Prepared
Explore quantum-safe encryption's importance, its impact on data security, and strategies for preparedness in the face of advancing quantum computing technology.
High-Level Programming for Quantum Circuits
Explore high-level programming for quantum circuits, from understanding basics to advanced use cases, with a focus on Grover's algorithm and overcoming quantum programming challenges.
Quantum Computing: Technological and Social Revolution
Explore quantum computing's transformative impact on technology and society, delving into its revolutionary potential and far-reaching implications.
Securing the Future in the Age of Quantum Computing - Quantum-Safe Encryption Algorithms
Explore quantum computing's impact on digital security, encryption methods, and post-quantum algorithms. Learn about initiatives and opportunities in this emerging field.
Empowering Sector Readiness for Quantum Computing
Explore quantum computing readiness: understand its importance, benefits, and strategies for implementation. Gain insights to prepare for the quantum revolution in various sectors.
Quantum Computing - Is It Real or Just Hype?
Explore quantum computing's reality, ecosystem, and potential applications. Learn to assess emerging technologies and prepare for the quantum revolution.
quAPL - A Quantum Computing Library in APL
Explore quantum computing concepts and programming using APL, from basic qubits to advanced algorithms, with practical demonstrations and insights into this emerging technology.
Modular Component-Based Quantum Circuit Synthesis
Explore a novel method for synthesizing quantum circuits using modular components, accelerating the process and reducing search space for efficient circuit construction.
Classical Simulation of Quantum Circuits with Partial Interference Effects
Explore classical simulation of quantum circuits using partial interference, improving efficiency for textbook quantum algorithms through a novel concurrency model approach.
Quantum Program Analysis: Verification and Testing
Explore quantum program analysis techniques, including Quantum Hoare logic, Incorrectness logic, and relational Hoare logic. Learn about verifying correctness and catching bugs in quantum programs.
Introducing BRAT: A Functional Programming Language for Quantum-Classical Hybrid Programs
Explore BRAT, a functional language for quantum-classical hybrid programming, featuring unique syntax and type-level parameters for enhanced safety and composition.
Polynomial-time Classical Simulation of Roetteler's Shifted Bent Function Algorithm
Explore polynomial-time classical simulation of Roetteler's shifted bent function algorithm, examining symbolic rewriting techniques and their implications for quantum circuit analysis.
Circuit Width Estimation via Effect Typing and Linear Dependency
Explore circuit width estimation in quantum programming using effect typing and linear dependency. Gain insights into Proto-Quipper-R's type system for resource analysis of quantum algorithms.
Qadence: A Differentiable Interface for Digital-Analog Quantum Programs
Explore Qadence, a high-level interface for digital-analog quantum programs. Learn about its flexible design, native differentiability, and focus on real device execution for quantum machine learning algorithms.
With a Few Square Roots, Quantum Computing is as Easy as Pi
Explore how extending rig groupoids with two maps and three equations creates a universal quantum computing model, bridging classical reversible programming with quantum computation.
The Problem with Qubits
Explore quantum computing challenges, error rates, and benchmarking methods with insights on quantum supremacy and superconnected qubits from a leading expert.
Optimization, Complexity and Math - Can We Prove P!=NP by Gradient Descent?
Explore optimization, complexity, and mathematics with Avi Wigderson. Delve into perfect matchings, symbolic matrices, and operator scaling, connecting diverse areas of mathematics and computer science.
Coding Theoretic Framework for Private Information Retrieval - SIAM SAGA Seminar
Explore private information retrieval in coded storage systems, focusing on algebraic-geometric codes and star product schemes for adjustable storage overhead and server collusion protection.