Search Results - Omloop~
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 91
- Technology: general issues 76
- Research & information: general 34
- Medicine 15
- Biology, life sciences 14
- Computer Science 13
- Computer science 13
- Electrical engineering 12
- Physics 12
- Media studies 11
- Politics & government 10
- Science: general issues 10
- Artificial intelligence 9
- Software Engineering 9
- Applied ecology 8
- Energy industries & utilities 8
- Neurosciences 8
- Nuclear physics 8
- Artificial Intelligence 7
- Materials science 7
- Programming Languages 7
- Software engineering 7
- Sustainability 6
- Chemistry 5
- Mathematics 5
- Mechanical engineering & materials 5
- Alternative & renewable energy sources & technology 4
- Automatic control engineering 4
- Climate change 4
- Cognition & cognitive psychology 4
-
2181
-
2182
Chapter 1 EDITORS' INTRODUCTION What are environing media?
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2183
Chapter 2 ENVIRONING EMPIRES AND COLONIAL MEDIA
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2184
Chapter 7 OCEAN ENVIRONING MEDIA Datafication of the deep sea
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2185
-
2186
-
2187
Patterns for Beginning Programmers
Published 2022Table of Contents: “…Patterns Requiring Knowledge of Loops, Arrays, and I/O -- IV. Patterns Requiring Advanced Knowledge of Arrays and Arrays of Arrays -- V. …”
Access online version
Electronic eBook -
2188
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...
Published 2019Table 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
Electronic eBook -
2189
-
2190
New Frontiers in Parallel Robots
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2191
Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2192
Imagining Global Amsterdam History, Culture, and Geography in a World City
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2193
Bioprocess Monitoring and Control
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2194
-
2195
-
2196
-
2197
-
2198
-
2199
Crystal structure of SARS-CoV-2 papain-like protease
Published 2021Connect to this object online.
Book -
2200