Sciweavers

10182 search results - page 258 / 2037
» Case Studies
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
BMCBI
2007
65views more  BMCBI 2007»
15 years 6 months ago
Scoring functions and enrichment: a case study on Hsp90
Chrysi Konstantinou-Kirtay, John B. O. Mitchell, J...
BMCBI
2007
144views more  BMCBI 2007»
15 years 6 months ago
Assessing the ability of sequence-based methods to provide functional insight within membrane integral proteins: a case study an
Background: Efforts to predict functional sites from globular proteins is increasingly common; however, the most successful of these methods generally require structural insight. ...
Dennis R. Livesay, Patrick D. Kidd, Sepehr Eskanda...
ESWA
2006
88views more  ESWA 2006»
15 years 6 months ago
Neural networks for animal science applications: Two case studies
C. Fernández, E. Soria, J. D. Martín...