Sciweavers

6432 search results - page 11 / 1287
» Classic Mechanism Design
Sort
View
JELIA
2004
Springer
14 years 23 days ago
tascpl: TAS Solver for Classical Propositional Logic
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
Manuel Ojeda-Aciego, Agustín Valverde
WINE
2007
Springer
171views Economy» more  WINE 2007»
14 years 1 months ago
Characterizing Truthful Market Design
This paper characterizes the family of truthful doublesided auctions. Despite the importance of double-sided auctions to market design, to date no characterization of truthful dou...
Mira Gonen, Rica Gonen, Elan Pavlov

Presentation
343views
15 years 6 months ago
Space of Mechanisms
Space of Mechanisms, Presented at IISc-IBM Workshop on OR, Mechanism Design Tutorial
Sujit Gujar, Y Narahari
ET
2010
122views more  ET 2010»
13 years 4 months ago
Fault Models for Quantum Mechanical Switching Networks
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
Jacob D. Biamonte, Jeff S. Allen, Marek A. Perkows...
DATE
2007
IEEE
119views Hardware» more  DATE 2007»
14 years 1 months ago
Experimental evaluation of protections against laser-induced faults and consequences on fault modeling
Lasers can be used by hackers to situations to inject faults in circuits and induce security flaws. On-line detection mechanisms are classically proposed to counter such attacks, ...
Régis Leveugle, Abdelaziz Ammari, V. Maingo...