Search Results - "Game theory"

From 15 Minutes to 15 Seconds: How the Delta Variant Changed the Risk of Exposure to COVID-19. A Comparative Epidemiological Investigation Using Community Mobility Data From the Me... by Cristina Oliva, Giampiero Favato

Connect to this object online.

Information disclosure, practical actions and dynamics of employees' health and safety issues in Chinese family businesses-Evidence based on Chinese a-share listed companies by Yi Guo, Aijun Li, Yi Zhou, Yuna Di

Connect to this object online.

Integrative analysis of neuroblastoma and pheochromocytoma genomics data by Szabó Peter M, Pintér Miklós, Szabó Diana, Zsippai Adrienn, Patócs Attila, Falus András, Rácz Károly, Igaz Peter

Connect to this object online.

Individually optimal choices can be collectively disastrous in COVID-19 disease control by Madison Stoddard, Debra Van Egeren, Kaitlyn E. Johnson, Smriti Rao, Josh Furgeson, Douglas E. White, Ryan P. Nolan, Natasha Hochberg, Arijit Chakravarty

Connect to this object online.

Models of Political Economy by Nurmi, Hannu

DOAB: download the publication
DOAB: description of the publication

تطبيق نظرية اللعبة في اختيار استراتيجية ملائمة لتوسيع شبكة كهربائية by أحمد سليمان أحمد, تمّام حيدر, ميساء قصير

Connect to this object online.

Regulated Pricing Decisions and Diagnostic Test Choices in Personalized Medicine: Navigating the Implications Within Legal Frameworks by Cui Z, Liu X, Feng Z, Huang Z

Connect to this object online.

Global Environmental Resources The Ozone Problem

DOAB: download the publication
DOAB: description of the publication

samGlobal Environmental Resources The Ozone Problem

DOAB: download the publication
DOAB: description of the publication

Models of Political Economy by Nurmi, Hannu

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

Towards a new model for information warfare / Abdulrahman R. Alazmi by R. Alazmi, Abdulrahman

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

Impossible Worlds by Berto, Francesco

DOAB: download the publication
DOAB: description of the publication

Impossible Worlds by Berto, Francesco

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

Playing the Waves Lars von Trier's Game Cinema by Simons, Jan

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

Advances in Reinforcement Learning

DOAB: download the publication
DOAB: description of the publication

samGlobal Environmental Resources The Ozone Problem

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

Computer game application for JAVA programming language learning / Nurul Hafizah Zainal Abidin ...[et al.] by Zainal Abidin, Nurul Hafizah, Arsad, Roslah, Muslim, Norliana, Masrom, Suraya

Link Metadata

Building with Nature & Beyond Principles for designing nature based engineering solutions by Slinger, Jill H.

Table of Contents: “…-- Chapter 7: Stakeholder Analysis & Mapping -- Chapter 8: Cooperative Game Theory -- Chapter 9: Social Design Theory -- Chapter 10: Towards Building Coalition…”
Access online version

Multi-agent Systems

DOAB: download the publication
DOAB: description of the publication