845 search results - page 167 / 169 » Connecting Many-Sorted Theories |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
ASUNAM
2010
IEEE
13 years 7 months ago
2010
IEEE
—To understand the diffusive spreading of a product in a telecom network, whether the product is a service, handset, or subscription, it can be very useful to study the structure...
ACS
2007
13 years 7 months ago
2007
This article considers coherent frame homomorphisms h : L −→ M between coherent frames, which induce an isomorphism between the boolen frames of polars, with M projectable, and...
ALGORITHMICA
2010
13 years 7 months ago
2010
We investigate the convergence of the price of anarchy after a limited number of moves in the classical multicast communication game when the underlying communication networks is ...
BMCBI
2010
2010
Towards the systematic discovery of signal transduction networks using phosphorylation dynamics data
13 years 7 months ago
Background: Phosphorylation is a ubiquitous and fundamental regulatory mechanism that controls signal transduction in living cells. The number of identified phosphoproteins and th...