Sciweavers

3305 search results - page 618 / 661
» Can we Rely on SQL
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
13 years 9 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
BMCBI
2010
176views more  BMCBI 2010»
13 years 9 months ago
TargetSpy: a supervised machine learning approach for microRNA target prediction
Background: Virtually all currently available microRNA target site prediction algorithms require the presence of a (conserved) seed match to the 5' end of the microRNA. Recen...
Martin Sturm, Michael Hackenberg, David Langenberg...
BMCBI
2010
146views more  BMCBI 2010»
13 years 9 months ago
Revealing and avoiding bias in semantic similarity scores for protein pairs
Background: Semantic similarity scores for protein pairs are widely applied in functional genomic researches for finding functional clusters of proteins, predicting protein functi...
Jing Wang 0004, Xianxiao Zhou, Jing Zhu, Chenggui ...
BMCBI
2008
129views more  BMCBI 2008»
13 years 9 months ago
An analytic and systematic framework for estimating metabolic flux ratios from 13C tracer experiments
Background: Metabolic fluxes provide invaluable insight on the integrated response of a cell to environmental stimuli or genetic modifications. Current computational methods for e...
Ari Rantanen, Juho Rousu, Paula Jouhten, Nicola Za...
CAD
2008
Springer
13 years 9 months ago
Tracking product specification dependencies in collaborative design for conflict management
The main difficulty associated with a collaborative design process is understanding the product data exchanged during design. Efficient and effective coordination of design activi...
Mohamed-Zied Ouertani, Lilia Gzara Yesilbas