Home
Scientific Axes
Members
Publications
Software
Collaborations
Activity Report
Seminars
Positions





Bibliography
Author Title    Order     Display # 
<< Start < Prev 11 12 13 14 15 16 17 18 19 Next > End >>
Results 426 - 450 of 457
Authors Title Journal Year Type Links
C Belleann\ée et al. Une reconstruction pragmatique de Lambda-Prolog Technique et Science Informatique 1995
M Vandenbol et al. Sequence of a 17.1 kb DNA fragment from chromosome X of Saccharomyces cerevisiae includes the mitochondrial ribosomal protein L8. Yeast 1995 Webpage Link
M Vandenbol et al. Sequence analysis of a 44 kb DNA fragment of yeast chromosome XV including the Tyl-H3 retrotransposon, the suf1(+) frameshift suppressor gene for tRNA-Gly, the yeast transfer RNA-Thr-1a and a delta element. Yeast 1995 Webpage Link
M Vandenbol et al. The sequence of an 11.1 kb DNA fragment between ADH4 and ADE5 on the left arm of chromosome VII reveals the presence of eight open reading frames. Yeast 1995 Webpage Link
P Guerdoux-Jamet Lavenier Systolic Filter for fast DNA Similarity Search ASAP'95, International Conference on Application Specific Array Processors 1995
C Belleann\ée R Vorc'h A linear tableau proof for the pigeonhole formulae using symmetry Workshop on Theorem Proving with Analytic Tableaux and Related Methods 1994
Coste Coévolution et émergence de stratégies de coopération -- 1994
M Vandenbol et al. Sequence analysis of a 40.2 kb DNA fragment located near the left telomere of yeast chromosome X. Yeast 1994 Webpage Link
J P Banâtre et al. From High Level Programming Model to FPGA Machines 3rd Annual IEEE Symposium on FPGAs for Custom Computing Machine 1994
C Lerman et al. Classification of aligned biological sequences Proc. of the 4 th conference of the International Federation of Classification Societies 1993
Nicolas C Lerman Combining numeric and symbolic tools : a case study in pattern recognition ASMDA' 93 Proceefings of the 6 th International Symposium on Applied Stochoastic Models and Data Analysis 1993
C Lerman et al. Classification of aligned biological sequences Proc. of the 4 th conference of the International Federation of Classification Societies 1993
Nicolas C Lerman Combining numeric and symbolic tools : a case study in pattern recognition ASMDA' 93 Proceefings of the 6 th International Symposium on Applied Stochoastic Models and Data Analysis 1993
C Belleann\ée Generating New Inference Rules for a Tableaux-like Theorem Prover Workshop on Theorem Proving with Analytic Tableaux and Related Methods 1993
C Lerman et al. Classification of aligned biological sequences Proc. of the 4 th conference of the International Federation of Classification Societies 1993
Lavenier An Integrated 2-D Systolic Array for String Comparison First South American Workshop on String Processing 1993
C Belleann\ée Nicolas Static Learning for an Adaptative Theorem Prover Machine Learning - EWSL 91 (European Working Session on Learning) 1991 Webpage Link
Nicolas et al. From knoledge to similarity Proc. of "Symbolic-numeric data analysis and learning" 1991
Nicolas Seed Space and Version Space : Generalizing from Approximations. EWSL' 91 Proc. of Auropean workshop on Symbolic Learning, Porto 1991 Webpage Link
Nicolas Empirical Bias for version Space. IJCAI' 91 Proc. of the 12th International Joint Conference on Artificial Intelligence. 1991
C Belleann\ée Nicolas Static Learning for an Adaptative Theorem Prover Machine Learning - EWSL 91 (European Working Session on Learning) 1991 Webpage Link
C Belleann\ée Vers un d\émonstrateur de th\éor\èmes adaptatif Th\èse de l'universit\é de Rennes 1 1991
C Belleann\ée Improving Deduction in a Sequent Calculus proceedings of the 8th biennial conference of the CSCSI 1990
J Lebbe et al. Conceptual clustering in biology : applications and perspectives Proc. of "Data Analysis, learning Symbolic and Numeric Knowledge" 1989
J Lebbe et al. Conceptual clustering in biology : applications and perspectives Proc. of "Data Analysis, learning Symbolic and Numeric Knowledge" 1989
 
<< Start < Prev 11 12 13 14 15 16 17 18 19 Next > End >>
Results 426 - 450 of 457
Download bibtex string for all 457 results

Symbiose Project Team - INRIA/Irisa © 2007 - 2008