Symbiose Project Team

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
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
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
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
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
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
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
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