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).
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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"