Sciweavers

5244 search results - page 185 / 1049
» Structural Complexity of AvgBPP
Sort
View
COMPLEXITY
2004
81views more  COMPLEXITY 2004»
15 years 4 months ago
External and internal control in plant development
Bodies of plants are modularly organized. Development proceeds by adding new modules to open endings with a potential for branching. Each module is autonomous to some extent. Deve...
Beáta Oborny
MP
2007
95views more  MP 2007»
15 years 4 months ago
Smoothed analysis of integer programming
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...
Heiko Röglin, Berthold Vöcking
116
Voted
BMCBI
2010
105views more  BMCBI 2010»
15 years 4 months ago
A knowledge-guided strategy for improving the accuracy of scoring functions in binding affinity prediction
Background: Current scoring functions are not very successful in protein-ligand binding affinity prediction albeit their popularity in structure-based drug designs. Here, we propo...
Tiejun Cheng, Zhihai Liu, Renxiao Wang
CPM
1999
Springer
144views Combinatorics» more  CPM 1999»
15 years 9 months ago
Ziv Lempel Compression of Huge Natural Language Data Tries Using Suffix Arrays
We present a very efficient, in terms of space and access speed, data structure for storing huge natural language data sets. The structure is described as LZ (Ziv Lempel) compresse...
Strahil Ristov, Eric Laporte
ITP
2010
179views Mathematics» more  ITP 2010»
15 years 8 months ago
The Isabelle Collections Framework
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
Peter Lammich, Andreas Lochbihler