Sciweavers

4636 search results - page 284 / 928
» Modelling and Validation with VipTool
Sort
View
BIODATAMINING
2008
140views more  BIODATAMINING 2008»
13 years 8 months ago
Modeling gene-by-environment interaction in comorbid depression with alcohol use disorders via an integrated bioinformatics appr
Background: Comorbidity of Major Depressive Disorder (depression) and Alcohol Use Disorders (AUD) is well documented. Depression, AUD, and the comorbidity of depression with AUD s...
Richard C. McEachin, Benjamin J. Keller, Erika F. ...
BMCBI
2007
130views more  BMCBI 2007»
13 years 8 months ago
HMM-ModE - Improved classification using profile hidden Markov models by optimising the discrimination threshold and modifying e
Background: Profile Hidden Markov Models (HMM) are statistical representations of protein families derived from patterns of sequence conservation in multiple alignments and have b...
Prashant K. Srivastava, Dhwani K. Desai, Soumyadee...
CCR
2008
84views more  CCR 2008»
13 years 8 months ago
Modeling internet topology dynamics
Despite the large number of papers on network topology modeling and inference, there still exists ambiguity about the real nature of the Internet AS and router level topology. Whi...
Hamed Haddadi, Steve Uhlig, Andrew W. Moore, Richa...
JSAC
2006
102views more  JSAC 2006»
13 years 8 months ago
A deterministic frequency-domain model for the indoor power line transfer function
The characterization of the transfer function of the power line (PL) channel is a nontrivial task that requires a truly interdisciplinary approach. Until recently, a common attribu...
S. Galli, Thomas C. Banwell
ICFEM
2007
Springer
14 years 2 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang