Game theory

Implementation theory

Implementation theory is an area of research in game theory concerned with whether a class of mechanisms (or institutions) can be designed whose equilibrium outcomes implement a given set of normative goals or welfare criteria. There are two general types of implementation problems: the economic problem of producing and allocating public and private goods and choosing over a finite set of alternatives. In the case of producing and allocating public/private goods, solution concepts are focused on finding dominant strategies. In his paper "Counterspeculation, Auctions, and Competitive Sealed Tenders", William Vickrey showed that if preferences are restricted to the case of quasi-linear utility functions then the mechanism dominant strategy is dominant-strategy implementable. "A social choice rule is dominant strategy incentive compatible, or strategy-proof, if the associated revelation mechanism has the property that honestly reporting the truth is always a dominant strategy for each agent." However, the payments to agents become large, sacrificing budget neutrality to incentive compatibility. In a game where multiple agents are to report their preferences (or their type), it may be in the best interest of some agents to lie about their preferences. This may improve their payoff, but it may not be seen as a fair outcome to other agents. Although largely theoretical, implementation theory may have profound implications on policy creation because some social choice rules may be impossible to implement under specific game conditions. (Wikipedia).

Video thumbnail

The Explainer: Creating New Products for Emerging Markets

Engineer a reverse innovation. When a company investigates a new product opportunity, it is important to define the problem, and the requirements that will dictate a viable solution, independently from the company’s existing lines of similar products or preconceived ideas of what a solut

From playlist The Explainer

Video thumbnail

Principles of System Integration

Getting different IT systems to talk to each other doesn't need to be hard, but we often find ways to make it much more difficult than it needs to be. This talk will discuss some of the common mistakes made when trying to move data between different systems, and ways to avoid them. The f

From playlist Software Development

Video thumbnail

This Agile Method GUARANTEES Results

In this episode, Dave Farley describes how iteration is fundamental to all good software development and how we can use it as a tool to navigate our way to better outcomes. Modern software engineering is grounded in two fundamental activities, learning and managing complexity. If we want

From playlist Software Engineering

Video thumbnail

The Explainer: What Is Design Thinking?

Popularized by David M. Kelley and Tim Brown of IDEO and Roger Martin of the Rotman School, design thinking has three major stages. As the complexity of the design process increases, a new hurdle arises: the acceptance of what we might call “the designed artifact” — whether product, us

From playlist The Explainer

Video thumbnail

Design Thinking

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Design Thinking

Video thumbnail

The Future Of Software Development

From autonomous vehicles, 3D printed rocket engines, and “affordable” consumer-owned satellites to rapid advances in AI and secure, decentralized electronic currencies, the past several years have shown us that the only prediction we can confidently make about the future is that it will ar

From playlist Software Development

Video thumbnail

Stanford Course - Building Business Models

Preview the online course: Building Business Models (XINE249) More info: http://create.stanford.edu/courses/building-business-models.php An innovative product may be a feat of engineering, but that does not automatically turn it into a commercial success. What makes the difference between

From playlist Innovation & Entrepreneurship

Video thumbnail

Public Lecture: Scaling of Electronic Devices: From the Vacuum Tube... by Latha Venkataraman

Second Bangalore School on Population Genetics and Evolution URL: http://www.icts.res.in/program/popgen2016 DESCRIPTION: Just as evolution is central to our understanding of biology, population genetics theory provides the basic framework to comprehend evolutionary processes. Population

From playlist Modern Trends in Electron Transfer Chemistry: From Molecular Electronics to Devices

Video thumbnail

Introduction to Design Thinking: Course Overview

Learn more at https://stanford.io/3r57ipE Got a problem? Design thinking can help you to create a game-changing solution. Design thinking is a way of thinking, acting, and interacting that opens a new world of problem-solving possibilities and helps you create new and innovative products,

From playlist Innovation & Entrepreneurship

Video thumbnail

Matrix Models, Gauge-Gravity Duality, and Simulations on the Lattice (Lecture 2) by Georg Bergner

NONPERTURBATIVE AND NUMERICAL APPROACHES TO QUANTUM GRAVITY, STRING THEORY AND HOLOGRAPHY (HYBRID) ORGANIZERS: David Berenstein (University of California, Santa Barbara, USA), Simon Catterall (Syracuse University, USA), Masanori Hanada (University of Surrey, UK), Anosh Joseph (IISER Mohal

From playlist NUMSTRING 2022

Video thumbnail

O(a) Improvement of 2D N=(2,2) Lattice SYM Theory by Fumihiko Sugino

Nonperturbative and Numerical Approaches to Quantum Gravity, String Theory and Holography DATE:27 January 2018 to 03 February 2018 VENUE:Ramanujan Lecture Hall, ICTS Bangalore The program "Nonperturbative and Numerical Approaches to Quantum Gravity, String Theory and Holography" aims to

From playlist Nonperturbative and Numerical Approaches to Quantum Gravity, String Theory and Holography

Video thumbnail

Quantum simulation of lattice gauge theories - requirements, challenges and methods by Erez Zohar

PROGRAM NONPERTURBATIVE AND NUMERICAL APPROACHES TO QUANTUM GRAVITY, STRING THEORY AND HOLOGRAPHY (HYBRID) ORGANIZERS: David Berenstein (University of California, Santa Barbara, USA), Simon Catterall (Syracuse University, USA), Masanori Hanada (University of Surrey, UK), Anosh Joseph (II

From playlist NUMSTRING 2022

Video thumbnail

Why Algebraic Data Types Are Important

Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python? The main reason is that type systems can be extremely complex, often with byzantine typing rules (C++ comes to mind). This makes generic programming a truly dark art.

From playlist Functional Programming

Video thumbnail

Computably enumerable sets and undecidability

In this video we're going to define and implement decidable as well as semidecidable. Code is found under https://gist.github.com/Nikolaj-K/808149debf7c3b09705127f9205f6c3f Other names for the two are recursive or computable resp. recursively enumerable, computably enumerable - I also say

From playlist Programming

Video thumbnail

Séminaire Bourbaki - 21/06/2014 - 3/4 - Thomas C. HALES

Developments in formal proofs A for mal proof is a proof that can be read and verified by computer, directly from the fundamental rules of logic and the foundational axioms of mathematics. The technology behind for mal proofs has been under development for decades and grew out of efforts i

From playlist Bourbaki - 21 juin 2014

Video thumbnail

2020 Theory Winter School: Srinivas Raghu (pt2)

Topic: Boson-ferimon duality in strongly coupled field theories Part 2 For more information on the 2020 Theory Winter School: https://nationalmaglab.org/news-events/events/for-scientists/winter-theory-school

From playlist 2020 Theory Winter School

Video thumbnail

Supply Side Theory of Treaty Implementation and Compliance

Professor Sanchez's teaching and research focuses on international cooperation and international law. In particular, she studies how international law and organizations shape international security and human rights policy. She is currently working on a book on the domestic political factor

From playlist The MacMillan Report

Video thumbnail

Approximation with deep networks - Remi Gribonval, Inria

This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai

From playlist Mathematics of data: Structured representations for sensing, approximation and learning

Video thumbnail

Creativity and Design Thinking Program Overview

Learn more: https://stanford.io/3KehYtC Everyone is creative. And our job is to teach you how to discover, grow, and harness your creativity. We’ll show you how design thinking can (and will) unlock your creativity so that you can repeatedly come up with innovative ideas and solutions to

From playlist Innovation & Entrepreneurship

Video thumbnail

Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture II)

The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions

From playlist HIM Lectures: Trimester Program "Types, Sets and Constructions"

Related pages

Solution concept | Game theory | Mechanism design | Outcome (game theory) | Social choice theory