Search Results - "computer"

Computational Hydraulics by Popescu, Ioana

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

Anti-computing Dissent and the machine by Bassett, Caroline

Subjects: “…anti-computing; dissent; media archaeology; medium theory; Hannah Arendt; automation anxiety; science fiction; digital cultures; interdisciplinary research…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computational Physiology Simula Summer School 2021 − Student Reports

Subjects: “…Computational Physiology…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Anti-computing Dissent and the machine by Bassett, Caroline

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

Computational Physiology Simula Summer School 2022 − Student Reports

Subjects: “…Computational Physiology…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Hypergraph Computation by Dai, Qionghai

Subjects: “…Hypergraph Computation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Cosmic Computer by Piper, H. Beam, 1904-1964

Get full text

Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications

Subjects: “…ubiquitous computing…”
DOAB: download the publication
DOAB: description of the publication

Computational Drug Design - A Guide for Computational and Medicinal Chemists by Monique Araújo de Brito

Connect to this object online.

Comparison of Spiral Computed Tomography and Cone-Beam Computed Tomography by Alexander Maninagat Luke, Krishna Prasad Shetty, S V Satish, Krishnarao Kilaru

Connect to this object online.

From cadaver to computer: incorporating computers into the topographical anatomy laboratory by Kim Issroff, Mark Osmond, Paul O'Higgins

Connect to this object online.

Seeing the Past with Computers: Experiments with Augmented Reality and Computer Vision for History by Kee, Kevin

DOAB: download the publication
DOAB: description of the publication

Computer-simulated experiments and computer games: a method of design analysis by Jerome J. Leary

Connect to this object online.

Seeing the Past with Computers: Experiments with Augmented Reality and Computer Vision for History by Kee, Kevin

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

Computer Vision Metrics Survey, Taxonomy, and Analysis / by Krig, Scott

Subjects: “…Computer graphics.…”
Link to Metadata

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 / by Linge, Svein, Langtangen, Hans Petter

Table of Contents: “…Preface -- 1 The first few steps -- 2 A few steps more -- 3 Loops and branching -- 4 Functions and the writing of code -- 5 Some more Python essentials -- 6 Computing integrals and testing code -- 7 Solving nonlinear algebraic equations -- 8 Solving ordinary differential equations -- 9 Solving partial differential equations -- A Installation and use of Python -- References -- Index.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Subjects: “…Computer science.…”
Link to Metadata

Computational Conflict Research

Table of Contents: “…Chapter1: Advancing Conflict Research through Computational Approaches -- PARTI: Data and Methods in Computational Conflict Research -- Chapter2: Advances in Data on Conflict and Dissent -- Chapter3: Text as Data for Conflict Research: A Literature Survey -- Chapter4: Interdependencies in Conflict Dynamics: Analyzing Endogenous Patterns in Conflict Event Data Using Relational Event Models -- PARTII: Computational Research on Non-violent Conflict -- Chapter5: Migration Policy Framing in Political Discourse: Evidence from Canada and the US -- Chapter6: The Role of Network Structure and Initial Group Norm Distribution in Norm Conflict -- Chapter7: On the Fate of Protests: Dynamics of Activation and Topic Selection Online and In the Streets -- PartIII: Computational Research on Violent Conflict -- Chapter8: Do Non-State Armed Groups influence each other in attack timing and frequency? …”
Link to Metadata

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /

Subjects: “…Computer science.…”
Link to Metadata