Showing papers by "Conservatoire national des arts et métiers published in 1981"
13 citations
TL;DR: In this article, le traitement consiste en l'addition aux regimes de 600 ppm de pesticide (quantite exprimee en produit pur), durant 4 semaines, where le regime hypoproteique reduit les teneurs en cytochromes P-450 and b5, non plus que l'activite de la NADPH-cytochrome c reductase.
6 citations
TL;DR: In this article, the fongicide nabame ou zinebe reduit, apres 24 h, les biotransformations de laminopyrine et de l-aniline dans les microsomes hepatiques de rat.
4 citations
TL;DR: An upper bound for the number of vertices existing in a clique of maximum cardinal is produced based in particular on the existence of a maximum cardinal clique that contains no vertex x such that the neighborhood of x is contained in the neighborhoods of another vertex y.
Abstract: We produce in this paper an upper bound for the number of vertices existing in a clique of maximum cardinal. The proof is based in particular on the existence of a maximum cardinal clique that contains no vertex x such that the neighborhood of x is contained in the neighborhood of another vertex y.
4 citations
17 Feb 1981
TL;DR: Ceci et al. as discussed by the authors present a methode de test fonctionnel applicable a tout microprocesseur connu uniquement par son manuel d'utilisation and permettant une automatisation aisee.
Abstract: Les etudes sur le test fonctionnel d'un microprocesseur et de ses peripheriques se situent dans le cadre d'un projet pilote de l'IRIA : Surete de Fonctionnement des systemes (SURF). Nos efforts ont portes sur la realisation d'une bibliotheque de programmes de test pour microprocesseurs standards. Ceci explique que la methode de test proposee est de type fonctionnel, basee sur la notion d'erreur ou de mauvais fonctionnement du microprocesseur. Ainsi, en premiere partie, on presentera cette methode de test fonctionnel applicable a tout microprocesseur connu uniquement par son manuel d'utilisation et permettant une automatisation aisee. La deuxieme partie concerne l'aspect logiciel. Sachant que l'on veut produire a la demande et dans un delai tres court, les programmes de test pour un microprocesseur donne, le travail expose dans ce memoire a consiste a creer un outil : de description des microprocesseurs (le langage ROBIN), et de generation des programmes de test (le logiciel ROBIN). En troisieme partie, on donnera un exemple de mise en œuvre pour la generation du programme de test pour le microprocesseur Motorola 6800. En quatrieme partie, on presentera notre participation a la conception d'un testeur qui permettra, entre autres, de valider les programmes de test.
1 citations
TL;DR: In this article, a modele numerique bidimensionnel permet de simuler le comportement transitoire d'un ecoulement laminaire dans une cavite rectangulaire avec injection horizontale de fluide chaud a la partie superieure and extraction a partie inferieure.
1 citations
Proceedings Article•
24 Aug 1981TL;DR: Many learning-by-example problems can be viewed as infering structured non recursive procedures from sets of their traces knowing the basic functions and predicates, used to write them.
Abstract: Many learning-by-example problems can be viewed as infering structured non recursive procedures from sets of their traces knowing the basic functions and predicates, used to write them. The on-line system PAPE does this as follows, an example (data ♦ trace) is given. PAPE first checks whether the already learned procedure gives the same trace with the given input data. If not, the trace is transformed into a procedure body (in 0(tp) time, where t it is the length of the trace, and, p an integer depending upon the procedure and the basic functions and predicates), and then merges this body with the actual one to get the new procedure body.
TL;DR: In this article, le rat traite au lindane, le jeune efface en partie l'induction, de la N-demethylase de l'aminopyrine et celle du P-450 and abolit completement l'effet propre du pesticide sur la teneur en acide linoleique du phosphoglyceride.