Sciweavers

4541 search results - page 468 / 909
» Cache-Oblivious Algorithms and Data Structures
Sort
View
KDD
2007
ACM
159views Data Mining» more  KDD 2007»
16 years 5 months ago
Constraint-driven clustering
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
Rong Ge, Martin Ester, Wen Jin, Ian Davidson
BIOINFORMATICS
2006
106views more  BIOINFORMATICS 2006»
15 years 5 months ago
Identification of biochemical networks by S-tree based genetic programming
Motivation: Most previous approaches to model biochemical networks havefocusedeither on the characterization of a networkstructurewith a number of components or on the estimation ...
Dong-Yeon Cho, Kwang-Hyun Cho, Byoung-Tak Zhang
BMCBI
2010
160views more  BMCBI 2010»
15 years 5 months ago
Identification of functional hubs and modules by converting interactome networks into hierarchical ordering of proteins
Background: Protein-protein interactions play a key role in biological processes of proteins within a cell. Recent high-throughput techniques have generated protein-protein intera...
Young-Rae Cho, Aidong Zhang
ISBI
2004
IEEE
16 years 5 months ago
Automatic Quantification of Microtubule Dynamics
The dynamics of the microtubule assembly are very significant both for cell function and structure. Abnormal function of the assembly is involved in neurodegenerative diseases and...
Stathis Hadjidemetriou, James S. Duncan, Derek Too...
CADE
2003
Springer
16 years 5 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow