Sciweavers

33 search results - page 2 / 7
» Lightweight semiformal time complexity analysis for purely f...
Sort
View
BMCBI
2004
98views more  BMCBI 2004»
13 years 4 months ago
STING Millennium Suite: integrated software for extensive analyses of 3d structures of proteins and their complexes
Background: The integration of many aspects of protein/DNA structure analysis is an important requirement for software products in general area of structural bioinformatics. In fa...
Roberto H. Higa, Roberto C. Togawa, Arnaldo J. Mon...
KDD
2009
ACM
181views Data Mining» more  KDD 2009»
13 years 11 months ago
An exploration of climate data using complex networks
To discover patterns in historical data, climate scientists have applied various clustering methods with the goal of identifying regions that share some common climatological beha...
Karsten Steinhaeuser, Nitesh V. Chawla, Auroop R. ...
FROCOS
2007
Springer
13 years 11 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
BMCBI
2008
204views more  BMCBI 2008»
13 years 5 months ago
EST2uni: an open, parallel tool for automated EST analysis and database creation, with a data mining web interface and microarra
Background: Expressed sequence tag (EST) collections are composed of a high number of single-pass, redundant, partial sequences, which need to be processed, clustered, and annotat...
Javier Forment, Francisco Gilabert Villamón...
VISUALIZATION
2000
IEEE
13 years 9 months ago
Visualization of time dependent confocal microscopy data
The microscopic analysis of time dependent 3D live cells provides considerable challenges to visualization. Effective visualization can provide insight into the structure and func...
Wim C. de Leeuw, Robert van Liere, Pernette J. Ver...