Sciweavers

140 search results - page 7 / 28
» A Quantitative Model of Counterfactual Reasoning
Sort
View
BMCBI
2005
122views more  BMCBI 2005»
13 years 7 months ago
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...
Katsuyuki Yugi, Yoichi Nakayama, Shigen Kojima, To...
LICS
2005
IEEE
14 years 1 months ago
Mean-Payoff Parity Games
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...
MAAMAW
1999
Springer
13 years 11 months ago
Extending Social Reasoning to Cope with Multiple Partner Coalitions
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
Nuno David, Jaime Simão Sichman, Helder Coe...
ISMB
1998
13 years 8 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer
CSFW
2010
IEEE
13 years 11 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu