Zoekresultaten - "computing"

Kältebilder Ästhetik und Erkenntnis am Gefrierpunkt

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

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

Onderwerpen: “…Computer networking & communications bicssc…”
DOAB: download the publication
DOAB: description of the publication

Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems

Onderwerpen: “…Computer networking & communications bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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,...

Inhoudsopgave: “…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

XcalableMP PGAS Programming Language From Programming Model to Applications /

Onderwerpen: “…Compilers (Computer programs).…”
Link to Metadata

Scripting Farming Simulator with Lua Unlocking the Virtual Fields / door Brumbaugh, Zander, Leithner, Manuel

Onderwerpen: “…Computer games Programming.…”
Link to Metadata

Algorithms and Data Structures With Applications to Graphics and Geometry door Nievergelt, Jurg, Hinrichs, Klaus

Inhoudsopgave: “…List structures -- 22. Address computation -- 23. Metric data structures -- Part VI: Interaction between algorithms and data structures: case studies in geometric computation -- 24. …”
Access online version

Database Design door Watt, Adrienne

Onderwerpen: “…Computer Science Textbooks…”
Access online version

Relational Databases and Microsoft Access door McFadyen, Ron

Onderwerpen: “…Computer Science Textbooks…”
Access online version

The Unicode cookbook for linguists Managing writing systems using orthography profiles door Moran, Steven, Cysouw, Michael

Onderwerpen: “…Computer Science Textbooks…”
Access online version

Defend Dissent door Borradaile, Glencora

Onderwerpen: “…Computer Science Textbooks…”
Access online version

Virtual Reality

Onderwerpen: “…Computer vision…”
DOAB: download the publication
DOAB: description of the publication

Advances in Wavelet Theory and Their Applications in Engineering, Physics and Technology

Onderwerpen: “…Computer vision…”
DOAB: download the publication
DOAB: description of the publication

MATLAB Applications for the Practical Engineer

Onderwerpen: “…Computer vision…”
DOAB: download the publication
DOAB: description of the publication

Location-Based Information Systems Developing Real-Time Tracking Applications door Labrador, Miguel A.

Onderwerpen: “…Computer Science…”
DOAB: download the publication
DOAB: description of the publication

Spectral Feature Selection for Data Mining door Zhao, Zheng Alan

Onderwerpen: “…Computer Science…”
DOAB: download the publication
DOAB: description of the publication

META-NET Strategic Research Agenda for Multilingual Europe 2020 door Georg Rehm

Onderwerpen: “…Computational Linguistics…”
DOAB: download the publication
DOAB: description of the publication

Stories That Speak to Us door H. Lewis Ulman

Onderwerpen: “…computers and writing…”
DOAB: download the publication
DOAB: description of the publication

Scene Reconstruction Pose Estimation and Tracking

Onderwerpen: “…Computer vision bicssc…”
DOAB: download the publication
DOAB: description of the publication

Vision Systems Segmentation and Pattern Recognition

Onderwerpen: “…Computer vision bicssc…”
DOAB: download the publication
DOAB: description of the publication