Sciweavers

4854 search results - page 247 / 971
» It's the Programming, Stupid
Sort
View
BMCBI
2010
116views more  BMCBI 2010»
15 years 7 months ago
A hybrid approach to protein folding problem integrating constraint programming with local search
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
Abu Zafer M. Dayem Ullah, Kathleen Steinhöfel
BMCBI
2005
98views more  BMCBI 2005»
15 years 7 months ago
DCD - a novel plant specific domain in proteins involved in development and programmed cell death
Background: Recognition of microbial pathogens by plants triggers the hypersensitive reaction, a common form of programmed cell death in plants. These dying cells generate signals...
Raimund Tenhaken, Tobias Doerks, Peer Bork
SAC
2011
ACM
14 years 10 months ago
Type harvesting: a practical approach to obtaining typing information in dynamic programming languages
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
INFORMATICALT
2000
82views more  INFORMATICALT 2000»
15 years 7 months ago
Recursive Algorithms of Time Series Observations Recognition
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
Edward Shpilewski
ENTCS
2002
152views more  ENTCS 2002»
15 years 7 months ago
Contract-based mutation testing in the refinement calculus
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
Bernhard K. Aichernig