Zobrazeno 1 - 10
of 97
pro vyhledávání: '"Petit, Barbara"'
Autor:
Petit, Barbara
Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage. Le filtrage à la ML y est décomposé en deux étapes: une analyse de cas sur des constantes (telle l'instruction «c
Externí odkaz:
http://www.theses.fr/2011ENSL0628/document
Autor:
Lago, Ugo Dal, Petit, Barbara
We show that time complexity analysis of higher-order functional programs can be effectively reduced to an arguably simpler (although computationally equivalent) verification problem, namely checking first-order inequalities for validity. This is don
Externí odkaz:
http://arxiv.org/abs/1210.6857
Autor:
Lago, Ugo Dal, Petit, Barbara
Linear dependent types allow to precisely capture both the extensional behaviour and the time complexity of lambda terms, when the latter are evaluated by Krivine's abstract machine. In this work, we show that the same paradigm can be applied to call
Externí odkaz:
http://arxiv.org/abs/1207.5592
Autor:
Petit, Barbara
The lambda calculus with constructors is an extension of the lambda calculus with variadic constructors. It decomposes the pattern-matching a la ML into a case analysis on constants and a commutation rule between case and application constructs. Alth
Externí odkaz:
http://arxiv.org/abs/1202.4678
Autor:
Díaz-Caro, Alejandro, Petit, Barbara
Publikováno v:
Lecture Notes in Computer Science 7456, 216-231 (2012)
We consider the non-deterministic extension of the call-by-value lambda calculus, which corresponds to the additive fragment of the linear-algebraic lambda-calculus. We define a fine-grained type system, capturing the right linearity present in such
Externí odkaz:
http://arxiv.org/abs/1011.3542
Autor:
Petit, Barbara
Publikováno v:
Logical Methods in Computer Science, Volume 7, Issue 1 (March 16, 2011) lmcs:1067
We present a Curry-style second-order type system with union and intersection types for the lambda-calculus with constructors of Arbiser, Miquel and Rios, an extension of lambda-calculus with a pattern matching mechanism for variadic constructors. We
Externí odkaz:
http://arxiv.org/abs/1009.3429
Autor:
Jaccard, Arnaud, Gachard, Nathalie, Marin, Benoit, Rogez, Sylvie, Audrain, Marie, Suarez, Felipe, Tilly, Hervé, Morschhauser, Franck, Thieblemont, Catherine, Ysebaert, Loic, Devidas, Alain, Petit, Barbara, de Leval, Laurence, Gaulard, Philippe, Feuillard, Jean, Bordessoule, Dominique, Hermine, Olivier
Publikováno v:
In Blood 10 February 2011 117(6):1834-1839
Autor:
Troutaud, Danielle, Petit, Barbara, Bellanger, Cynthia, Marin, Benoît, Gourin-Chaury, Marie-Pierre, Petit, Daniel, Olivrie, Agnès, Feuillard, Jean, Jauberteau, Marie-Odile, Bordessoule, Dominique
Publikováno v:
In Clinical Lymphoma Myeloma and Leukemia April 2010 10(2):118-124
Autor:
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 *
Publikováno v:
In Blood 11 February 2010 115(6):1226-1237
Autor:
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
Publikováno v:
Frontiers in Oncology
Frontiers in Oncology, Frontiers, 2021, 11, pp.638897. ⟨10.3389/fonc.2021.638897⟩
Frontiers in Oncology, Frontiers, 2021, 11, pp.638897. ⟨10.3389/fonc.2021.638897⟩
International audience; Relationships between c-Rel and GCB-DLBCLs remain unclear. We found that strong c-Rel DNA-binding activity was mostly found in GCBs on two independent series of 48 DLBCLs and 66 DLBCLs, the latter issued from the GHEDI series.