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

Communication and content by Parikh, Prashant

DOAB: download the publication
DOAB: description of the publication

Personality and Cognition in Economic Decision Making by Aurora Garc

DOAB: download the publication
DOAB: description of the publication

Computer Game Development

DOAB: download the publication
DOAB: description of the publication

Communication and content by Parikh, Prashant

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

Numerical gamification: "Mari Mengenal Nombor" for preschool children / Muhammad Saifullah Khairudin ... [et al.] by Khairudin, Muhammad Saifullah, Ahmad, Samsiah, Zulkifli, Zalikha, Mohamad, Masurah, Abdul Latif, Lily Marlia

Link Metadata

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

Table of Contents: “…Coordinate Transformation (Robot Arm) -- Part II: Selected Topics -- 7. Game Theory -- 8. Communications -- 9. Sensing and Actuation -- Part III: Appendix -- A. …”
Link to Metadata

Intermediate Microeconomics with Microsoft Excel by Barreto, Humberto

Table of Contents: “…I Consumer Behavior -- 1 Budget Constraint -- 2 Satisfaction -- 3 Optimal Choice -- 4 Comparative Statics -- 5 Endowment Models -- 6 Bads -- 7 Search Theory -- 8 Behavioral Economics -- 9 Rational Addiction -- II The Firm -- 10 Production Function -- 11 Input Cost Minimization -- 12 Output Profit Maximization -- 13 Input Profit Maximization -- 14 Consistency -- 15 Monopoly -- 16 Game Theory -- III The Market System -- 17 Partial Equilibrium -- 18 General Equilibrium -- IV Conclusion…”
Access online version

From Natural to Artificial Intelligence Algorithms and Applications

DOAB: download the publication
DOAB: description of the publication