Résultats de la recherche - "Quantum computing

PENGARUH PENGGUNAAN MODEL PEMBELAJARAN QUANTUM LEARNING TERHADAP HASIL BELAJAR SISWA DOMAIN KOGNITIF par Fauzi, Dwiky Rahmanur

Link Metadata

Studies of optimized and electronic structures of endohedral and exohedral lithium-buckminsterfullerene complexes by quantum chemical calculations par Thammarat Aree

Connect to this object online.

Advances in Near Infrared Spectroscopy and Related Computational Methods par Bec, Krzysztof B.

DOAB: download the publication
DOAB: description of the publication

Introduction to Gauge Field Theory Revised Edition par Bailin, D.

DOAB: download the publication
DOAB: description of the publication

Introduction to Gauge Field Theory Revised Edition par Bailin, D.

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

Gauge Theories in Particle Physics: A Practical Introduction, Volume 1 From Relativistic Quantum Mechanics to QED, Fourth Edition par Aitchison, Ian J R

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

Gauge Theories in Particle Physics: A Practical Introduction, Volume 2: Non-Abelian Gauge Theories QCD and The Electroweak Theory, Fourth Edition par Aitchison, Ian J R

DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication

Gauge Theories in Particle Physics: A Practical Introduction, Volume 1 From Relativistic Quantum Mechanics to QED, Fourth Edition par Aitchison, Ian J R

DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication

Gauge Theories in Particle Physics: A Practical Introduction, Volume 2: Non-Abelian Gauge Theories QCD and The Electroweak Theory, Fourth Edition par Aitchison, Ian J R

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

Kinks and Domain Walls An Introduction to Classical and Quantum Solitons par Vachaspati, Tanmay

DOAB: download the publication
DOAB: description of the publication

Kinks and Domain Walls An Introduction to Classical and Quantum Solitons par Vachaspati, Tanmay

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

Gravity Geoscience Applications, Industrial Technology and Quantum Aspect

DOAB: download the publication
DOAB: description of the publication

Digital Finance in Europe: Law, Regulation, and Governance

Sujets: “…quantum computing…”
DOAB: download the publication
DOAB: description of the publication

Digital Finance in Europe: Law, Regulation, and Governance

Sujets: “…quantum computing…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table des matières: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

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

DOAB: download the publication
DOAB: description of the publication

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

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

Invariant Differential Operators Volume 2 Quantum Groups (Volume 39) par Dobrev, Vladimir K.

DOAB: download the publication
DOAB: description of the publication

Invariant Differential Operators Volume 2 Quantum Groups (Volume 39) par Dobrev, Vladimir K.

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

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Link to Metadata