Sciweavers

727 search results - page 63 / 146
» A Replicator Dynamics Analysis of Difference Evaluation Func...
Sort
View
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 7 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...
BMCBI
2006
87views more  BMCBI 2006»
15 years 4 months 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...
HICSS
2007
IEEE
181views Biometrics» more  HICSS 2007»
15 years 10 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...
BMCBI
2008
106views more  BMCBI 2008»
15 years 4 months 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 7 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...