Sciweavers

14 search results - page 1 / 3
» gg 2010
Sort
View
GG
2010
Springer
13 years 5 months ago
A Hoare Calculus for Graph Programs
el of abstraction). Refereed Conference and Workshop Papers
Christopher M. Poskitt, Detlef Plump
BMCBI
2010
191views more  BMCBI 2010»
13 years 4 months ago
BiGG: a Biochemical Genetic and Genomic knowledgebase of large scale metabolic reconstructions
Background: Genome-scale metabolic reconstructions under the Constraint Based Reconstruction and Analysis (COBRA) framework are valuable tools for analyzing the metabolic capabili...
Jan Schellenberger, Junyoung O. Park, Tom M. Conra...
SIAMDM
2010
167views more  SIAMDM 2010»
12 years 11 months ago
Domination Game and an Imagination Strategy
The domination game played on a graph G consists of two players, Dominator and Staller who alternate taking turns choosing a vertex from G such that whenever a vertex is chosen by...
Bostjan Bresar, Sandi Klavzar, Douglas F. Rall
DM
2010
78views more  DM 2010»
13 years 4 months ago
Injective colorings of sparse graphs
Let Mad(G) denote the maximum average degree (over all subgraphs) of G and let i(G) denote the injective chromatic number of G. We prove that if Mad(G) 5 2 , then i(G) + 1; sim...
Daniel W. Cranston, Seog-Jin Kim, Gexin Yu