Sciweavers

4041 search results - page 352 / 809
» A Model of Creative Understanding
Sort
View
ICECCS
2010
IEEE
196views Hardware» more  ICECCS 2010»
15 years 7 months ago
Implementing and Evaluating a Model Checker for Transactional Memory Systems
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
BIODATAMINING
2008
140views more  BIODATAMINING 2008»
15 years 7 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
2010
104views more  BMCBI 2010»
15 years 7 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
BMCBI
2006
122views more  BMCBI 2006»
15 years 7 months ago
A multivariate prediction model for microarray cross-hybridization
Background: Expression microarray analysis is one of the most popular molecular diagnostic techniques in the post-genomic era. However, this technique faces the fundamental proble...
Yian A. Chen, Cheng-Chung Chou, Xinghua Lu, Elizab...
SIGMETRICS
2008
ACM
101views Hardware» more  SIGMETRICS 2008»
15 years 7 months ago
How to parameterize models with bursty workloads
Although recent advances in theory indicate that burstiness in the service time process can be handled effectively by queueing models (e.g., MAP queueing networks [2]), there is a...
Giuliano Casale, Ningfang Mi, Ludmila Cherkasova, ...