Sciweavers

1454 search results - page 266 / 291
» Stateful traits and their formalization
Sort
View
109
Voted
TIT
2008
140views more  TIT 2008»
15 years 20 days ago
A Resource Framework for Quantum Shannon Theory
Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...
Igor Devetak, Aram Wettroth Harrow, Andreas J. Win...
118
Voted
JSYML
2007
100views more  JSYML 2007»
15 years 19 days ago
Combinatorial principles weaker than Ramsey's Theorem for pairs
We investigate the complexity of various combinatorial theorems about linear and partial orders, from the points of view of computability theory and reverse mathematics. We focus ...
Denis R. Hirschfeldt, Richard A. Shore
SCP
2000
119views more  SCP 2000»
15 years 16 days ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen
SIAMAM
2000
100views more  SIAMAM 2000»
15 years 16 days ago
Phase Transition Near a Liquid-Gas Coexistence Equilibrium
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
Xiao-Ping Wang, Xinfu Chen
133
Voted
BMCBI
2011
14 years 7 months ago
Hierarchical graphs for rule-based modeling of biochemical systems
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
Nathan W. Lemons, Bin Hu, William S. Hlavacek