Sciweavers

2763 search results - page 241 / 553
» The Dangerous 'All' in Specifications
Sort
View
ENTCS
2006
180views more  ENTCS 2006»
15 years 6 months ago
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
Fernando Rosa Velardo, Olga Marroquín Alons...
BMCBI
2007
101views more  BMCBI 2007»
15 years 6 months ago
Robust detection and verification of linear relationships to generate metabolic networks using estimates of technical errors
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
Frank Kose, Jan Budczies, Matthias Holschneider, O...
BMCBI
2007
100views more  BMCBI 2007»
15 years 6 months ago
Discovering structural motifs using a structural alphabet: Application to magnesium-binding sites
Background: For many metalloproteins, sequence motifs characteristic of metal-binding sites have not been found or are so short that they would not be expected to be metal-specifi...
Minko Dudev, Carmay Lim
BMCBI
2007
105views more  BMCBI 2007»
15 years 6 months ago
Finding regulatory elements and regulatory motifs: a general probabilistic framework
Over the last two decades a large number of algorithms has been developed for regulatory motif finding. Here we show how many of these algorithms, especially those that model bind...
Erik van Nimwegen
FGCS
2006
144views more  FGCS 2006»
15 years 6 months ago
BioSimGrid: Grid-enabled biomolecular simulation data storage and analysis
In computational biomolecular research, large amounts of simulation data are generated to capture the motion of proteins. These massive simulation data can be analysed in a number...
Muan Hong Ng, Steven Johnston, Bing Wu, Stuart E. ...