-
1
-
-
0000050873
-
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
-
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
-
3
-
-
0036377356
-
A New Approach to Analyzing Gene Expression Time Series Data
-
ACM Press, New York
-
Bar-Joseph, Z., Gerber, G., Gifford, D.K., Jaakkola, T.S., Simon, I.: A New Approach to Analyzing Gene Expression Time Series Data. In: Proc. of Int. Conference on Computational biology (RECOMB'02), pp. 39-48. ACM Press, New York (2002)
-
(2002)
Proc. of Int. Conference on Computational biology (RECOMB'02)
, pp. 39-48
-
-
Bar-Joseph, Z.1
Gerber, G.2
Gifford, D.K.3
Jaakkola, T.S.4
Simon, I.5
-
4
-
-
8844277626
-
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
-
-
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)
-
-
-
-
6
-
-
38149133885
-
Independent dynamics hybrid automata in systems biology
-
Universal Academy Press, Inc
-
Casagrande, A., Mysore, V., Piazza, C., Mishra, B.: Independent dynamics hybrid automata in systems biology. In: Proc. of the First International Conference on Algebraic Biology (AB'05), pp. 61-73. Universal Academy Press, Inc. (2005)
-
(2005)
Proc. of the First International Conference on Algebraic Biology (AB'05)
, pp. 61-73
-
-
Casagrande, A.1
Mysore, V.2
Piazza, C.3
Mishra, B.4
-
7
-
-
33847214958
-
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
-
8
-
-
84889281816
-
-
Wiley-Interscience, New York, NY, USA
-
Cover, T.M., Thomas, J.A.: Elements of information theory. Wiley-Interscience, New York, NY, USA (1991)
-
(1991)
Elements of information theory
-
-
Cover, T.M.1
Thomas, J.A.2
-
9
-
-
0037342510
-
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
-
-
3242732345
-
Real-time PCR: What relevance to plant studies?
-
Gachon, C., Mingam, A., Charrier, B.: Real-time PCR: what relevance to plant studies?. Journal of Experimental Botany 55(402), 1445-1454 (2004)
-
(2004)
Journal of Experimental Botany
, vol.55
, Issue.402
, pp. 1445-1454
-
-
Gachon, C.1
Mingam, A.2
Charrier, B.3
-
11
-
-
84893405732
-
Data clustering: A review
-
Jain, A.K., Murty, M.N., Flynn, P.J.: Data clustering: a review. ACM Comput. Surv. 31(3), 264-323 (1999)
-
(1999)
ACM Comput. Surv
, vol.31
, Issue.3
, pp. 264-323
-
-
Jain, A.K.1
Murty, M.N.2
Flynn, P.J.3
-
12
-
-
0035224918
-
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
-
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
-
14
-
-
33644914709
-
The real-time polymerase chain reaction
-
Kubista, M., Andrade, J.M., Bengtsson, M., Forootan, A., Jonák, J., Lind, K., Sindelka, R., Sjöback, R., Sjögreen, B., Strömbom, L., Ståhlberg, A., Zoric, N.: The real-time polymerase chain reaction. Mol. Aspects of Medicine 27, 95-125 (2006)
-
(2006)
Mol. Aspects of Medicine
, vol.27
, pp. 95-125
-
-
Kubista, M.1
Andrade, J.M.2
Bengtsson, M.3
Forootan, A.4
Jonák, J.5
Lind, K.6
Sindelka, R.7
Sjöback, R.8
Sjögreen, B.9
Strömbom, L.10
Ståhlberg, A.11
Zoric, N.12
-
15
-
-
0033906082
-
O-minimal Hybrid Systems
-
Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal Hybrid Systems. Mathematics of Control, Signals, and Systems 13, 1-21 (2000)
-
(2000)
Mathematics of Control, Signals, and Systems
, vol.13
, pp. 1-21
-
-
Lafferriere, G.1
Pappas, G.J.2
Sastry, S.3
-
16
-
-
3142768191
-
-
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
-
-
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
-
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
-
-
84856043672
-
A Mathematical Theory of Communication
-
Shannon, C.E.: A Mathematical Theory of Communication. The Bell System Technical Journal 27, 379-423 (1948)
-
(1948)
The Bell System Technical Journal
, vol.27
, pp. 379-423
-
-
Shannon, C.E.1
-
20
-
-
29444444918
-
Information-based clustering
-
USA
-
Slonim, N., Atwal, G.S., Tkacik, G., Bialek, W.: Information-based clustering. In: Proc Natl Acad Sci USA (2005)
-
(2005)
Proc Natl Acad Sci
-
-
Slonim, N.1
Atwal, G.S.2
Tkacik, G.3
Bialek, W.4
|