Result 1 to 20 of 41 total
A continuous-index Bayesian hidden Markov model for prediction of nucleosome positioning in genomic DNA. (English)
Biostatistics 12, No. 3, 462-477 (2011).
1
Reciprocating wear behaviour of two dimensionally reinforced carbon-phenolic and carbon-epoxy composites (English)
IJMMME 1, No. 4, 46-57 (2011).
2
High performance control of stewart platform manipulator using sliding mode control with synchronization error (English)
IJIMR 1, No. 4, 19-43 (2011).
3
Environmental jolts: impact of exogenous factors on online community participation (English)
CSCW, 649-652 (2011).
4
Types of newcomers in an online developer community (English)
CSCW, 717-720 (2011).
5
"Cool" or "monster"?: company takeovers and their effect on open source community participation (English)
iConference, 327-331 (2011).
6
Cyber-learning ecosystem: tools, technology and users (English)
iConference, 719-721 (2011).
7
Mutation-based test case generation for Simulink models. (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4‒6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 208-227 (2010).
8
Sfssclass: an integrated approach for mirna based tumor classification. (English)
BMC Bioinform. 11, No. S-1, 22 (2010).
9
Targetminer: microrna target prediction with systematic identification of tissue-specific negative examples. (English)
Bioinformatics 25, No. 20, 2625-2631 (2009).
10
Lessons and experiences with high-level synthesis (English)
IEEE Design & Test of Computers 26, No. 4, 34-45 (2009).
11
Mutation-based test case generation for simulink models (English)
FMCO, 208-227 (2009).
12
Optimization of total harmonic current distortion and torque pulsation reduction in high-power induction motors using genetic algorithms. (English)
J. Zhejiang Univ., Sci. A 9, No. 12, 1741-1752 (2008).
13
Fault-tolerant wearable computing system architecture for self-health management (English)
EIT, 349-354 (2008).
14
Hierarchical plug-and-play self-diagnosable intelligent sensor networks for process control (English)
EIT, 246-249 (2008).
15
Strategies for mainstream usage of formal verification (English)
DAC, 800-805 (2008).
16
Analysis of issues of e-government in indian police. (English)
Int. J. Electron. Gov. 4, No. 1, 97-125 (2007).
17
Hybrid verification of protocol bridges. (English)
IEEE Design and Test of Computers 24, No. 02, 124-131 (2007).
18
Hybrid verification of protocol bridges (English)
IEEE Design & Test of Computers 24, No. 2, 124-131 (2007).
19
Leveraging semi-formal and sequential equivalence techniques for multimedia SOC performance validation (English)
DAC, 69-74 (2007).
20
Result 1 to 20 of 41 total
Start
Contact
Print
General Help
