Documents disponibles chez cet éditeur

Intertraduction entre le calcul et la logique combinatoire / Mohamed Mezghiche 

Public ISBD Titre : Intertraduction entre le calcul et la logique combinatoire Type de document : texte imprimé Auteurs : Mohamed Mezghiche, Auteur ; André Chauvin, Directeur de thèse Editeur : Université Paris VII Année de publication : 1983 Importance : 134 f. Présentation : ill. Format : 27 cm. Note générale : Thèse de Doctorat : Informatique : Paris, Université Paris VII : 1983 Bibliogr. [1] f Langues : Français (fre) Mots-clés : Logique  combinatoire Index. décimale : D001383 Résumé : A leur état embryonnaire déjà, les deux théories: le lambda-calcul de Church et la logique combinatoire de Schon-finkel (plus tard redécouverte par Curry) présentaient des caractères communs. Leurs auteurs sont partis de la même motivation: donner un nouveau fondement aux mathématiques en réduisant les notions mathématique de base au plus petit nombre possible. Pour chacun de ces auteurs la notion essentielle en mathématiques est celle de fonction qu'il ramène à la notion de l'opération binaire d'application. Church, parti de l'idée de fonction comme primitive et fondamentale introduit en plus de l'opération binaire d'application de Schönfinkel l'opération d'abstraction qui lui permet de se passer des combinateurs de schönfinkel et d'introduire grâce aux termes d'abstraction, les fonctions ordinaires (extensionnelles). Cette dernière notion de fonction manque à la théorie de schönfinkel. Intertraduction entre le calcul et la logique combinatoire [texte imprimé] / Mohamed Mezghiche, Auteur ; André Chauvin, Directeur de thèse . - [S.l.] : Université Paris VII, 1983 . - 134 f. : ill. ; 27 cm. Thèse de Doctorat : Informatique : Paris, Université Paris VII : 1983 Bibliogr. [1] f Langues : Français (fre) Mots-clés : Logique  combinatoire Index. décimale : D001383 Résumé : A leur état embryonnaire déjà, les deux théories: le lambda-calcul de Church et la logique combinatoire de Schon-finkel (plus tard redécouverte par Curry) présentaient des caractères communs. Leurs auteurs sont partis de la même motivation: donner un nouveau fondement aux mathématiques en réduisant les notions mathématique de base au plus petit nombre possible. Pour chacun de ces auteurs la notion essentielle en mathématiques est celle de fonction qu'il ramène à la notion de l'opération binaire d'application. Church, parti de l'idée de fonction comme primitive et fondamentale introduit en plus de l'opération binaire d'application de Schönfinkel l'opération d'abstraction qui lui permet de se passer des combinateurs de schönfinkel et d'introduire grâce aux termes d'abstraction, les fonctions ordinaires (extensionnelles). Cette dernière notion de fonction manque à la théorie de schönfinkel.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D001383	D001383	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

MEZGHICHE.Mohamed.pdf URL

Conception, modélisation et réalisation des différents optiques à réfraction interne susceptibles d'avoir une intégration élevée dans le générateur photovoltaïque / Fethi Benyarou 

Public ISBD Titre : Conception, modélisation et réalisation des différents optiques à réfraction interne susceptibles d'avoir une intégration élevée dans le générateur photovoltaïque Type de document : texte imprimé Auteurs : Fethi Benyarou, Auteur ; J. Dugas, Directeur de thèse Editeur : Université Paris VII Année de publication : 1984 Importance : 93 f. Présentation : ill. Format : 27 cm. Note générale : Thèse de doctorat : Énergétique : Paris, Université Paris VII : 1984 Annexe f. 95 - 112 . Bibliogr. f. 113 - 114 Langues : Français (fre) Mots-clés : Énergie  solaire  ;  Simulation  ;  Tracé  tridimensionnel  ;  Concentrateur  --  réfraction  interne  ;  Conversion  photovoltaïque Index. décimale : D001284 Résumé : Cette étude consiste à élaborer un programme général d'analyse des dispositifs optiques à réfraction. Le tracé tridimensionnel des rayons solaires et la répartition de l'intensité de sortie ont permis de les caractériser et de trouver un compromis entre le champ et la concentration. L'application du logiciel de simulation sur deux types de concentrateurs(prismatique et sphéro-pyramidal) a donné une nouvelle conception et a ouvert une voie de recherche des phénomènes physiques régissant leur fonctionnement. Conception, modélisation et réalisation des différents optiques à réfraction interne susceptibles d'avoir une intégration élevée dans le générateur photovoltaïque [texte imprimé] / Fethi Benyarou, Auteur ; J. Dugas, Directeur de thèse . - [S.l.] : Université Paris VII, 1984 . - 93 f. : ill. ; 27 cm. Thèse de doctorat : Énergétique : Paris, Université Paris VII : 1984 Annexe f. 95 - 112 . Bibliogr. f. 113 - 114 Langues : Français (fre) Mots-clés : Énergie  solaire  ;  Simulation  ;  Tracé  tridimensionnel  ;  Concentrateur  --  réfraction  interne  ;  Conversion  photovoltaïque Index. décimale : D001284 Résumé : Cette étude consiste à élaborer un programme général d'analyse des dispositifs optiques à réfraction. Le tracé tridimensionnel des rayons solaires et la répartition de l'intensité de sortie ont permis de les caractériser et de trouver un compromis entre le champ et la concentration. L'application du logiciel de simulation sur deux types de concentrateurs(prismatique et sphéro-pyramidal) a donné une nouvelle conception et a ouvert une voie de recherche des phénomènes physiques régissant leur fonctionnement.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D001284	D001284	Papier + ressource électronique	Bibliothèque centrale	Thèse de Doctorat	Disponible	Genie_mecanique	Consultation sur place/Téléchargeable

Documents numériques

BENYAROU.Fethi.pdf URL

Etude de quelques familles particulières de polynômes demi-orthogonaux / Ammar Boukhemis 

Public ISBD Titre : Etude de quelques familles particulières de polynômes demi-orthogonaux Type de document : texte imprimé Auteurs : Ammar Boukhemis, Auteur ; Brezinski, Claude, Directeur de thèse ; André Ronveaux, Directeur de thèse Editeur : Université Paris VII Année de publication : 1985 Importance : 56 f. Format : 27 cm. Note générale : Thèse de Doctorat : Analyse Numérique : Paris, Université Paris VII : 1985 Bibliogr. f. 57 Langues : Français (fre) Mots-clés : Analyse  numérique  ;  Polynômes  1/P  orthogonaux  ;  Polynômes  strictement  demi-orthogonaux  ;  Fonctions  génératrices  ;  Récurrences  d'ordre  supérieur  à  deux  ;  Formes  linéaires  associées  ;  Équations  différentielles  (ou  aux  différences  finies) Index. décimale : D002985 Résumé : On envisage dans ce travail d'étudier quelques familles de polynômes strictement semi-orthogonaux, dits de A type zéro, en déterminant des fonctions génératrices, certaines formes linéaires associées à ces polynômes, ainsi que les équations différentielles (ou au différences finies) et les récurrences qu'elles vérifient. Etude de quelques familles particulières de polynômes demi-orthogonaux [texte imprimé] / Ammar Boukhemis, Auteur ; Brezinski, Claude, Directeur de thèse ; André Ronveaux, Directeur de thèse . - [S.l.] : Université Paris VII, 1985 . - 56 f. ; 27 cm. Thèse de Doctorat : Analyse Numérique : Paris, Université Paris VII : 1985 Bibliogr. f. 57 Langues : Français (fre) Mots-clés : Analyse  numérique  ;  Polynômes  1/P  orthogonaux  ;  Polynômes  strictement  demi-orthogonaux  ;  Fonctions  génératrices  ;  Récurrences  d'ordre  supérieur  à  deux  ;  Formes  linéaires  associées  ;  Équations  différentielles  (ou  aux  différences  finies) Index. décimale : D002985 Résumé : On envisage dans ce travail d'étudier quelques familles de polynômes strictement semi-orthogonaux, dits de A type zéro, en déterminant des fonctions génératrices, certaines formes linéaires associées à ces polynômes, ainsi que les équations différentielles (ou au différences finies) et les récurrences qu'elles vérifient.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D002985	D002985	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

BOUKHEMIS.Ammar.pdf URL

Etude de la régulation de l'expression des récepteurs de la transferrine / Fawzia Louache 

Public ISBD Titre : Etude de la régulation de l'expression des récepteurs de la transferrine Type de document : texte imprimé Auteurs : Fawzia Louache, Auteur ; J. Capeau, Directeur de thèse ; J. Hoebek, Directeur de thèse Editeur : Université Paris VII Année de publication : 1986 Importance : 132 f. Présentation : ill. Format : 27 cm. Note générale : Thèse de Doctorat : Biochimie : Paris, Université Paris VII : 1986 Bibliogr. f. 134 - 158 Langues : Français (fre) Mots-clés : Récepteurs  --  transferrine Transferrine Régulation Prolifération  cellulaire Maturation  cellulaire Ester  --  phorbol Lignées  cellulaires Biochimie Biologie  cellulaire Index. décimale : D002286 Résumé : Dans la première partie de cette thèse, nous avons rappelé des généralités sur le métabolisme intracellulaire du fer, en particulier sur le récepteur de la transferrine. La suite de notre travail a consisté principalement à mettre en évidence l'existence d'une régulation des récepteurs de la transferrine par trois substances physiologiques l'hème, le fer et la protoporphyrine IX. Cette régulation transcriptionnelle module l'entrée du fer et s'exerce par le biais d'un mécanisme de rétro-contrôle négatif, dépendant de la concentration intracellulaire en fer. Nous avons montré que ce même mécanisme de régulation est opérant pendant la croissance des cellules en culture, lors de l'activation de la prolifération et durant le processus de maturation cellulaire. Nous proposons l'hypothèse de l'existence d'un pool endogène de fer qui serait en équilibre avec la ferritine intracellulaire et qui régulerait l'expression du récepteur de la transferrine, de la ferritine et de la sécrétion de transferrine. La taille et la nature de ce pool restent à définir. Nous avons également montré qu'il existe un second type de régulation rapide qui ne fait pas intervenir la synthèse des récepteurs mais qui affecte leur distribution par le biais de leur internalisation. Etude de la régulation de l'expression des récepteurs de la transferrine [texte imprimé] / Fawzia Louache, Auteur ; J. Capeau, Directeur de thèse ; J. Hoebek, Directeur de thèse . - [S.l.] : Université Paris VII, 1986 . - 132 f. : ill. ; 27 cm. Thèse de Doctorat : Biochimie : Paris, Université Paris VII : 1986 Bibliogr. f. 134 - 158 Langues : Français (fre) Mots-clés : Récepteurs  --  transferrine Transferrine Régulation Prolifération  cellulaire Maturation  cellulaire Ester  --  phorbol Lignées  cellulaires Biochimie Biologie  cellulaire Index. décimale : D002286 Résumé : Dans la première partie de cette thèse, nous avons rappelé des généralités sur le métabolisme intracellulaire du fer, en particulier sur le récepteur de la transferrine. La suite de notre travail a consisté principalement à mettre en évidence l'existence d'une régulation des récepteurs de la transferrine par trois substances physiologiques l'hème, le fer et la protoporphyrine IX. Cette régulation transcriptionnelle module l'entrée du fer et s'exerce par le biais d'un mécanisme de rétro-contrôle négatif, dépendant de la concentration intracellulaire en fer. Nous avons montré que ce même mécanisme de régulation est opérant pendant la croissance des cellules en culture, lors de l'activation de la prolifération et durant le processus de maturation cellulaire. Nous proposons l'hypothèse de l'existence d'un pool endogène de fer qui serait en équilibre avec la ferritine intracellulaire et qui régulerait l'expression du récepteur de la transferrine, de la ferritine et de la sécrétion de transferrine. La taille et la nature de ce pool restent à définir. Nous avons également montré qu'il existe un second type de régulation rapide qui ne fait pas intervenir la synthèse des récepteurs mais qui affecte leur distribution par le biais de leur internalisation.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D002286	D002286	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

LOUACHE.Fawzia.pdf URL

Etude de l'anisotropie induite uniaxale dans les couches minces amorphes ferromagnétiques douces Co1-xTix / Kamel Ounadjela 

Public ISBD Titre : Etude de l'anisotropie induite uniaxale dans les couches minces amorphes ferromagnétiques douces Co1-xTix : couplage d'échange avec une couche ferromagnétique dure de CoPtTi Type de document : texte imprimé Auteurs : Kamel Ounadjela, Auteur ; A. Fert, Directeur de thèse ; J. Dixmier, Directeur de thèse Editeur : Université Paris VII Année de publication : 1986 Importance : 218 f. Présentation : ill. Format : 27 cm. Note générale : Thèse de Doctorat : Sciences des Matériaux : Paris, Université Paris VII : 1986 Bibliogr. f. 219 - 229 Langues : Français (fre) Mots-clés : Amorphe Ferromagnétique Couche  mince CoTi Anisotropie  induite Structure Anisotropie  induite  et  locale Index. décimale : D002386 Résumé : Nous avons effectué une étude systématique de l'anisotropie induite uniaxiale dans les couches minces amorphes ferromagnétiques de Co1-x Tix. Les échantillons ont été déposés par pulvérisation radio-fréquence en présence d'un champ magnétique appliqué parallèlement au plan du film. La variation de Ku en fonction de la pression de gaz pulvérisant PAr présente une courbe en forme de cloche avec un maximum bien défini (Ku)max pour PAr ≈ 8.10⁻³ Torr dans la gamme de concentration étudiée. La valeur de (Ku)max décroit avec l'augmentation de la concentration en Ti de 8.10^4 erg/cm³ pour x = 0,14 à 2.10^4 erg/cm³ pour x = 0,21. le champ coercitif Hc est indépendant de Ku et de x et reste compris dans la gamme de 0.2 0e < Hc < 2 0e. Les résultats sont expliqués en accord avec une étude structurale. L'ordre structural à courte distance (S.R.O.) varie en fonction de PAr et de x. Dans le modèle que nous proposons, nous émettons l'hypothèse que le S.R.O. du CoTi est construit d'agrégats de type icosaédrique, octaédrique et héxagonal, la proportion relative de ces trois types d'agrégats variant en fonction de la pression d'argon. La valeur de Ku est essentiellement liée à l'anisotropie locale des agrégats de type h.c.p. Ce modèle permet aussi d'expliquer la fonction de l'anisotropie perpendiculaire au plan du film dans certaines conditions de dépôt. Dans une seconde partie, nous avons déterminé les conditions de préparation d'une couche dure de CoPtTi, nous en avons étudié les propriétés magnétiques et structurales ainsi que le mécanisme de couplage de la couche dure avec la couche douce de CoTi. Etude de l'anisotropie induite uniaxale dans les couches minces amorphes ferromagnétiques douces Co1-xTix : couplage d'échange avec une couche ferromagnétique dure de CoPtTi [texte imprimé] / Kamel Ounadjela, Auteur ; A. Fert, Directeur de thèse ; J. Dixmier, Directeur de thèse . - [S.l.] : Université Paris VII, 1986 . - 218 f. : ill. ; 27 cm. Thèse de Doctorat : Sciences des Matériaux : Paris, Université Paris VII : 1986 Bibliogr. f. 219 - 229 Langues : Français (fre) Mots-clés : Amorphe Ferromagnétique Couche  mince CoTi Anisotropie  induite Structure Anisotropie  induite  et  locale Index. décimale : D002386 Résumé : Nous avons effectué une étude systématique de l'anisotropie induite uniaxiale dans les couches minces amorphes ferromagnétiques de Co1-x Tix. Les échantillons ont été déposés par pulvérisation radio-fréquence en présence d'un champ magnétique appliqué parallèlement au plan du film. La variation de Ku en fonction de la pression de gaz pulvérisant PAr présente une courbe en forme de cloche avec un maximum bien défini (Ku)max pour PAr ≈ 8.10⁻³ Torr dans la gamme de concentration étudiée. La valeur de (Ku)max décroit avec l'augmentation de la concentration en Ti de 8.10^4 erg/cm³ pour x = 0,14 à 2.10^4 erg/cm³ pour x = 0,21. le champ coercitif Hc est indépendant de Ku et de x et reste compris dans la gamme de 0.2 0e < Hc < 2 0e. Les résultats sont expliqués en accord avec une étude structurale. L'ordre structural à courte distance (S.R.O.) varie en fonction de PAr et de x. Dans le modèle que nous proposons, nous émettons l'hypothèse que le S.R.O. du CoTi est construit d'agrégats de type icosaédrique, octaédrique et héxagonal, la proportion relative de ces trois types d'agrégats variant en fonction de la pression d'argon. La valeur de Ku est essentiellement liée à l'anisotropie locale des agrégats de type h.c.p. Ce modèle permet aussi d'expliquer la fonction de l'anisotropie perpendiculaire au plan du film dans certaines conditions de dépôt. Dans une seconde partie, nous avons déterminé les conditions de préparation d'une couche dure de CoPtTi, nous en avons étudié les propriétés magnétiques et structurales ainsi que le mécanisme de couplage de la couche dure avec la couche douce de CoTi.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D002386	D002386	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

OUNADJELA.Kamel.pdf URL