Search Results - "quantum algorithms"

Quantum Computing Algorithms and Computational Complexity

Subjects: “…quantum algorithms…”
DOAB: download the publication
DOAB: description of the publication

Quantum Computing for the Quantum Curious by Hughes, Ciaran

Subjects: “…quantum algorithms…”
DOAB: download the publication
DOAB: description of the publication

Quantum Computing for the Quantum Curious by Hughes, Ciaran

Subjects: “…quantum algorithms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Recent Advances and Future Trends in Nanophotonics

Subjects: “…quantum algorithm…”
DOAB: download the publication
DOAB: description of the publication

Symmetries in Quantum Mechanics

Subjects: “…quantum algorithm…”
DOAB: download the publication
DOAB: description of the publication

Quantum Information and Computation

Subjects: “…quantum algorithm…”
DOAB: download the publication
DOAB: description of the publication

Hardware and software tools for teaching the basics of quantum informatics to lyceums students by Liudmyla V. Lehka, Svitlana V. Shokaliuk

Connect to this object online.

Hardware and software tools for teaching the basics of quantum informatics to students of specialized (high) schools by Liudmyla V. Lehka, Svitlana V. Shokaliuk, Viacheslav V. Osadchyi

Connect to this object online.

Quantum Computing and Communications

DOAB: download the publication
DOAB: description of the publication

Quantum Computing for the Quantum Curious by Hughes, Ciaran, Isaacson, Joshua, Perry, Anastasia, Sun, Ranbel F., Turner, Jessica

Table of Contents: “…-- 3 Creating Superposition: The Beam Splitter -- 4 Creating Superposition: Stern-Gerlach -- 5 Quantum Cryptography -- 6 Quantum Gates -- 7 Entanglement -- 8 Quantum Teleportation -- 9 Quantum Algorithms -- 10 Worksheets -- Appendices -- Alphabetical Index -- Acknowledgments -- Answers.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

خوارزمية كمومية لحل مشاكل البحث في فضاءات البحث غير البنيوية by حسن البستاني, يانا غانم

Connect to this object online.