Sciweavers

2312 search results - page 252 / 463
» Invariance in Property Testing
Sort
View
ECUMN
2004
Springer
15 years 7 months ago
Multi-time-Scale Traffic Modeling Using Markovian and L-Systems Models
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
Paulo Salvador, António Nogueira, Rui Valad...
BMCBI
2008
121views more  BMCBI 2008»
15 years 4 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...
145
Voted
NAR
1998
150views more  NAR 1998»
15 years 3 months ago
PROMISE: a database of information on prosthetic centres and metal ions in protein active sites
The PROMISE (Prosthetic centres and metal ions in protein active sites) database aims to gather together comprehensive sequence, structural, functional and bibliographic informati...
Kirill Degtyarenko, A. C. North, D. N. Perkins, Jo...
SCP
2011
210views Communications» more  SCP 2011»
14 years 11 months ago
Internal axioms for domain semirings
a more abstract characterisation in the setting of semirings. Formally, a domain semiring is a semiring S extended by a domain operation d : S → S which, for all x, y ∈ S, sati...
Jules Desharnais, Georg Struth
JNS
2010
107views more  JNS 2010»
14 years 10 months ago
Ground States and Critical Points for Aubry-Mather Theory in Statistical Mechanics
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...
Rafael de La Llave, Enrico Valdinoci