Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 94
- Philosophy 93
- Computer science 87
- Software Engineering 81
- Humanities 64
- History of engineering & technology 59
- Society & social sciences 55
- Philosophy: logic 51
- Technology: general issues 48
- Mathematical theory of computation 47
- Computer programming / software development 46
- Computer networking & communications 38
- Mathematics 38
- Research & information: general 38
- Computer architecture & logic design 36
- Algorithms & data structures 34
- Social & cultural anthropology, ethnography 34
- Media studies 32
- Neurosciences 30
- Sociology 29
- Politics & government 28
- Systems analysis & design 27
- Education 26
- Philosophy: epistemology & theory of knowledge 26
- Software engineering 26
- Anthropology 25
- History 25
- Logic 24
- Philosophy of science 24
- Artificial Intelligence 23
-
821
Chapter 10 Towards decolonising schooling Realising the impossible dream?
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
822
Chapter 1 The long reach of coloniality Setting the scene from a marginal place
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
823
The Governing-Evaluation-Knowledge Nexus Swedish Higher Education as a Case
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
824
-
825
Race and Rurality in the Global Economy
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
826
Building Black Towards Antiracist Architecture
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
827
The Dynamics of Influencer Marketing A Multidisciplinary Approach
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
828
Working Through Colonial Collections An Ethnography of the Ethnological Museum in Berlin
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
829
Cultural Crowdfunding Platform Capitalism, Labour and Globalization
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
830
Construire le monde du hardcore
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
831
There's No Such Thing as "The Economy": Essays on Capitalist Value
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
832
Governing Delinquency Through Freedom Control, Rehabilitation and Desistance
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
833
Chapter 1 FAIL! Are We Headed towards Critical Failure Studies?
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
834
Buy It Now Lessons from eBay
Published 2012OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
835
Decolonizing the Criminal Question Colonial Legacies, Contemporary Problems
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
836
forall x Calgary
Published 2023Table of Contents: “…Preface -- Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory -- Appendices -- Glossary…”
Access online version
Electronic eBook -
837
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...
Published 2023Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata
Electronic eBook -
838
The Resonance of Unseen Things: Poetics, Power, Captivity, and UFOs in the American Uncanny
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
839
Jihadi Audiovisuality and its Entanglements Meanings, Aesthetics, Appropriations
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
840
Power and Influence of Economists Contributions to the Social Studies of Economics
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter