Search Results - "computer"

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

Mobile Edge Computing by Zhang, Yan

Table of Contents: “…Introduction -- Mobile Edge Computing -- Mobile Edge Caching -- Mobile Edge Computing for 5G Beyond/6G -- Mobile Edge Computing for Internet of Vehicles -- Mobile Edge Computing for UAVs -- The Future of Mobile Edge Computing.…”
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

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings /

Table of Contents: “…Smart algorithms -- Data classification and processing -- Stochastic modelling -- Performance evaluation -- Queuing systems -- Wireless networks and security -- Image processing and computer vision.…”
Link to Metadata

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

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

Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings /

Table of Contents: “…Natural Computing -- Ethological response to periodic stimulation in Chara and Brepharisma -- Adaptive path-finding and transport network formation by the amoeba-like organism Physarum -- Aggregate "Calculation" in Economic Phenomena: Distributions and Fluctuations -- Towards Co-evolution of Information, Life and Artifcial Life -- Harness the Nature for Computation -- Things Theory of Art Should Learn From Natural Computing -- Study on the use of Evolutionary Techniques for inference in Gene Regulatory Networks -- Reconstruction of Gene Regulatory Networks from Gene Expression Data using Decoupled Recurrent Neural Network Model -- Design and control of synthetic biological systems -- Satellite Symposium on Computational Aesthetics -- Preface-Natural Computing and Computational Aesthetics -- The Significance of Natural Computing for Considering Computational Aesthetics of Nature -- Perceiving the Gap: asynchronous coordination of plural algorithms and disconnected logical types in ambient space -- Aesthetic Aspects of Technology-mediated Self-awareness Experiences.…”
Link to Metadata

Computational Thinking Education

Table of Contents: “…1 Introduction to Computational Thinking Education -- Part I Computational Thinking and Tool Development -- 2 Computational Thinking: More than a Variant of Scientific Inquiry! …”
Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…Chapter 1: What is the Sublinear Computation Paradigm? -- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata

Cloud Computing Technology by Huawei Technologies Co., Ltd

Table of Contents: “…Introduction to Cloud Computing -- Chapter 2. Cloud Computing System -- Chapter 3. …”
Link to Metadata