Sciweavers

6432 search results - page 11 / 1287
» Classic Mechanism Design
Sort
View
JELIA
2004
Springer
15 years 5 months 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»
15 years 6 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
16 years 11 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»
14 years 9 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...
81
Voted
DATE
2007
IEEE
119views Hardware» more  DATE 2007»
15 years 6 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...