Sciweavers

1153 search results - page 107 / 231
» The Complexity of Revision, Revised
Sort
View
BMCBI
2010
178views more  BMCBI 2010»
15 years 6 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
BMCBI
2010
125views more  BMCBI 2010»
15 years 6 months ago
Compartmentalization of the Edinburgh Human Metabolic Network
Background: Direct in vivo investigation of human metabolism is complicated by the distinct metabolic functions of various sub-cellular organelles. Diverse micro-environments in d...
Tong Hao, Hongwu Ma, Xue-Ming Zhao, Igor Goryanin
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 6 months ago
Temporal Support of Regular Expressions in Sequential Pattern Mining
Classic algorithms for sequential pattern discovery, return all frequent sequences present in a database. Since, in general, only a few ones are interesting from a user's poin...
Leticia I. Gómez, Bart Kuijpers, Alejandro ...
JAIR
2008
102views more  JAIR 2008»
15 years 6 months ago
An Ordinal Bargaining Solution with Fixed-Point Property
Shapley's impossibility result indicates that the two-person bargaining problem has no non-trivial ordinal solution with the traditional game-theoretic bargaining model. Alth...
Dongmo Zhang, Yan Zhang
CPHYSICS
2007
71views more  CPHYSICS 2007»
15 years 6 months ago
Simulation of n-qubit quantum systems. III. Quantum operations
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
T. Radtke, S. Fritzsche