Sciweavers

4498 search results - page 438 / 900
» How to Invent Functions
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 7 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
ENTCS
2008
106views more  ENTCS 2008»
15 years 7 months ago
Modelling Adaptive Systems in ForSyDe
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...
Ingo Sander, Axel Jantsch
BMCBI
2006
81views more  BMCBI 2006»
15 years 7 months ago
Multipolar representation of protein structure
Background: That the structure determines the function of proteins is a central paradigm in biology. However, protein functions are more directly related to cooperative effects at...
Apostol Gramada, Philip E. Bourne
BMCBI
2006
142views more  BMCBI 2006»
15 years 7 months ago
Correlated fragile site expression allows the identification of candidate fragile genes involved in immunity and associated with
Background: Common fragile sites (cfs) are specific regions in the human genome that are particularly prone to genomic instability under conditions of replicative stress. Several ...
Angela Re, Davide Corà, Alda Maria Puliti, ...
BMCBI
2006
133views more  BMCBI 2006»
15 years 7 months ago
Web-based analysis of the mouse transcriptome using Genevestigator
Background: Gene function analysis often requires a complex and laborious sequence of laboratory and computer-based experiments. Choosing an effective experimental design generall...
Oliver Laule, Matthias Hirsch-Hoffmann, Tomas Hruz...