Sciweavers

1177 search results - page 209 / 236
» A Theory of Role Composition
Sort
View
ATAL
2010
Springer
14 years 1 days ago
A model of normative power
A power describes the ability of an agent to act in some way. While this notion of power is critical in the context of organisational dynamics, and has been studied by others in t...
Nir Oren, Michael Luck, Simon Miles
FSTTCS
2008
Springer
14 years 16 hour ago
Banach-Mazur Games on Graphs
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
Erich Grädel
APAL
2010
115views more  APAL 2010»
13 years 11 months ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
BMCBI
2007
179views more  BMCBI 2007»
13 years 11 months ago
Automated smoother for the numerical decoupling of dynamics models
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
Marco Vilela, Carlos Cristiano H. Borges, Susana V...
BMCBI
2004
128views more  BMCBI 2004»
13 years 10 months ago
Structural characterization of genomes by large scale sequence-structure threading: application of reliability analysis in struc
Background: We establish that the occurrence of protein folds among genomes can be accurately described with a Weibull function. Systems which exhibit Weibull character can be int...
Artem Cherkasov, Shannan J. Ho Sui, Robert C. Brun...