Search Results - "Quantum computing

Bell Nonlocality by Scarani, Valerio

Subjects: “…Quantum physics (quantum mechanics & quantum field theory) bicssc…”
DOAB: download the publication
DOAB: description of the publication

Bell Nonlocality by Scarani, Valerio

Subjects: “…Quantum physics (quantum mechanics & quantum field theory) bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Modeling and Computer Simulation

DOAB: download the publication
DOAB: description of the publication

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

Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…Chapter 1: What is the Sublinear Computation Paradigm? -- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

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.

The Cosmic Web Scientific Field Models and Literary Strategies in the Twentieth Century by Hayles, N. Katherine

DOAB: download the publication
DOAB: description of the publication

Green Alternatives and National Energy Strategy The Facts behind the Headlines by Gallman, Philip G.

DOAB: download the publication
DOAB: description of the publication

Part QM Quantum Mechanics by Likharev, Konstantin

Access online version

Quantum Mechanical/Molecular Mechanical Approaches for the Investigation of Chemical Systems - Recent Developments and Advanced Applications by Sam P. de Visser

DOAB: download the publication
DOAB: description of the publication

In Vivo Anti-Leukemia, Quantum Chemical Calculations and ADMET Investigations of Some Quaternary and Isothiouronium Surfactants by Ahmed A. El-Henawy, Manal M. Khowdiary, Abdelfattah B. Badawi, Hussein M. Soliman

Connect to this object online.