Sciweavers

32 search results - page 7 / 7
» Computational Social Choice: Strategic and Combinatorial Asp...
Sort
View
ATAL
2009
Springer
14 years 2 days ago
False name manipulations in weighted voting games: splitting, merging and annexation
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
Haris Aziz, Mike Paterson
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 7 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...