Sciweavers

2282 search results - page 386 / 457
» Active property checking
Sort
View
BMCBI
2007
161views more  BMCBI 2007»
13 years 10 months ago
Efficient classification of complete parameter regions based on semidefinite programming
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
Lars Kuepfer, Uwe Sauer, Pablo A. Parrilo
COMCOM
2008
99views more  COMCOM 2008»
13 years 10 months ago
Efficiently reconfigurable backbones for wireless sensor networks
We present the definition and performance evaluation of a protocol for building and maintaining a connected backbone among the nodes of a wireless sensor networks (WSN). Building ...
Stefano Basagni, Chiara Petrioli, Roberto Petrocci...
BMCBI
2007
102views more  BMCBI 2007»
13 years 10 months ago
qPIPSA: Relating enzymatic kinetic parameters and interaction fields
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
Razif R. Gabdoulline, Matthias Stein, Rebecca C. W...
BMCBI
2007
87views more  BMCBI 2007»
13 years 10 months ago
A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
Background: Mitochondrial tRNAs have been the subject of study for structural biologists interested in their secondary structure characteristics, evolutionary biologists have rese...
Konstantin Yu Popadin, Leila A. Mamirova, Fyodor A...
CORR
2007
Springer
155views Education» more  CORR 2007»
13 years 10 months ago
Low-density graph codes that are optimal for source/channel coding and binning
We describe and analyze the joint source/channel coding properties of a class of sparse graphical codes based on compounding a low-density generator matrix (LDGM) code with a low-...
Martin J. Wainwright, Emin Martinian