P. S. Bilodeau, J. K. Domsic, A. Mayeda, A. R. Krainer, and C. M. Stoltzfus, RNA splicing at human immunodeficiency virus type 1 3' splice site A2 is regulated by binding of hnR P A/B proteins to an exonic splicing silencer element, J Virol, issue.18, pp.75-8487, 2001.

C. Z. Cai, W. L. Wang, L. Z. Sun, and Y. Z. Chen, Protein function classification via support vector machine approach, Mathematical Biosciences, vol.185, issue.2, pp.111-122, 2003.
DOI : 10.1016/S0025-5564(03)00096-8

L. Cartegni, J. Wang, Z. Zhu, M. Q. Zhang, and A. R. Krainer, ESEfinder: a web resource to identify exonic splicing enhancers, Nucleic Acids Research, vol.31, issue.13, pp.31-3568, 2003.
DOI : 10.1093/nar/gkg616

Y. Cavaloc, C. F. Bourgeois, L. Kister, and J. Stevenin, The splicing factors 9G8 and SRp20 transactivate splicing through different and specific enhancers, RNA, vol.5, issue.3, pp.468-483, 1999.
DOI : 10.1017/S1355838299981967

N. Cristianini and J. Shawe-taylor, An Introduction to Support Vector Machines and other kernel-based learning methods, 2000.
DOI : 10.1017/CBO9780511801389

D. Eveillard, D. Ropers, H. De-jong, C. Branlant, and A. Bockmayr, Multiscale Modeling of Alternative Splicing Regulation, Computational Methods in Systems Biology (CMSB'03), Springer LNCS 2602, pp.75-87, 2003.
DOI : 10.1007/3-540-36481-1_7

URL : https://hal.archives-ouvertes.fr/inria-00099792

B. R. Graveley, Sorting out the complexity of SR protein functions, RNA, vol.6, issue.9, pp.1197-1211, 2000.
DOI : 10.1017/S1355838200000960

Y. Guermeur, A. Elisseeff, and H. Paugam-moisy, A new multi-class SVM based on a uniform convergence result, Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks. IJCNN 2000. Neural Computing: New Challenges and Perspectives for the New Millennium, pp.183-188, 2000.
DOI : 10.1109/IJCNN.2000.860770

URL : https://hal.archives-ouvertes.fr/inria-00099215

1. Guyon, B. E. Boser, and V. Vapnik, Automatic Capacity Thning of Very Large VC-Dimension Classifiers, NIPS Theoretical Computer Science, vol.178, pp.147-155, 1992.

T. J. Hope, The Ins and Outs of HIV Rev, Archives of Biochemistry and Biophysics, vol.365, issue.2, pp.186-191, 1999.
DOI : 10.1006/abbi.1999.1207

S. Jacquenet, D. Ropers, P. Bilodeau, S. Damier, L. Mougin et al., Conserved stem-loop structures in the HIV-1 RNA region containing the A3 3' splice site and its cis-regulatory element: possible involvement in RNA splicing, Nucleic Acids Research, vol.29, issue.2, pp.464-478, 2001.
DOI : 10.1093/nar/29.2.464

G. Kucherov and M. Rusinowitch, Matching a set of strings with variable length don't cares, Theoretical Computer Science, vol.178, issue.1-2, pp.129-154, 1997.
DOI : 10.1016/S0304-3975(97)88195-9

H. X. Liu, R. S. Zhang, F. Luan, X. J. Yaa, M. C. Liu et al., Diagnosing Breast Cancer Based on Support Vector Machines, Journal of Chemical Information and Computer Sciences, vol.43, issue.3, pp.900-907, 2003.
DOI : 10.1021/ci0256438

H. X. Liu, S. L. Chew, L. Cartegni, M. Q. Zhang, and A. R. Krainer, Exonic Splicing Enhancer Motif Recognized by Human SC35 under Splicing Conditions, Molecular and Cellular Biology, vol.20, issue.3, pp.1063-1071, 2000.
DOI : 10.1128/MCB.20.3.1063-1071.2000

V. Marchand, A. Mereau, S. Jacquenet, D. Thomas, A. Mougin et al., A Janus Splicing Regulatory Element Modulates HIV-1 tat and rev mRNA Production by Coordination of hnRNP A1 Cooperative Binding, Journal of Molecular Biology, vol.323, issue.4, pp.629-652, 2002.
DOI : 10.1016/S0022-2836(02)00967-1

A. Mayeda, J. Badolato, R. Kobayashi, M. Q. Zhang, E. M. Gardiner et al., Purification and characterization of human RNPSl: a general activator of prem- RNA splicing, EMBO J, issue.16, pp.184560-4570, 1999.

J. Qian, J. Lin, N. M. Luscombe, H. Yu, and M. Gerstein, Prediction of regulatory networks: genome-wide identification of transcription factor targets from gene expression data, Bioinformatics, vol.19, issue.15, pp.19-1917, 2003.
DOI : 10.1093/bioinformatics/btg347

E. Roulet, S. Busso, A. A. Camargo, A. J. Simpson, N. Mermod et al., High-throughput SELEX???SAGE method for quantitative modeling of transcription-factor binding sites, Nature Biotechnology, vol.12, issue.8, pp.831-835, 2002.
DOI : 10.1006/jmbi.1997.0951

Y. F. Sun, X. D. Fan, and Y. D. Li, Identifying splicing sites in eukaryotic RNA: support vector machine approach, Computers in Biology and Medicine, vol.33, issue.1, pp.17-29, 2003.
DOI : 10.1016/S0010-4825(02)00057-4

C. Therk and L. Gold, Systematic evolution of ligands by exponential enrichment: RNA ligands to bacteriophage T4 DNA polymerase, Science, vol.249, issue.4968, pp.505-510, 1990.
DOI : 10.1126/science.2200121

V. O. Vapnik, J. Bernard, and . Gouzé, Principles of risk minimization for learning theOlY In Advances in References onlinear qualitative signal processing for biological systems: application to the algal growth in bioreactors, Math. Biosci, vol.157, issue.1, pp.357-372, 1992.

A. Bockmayr and A. , Courtois, Modeling biological systems in hybrid concurrent constraint programming (abstract), in: The Second Internat, Conf. Systems Biology, ICSB'OI, p.106, 2001.

A. Bockmayr and A. Courtois, Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems, 18th Internat. Conf. on Logic Programming, ICLP'02, pp.85-99, 2002.
DOI : 10.1007/3-540-45619-8_7

URL : https://hal.archives-ouvertes.fr/inria-00100783

M. Caputi, M. Mayeda, A. Krainer, and A. , hnRNP A/B proteins are required for inhibition of HIV-1 pre-mRNA splicing, The EMBO Journal, vol.18, issue.14, pp.4060-4067, 1999.
DOI : 10.1093/emboj/18.14.4060

B. Carlson and V. Gupta, Hybrid cc with interval constraints, Lecture Notes in Computer Science, vol.1386, pp.80-95, 1998.
DOI : 10.1007/3-540-64358-3_33

A. Audibert, D. Weil, and F. Dautry, In Vivo Kinetics of mRNA Splicing and Transport in Mammalian Cells, Molecular and Cellular Biology, vol.22, issue.19, pp.6706-6718, 2002.
DOI : 10.1128/MCB.22.19.6706-6718.2002

F. , D. Gatto-konczak, M. Olive, M. Gesnel, and R. Breathnach, hnRNP Al recruited to an exon in vivo can function as an exon splicing silencer, Molecular Cel!. Biol, vol.19, issue.1, pp.251-260, 1999.

B. Graveley, Sorting out the complexity of SR protein functions, RNA, vol.6, issue.9, pp.1197-1211, 2000.
DOI : 10.1017/S1355838200000960

V. Gupta, R. Jagadeesan, and V. Saraswat, Computing with continuous change, Science of Computer Programming, vol.30, issue.1-2, pp.3-49, 1998.
DOI : 10.1016/S0167-6423(97)00006-3

URL : https://doi.org/10.1016/s0167-6423(97)00006-3

V. Gupta, R. Jagadeesan, V. Saraswal, and D. G. Bobrow, Programming in hybrid constraint languages, Lecture otes in Computer Science, vol.999, pp.226-251, 1995.
DOI : 10.1007/3-540-60472-3_12

]. B. Hammond, Quantitative Study of the Control of HIV-1 Gene Expression, Journal of Theoretical Biology, vol.163, issue.2, pp.199-221, 1993.
DOI : 10.1006/jtbi.1993.1117

L. Hartwell, J. Hopfield, S. Leibler, and A. Murray, From molecular to modular cell biology, Nature, vol.269, issue.6761supp, pp.47-52, 1999.
DOI : 10.1126/science.7624793

R. Heinrich and S. Schuster, The Regulation of Cellular Systems, 1996.
DOI : 10.1007/978-1-4613-1161-4

J. Monod, LA TECHNIQUE DE CULTURE CONTINUE TH??ORIE ET APPLICATIONS, Ann. Inst. Pasteur, vol.79, pp.390-410, 1950.
DOI : 10.1016/B978-0-12-460482-7.50023-3

M. Moore, C. Query, and P. Sharp, Splicing of precursors to mRNA by the spliceosome The RNA World, pp.303-357, 1993.

J. O. Murray, Mathematical Biology l, An Introduction, 2002.

M. O. Reilly, M. Mcnally, and K. Beemon, Two Strong 5??? Splice Sites and Competing, Suboptimal 3??? Splice Sites Involved in Alternative Splicing of Human Immunodeficiency Virus Type 1 RNA, Virology, vol.213, issue.2, pp.373-385, 1995.
DOI : 10.1006/viro.1995.0010

B. Palsson, The challenges of in silico biology, Nature Biotechnology, vol.15, issue.11, pp.1147-1150, 2000.
DOI : 10.1021/bp9900357

D. Purcell and M. Martin, Alternative splicing of human immunodeficiency virus type 1 mRNA modulates viral protein expression, replication, and infectivity, J. Virol.II), vol.67, pp.6365-6378, 1993.

D. Ropers, Etude expérimentale du rôle des protéines SR dans la régulation de l'épissage de l'ARN du virus HIV-I, responsable de l'immunodéficience humaine, et modélisation mathématique de ces régulations

V. A. Saraswat, R. Jagadeesan, and V. Gupta, Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.71-80, 1994.
DOI : 10.1109/LICS.1994.316085

V. A. Saraswat, R. Jagadeesan, and V. Gupta, Timed Default Concurrent Constraint Programming, Journal of Symbolic Computation, vol.22, issue.5-6, pp.475-520, 1996.
DOI : 10.1006/jsco.1996.0064

H. Tang, K. Kuhen, and F. , Lentivirus Replication and Regulation, Annual Review of Genetics, vol.33, issue.1, pp.133-170, 1999.
DOI : 10.1146/annurev.genet.33.1.133

I. Cl, C2 IICl IIC2 IIC4 Cl II, C2 II. C3 Cl II. C2 II. C3 II. Cs 6

I. Cl, . C2-ii, . C3, . Ii, . C4-ii et al., Cl IICl II. C2 II. C4 II. Cs Cl II. C2 II Using hybrid concurrent constraint programming to model dynamic biological systems, C3 II. Cs References 1 18th International Conference on Logic Programming, pp.2-85, 2002.

D. Eveillard, D. Ropers, H. D. Jong, C. Branlant, and A. Bockmayr, Multiscale Modeling of Alternative Splicing Regulation, Computational Methods in Systems Biology, CMSB'03, pp.75-87, 2003.
DOI : 10.1007/3-540-36481-1_7

URL : https://hal.archives-ouvertes.fr/inria-00099792

M. Moore, C. Query, and P. Sharp, Splicing of precursors to messenger RNAs by the spliceosome. In: The RNA World, 1993.

C. W. Smith and J. Valcarcel, Alternative pre-mRNA splicing: the logic of combinatorial control, Trends in Biochemical Sciences, vol.25, issue.8, pp.381-388, 2000.
DOI : 10.1016/S0968-0004(00)01604-2

D. Purcell and M. Martin, Alternative splicing of human immunodeficiency virus type 1 mRNA modulates viral protein expression, replication and infectivity, J. Virol, vol.67, pp.6365-78, 1993.

T. Hope, The Ins and Outs of HIV Rev, Archives of Biochemistry and Biophysics, vol.365, issue.2, pp.186-91, 1999.
DOI : 10.1006/abbi.1999.1207

O. Reilly, M. Mcnally, and M. Beemon, Two Strong 5??? Splice Sites and Competing, Suboptimal 3??? Splice Sites Involved in Alternative Splicing of Human Immunodeficiency Virus Type 1 RNA, Virology, vol.213, issue.2, pp.373-85, 1995.
DOI : 10.1006/viro.1995.0010

Z. Si, B. A. Amendt, and C. M. Stoltzfus, Splicing efficiency of human immunodeficiency virus type 1 tat RNA is determined by both a suboptimal 3' splice site and a 10 nucleotide exon splicing silencer element located within tat exon 2, Nucleic Acids Research, vol.66, issue.1, pp.861-868, 1997.
DOI : 10.1128/MCB.10.2.696

A. K. Swanson and C. M. Stoltzfus, Overlapping cis sites used for splicing of HIV-1 env/nef and rev mRNAs, J. Biol. Chem, pp.273-34551, 1998.

H. Schaal, M. Freund, S. Kammler, C. Asang, and M. Caputi, A bidirectional SR protein-dependent exonic splicing enhancer regulates rev, env, Vptl and nef gene expression, Eukaryotic mRNA Processing, 2003.

V. Gupta, R. Jagadeesan, and V. Saraswat, Computing with continuous change, Science of Computer Programming, vol.30, issue.1-2, pp.3-49, 1998.
DOI : 10.1016/S0167-6423(97)00006-3

N. Chabrier and F. Fages, Symbolic Model Checking of Biochemical Networks, Computational Methods in Systems Biology, CMSB'03, pp.2602-149, 2003.
DOI : 10.1007/3-540-36481-1_13

J. Pongoski, K. Asai, and A. Cochrane, Positive and negative modulation of human immunodeficiency virus type 1 Rev function by cis and trons regulators of viral RNA splicing, J. Virol, pp.76-5108, 2002.

B. J. Hammond, Quantitative Study of the Control of HIV-1 Gene Expression, Journal of Theoretical Biology, vol.163, issue.2, pp.199-221, 1993.
DOI : 10.1006/jtbi.1993.1117

. Bibliographie and . Aizerman, Theoretical foundations of the potential function and pattern recognition learning. Automaton and Remote Control, pp.821-837, 1964.

. Akutsu, IDENTIFICATION OF GENETIC NETWORKS FROM A SMALL NUMBER OF GENE EXPRESSION PATTERNS UNDER THE BOOLEAN NETWORK MODEL, Biocomputing '99, pp.17-28, 1999.
DOI : 10.1142/9789814447300_0003

. Audibert, In Vivo Kinetics of mRNA Splicing and Transport in Mammalian Cells, Molecular and Cellular Biology, vol.22, issue.19, pp.22-6706, 2002.
DOI : 10.1128/MCB.22.19.6706-6718.2002

R. Baeza-yates and G. Navarro, Text Searching: Theory and Practice, 2004.
DOI : 10.1007/978-3-540-39886-8_30

&. Bailey, . Elkan, T. L. Bailey, and C. Elkan, Fitting a mixture model by expectation maximization to discover motifs in biopolymer, Proceedings of the Second International Conference on Intelligent Systems for M olecular Biology, pp.28-36, 1994.

&. Bailey, . Gribskov, T. L. Bailey, and M. Gribskov, Methods and Statistics for Combining Motif Match Scores, Journal of Computational Biology, vol.5, issue.2, pp.211-221, 1998.
DOI : 10.1089/cmb.1998.5.211

&. Baldi, . Brunak, P. Baldi, and S. Brunak, Bioinformatics The machine learning approach, 2001.

P. Bartlett, The sample complexity of pattern classification with neural networks: the size of the weights is more important than the size of the network, IEEE Transactions on Information Theory, vol.44, issue.2, pp.525-536, 1998.
DOI : 10.1109/18.661502

. Batt, Qualitative analysis of genetic regulatory networks : a model-checking approach, Working Notes of Seventeenth International Workshop on Qualitative Reasoning, QR-03, pp.31-38, 2003.

S. M. Berget, Exon Recognition in Vertebrate Splicing, Journal of Biological Chemistry, vol.14, issue.6, pp.2411-2415, 1995.
DOI : 10.1126/science.8085156

&. Berget, . Sharp, S. M. Berget, and P. A. Sharp, A spliced sequence at the 5'-terminus of adenovirus late mR TA, Brookhaven Symp Biol, vol.29, pp.332-376, 1977.

&. Bernard, . Gouzé, O. Bernard, and J. Gouzé, Transient behavior of biological loop models with application to the Droop model, Mathematical Biosciences, vol.127, issue.1, pp.19-43, 1995.
DOI : 10.1016/0025-5564(94)00040-7

&. Bernard, . Gouzé, O. Bernard, and J. Gouzé, TRANSIENT BEHAVIOR OF BIOLOGICAL MODELS AS A TOOL OF QUALITATIVE VALIDATION???APPLICATION TO THE DROOP MODEL AND TO A N-P-Z MODEL, Journal of Biological Systems, vol.04, issue.03, pp.303-314, 1995.
DOI : 10.1142/S0218339096000223

&. Bernard, . Gouzé, O. Bernard, and J. Gouzé, Global qualitative behavior of a c1ass of non linear biological systems; application to the qualitative validation of phytoplankton growth models, 1998.

&. Bernard, . Gouzé, O. Bernard, and J. Gouzé, Non-linear qualitative signal processing for biological systems: application to the algal growth in bioreactors, Mathematical Biosciences, vol.157, issue.1-2, pp.357-372, 1999.
DOI : 10.1016/S0025-5564(98)10091-3

&. Bernard, . Gouzé, O. Bernard, and J. Gouzé, Global qualitative description of a class of nonlinear dynamical systems, Artificial Intelligence, vol.136, issue.1, pp.29-59, 2002.
DOI : 10.1016/S0004-3702(01)00169-2

D. L. Black, Protein Diversity from Alternative Splicing, Cell, vol.103, issue.3, pp.367-70, 2000.
DOI : 10.1016/S0092-8674(00)00128-8

&. Bockmayr, . Courtois, A. Bockmayr, and A. Courtois, Modeling biological systems in hybrid concurrent constraint programming Caltech, 2nd International Conference on Systems Biology, 2001.

&. Bockmayr, . Courtois, A. Bockmayr, and A. Courtois, Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems, l8th International Conference on Logic Programming, pp.85-99, 2002.
DOI : 10.1007/3-540-45619-8_7

URL : https://hal.archives-ouvertes.fr/inria-00100783

. Bockmayr, Building and analysis an integrative model of HIV-1 RNA alternative splicing

. Boser, Guyon, 1. & Vapnik, V. (1992) A training algorithm for optimal margin classifiers, COLT'92 pp, pp.144-152, 1992.

&. Boyer, . Moore, R. Boyer, and S. Moore, A fast string searching algorithm, Communications of the ACM, vol.20, issue.10, pp.762-772, 1977.
DOI : 10.1145/359842.359859

. Burke, Bent Pseudoknots and Novel RNA Inhibitors of Type 1 Human Immunodeficiency Virus (HIV-1) Reverse Transcriptase, Journal of Molecular Biology, vol.264, issue.4, pp.650-666, 1996.
DOI : 10.1006/jmbi.1996.0667

. Caputi, hnRNPA proteins are required for inhibition of HIV-1 pre-mR A splicing, EMBO, issue.14, pp.18-4060, 1999.

. Caputi, ) hnRNP AIB proteins are required for inhibition of HIV-1 pre-mRNA splicing, EMBO J, issue.14, pp.184060-184067, 1999.

&. Carlson, B. Gupta-]-carlson, and V. Gupta, Hybrid cc with interval constraints, Hybrid Systems : Computation and Control, pp.80-95, 1998.
DOI : 10.1007/3-540-64358-3_33

URL : http://www2.parc.com/spl/projects/mbc/publications/mbc-hccimpl.ps

. Cartegni, ESEfinder: a web resource to identify exonic splicing enhancers, Nucleic Acids Research, vol.31, issue.13, pp.31-3568, 2003.
DOI : 10.1093/nar/gkg616

. Cavaloc, The splicing factors 9G8 and SRp20 transactivate splicing through different and specific enhancers, RNA, vol.5, issue.3, pp.468-483, 1999.
DOI : 10.1017/S1355838299981967

. Cavaloc, The splicing factors 9G8 and SRp20 transactivate splicing through different and specific enhancers, RNA, vol.5, issue.3, pp.468-83, 1999.
DOI : 10.1017/S1355838299981967

. Cavaloc, Characterization and cloning of the human splicing factor 9G8 : a novel 35 kDa factor of the serine/arginine protein family, EMBO J, issue.11, pp.13-2639, 1994.

F. Fages, Symbolic model checking of biochemical networks, Computational Methods in Systems Biology, pp.149-162, 2003.

. Chaudhary, Primary structure of a human arginine-rich nuclear protein that colocalizes with spliceosome components., Proceedings of the National Academy of Sciences, vol.88, issue.18, pp.888189-93, 1991.
DOI : 10.1073/pnas.88.18.8189

&. Clément, . Codani, C. Clément, and J. Codani, Lassap, a large scale sequence comparaison package, CAB/OS, vol.2, pp.137-147, 1997.

A. Cornish-bowden-cornish-bowden, Fundamentals of Enzyme Kinetics, 1995.

&. Cortes, . Vapnik, C. Cortes, and V. Vapnik, Support-vector networks, Machine Learning, vol.1, issue.3, pp.273-297, 1995.
DOI : 10.1007/BF00994018

. Crochemore, Speeding up two string-matching algorithms, Algorithmica, vol.8, issue.11, pp.247-267, 1994.
DOI : 10.1007/978-3-642-82456-2_6

URL : https://hal.archives-ouvertes.fr/hal-00619553

&. Danos, V. Laneve-]-danos, and C. Laneve, Graphs for Core Molecular Biology, In Computational Methods in Systems Biology CS, vol.2602, pp.34-46, 2003.
DOI : 10.1007/3-540-36481-1_4

&. Deutsch, . Long, M. Deutsch, and M. Long, Intron-exon structures of eukaryotic model organisms, Nucleic Acids Res, vol.27, issue.15, pp.3219-3247, 1999.

. Dreyfuss, Messenger-RNA-binding proteins and the messages they carry, Nature Reviews Molecular Cell Biology, vol.3, issue.3, pp.195-205, 2002.
DOI : 10.1038/ncb0901-e201

. Durbin, Probabilistic models of proteins and nucleic acids, 1998.

&. Duret, . Abdeddaim, L. Duret, and S. Abdeddaim, Multiple alignments for structural, functional, or phylogenetic analyses of homologous sequences The pratical approach series, Bioinformatics : Sequence, structure, and databanks, pp.51-76, 1999.

. Bibliographie and . Edwards, Symbolic dynamics and computation in model gene networks, Ghaos, Il, issue.1, pp.160-169, 2001.

. Elisseef, Margin error and generalization capabilities of multi-class discriminant models, 1999.

. Eperon, Selection of Alternative 5' Splice Sites: Role of U1 snRNP and Models for the Antagonistic Effects of SF2/ASF and hnRNP A1, Molecular and Cellular Biology, vol.20, issue.22, 2000.
DOI : 10.1128/MCB.20.22.8303-8318.2000

&. Eveillard and . Guermeur, Traitement statistique des résultats SELEX, pp.277-283, 2002.

&. Eveillard, . Guermeur, D. Eveillard, E. Guermeur, and . Eveillard, Statistical processing of SELEX results KOALAB : a new method for regulatory research, illustration on alternative splicing regulation in HIV-l. soumis à JOBIM'04 A multi-scale constraint programming model of alternative splicing regulation, 1SMB press in Journal of Theoretical Computer Science, 2002.

. Eveillard, Modeling the effects of SR proteins on alternative splicing, Symposium on Macromolecular N etwork, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00101060

. Eveillard, Multiscale Modeling of Alternative Splicing Regulation, Gomputational Methods in Systems Biology, pp.75-87, 2003.
DOI : 10.1007/3-540-36481-1_7

URL : https://hal.archives-ouvertes.fr/inria-00099792

&. Feng, . Doolitle, D. Feng, and R. Doolitle, Progressive sequence alignment as a prerequisitetto correct phylogenetic trees, Journal of Molecular Evolution, vol.360, issue.4, pp.351-360, 1987.
DOI : 10.1515/bchm2.1979.360.2.1879

&. Fu, . Maniatis, X. D. Fu, and T. Maniatis, Isolation of a complementary DNA that encodes the mammalian splicing factor SC35, Science, vol.256, issue.5056, pp.256-535, 1992.
DOI : 10.1126/science.1373910

&. Ge, H. Manley-]-ge, and J. L. Manley, A protein factor, ASF, controls cellspecifie alternative splicing of SV40 early pre-mR A in vitro, GeU, vol.62, issue.1, pp.25-34, 1990.

. Ge, Primary structure of the human splicing factor asf reveals similarities with drosophila regulators, Cell, vol.66, issue.2, pp.373-82, 1991.
DOI : 10.1016/0092-8674(91)90626-A

A. Golbeter, A Model for Circadian Oscillations in the Drosophila Period Protein (PER), Proceedings of the Royal Society B: Biological Sciences, vol.261, issue.1362, pp.319-324, 1995.
DOI : 10.1098/rspb.1995.0153

. Gold, From oligonucleotide shapes to genomic SELEX: Novel biological regulatory loops, Proc. Natl Acad. Sei. USA, pp.59-64, 1997.
DOI : 10.1038/227680a0

B. R. Graveley, Sorting out the complexity of SR protein functions, RNA, vol.6, issue.9, pp.1197-211, 2000.
DOI : 10.1017/S1355838200000960

. Graveley, A systematic analysis of the factors that determine the strength of pre-mRNA splicing enhancers, The EMBO Journal, vol.17, issue.22, pp.17-6747, 1998.
DOI : 10.1093/emboj/17.22.6747

. Guermeur, Bounding the capacity measure of multi-class discriminant models, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00100733

. Gupta, Computing with continuous change, Science of Computer Programming, vol.30, issue.1-2, pp.3-49, 1998.
DOI : 10.1016/S0167-6423(97)00006-3

. Gupta, Programming in hybrid constraint languages, Hybrid Systems II pp, pp.226-251, 1995.
DOI : 10.1007/3-540-60472-3_12

B. J. Hammond, Quantitative Study of the Control of HIV-1 Gene Expression, Journal of Theoretical Biology, vol.163, issue.2, pp.199-221, 1993.
DOI : 10.1006/jtbi.1993.1117

&. Hartigan, J. A. Wong-]-hartigan, and M. A. Wong, Algorithm AS 136: A K-Means Clustering Algorithm, Applied Statistics, vol.28, issue.1, pp.100-108, 1979.
DOI : 10.2307/2346830

D. Haussier, Convolution kernels on discrete structures A survey on intron and exon lengths, Nucleic Acids Res, issue.21, pp.16-9893, 1988.

&. Heinrich, R. Schuster-heinrich, and S. Schuster, The Regulation of Cellular Systems, 1996.
DOI : 10.1007/978-1-4613-1161-4

. Higgins, CLUSTAL W : improving the sensitivity of progressivemultiple sequence alignment through sequence weighting,position-specific gap penalties and weight matrix choice, Nucleic Acids Res, vol.22, pp.4673-4680, 1994.

T. Hope, The Ins and Outs of HIV Rev, Archives of Biochemistry and Biophysics, vol.365, issue.2, pp.186-91, 1999.
DOI : 10.1006/abbi.1999.1207

. Hornig, Effect of mutations at the lariat branch acceptor site on beta-globin pre-mR A splicing in vitro, Nature, issue.6097, pp.324-589, 1986.

. Jaakkola, Using the fisher kernel method to detect remote protein homologies Etude de la regulation de l'épissage du transcrit primaire du virus de l'immunodéficience humaine type I, Heidelberg, pp.149-158, 1999.

. Bibliographie and . Jacquenet, Conserved stem-Ioop structures in the hiv- 1 rna region containing the a3 3' splice site and its cis-regulatory element : possible involvement in rna splicing, Nucleic Acids Res, vol.29, issue.2, pp.464-78, 2001.

H. Jong, Qualitative simulation and related approaches for the analysis of dynamical systems, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071455

H. D. Jong, Modeling and Simulation of Genetic Regulatory Systems: A Literature Review, Journal of Computational Biology, vol.9, issue.1, pp.67-103, 2002.
DOI : 10.1089/10665270252833208

URL : https://hal.archives-ouvertes.fr/inria-00072606

&. Jong, . Page, H. D. Jong, M. Page, and W. Horn, Qualitative simulation of large and complex genetic regulatory systems, European Conference on Ariificial Intelligence, 2000.

. Karp, Eco Cyc: Encyclopedia of Escherichia coli genes and metabolism, Nucleic Acids Research, vol.57, issue.4, pp.55-58, 1999.
DOI : 10.1006/jmbi.1997.1003

. Krainer, The essential pre-mRNA splicing factor SF2 influences 5??? splice site selection by activating proximal sites, Cell, vol.62, issue.1, pp.35-42, 1990.
DOI : 10.1016/0092-8674(90)90237-9

. Krainer, Functional expression of cloned human splicing factor SF2: homology to rna-binding proteins, U1 70K, and drosophila splicing regulators, Cell, vol.66, issue.2, pp.66-383, 1991.
DOI : 10.1016/0092-8674(91)90627-B

&. Kucherov, . Rusinowitch, G. Kucherov, and M. Rusinowitch, Matching a set of strings with variable length don't cares, Theoretical Computer Science, vol.178, issue.1-2, pp.129-154, 1997.
DOI : 10.1016/S0304-3975(97)88195-9

B. Kuipers, Qualitative simulation using time-scale abstraction, Artificial Intelligence in Engineering, vol.3, issue.4, pp.185-191, 1988.
DOI : 10.1016/0954-1810(88)90012-X

B. Kuipers, Qualitative reasoning : Modeling and simulation with incomplete knowledge, 1994.

&. Lawrence, . Reilly, C. Lawrence, and A. Reilly, An expectation maximization (em) algorithm for the idnetification and characterization of common sites in unaligned biopolymer sequences, Proteins : Structure, Function, and Genetics, 1990.

J. Legay, La méthode des modèles, état actuel de la méthode expérimentale, Informatique et biosphère, pp.1-76, 1973.

&. Legendre, P. Legendre-]-legendre, and L. Legendre, Numerical Ecology, 2000.
DOI : 10.1016/B978-0-12-409548-9.10595-0

URL : https://hal.archives-ouvertes.fr/hal-00530195

. Lejeune, Alternative splicing of intron 3 of the serine jarginine-rich protein 9g8 gene, Journal of Biological Chemistry, pp.276-7850, 2001.

&. Leloup, . Golbeter, J. Leloup, and A. Golbeter, Incorporating the Formation of a Complex between the PER and TIM Proteins, Journal of Biological Rhythms, vol.13, issue.1, pp.70-87, 1998.
DOI : 10.1038/380129a0

. Liu, Identification of functional exonic splicing enhancer motifs recognized by individual SR??proteins, Genes & Development, vol.12, issue.13, 1998.
DOI : 10.1101/gad.12.13.1998

&. Mackay, . Crossley, J. P. Mackay, and M. Crossley, Zinc fingers are sticking together, Trends in Biochemical Sciences, vol.23, issue.1, pp.1-4, 1998.
DOI : 10.1016/S0968-0004(97)01168-7

&. Maniatis and . Reed, An extensive network of coupling among gene expression machines, Nature, vol.21, issue.6880, pp.416499-506, 2002.
DOI : 10.1002/(SICI)1521-1878(199908)21:8<685::AID-BIES8>3.0.CO;2-4

&. Manley, . Tacke, J. L. Manley, and . Tacke, SR proteins and splicing control., Genes & Development, vol.10, issue.13, pp.1569-79, 1996.
DOI : 10.1101/gad.10.13.1569

. Marchand, A Janus Splicing Regulatory Element Modulates HIV-1 tat and rev mRNA Production by Coordination of hnRNP A1 Cooperative Binding, Journal of Molecular Biology, vol.323, issue.4, pp.629-52, 2002.
DOI : 10.1016/S0022-2836(02)00967-1

&. Mcadams, H. Shapiro-mcadams, and . Shapiro, Circuit simulation of genetic networks, Science, vol.269, issue.5224, pp.650-656, 1995.
DOI : 10.1126/science.7624793

. Mcpherson, A physical map of the human genome, Nature, vol.88, issue.6822, pp.409-934, 2001.
DOI : 10.1073/pnas.88.17.7474

&. Modrek, . Lee, B. Modrek, and C. Lee, A genomic view of alternative splicing, Nature Genetics, vol.30, issue.1, pp.13-19, 2002.
DOI : 10.1038/ng0102-13

J. Monod, LA TECHNIQUE DE CULTURE CONTINUE TH??ORIE ET APPLICATIONS, Ann. Inst. Pasteur, vol.79, pp.390-410, 1950.
DOI : 10.1016/B978-0-12-460482-7.50023-3

&. Monod, . Jacob, J. Monod, and F. Jacob, General Conclusions: Teleonomic Mechanisms in Cellular Metabolism, Growth, and Differentiation, Cold Spring Harbor Symp, pp.389-401, 1961.
DOI : 10.1101/SQB.1961.026.01.048

. Moore, Splicing of precursors to messenger mas by the spliceosome, The RNA World, 1993.

J. Murray, Mathematical biology 1: an introduction, 2002.

J. Murray, Mathematical biology II : spatial models and biomedical applications, 2003.

S. Wunsch-eedleman and C. Wunsch, A general method applicable to the search for similarities in the amino acid sequence of two proteins, Journal of Molecular Biology, vol.48, issue.3, pp.443-453, 1970.
DOI : 10.1016/0022-2836(70)90057-4

[. Reilly, Two Strong 5??? Splice Sites and Competing, Suboptimal 3??? Splice Sites Involved in Alternative Splicing of Human Immunodeficiency Virus Type 1 RNA, Virology, vol.213, issue.2, pp.373-85, 1995.
DOI : 10.1006/viro.1995.0010

B. Palsson, The challenges of in silico biology, Nature Biotechnology, vol.15, issue.11, pp.1147-1150, 2000.
DOI : 10.1021/bp9900357

&. Pavlakis, . Felber, G. Pavlakis, and B. K. Felber, Regulation of expression of human immunodeficiency virus, New Biol, vol.2, issue.1, pp.20-31, 1990.

A. Pavé, Modélisation en biologie et en écologie, Aléas, 1994.

&. Purcell, . Martin, D. Purcell, and M. Martin, Alternative splicing of human immunodeficiency virus type 1 mRNA modulates viral protein expression, replication and infectivity, Journal of Virology, issue.11, pp.67-6365, 1993.

. Query, The branch site adenosine is recognized differently for the two steps of pre-mRNA splicing, Nucleic Acids Symp Ser, vol.33, pp.224-229, 1995.

. Query, Three recognition events at the branch-site adenine, EMBO J, vol.15, issue.6, pp.1392-402, 1996.

. Regev, Representation and simulation of biochemical processes using the pi-calculus process algebra, In Pacifie Symposium of Biocomputing, vol.6, pp.459-470, 2001.

&. Roberts, G. C. Smith-roberts, and C. W. Smith, Alternative splicing: combinatorial output from the genome, Current Opinion in Chemical Biology, vol.6, issue.3, pp.375-83, 2002.
DOI : 10.1016/S1367-5931(02)00320-4

&. Roscigno, R. F. Garcia-blanco-]-roscigno, and M. A. Garcia-blanco, SR proteins escort the U4/U6.U5 tri-snRNP to the spliceosome, RNA, vol.1, issue.7, pp.692-706, 1995.

. Roulet, High-throughput SELEX???SAGE method for quantitative modeling of transcription-factor binding sites, Nature Biotechnology, vol.12, issue.8, pp.831-835, 2002.
DOI : 10.1006/jmbi.1997.0951

. Rowen, Analysis of the Human Neurexin Genes: Alternative Splicing and the Generation of Protein Diversity, Genomics, vol.79, issue.4, pp.587-97, 2002.
DOI : 10.1006/geno.2002.6734

V. A. Saraswat, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1993.
DOI : 10.1145/96709.96733

. Saraswat, Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.71-80, 1994.
DOI : 10.1109/LICS.1994.316085

. Saraswat, Timed Default Concurrent Constraint Programming, Journal of Symbolic Computation, vol.22, issue.5-6, pp.475-520, 1996.
DOI : 10.1006/jsco.1996.0064

&. Schaal, . Maniatis, T. D. Schaal, and T. Maniatis, Multiple Distinct Splicing Enhancers in the Protein-Coding Sequences of a Constitutively Spliced Pre-mRNA, Molecular and Cellular Biology, vol.19, issue.1, pp.261-73, 1999.
DOI : 10.1128/MCB.19.1.261

&. Schaal, . Maniatis, T. D. Schaal, and T. Maniatis, Selection and Characterization of Pre-mRNA Splicing Enhancers: Identification of Novel SR Protein-Specific Enhancer Sequences, Molecular and Cellular Biology, vol.19, issue.3, pp.1705-1724, 1999.
DOI : 10.1128/MCB.19.3.1705

. Screaton, (1995) Identification and characterization of three members of the human SR family of pre-mRNA splicing factors, EMBO J, issue.17, pp.14-4336, 1995.

C. W. Smith and J. Valcarcel, Alternative pre-mRNA splicing: the logic of combinatorial control, Trends in Biochemical Sciences, vol.25, issue.8, pp.25-381, 2000.
DOI : 10.1016/S0968-0004(00)01604-2

C. W. Smith and J. Valcarcel, Alternative pre-mRNA splicing: the logic of combinatorial control, Trends in Biochemical Sciences, vol.25, issue.8, pp.381-389, 2000.
DOI : 10.1016/S0968-0004(00)01604-2

&. Smith, . Waterman, T. Smith, and M. Waterman, Identification of cornmon molecular subsequences, Journal of Molecular Biology, vol.47, issue.1, pp.195-197, 1981.

. Smolen, Modeling Transcriptional Control in Gene Networks???Methods, Recent Results, and Future Directions, Bulletin of Mathematical Biology, vol.62, issue.2, pp.247-292, 2000.
DOI : 10.1006/bulm.1999.0155

E. Snoussi, Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach, Dynamics and Stability of Systems, vol.54, issue.3-4, pp.4-7, 1989.
DOI : 10.1016/S0006-3495(71)86192-1

. Bibliographie and . Soret, Characterization of SRp46, a novel human SRsplicing factor encoded by a PR264/SC35retropseudogene, Mol Cell Biol), vol.18, issue.8, pp.4924-4958, 1998.

. Sterner, Architecturallimits on split genes, Proc Natl Acad Sci, issue.26, pp.93-15081, 1996.

. Sun, A Mathematical Analysis ofin VitroMolecular Selection ??? Amplification, Journal of Molecular Biology, vol.258, issue.4, pp.650-660, 1996.
DOI : 10.1006/jmbi.1996.0276

. Sun, Identifying splicing sites in eukaryotic RNA: support vector machine approach, Computers in Biology and Medicine, vol.33, issue.1, pp.17-29, 2003.
DOI : 10.1016/S0010-4825(02)00057-4

&. Sànchez and . Thieffry, A Logical Analysis of the Drosophila Gap-gene System, Journal of Theoretical Biology, vol.211, issue.2, pp.115-141, 2001.
DOI : 10.1006/jtbi.2001.2335

. Tacke, Sequence-specific RNA binding by an SR protein requires RS domain phosphorylation: Creation of an SRp40-specific splicing enhancer, Proceedings of the National Academy of Sciences, vol.268, issue.20, pp.1148-53, 1997.
DOI : 10.1101/gad.9.3.284

&. Tacke, . Manley, . Tacke, and J. L. Manley, The human splicing factors asf/sf2 and sc35 possess distinct, functionally significant rna binding specificities, pp.3540-3551, 1995.

&. Tacke, . Manley, . Tacke, and J. Manley, The human splicing factors ASF/SF2 and SC35 possess distinct, functionally significant RNA binding specificities, EMBO J, issue.114, pp.14-3540, 1995.

. Tang, Lentivirus Replication and Regulation, Annual Review of Genetics, vol.33, issue.1, pp.133-70, 1999.
DOI : 10.1146/annurev.genet.33.1.133

&. Thieffry, . Jong, D. Thieffry, and H. D. Jong, Mod??lisation, analyse et simulationdes r??seaux g??n??tiques, m??decine/sciences, vol.18, issue.4, pp.492-502, 2002.
DOI : 10.1051/medsci/2002184492

&. Thieffry and . Thomas, Qualitative analysis of gene networks, Pacific Symposium on Biocomputing, pp.77-88, 1998.

. Thomas, Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-276, 1995.
DOI : 10.1007/978-3-642-49321-8_15

&. Therk, . Gold, C. Tuerk, and L. Gold, Systematic evolution of ligands by exponential enrichment: RNA ligands to bacteriophage T4 DNA polymerase, Science, vol.249, issue.4968, pp.505-510, 1990.
DOI : 10.1126/science.2200121

J. Tyson, Models of cell cycle control in eukaryotes, Journal of Biotechnology, vol.71, issue.1-3, pp.239-244, 1999.
DOI : 10.1016/S0168-1656(99)00027-9

. Tyson, Chemical kinetic theory: understanding cell-cycle regulation, Trends in Biochemical Sciences, vol.21, issue.3, pp.89-96, 1996.
DOI : 10.1016/S0968-0004(96)10011-6

. Vant-hull, The mathematics of SELEX against complex targets, Journal of Molecular Biology, vol.278, issue.3, pp.579-597, 1998.
DOI : 10.1006/jmbi.1998.1727

V. Vapnik, Estimation od Dependences Based on Empirical Data, 1982.

V. Vapnik and . Venter, Statistical learning theory The sequence of the human genome, Science, issue.5507, pp.291-1304, 1998.

E. Voit, Gomputational Analysis of Biochemical Systems, 2000.

. Wain-hobson, Nucleotide sequence of the AIDS virus, LAV, Cell, vol.40, issue.1, pp.9-17, 1985.
DOI : 10.1016/0092-8674(85)90303-4

&. Weston, J. Watkins-]-weston, and C. Watkins, Multi-class support vector machines. technical report CSD-TR-98-04 Royal Holloway, 1998.

&. Will, . Lührmann, C. L. Will, and R. Lührmann, Spliceosomal UsnRNP biogenesis, structure and function, Current Opinion in Cell Biology, vol.13, issue.3, pp.290-301, 2001.
DOI : 10.1016/S0955-0674(00)00211-8

. Wong, Mathematical Model of the lac Operon: Inducer Exclusion, Catabolite Repression, and Diauxic Growth on Glucose and Lactose, Biotechnology Progress, vol.13, issue.2, pp.132-143, 1997.
DOI : 10.1021/bp970003o

&. Xiao, . Manley, S. H. Xiao, and . Manley, Phosphorylation of the ASF/SF2 RS domain affects both protein-protein and protein-RNA interactions and is necessary for splicing., Genes & Development, vol.11, issue.3, pp.334-378, 1997.
DOI : 10.1101/gad.11.3.334

&. Xiao, . Manley, S. H. Xiao, and . Manley, Phosphorylation-dephosphorylation differentially affects activities of splicing factor ASF/SF2, The EMBO Journal, vol.91, issue.21, pp.6359-67, 1998.
DOI : 10.1073/pnas.91.8.3363

. Zahler, SR proteins: a conserved family of pre-mRNA splicing factors., Genes & Development, vol.6, issue.5, pp.837-884, 1992.
DOI : 10.1101/gad.6.5.837

. Zahler, Distinct functions ofSR proteins in alternative pre-mRN A splicing, Science, issue.5105, pp.260-219, 1993.

. Zahler, Human SR proteins and isolation of a cDNA encoding SRp75., Molecular and Cellular Biology, vol.13, issue.7, pp.13-4023, 1993.
DOI : 10.1128/MCB.13.7.4023

&. Zhang, . Wu, W. J. Zhang, and J. Y. Wu, Functional properties of p54, a novel SR protein active in constitutive and alternative splicing., Molecular and Cellular Biology, vol.16, issue.10, pp.16-5400, 1996.
DOI : 10.1128/MCB.16.10.5400

. Zhang, Sequence Information for the Splicing of Human Pre-mRNA Identified by Support Vector Machine Classification, Genome Research, vol.13, issue.12, pp.2637-2650, 2003.
DOI : 10.1101/gr.1679003

S. Nous-avonf-alors-dévelcppé-le-logiciel and K. B. Qui-perrlet-de-localiser-la-prése, llee . dea sites potentiels dans les ARN par discrimination. Les technologies employées reposent sur de~ modèles statistiques comme les machines d'apprentissage statistique telles que les SVM, e;; E,'J[ la recherche algorithmique discrète c'~e mots. Enfin, dans le but de caractériser fonctionnellement ces motifs, nous avons employé une modélisation formelle. Pour ce faire, nous H0US sommes tout d'3.bord focalisé sur la rÉ.gulation d'un si'Ge d'épïssage seul. Ce modèle est fOflflaljsé dans un langage de programmation par contn:lintf.'S concurrentes hybrides (Hybüd cc) et validé qualitativement par rapport aux donn.ées expér~mentales. Il est alors possib18 ~'envisager une modélisation qui intègre les régulation;" d\111 site d'épis- S?vge dans un contExte biologique plus large comme la régulation simultanÉe de plusieurs sites. :C\111 point de vue théorique, ce nouveau modèle toujours forrnalist en Hybrid cc est une b8.'3E' théorique intéressante pour envisager l'étude d'un système concernant plus .i.eu:s échelles biologiques