Sciweavers

727 search results - page 63 / 146
» A Replicator Dynamics Analysis of Difference Evaluation Func...
Sort
View
95
Voted
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 3 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
97
Voted
BMCBI
2006
87views more  BMCBI 2006»
15 years 19 days ago
MathDAMP: a package for differential analysis of metabolite profiles
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
Richard Baran, Hayataro Kochi, Natsumi Saito, Mako...
113
Voted
HICSS
2007
IEEE
181views Biometrics» more  HICSS 2007»
15 years 7 months ago
A Methodology to Evaluate Agent Oriented Software Engineering Techniques
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
Chia-En Lin, Krishna M. Kavi, Frederick T. Sheldon...
98
Voted
BMCBI
2008
106views more  BMCBI 2008»
15 years 21 days ago
SpliceCenter: A suite of web-based bioinformatic applications for evaluating the impact of alternative splicing on RT-PCR, RNAi,
Background: Over 60% of protein-coding genes in vertebrates express mRNAs that undergo alternative splicing. The resulting collection of transcript isoforms poses significant chal...
Michael C. Ryan, Barry Zeeberg, Natasha J. Caplen,...
GRAPHITE
2007
ACM
15 years 4 months ago
Eigentransport for efficient and accurate all-frequency relighting
We present a method for creating a geometry-dependent basis for precomputed radiance transfer. Unlike previous PRT bases, ours is derived from principal component analysis of the ...
Derek Nowrouzezahrai, Patricio D. Simari, Evangelo...