메뉴 건너뛰기




Volumn 4545 LNCS, Issue , 2007, Pages 51-65

Translating time-course gene expression profiles into semi-algebraic hybrid automata via dimensionality reduction

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATA THEORY; BIOLOGICAL SYSTEMS; BIOTECHNOLOGY; COMPUTATIONAL COMPLEXITY; DYNAMIC MODELS; INNOVATION;

EID: 38149040223     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73433-8_5     Document Type: Conference Paper
Times cited : (7)

References (20)
  • 1
    • 0000050873 scopus 로고
    • Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
    • Grossman, R.L, Nerode, A, Ravn, A.P, Richel, H, eds, Hybrid Systems, Springer, Heidelberg
    • Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Richel, H. (eds.) Hybrid Systems. LNCS, pp. 209-229. Springer, Heidelberg (1992)
    • (1992) LNCS , pp. 209-229
    • Alur, R.1    Courcoubetis, C.2    Henzinger, T.A.3    Ho, P.H.4
  • 2
    • 33847234860 scopus 로고    scopus 로고
    • Algebraic Approach to Analysis of Discrete-Time Polynomial Systems
    • Anai, H.: Algebraic Approach to Analysis of Discrete-Time Polynomial Systems. In: European Control Conference (ECC'99) (1999)
    • (1999) European Control Conference (ECC'99)
    • Anai, H.1
  • 4
    • 8844277626 scopus 로고    scopus 로고
    • Analyzing time series gene expression data
    • Bar-Joseph, Z.: Analyzing time series gene expression data. Bioinformatics 20(16), 2493-2503 (2004)
    • (2004) Bioinformatics , vol.20 , Issue.16 , pp. 2493-2503
    • Bar-Joseph, Z.1
  • 5
    • 0033775615 scopus 로고    scopus 로고
    • Bustin, S.A.: Absolute quantification of mRNA using real-time reverse transcription polymerase chain reaction assays. Journal of Mol. Endoc. 25, 169-193 (2000)
    • Bustin, S.A.: Absolute quantification of mRNA using real-time reverse transcription polymerase chain reaction assays. Journal of Mol. Endoc. 25, 169-193 (2000)
  • 7
    • 33847214958 scopus 로고    scopus 로고
    • Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
    • IEEE Computer Society Press, Los Alamitos
    • Casagrande, A., Piazza, C., Mishra, B.: Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. In: Proc. of Conference on Decision and Control (CDC'05), pp. 678-683. IEEE Computer Society Press, Los Alamitos (2005)
    • (2005) Proc. of Conference on Decision and Control (CDC'05) , pp. 678-683
    • Casagrande, A.1    Piazza, C.2    Mishra, B.3
  • 9
    • 0037342510 scopus 로고    scopus 로고
    • Comparisons and validation of statistical clustering techniques for microarray gene expression data
    • Datta, S., Datta, S.: Comparisons and validation of statistical clustering techniques for microarray gene expression data. Bioinformatics 19(4), 459-466 (2003)
    • (2003) Bioinformatics , vol.19 , Issue.4 , pp. 459-466
    • Datta, S.1    Datta, S.2
  • 10
  • 12
    • 0035224918 scopus 로고    scopus 로고
    • Arrays for protein expression profiling: Towards a viable alternative to two-dimensional gel electrophoresis?
    • Jekins, R., Pennington, S.: Arrays for protein expression profiling: towards a viable alternative to two-dimensional gel electrophoresis?. Prot. 1(1), 13-29 (2001)
    • (2001) Prot , vol.1 , Issue.1 , pp. 13-29
    • Jekins, R.1    Pennington, S.2
  • 13
    • 0003946510 scopus 로고
    • Principal component analysis
    • Springer, Heidelberg
    • Jolliffe, I.T.: Principal component analysis. Series in statistics. Springer, Heidelberg (1986)
    • (1986) Series in statistics
    • Jolliffe, I.T.1
  • 16
    • 3142768191 scopus 로고    scopus 로고
    • Madeira, S., Oliveira, A.: Biclustering algorithms for biological data analysis: a survey. IEEE/ACM Trans. on Comp. Biology and Bioinformatics 1, 24-45 (2004)
    • Madeira, S., Oliveira, A.: Biclustering algorithms for biological data analysis: a survey. IEEE/ACM Trans. on Comp. Biology and Bioinformatics 1, 24-45 (2004)
  • 17
    • 38149003152 scopus 로고    scopus 로고
    • Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic algebraic model checking i: The case of biochemical systems and their reachability analysis. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, 3576, Springer, Heidelberg (2005)
    • Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic algebraic model checking i: The case of biochemical systems and their reachability analysis. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, Springer, Heidelberg (2005)
  • 18
    • 0028806048 scopus 로고
    • Quantitative monitoring of gene expression patterns with a complementary dna microarray
    • Schena, M., Shalon, D., Davis, R.W.: Quantitative monitoring of gene expression patterns with a complementary dna microarray. Science 270(5235), 467-470 (1995)
    • (1995) Science , vol.270 , Issue.5235 , pp. 467-470
    • Schena, M.1    Shalon, D.2    Davis, R.W.3
  • 19


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.