Search Results - "computing"

Data Science, Human-Centered Computing, and Intelligent Technologies

Subjects: “…Computer science bicssc…”
OAPEN Library: description of the publication

On a new algorithm for computing GCD of integer numbers by ST Ishmukhametov, BG Mubarakov, RG Rubtsova, Al Khalidi Arkan Mohammed

Connect to this object online.

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

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

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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

Table of Contents: “…Machine Learning and Deep learning approaches in human brain mapping -- A high-resolution model of the human entorhinal cortex in the 'BigBrain'- use case for machine learning and 3D analyses -- Deep learning-supported cytoarchitectonic mapping of the human lateral geniculate body in the BigBrain -- Brain modelling and simulation -- Computational modelling of cerebellar magnetic stimulation: the effect of washout? …”
Link to Metadata

The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition / by Barroso, Luiz André, Hölzle, Urs, Ranganathan, Parthasarathy

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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

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

Diversity in Computer Science Design Artefacts for Equity and Inclusion / by Bjørn, Pernille, Menendez-Blanco, Maria, Borsotti, Valeria

Table of Contents: “…Chapter 1: The State of Diversity In Computer Science In 2022 -- Chapter 2: Femtech.Dk Research Initiative -- Chapter 3: Interventionist Research -- Chapter 4: Makerspace Methodologies & Design Principles -- Chapter 5: Cyberbear & Cryptosphere: Sociomaterial-Design, Social Belonging, And Gender Representations -- Chapter 6: Grace: Designing Sociomaterial Assemblages Unpacking Gender Equity in Computing -- Chapter 7: Equity & Inclusion -- Chapter 8: Organizational Change for Equity & Inclusion -- Chapter 9: Final Reflections.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /

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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /

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

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /

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

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

Table of Contents: “…Preface -- The first few steps -- Basic constructions -- Computing integrals -- Solving ordinary differential equations -- Solving partial differential equations -- Solving nonlinear algebraic equations -- Getting access to Python -- References -- Index .…”
Link to Metadata