Search Results - GaWC~

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

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 of Contents: “…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

Information and Communication Technologies in Tourism 2022 Proceedings of the ENTER 2022 eTourism Conference, January 11-14, 2022 /

Table of Contents: “…Video Game Experiential Marketing in Tourism: Designing for Experiences -- Mixed reality for Generation Z in cultural heritage tourism -- Virtual Reality: A Simple Substitute or New Niche? …”
Link to Metadata

Ethnomusicology, Queerness, Masculinity Silence=Death / by Amico, Stephen

Table of Contents: “…Street Cred and Locker Room Glances -- 5. Diverse People in Special Places -- 6. …”
Link to Metadata

Making Games with Python & Pygame by Sweigart, Al

Table of Contents: “…Chapter 1 - Installing Python and Pygame -- Chapter 2 - Pygame Basics -- Chapter 3 - Memory Puzzle -- Chapter 4 - Slide Puzzle -- Chapter 5 - Simulate -- Chapter 6 - Wormy -- Chapter 7 - Tetromino -- Chapter 8 - Squirrel Eat Squirrel -- Chapter 9 - Star Pusher -- Chapter 10 - Four Extra Games…”
Access online version

Prosthetic Body Parts in Nineteenth-Century Literature and Culture by Sweet, Ryan

Table of Contents: “…Mobilities: Physical and Social -- 5. "Losing a Leg to Gain a Wife": Marriage, Gender, and the Prosthetic Body Part -- 6. …”
Link to Metadata

Forensic Genetics in the Governance of Crime by Machado, Helena, Granja, Rafaela

Table of Contents: “…Chapter 1 Introduction -- Chapter 2 The Sociological Gaze -- Chapter 3 Biological Explanations of Criminal Behaviour -- Chapter 4 DNA Technologies in Criminal Investigation and Courts -- Chapter 5 DNA Databases and Big Data -- Chapter 6 Forensic Genetics and Governance of Transnational Criminality -- Chapter 7 Emerging DNA Technologies and Stigmatization -- Chapter 8 Conclusion.…”
Link to Metadata

Bio-Inspired Information Pathways From Neuroscience to Neurotronics /

Table of Contents: “…Matter & Mind Matter -- Neuromorphic circuits with redox-based memristive devices -- Redox-based bi-layer oxide metal memristive devices -- MemFlash - Floating Gate Transistors as Memristors -- Critical discussion of ex situ and in situ TEM measurements of memristive devices -- Modeling and Simulation of of Silver-based Filamentary Memristive Devices -- Bio-inspired, neuromorphic acoustic sensing.…”
Link to Metadata

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Think Complexity Exploring Complexity Science with Python by Downey, Allen B.

Table of Contents: “…Preface -- 1 Complexity Science -- 2 Graphs -- 3 Small world graphs -- 4 Scale-free networks -- 5 Cellular Automatons -- 6 Game of Life -- 7 Physical modeling -- 8 Self-organized criticality -- 9 Agent-based models -- 10 Herds, Flocks and Traffic Jams -- 11 Evolution -- 12 Evolution of cooperation -- 14 Case study: The Volunteer's Dilemma…”
Access online version

Media, Society, Culture and You by Poepsel, Mark

Table of Contents: “…Radio Broadcasting, Podcasting and "Superbug Media" -- 8. Digital Gaming -- 9. Newspapers and Digital News -- 10. Advertising, Public Relations and Propaganda…”
Access online version

Adam und Embryo Ein Beitrag zur Erforschung der Adamsgeschichte in jüdischen, christlichen und islamischen Texten bis zum Ende des ersten Jahrtausends

“…Recht, Ethik und Gesellschaft im Vorderen Orient | Law, Ethics and Society in the Middle East…”
DOAB: download the publication
DOAB: description of the publication

Jews in Early Christian Law: Byzantium and the Latin West, 6th-11th Centuries

Subjects: “…christian law…”
DOAB: download the publication
DOAB: description of the publication

"Wenn wir sagen, dass der Tropfen Mensch wird" Vorstellungen ungeborenen Lebens bei Bar ʿEbrāyā (1226-1286 n. Chr.) by Jäckel, Florian

“…Recht, Ethik und Gesellschaft im Vorderen Orient | Law, Ethics and Society in the Middle East…”
DOAB: download the publication
DOAB: description of the publication

Jews in Early Christian Law: Byzantium and the Latin West, 6th-11th Centuries

Subjects: “…christian law…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Paul Lorenzen -- Mathematician and Logician

Table of Contents: “…From Lorenzen's dialogue game to game semantics for substructural logics (Christian Fermüller) -- Chapter 11. …”
Link to Metadata

Religious Entanglements Between Germans and Indians, 1800-1945

Table of Contents: “…Neglected Aspects of the So-Called Revival of a Classical Indian Dance Form -- 8 'The Priestess of Hindu Dance': Leila Sokhey's Repertoire and Its Reception in the Netherlands and Germany (1927-38) -- 9 Roaming Between East and West: In Search of Religious Ecstasy in the Interwar Period -- 10 Negotiating Germanness with Indian Religious History: Transfers of Academic Knowledge and Notions of völkisch Belief -- 11 Hakenkreuz, Swastika and Crescent: The Religious Factor in Nazi Cultural Politics Regarding India -- 12 Curating the Fragments of Local Modernities: The Menaka Digital Archive from the Perspective of Ongoing Research.…”
Link to Metadata

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

Table of Contents: “…Coordinate Transformation (Robot Arm) -- Part II: Selected Topics -- 7. Game Theory -- 8. Communications -- 9. Sensing and Actuation -- Part III: Appendix -- A. …”
Link to Metadata

Empire Under the Microscope Parasitology and the British Literary Imagination, 1885-1935 / by Taylor-Pirie, Emilie

Table of Contents: “…Detecting the Diagnosis: Parasitology, Crime Fiction, and the British Medical Gaze -- 5. Imperial Aetiologies: Violence, Sleeping Sickness, and the Colonial Encounter -- 6. …”
Link to Metadata

Digital Circuit Projects An Overview of Digital Circuits Through Implementing Integrated Circuits by Kann, Charles W.

Table of Contents: “…Chapter 1 Before you start -- Chapter 2 Overview of a Central Processing -- Chapter 3 Getting started -- Chapter 4 Gates -- Chapter 5 Associative Boolean operators -- Chapter 6 Adders -- Chapter 7 Decoders -- Chapter 8 Multiplexers -- Chapter 9 Memory basics - flip-flops and latches -- Chapter 10 Sequential circuits -- Chapter 11 Use of these ICs in a CPU…”
Access online version