Sciweavers

8398 search results - page 1342 / 1680
» Optimal Software Testing
Sort
View
ATAL
2010
Springer
15 years 8 months ago
DipGame: a testbed for multiagent systems
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
Angela Fabregues, David Navarro, Alejandro Serrano...
CADE
2010
Springer
15 years 8 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
162
Voted
BIOINFORMATICS
2010
139views more  BIOINFORMATICS 2010»
15 years 7 months ago
adephylo: new tools for investigating the phylogenetic signal in biological traits
Summary: adephylo is a package for the R software dedicated to the analysis of comparative evolutionary data. Phylogenetic comparative methods initially aimed at accounting for or...
Thibaut Jombart, François Balloux, St&eacut...
BIOINFORMATICS
2007
66views more  BIOINFORMATICS 2007»
15 years 7 months ago
Gene expression network analysis and applications to immunology
We address the problem of using expression data and prior biological knowledge to identify differentially expressed pathways or groups of genes. Following an idea of Ideker et al...
Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, ...
BMCBI
2010
124views more  BMCBI 2010»
15 years 7 months ago
A Dynamic Noise Level Algorithm for Spectral Screening of Peptide MS/MS Spectra
Background: High-throughput shotgun proteomics data contain a significant number of spectra from non-peptide ions or spectra of too poor quality to obtain highly confident peptide...
Hua Xu, Michael A. Freitas
« Prev « First page 1342 / 1680 Last » Next »