"{Les perceptrons multicouches de la régression non linéaire aux problèmes inverses. Dans « Voies nouvelles pour lanalyse des données en sciences de lunivers" , Eds J.P Roselot and A. Bijaoui.}",
"{Stepwise PLS regression and multiple regression, Application to the selection of variables, the choice of the number of PLS components and PLS generalized linear regression}",
"{Proceedings of Logical Frameworks and Meta-Languages (LFM), Copenhagen (Denmark)}",
year
=
2002,
month
=
"January",
series
=
"ENTCS",
volume
=
70,
issue
=
2,
}
]
D. Delahaye -
A Proof Dedicated Meta-Language,
Proceedings of Logical Frameworks and Meta-Languages (LFM), Copenhagen (Denmark),
January 2002,
Vol. 70(2),
Series ENTCS,
"{Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), Hampton (VA, USA)}",
year
=
2002,
month
=
"January",
series
=
"LNCS",
volume
=
2410,
pages
=
"164-181",
}
]
D. Delahaye -
Free-style Theorem Proving,
Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), Hampton (VA, USA),
January 2002,
Vol. 2410,
pp.164-181,
Series LNCS,
"{Contribution of the theories of individual learning to an integrated knowledge management framework; application to IT-supported knowledge management}",
author
=
"
P. Ramsamy-Prat and N. Prat ",
booktitle
=
"{3rd European Conference on Knowledge Management (ECKM 2002), Dublin, Irlande}",
"{Utilisation de contraintes pertinentes pour la génération automatique de jeux de tests}",
author
=
"J. Printz and J. Pradat-Peyre",
number
=
"{CEDRIC-02-412}",
institution
=
"{CEDRIC laboratory, CNAM-Paris, France}",
date
=
{01-01-2002},
note
=
"{Rapport final de la seconde phase de l'opération 4 de l'action FORMA en partenariat avec THALES Airborn Systems; financement DGA, contrat 99-34-027 passé par le service des stratégies techniques et des technologies communes de la direction des systèmes de forces et de la prospective.
Accecpté pour publication dans la revue "Génie Logiciel", numéro 68, Mars 2004}",
"{Présentation invité : "Histoire de linformatique", Didier Nakache, Interface 2002 (Systèmes dinformation pour laide à la décision), le 21 novembre 2002, organisé par le département STID (Lille II), Roubaix, France}",