Showing 3,821 - 3,840 results of 4,864 for search '"game"', query time: 0.14s Refine Results
  1. 3821
  2. 3822
  3. 3823
  4. 3824

    Writing Spaces Readings on Writing Vol. II by Lowe, Charlie, Zemliansky, Pavel

    Published 2011
    Table of Contents: “…(Rhetorically Speaking) -- The Complexity of Simplicity: Invention Potentials for Writing Students -- Writing “Eyeball To Eyeball”: Building A Successful Collaboration -- On the Other Hand: The Role of Antithetical Writing in First Year Composition Courses -- Introduction to Primary Research: Observations, Surveys, and Interviews -- Putting Ethnographic Writing in Context -- Walk, Talk, Cook, Eat: A Guide to Using Sources -- Reading Games: Strategies for Reading Scholarly Sources -- Googlepedia: Turning Information Behaviors into Research Skills -- Annoying Ways People Use Sources -- Everything Changes, or Why MLA Isn't (Always) Right -- Storytelling, Narration, and the “Who I Am” Story -- The Sixth Paragraph: A Re-Vision of the Essay -- Why Blog? …”
    Access online version
    Electronic eBook
  5. 3825

    Sustainable Land Management in a European Context A Co-Design Approach /

    Published 2021
    Table of Contents: “…Preface -- Overview of Chapters -- Sustainable land management and the co-creation of knowledge -- Part 1 (State and drivers) -- Land use change in Europe (Overview) -- Energy demand and land use change -- New economic drivers for land use change -- Demographic change and land use change -- Urbanisation and land use change -- Urban-rural interrelations -- Part 2 (Co-Design and Co-Production) -- Transdisciplinarity in land use sciences -- Tipping Points of Innovations for Sustainable Land Management -- Experimental games in sustainable land management -- Part 3 (Co-evolution: New system solutions and Governance) -- System solutions in sustainable land management - from small scale technical solutions to overarching solutions for society -- Regional Material Flow Management as a tool to develop resilient villages -- Supply chains and land management -- The re-invention of urban agriculture - innovation and acceptance of a new trend -- Approaches of Sustainable Landmanagement: International practices and innovative solutions -- Ecosystem services and development of green infrastructure -- Part 4 (Co-dissemination) -- New ways of implementation and transfer for sustainability -- Knowledge management for governance -- Part 5 -- Upcoming challenges in land use science - an international perspective -- Conclusions and research perspectives.…”
    Link to Metadata
    Electronic eBook
  6. 3826

    The Challenge of Chance A Multidisciplinary Approach from Science and the Humanities /

    Published 2016
    Table of Contents: “…Rosenkranz) -- Randomness and the Games of Science (J. J. Goeman) -- The Fine-Tuning Argument: Exploring the Improbability of our Existence (K. …”
    Link to Metadata
    Electronic eBook
  7. 3827

    Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

    Published 2022
    Table of Contents: “…-- 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
    Electronic eBook
  8. 3828

    Theoretical and Practical Advances in Computer-based Educational Measurement

    Published 2019
    Table of Contents: “…Feasibility and Value of Using a GoPro Camera and iPad to Study Teacher-Student Assessment Feedback Interactions; Fabienne van der Kleij, Joy Cumming, Lenore Adie -- 19. Game-based Spoken Interaction Assessment in Special Need Children; Jos Keuning, Sanneke Schouwstra, Femke Scheltinga, Marleen Van der Lubbe -- 20. …”
    Link to Metadata
    Electronic eBook
  9. 3829

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

    Published 2021
    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
    Electronic eBook
  10. 3830

    Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

    Published 2024
    Table of Contents: “…Initial Conceptual Framework and Empirical Insights -- Software startups -- Benefits, Challenges and Implications of Open-Source Software for Health-Tech Startups: An Empirical Study -- Corporate Startups: A Systematic Literature Review on Governance and Autonomy -- Exploring the Finnish Impact Investing Ecosystem: Perspectives on Challenges from Technology Startups -- Practitioner Views on Defining Analytics for Software Startups: A Preliminary Guide Based on Gray Literature -- Software Product Management -- An Evaluation of the Product Security Maturity Model through Case Studies at 15 Software Producing Organizations -- Strategic Digital Software Product Management in the Age of AI -- Experimentation in Early-Stage Video Game Startups: Practices and Challenges -- Software and Business Co-Development -- DevOps challenges and Risk mitigation strategies by DevOps professionals teams -- Good agile practices increase positive customer experience -- Information-Centric Adoption and Use of Standard-Compliant DevSecOps for Operational Technology: From Experience to Design Principles -- Exploring Sentiments and Emotions in Online Meetings: Unpacking Agile Retrospective Teams -- Emerging Digital World -- Feeling the Elephant: Insiders' Perspectives on the Metaverse -- What does Scopes 1, 2 and 3 mean for software companies -- Understanding Cost Dynamics of Serverless Computing: An Empirical Study -- Quantum Software Ecosystem: Stakeholders, Interactions and Challenges -- Dynamic Capabilities for Sustainable Digital Transformation Amid Crisis: Insights from Law Firms in Emerging Economy -- Research Streams of Barriers to Digital Transformation: Mapping Current State and Future Directions.…”
    Link to Metadata
    Electronic eBook
  11. 3831

    NL ARMS Netherlands Annual Review of Military Studies 2020 Deterrence in the 21st Century-Insights from Theory and Practice /

    Published 2021
    Table of Contents: “…Nuclear Deterrence in the Algorithmic Age: Game Theory Revisited -- Chapter 24. What's on the Human Mind? …”
    Link to Metadata
    Electronic eBook
  12. 3832
  13. 3833
  14. 3834
  15. 3835
  16. 3836
  17. 3837
  18. 3838
  19. 3839
  20. 3840