Sciweavers

2911 search results - page 13 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View

Publication
640views
16 years 9 months ago
Foundations of Mechanism Design: A Tutorial - Part 1: Key Concepts and Classical Results
Foundations of Mechanism Design: A Tutorial - Part 1: Key Concepts and Classical Results
Dinesh Garg, Y Narahari, Sujit Gujar
SIAMAM
2010
96views more  SIAMAM 2010»
14 years 8 months ago
Mathematical Modeling of Vascular Stents
Abstract. We present a mathematical model for a study of the mechanical properties of endovascular stents in their expanded state. The model is based on the theory of slender curve...
Josip Tambaca, M. Kosor, Suncica Canic, D. Paniagu...

Lecture Notes
357views
16 years 9 months ago
Online Mechanisms
in Algorithmic Game Theory, Noam Nisan, Tim Roughgarden, Eva Tardos and Vijay Vazirani (eds.), Chapter 16, Cambrige University Press, 2007
David Parkes
ISPDC
2005
IEEE
15 years 3 months ago
A Strategyproof Mechanism for Scheduling Divisible Loads in Distributed Systems
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
Daniel Grosu, Thomas E. Carroll
TCS
2002
14 years 9 months ago
ELAN from a rewriting logic point of view
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
Peter Borovanský, Claude Kirchner, Hé...