Sciweavers

4285 search results - page 472 / 857
» Differential Behavioral Analysis
Sort
View
TEC
2012
234views Formal Methods» more  TEC 2012»
13 years 9 months ago
Cooperatively Coevolving Particle Swarms for Large Scale Optimization
—This paper presents a new cooperative coevolving particle swarm optimization (CCPSO) algorithm in an attempt to address the issue of scaling up particle swarm optimization (PSO)...
Xiaodong Li, Xin Yao
188
Voted
TPHOL
2005
IEEE
16 years 11 days ago
A HOL Theory of Euclidean Space
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
John Harrison
BIODATAMINING
2008
135views more  BIODATAMINING 2008»
15 years 7 months ago
Fast Gene Ontology based clustering for microarray experiments
Background: Analysis of a microarray experiment often results in a list of hundreds of diseaseassociated genes. In order to suggest common biological processes and functions for t...
Kristian Ovaska, Marko Laakso, Sampsa Hautaniemi
BMCBI
2010
92views more  BMCBI 2010»
15 years 7 months ago
Integrating gene expression and GO classification for PCA by preclustering
Background: Gene expression data can be analyzed by summarizing groups of individual gene expression profiles based on GO annotation information. The mean expression profile per g...
Jorn R. de Haan, Ester Piek, René C. van Sc...
BMCBI
2007
111views more  BMCBI 2007»
15 years 7 months ago
Novel definition files for human GeneChips based on GeneAnnot
Background: Improvements in genome sequence annotation revealed discrepancies in the original probeset/gene assignment in Affymetrix microarray and the existence of differences be...
Francesco Ferrari, Stefania Bortoluzzi, Alessandro...