Sciweavers

10092 search results - page 1576 / 2019
» Active conditional models
Sort
View
BMCBI
2010
123views more  BMCBI 2010»
15 years 7 months ago
Computationally efficient flux variability analysis
Background: Flux variability analysis is often used to determine robustness of metabolic models in various simulation conditions. However, its use has been somehow limited by the ...
Steinn Gudmundsson, Ines Thiele
CGF
2008
99views more  CGF 2008»
15 years 7 months ago
Polyhedral Finite Elements Using Harmonic Basis Functions
Finite element simulations in computer graphics are typically based on tetrahedral or hexahedral elements, which enables simple and efficient implementations, but in turn requires...
Sebastian Martin, Peter Kaufmann, Mario Botsch, Ma...
CORR
2010
Springer
149views Education» more  CORR 2010»
15 years 7 months ago
Lower Bounds for the Complexity of Monadic Second-Order Logic
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO2) can be decided in linear time on any class of graphs of ...
Stephan Kreutzer, Siamak Tazari
CORR
2010
Springer
142views Education» more  CORR 2010»
15 years 7 months ago
The Accuracy of Tree-based Counting in Dynamic Networks
Tree-based protocols are ubiquitous in distributed systems. They are flexible, they perform generally well, and, in static conditions, their analysis is mostly simple. Under churn...
Supriya Krishnamurthy, John Ardelius, Erik Aurell,...
CORR
2010
Springer
168views Education» more  CORR 2010»
15 years 7 months ago
Competition of Wireless Providers for Atomic Users
We study a problem where wireless service providers compete for heterogenous and atomic (non-infinitesimal) wireless users. The users differ in their utility functions as well as ...
Vojislav Gajic, Jianwei Huang, Bixio Rimoldi
« Prev « First page 1576 / 2019 Last » Next »