130 search results - page 16 / 26 » Rationally Additive Semirings |
SIAMCOMP
2010
13 years 5 months ago
2010
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity o...
BMCBI
2011
13 years 1 months ago
2011
Background: The way mechanical stress is distributed inside and propagated by proteins and other biopolymers largely defines their function. Yet, determining the network of intera...
POPL
2009
ACM
14 years 7 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
DIGITEL
2008
IEEE
14 years 1 months ago
2008
IEEE
Learning Villages (LV) is a game-based computersupported collaborative learning (CSCL) platform, which facilitates students’ issue-based discussion in a massively multiplayer ga...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
The vulnerable air interface, device level constraints, and insecure encryption techniques of wireless networks have naturally increased the chance of attacker obtaining users inf...