-
1Dissertation/ Thesis
المؤلفون: Petit, Barbara
Thesis Advisors: Lyon, École normale supérieure, Miquel, Alexandre
مصطلحات موضوعية: Typage, Filtrage, Polymorphisme, Normalisation forte, Candidats de réductibilité, Sémantique catégorique, CPS, Modèles par continuation, Lambda calculus, Pattern matching, Typing, Polymorphism, Strong normalisation, Reducibility candidates, Categorical semantics, Continuation models
-
2Report
-
3
-
4Report
المؤلفون: Petit, Barbara
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1202.4678
-
5Report
المؤلفون: Díaz-Caro, Alejandro, Petit, Barbara
المصدر: Lecture Notes in Computer Science 7456, 216-231 (2012)
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1011.3542
-
6Report
المؤلفون: Petit, Barbara
المصدر: Logical Methods in Computer Science, Volume 7, Issue 1 (March 16, 2011) lmcs:1067
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.2, F.4.3
URL الوصول: http://arxiv.org/abs/1009.3429
-
7Academic Journal
المؤلفون: Faumont, Nathalie, Taoui, Oussama, Collares, Davi, Jais, Jean-Philippe, Leroy, Karen, Prévaud, Léa, Jardin, Fabrice, Molina, Thierry, J, Copie-Bergman, Christiane, Petit, Barbara, Gourin, Marie-Pierre, Bordessoule, Dominique, Troutaud, Danielle, Baud, Véronique, Feuillard, Jean
المساهمون: Contrôle de la Réponse Immune B et des Lymphoproliférations (CRIBL), Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST), Université de Limoges (UNILIM)-Université de Limoges (UNILIM), Imagine - Institut des maladies génétiques (IHU) (Imagine - U1163), Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité), Centre de Recherche des Cordeliers (CRC (UMR_S_1138 / U1138)), École Pratique des Hautes Études (EPHE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU)-Université Paris Cité (UPCité), Génomique et Médecine Personnalisée du Cancer et des Maladies Neuropsychiatriques (GPMCND), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Institut National de la Santé et de la Recherche Médicale (INSERM), Hôpital Necker - Enfants Malades AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Institut Mondor de Recherche Biomédicale (IMRB), Institut National de la Santé et de la Recherche Médicale (INSERM)-IFR10-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), CHU Limoges, Service d'Hématologie clinique et thérapie cellulaire CHU Limoges, Contrôle de l’Activation Cellulaire, Progression Tumorale et Résistance thérapeutique (CAPTuR), Institut Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST)
المصدر: ISSN: 2234-943X ; Frontiers in Oncology ; https://hal.sorbonne-universite.fr/hal-03222399 ; Frontiers in Oncology, 2021, 11, pp.638897. ⟨10.3389/fonc.2021.638897⟩.
مصطلحات موضوعية: DNA binding activity, NF-kappaB, c-Rel, genetic alterations, germinal center B-cell–diffuse large B-cell lymphoma, [SDV]Life Sciences [q-bio]
Relation: info:eu-repo/semantics/altIdentifier/pmid/33959502; PUBMED: 33959502; PUBMEDCENTRAL: PMC8095348
-
8Academic Journal
المؤلفون: Bentayeb, Hafidha, Aitamer, Marine, Petit, Barbara, Dubanet, Lydie, Elderwish, Sabria, Désaubry, Laurent, de Gramont, Armand, Raymond, Eric, Olivrie, Agnès, Abraham, Julie, Jauberteau, Marie-Odile, Troutaud, Danielle
المساهمون: Homéostasie Cellulaire et Pathologies (HCP), Université de Limoges (UNILIM)-CHU Limoges-Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST FR CNRS 3503), CHU Limoges, Substances naturelles/chimie moléculaire, Université Louis Pasteur - Strasbourg I-Ecole européenne de chimie, polymères et matériaux Strasbourg, Université de Strasbourg (UNISTRA)-Université de Strasbourg (UNISTRA)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS), Biochimie cellulaire : relations cycle cellulaire, cytosquelette et traduction (BCRCCCT), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Unité Fonctionnelle Registre Général des Cancers du Limousin (UFRGC), Service d'Hématologie clinique et thérapie cellulaire CHU Limoges, Contrôle de l’Activation Cellulaire, Progression Tumorale et Résistance thérapeutique (CAPTuR), Institut Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST), Université de Limoges (UNILIM)-Université de Limoges (UNILIM)
المصدر: ISSN: 1756-9966 ; Journal of experimental & clinical cancer research ; https://hal.science/hal-02361081 ; Journal of experimental & clinical cancer research, 2019, 38 (1), ⟨10.1186/s13046-019-1440-4⟩.
مصطلحات موضوعية: [SDV.CAN]Life Sciences [q-bio]/Cancer
Relation: hal-02361081; https://hal.science/hal-02361081; https://hal.science/hal-02361081/document; https://hal.science/hal-02361081/file/s13046-019-1440-4.pdf
-
9Conference
المؤلفون: Dal Lago, Ugo, Petit, Barbara
المساهمون: Dipartimento di Scienze dell'Informazione Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)
المصدر: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Proceedings ; https://inria.hal.science/hal-00909318 ; The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Proceedings, 2013, Rome, Italy. pp.167-178
مصطلحات موضوعية: [SCCO.COMP]Cognitive science/Computer science
Relation: hal-00909318; https://inria.hal.science/hal-00909318; https://inria.hal.science/hal-00909318/document; https://inria.hal.science/hal-00909318/file/popl2013.pdf
-
10Conference
المؤلفون: Dal Lago, Ugo, Petit, Barbara
المساهمون: Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna Bologna (UNIBO), Department of Computer Science and Engineering Bologna (DISI), Alma Mater Studiorum Università di Bologna Bologna (UNIBO)
المصدر: ISSN: 0167-6423 ; Science of Computer Programming.
مصطلحات موضوعية: Linear Logic, Type Systems, Complexity Analysis, Implicit Computational Complexity, [INFO]Computer Science [cs]
Relation: hal-01091610; https://hal.inria.fr/hal-01091610; https://hal.inria.fr/hal-01091610/document; https://hal.inria.fr/hal-01091610/file/main.pdf
-
11Academic Journal
المؤلفون: Dubanet, Lydie, Bentayeb, Hafidha, Petit, Barbara, Olivrie, Agnès, Saada, Sofiane, de La Cruz-Morcillo, Miguel A, Lalloué, Fabrice, Gourin, Marie-Pierre, Bordessoule, Dominique, Faumont, Nathalie, Delage-Corre, Manuela, Fauchais, Anne-Laure, Jauberteau-Marchan, Marie-Odile, Troutaud, Danielle
المساهمون: Homéostasie Cellulaire et Pathologies (HCP), Université de Limoges (UNILIM)-CHU Limoges-Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST FR CNRS 3503), Service d'Anatomie Pathologique CHU Limoges, CHU Limoges, Service d'Hématologie clinique et thérapie cellulaire CHU Limoges, Contrôle de la Réponse Immune B et des Lymphoproliférations (CRIBL), Université de Limoges (UNILIM)-Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST FR CNRS 3503)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 0007-0920.
مصطلحات موضوعية: Lymphoma, VEGF, Neurotrophin, Apoptosis, Rituximab, [SDV.CAN]Life Sciences [q-bio]/Cancer
Relation: hal-01500853; https://hal-unilim.archives-ouvertes.fr/hal-01500853; https://hal-unilim.archives-ouvertes.fr/hal-01500853/document; https://hal-unilim.archives-ouvertes.fr/hal-01500853/file/bjc2015274a.pdf
-
12Academic Journal
المؤلفون: Dal Lago, Ugo, Petit, Barbara
المصدر: Science of Computer Programming ; volume 84, page 77-100 ; ISSN 0167-6423
-
13
المؤلفون: Faumont, Nathalie, Taoui, Oussama, Collares, Davi, Jais, Jean-Philippe, Leroy, Karen, Prévaud, Léa, Jardin, Fabrice, Molina, Thierry, Copie-Bergman, Christiane, Petit, Barbara, Gourin, Marie-Pierre, Bordessoule, Dominique, Troutaud, Danielle, Baud, Véronique, Feuillard, Jean
المساهمون: Contrôle de la Réponse Immune B et des Lymphoproliférations (CRIBL), Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST), Université de Limoges (UNILIM)-Université de Limoges (UNILIM), Imagine - Institut des maladies génétiques (IHU) (Imagine - U1163), Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris Cité (UPCité), Centre de Recherche des Cordeliers (CRC (UMR_S_1138 / U1138)), École pratique des hautes études (EPHE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU)-Université Paris Cité (UPCité), Génomique et Médecine Personnalisée du Cancer et des Maladies Neuropsychiatriques (GPMCND), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Institut National de la Santé et de la Recherche Médicale (INSERM), CHU Necker - Enfants Malades [AP-HP], Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Institut Mondor de Recherche Biomédicale (IMRB), Institut National de la Santé et de la Recherche Médicale (INSERM)-IFR10-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), CHU Limoges, Service d'Hématologie clinique et thérapie cellulaire [CHU Limoges], Contrôle de l’Activation Cellulaire, Progression Tumorale et Résistance thérapeutique (CAPTuR), Institut Génomique, Environnement, Immunité, Santé, Thérapeutique (GEIST), Université de Limoges (UNILIM)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM), Institut National de la Santé et de la Recherche Médicale (INSERM)-Université de Paris (UP), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU)-Université de Paris (UP)
المصدر: Frontiers in Oncology
Frontiers in Oncology, Frontiers, 2021, 11, pp.638897. ⟨10.3389/fonc.2021.638897⟩مصطلحات موضوعية: c-Rel, germinal center B-cell–diffuse large B-cell lymphoma, animal structures, genetic alterations, Oncology, [SDV]Life Sciences [q-bio], hemic and lymphatic diseases, embryonic structures, NF-kappaB, DNA binding activity, Original Research
-
14Academic Journal
المؤلفون: Petit, Barbara
مصطلحات موضوعية: General Computer Science, Theoretical Computer Science
Relation: url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/173726
-
15Academic Journal
المؤلفون: Huang, Yenlin, de Reyniès, Aurélien, de Leval, Laurence, Ghazi, Bouchra, Martin-Garcia, Nadine, Travert, Marion, Bosq, Jacques, Brière, Josette, Petit, Barbara, Thomas, Emilie, Coppo, Paul, Marafioti, Teresa, Emile, Jean-François, Delfau-Larue, Marie-Hélène, Schmitt, Christian, Gaulard, Philippe
المساهمون: Institut Mondor de Recherche Biomédicale (IMRB), Institut National de la Santé et de la Recherche Médicale (INSERM)-IFR10-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Département de pathologie Mondor, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Henri Mondor-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), "Cartes d'Identité des Tumeurs " (CIT), Ligue Nationale Contre le Cancer (LNCC), Département de pathologie, Université de Liège-Centre Hospitalier Universitaire Sart Tilman (CHU Sart Tilman), Université de Liège-Centre Hospitalier Universitaire de Liège (CHU-Liège)-Centre Hospitalier Universitaire de Liège (CHU-Liège), Immunologie, dermatologie, oncologie, Oncodermatologie, immunologie et cellules souches cutanées (IDO (U976 / UMR_S 976)), Université Paris Diderot - Paris 7 (UPD7)-Institut National de la Santé et de la Recherche Médicale (INSERM), Département de biologie et pathologie médicales Gustave Roussy, Institut Gustave Roussy (IGR), Service d'anatomo-pathologie Paris, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Université Paris Diderot - Paris 7 (UPD7)-Groupe Hospitalier Saint Louis - Lariboisière - Fernand Widal Paris, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Gvh et Gvl : Physiopathologie Chez l'Homme et Chez l'Animal, Incidence et Role Therapeutique, Service d'Hématologie biologique CHU Limoges, CHU Limoges, CHU Saint-Antoine AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Leukaemia Research Immunodiagnostics Unit, University of Oxford-John Radcliffe Hospital Oxford University Hospital, Service d'anatomie pathologique CHU Ambroise-Paré, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Ambroise Paré AP-HP, Biomarqueurs et essais cliniques en Cancérologie et Onco-Hématologie (BECCOH), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Université Paris-Saclay, Service d'immunologie biologique, This work was supported by the Institut National de la Santé et de la Recherche Médicale (INSERM), the Institut National du Cancer (INCa), the Belgian National Fund for Scientific Research (FNRS), and the Association pour la Recherche Thérapeutique, Génétique et Immunologique dans les Lymphomes (ARTGIL). Y.H. was supported by the Ligue Nationale Contre le Cancer.
المصدر: ISSN: 0006-4971.
مصطلحات موضوعية: [SDV.BBM]Life Sciences [q-bio]/Biochemistry, Molecular Biology
Relation: info:eu-repo/semantics/altIdentifier/pmid/19965620; PUBMED: 19965620
الاتاحة: https://inserm.hal.science/inserm-00462629
https://inserm.hal.science/inserm-00462629v1/document
https://inserm.hal.science/inserm-00462629v1/file/BLOOD-2009-221275v3-Gaulard.pdf
https://inserm.hal.science/inserm-00462629v1/file/inserm-00462629_edited.pdf
https://doi.org/10.1182/blood-2009-05-221275 -
16Academic Journal
المؤلفون: Huang, Yenlin, Moreau, Anne, Dupuis, Jehan, Streubel, Berthold, Petit, Barbara, Le Gouill, Steven, Martin-Garcia, Nadine, Copie-Bergman, Christiane, Gaillard, Fanny, Qubaja, Marwan, Fabiani, Bettina, Roncador, Giovanna, Haioun, Corinne, Delfau-Larue, Marie-Hélène, Marafioti, Teresa, Chott, Andreas, Gaulard, Philippe
المساهمون: Institut Mondor de Recherche Biomédicale (IMRB), Institut National de la Santé et de la Recherche Médicale (INSERM)-IFR10-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Département de pathologie Mondor, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôpital Henri Mondor-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Centre de Recherche en Cancérologie Nantes-Angers (CRCNA), Université d'Angers (UA)-Centre Hospitalier Universitaire d'Angers (CHU Angers), PRES Université Nantes Angers Le Mans (UNAM)-PRES Université Nantes Angers Le Mans (UNAM)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Centre Hospitalier Universitaire de Nantes = Nantes University Hospital (CHU Nantes)-Université de Nantes - UFR de Médecine et des Techniques Médicales (UFR MEDECINE), Université de Nantes (UN)-Université de Nantes (UN), Service d'hématologie clinique, Departement of Pathology, Medizinische Universität Wien = Medical University of Vienna, Service d'Hématologie biologique CHU Limoges, CHU Limoges, Hôpital Hôtel-Dieu Paris, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Service de Pathologie, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Hôtel-Dieu, CHU Saint-Antoine AP-HP, Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU), Monoclonal antibodies unit, Centro Nacional de Investigaciones Oncológicas, Service d'immunologie biologique, Leukaemia Research Immunodiagnostics Unit, University of Oxford-John Radcliffe Hospital Oxford University Hospital
المصدر: ISSN: 0147-5185 ; American Journal of Surgical Pathology ; https://inserm.hal.science/inserm-00385332 ; American Journal of Surgical Pathology, 2009, 33 (5), pp.682-90. ⟨10.1097/PAS.0b013e3181971591⟩.
مصطلحات موضوعية: peripheral T-cell lymphoma, angioimmunoblastic T-cell lymphoma, follicular helper T cell, MESH: Adult, MESH: Aged, MESH: Chromosomes, Human, Pair 9, MESH: DNA-Binding Proteins, MESH: Europe, MESH: Gene Expression Regulation, Neoplastic, MESH: Gene Rearrangement, T-Lymphocyte, MESH: Genotype, MESH: Humans, MESH: Immunoblastic Lymphadenopathy, MESH: Immunophenotyping, MESH: In Situ Hybridization, Fluorescence, 80 and over, MESH: Lymphoma, Follicular, T-Cell, Peripheral, MESH: Middle Aged, MESH: Neoplasm Staging, MESH: Neprilysin, MESH: Phenotype, MESH: T-Lymphocytes
Relation: info:eu-repo/semantics/altIdentifier/pmid/19295409; PUBMED: 19295409; PUBMEDCENTRAL: PMC4838638
-
17Academic Journal
المؤلفون: Vincent, Christelle, Truffinet, Véronique, Fiancette, Remi, Petit, Barbara, Cogné, Nadine, Cogné, Michel, Denizot, Yves
المساهمون: Ligue Contre le Cancer, Conseil Régional du Limousin
المصدر: Biochimica et Biophysica Acta (BBA) - Molecular Cell Research ; volume 1793, issue 2, page 418-426 ; ISSN 0167-4889
-
18Academic Journal
المؤلفون: Izambart, Céline, Robert, Pierre-Yves, Petellat, Fabien, Petit, Barbara, Gastaud, Pierre, Lagier, Jacques, Labrousse, François, Adenis, Jean-Paul
المصدر: Orbit ; volume 27, issue 5, page 345-349 ; ISSN 0167-6830 1744-5108
-
19
المؤلفون: Hafidha Bentayeb, Aitamer, Marine, Petit, Barbara, Dubanet, Lydie, Elderwish, Sabria, DĂŠsaubry, Laurent, Gramont, Armand, Raymond, Eric, AgnèS Olivrie, Abraham, Julie, Marie-Odile Jauberteau, Troutaud, Danielle
-
20Academic Journal
المؤلفون: Pellerin, S, Blatz, A, Petit, Barbara
المصدر: ISSN: 0249-5627.
مصطلحات موضوعية: [SDV.SA]Life Sciences [q-bio]/Agricultural sciences, [SDV.EE]Life Sciences [q-bio]/Ecology, environment
Relation: hal-00885345; https://hal.science/hal-00885345; https://hal.science/hal-00885345/document; https://hal.science/hal-00885345/file/hal-00885345.pdf