Sciweavers

10156 search results - page 1928 / 2032
» Step by Step to Histories
Sort
View
ENTCS
2006
117views more  ENTCS 2006»
15 years 7 months ago
A Formalization of Credit and Responsibility Within the GNDC Schema
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr...
ENTCS
2006
168views more  ENTCS 2006»
15 years 7 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
ENVSOFT
2006
72views more  ENVSOFT 2006»
15 years 7 months ago
Integrating legacy components into a software system for storm sewer simulation
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
Shiu-Shin Lin, Shang-Hsien Hsieh, Jan-Tai Kuo, Yin...
BMCBI
2007
145views more  BMCBI 2007»
15 years 7 months ago
Improved benchmarks for computational motif discovery
Background: An important step in annotation of sequenced genomes is the identification of transcription factor binding sites. More than a hundred different computational methods h...
Geir Kjetil Sandve, Osman Abul, Vegard Walseng, Fi...
BMCBI
2007
115views more  BMCBI 2007»
15 years 7 months ago
Seven Golden Rules for heuristic filtering of molecular formulas obtained by accurate mass spectrometry
Background: Structure elucidation of unknown small molecules by mass spectrometry is a challenge despite advances in instrumentation. The first crucial step is to obtain correct e...
Tobias Kind, Oliver Fiehn
« Prev « First page 1928 / 2032 Last » Next »