Search Results - "computation"

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

An Introduction to Computer Networks by Dordal, Peter Lars

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

Introduction to Computer Graphics by Eck, David J.

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

High Performance Computing by Severance, Charles, Dowd, Kevin

Table of Contents: “…1. Modern Computer Architectures -- 1.1 Memory -- 1.2 Floating-Point Numbers -- 2. …”
Access online version

Computer Science I by Bourke, Chris

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