Zobrazeno 1 - 10
of 4 110
pro vyhledávání: '"A. Peyrot"'
Autor:
Castagna, Giuseppe, Peyrot, Loïc
We define and study "row polymorphism" for a type system with set-theoretic types, specifically union, intersection, and negation types. We consider record types that embed row variables and define a subtyping relation by interpreting types into sets
Externí odkaz:
http://arxiv.org/abs/2404.00338
Autor:
Bouvier, Florie, Peyrot, Etienne, Balendran, Alan, Ségalas, Corentin, Roberts, Ian, Petit, François, Porcher, Raphaël
Identifying patients who benefit from a treatment is a key aspect of personalized medicine, which allows the development of individualized treatment rules (ITRs). Many machine learning methods have been proposed to create such rules. However, to what
Externí odkaz:
http://arxiv.org/abs/2308.03398
Autor:
Theraroz, Adélaïde1 (AUTHOR), Guadaño‐Peyrot, Carlos2 (AUTHOR), Archambeau, Juliette1,3 (AUTHOR), Pinosio, Sara4 (AUTHOR), Bagnoli, Francesca4 (AUTHOR), Piotti, Andrea4 (AUTHOR), Avanzi, Camilla4 (AUTHOR), Vendramin, Giovanni G.4 (AUTHOR), Alía, Ricardo2 (AUTHOR), Grivet, Delphine2 (AUTHOR), Westergren, Marjana5 (AUTHOR), González‐Martínez, Santiago C.1 (AUTHOR) santiago.gonzalez‐martinez@inrae.fr
Publikováno v:
Diversity & Distributions. Oct2024, Vol. 30 Issue 10, p1-15. 15p.
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 1 (January 23, 2024) lmcs:9803
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-by-need, that are shown to be observationally equivalent by using type
Externí odkaz:
http://arxiv.org/abs/2207.07143
Publikováno v:
In Psychoneuroendocrinology November 2024 169
Autor:
Oliveira, J. Marques, Sicardy, B., Gomes-Júnior, A. R., Ortiz, J. L., Strobel, D. F., Bertrand, T., Forget, F., Lellouch, E., Desmars, J., Bérard, D., Doressoundiram, A., Lecacheux, J., Leiva, R., Meza, E., Roques, F., Souami, D., Widemann, T., Santos-Sanz, P., Morales, N., Duffard, R., Fernández-Valenzuela, E., Castro-Tirado, A. J., Braga-Ribas, F., Morgado, B. E., Assafin, M., Camargo, J. I. B., Vieira-Martins, R., Benedetti-Rossi, G., Santos-Filho, S., Banda-Huarca, M. V., Quispe-Huaynasi, F., Pereira, C. L., Rommel, F. L., Margoti, G., Dias-Oliveira, A., Colas, F., Berthier, J., Renner, S., Hueso, R., Pérez-Hoyos, S., Sánchez-Lavega, A., Rojas, J. F., Beisker, W., Kretlow, M., Herald, D., Gault, D., Bath, K. -L., Bode, H. -J., Bredner, E., Guhl, K., Haymes, T. V., Hummel, E., Kattentidt, B., Klös, O., Pratt, A., Thome, B., Avdellidou, C., Gazeas, K., Karampotsiou, E., Tzouganatos, L., Kardasis, E., Christou, A. A., Xilouris, E. M., Alikakos, I., Gourzelas, A., Liakos, A., Charmandaris, V., Jelínek, M., Štrobl, J., Eberle, A., Rapp, K., Gährken, B., Klemt, B., Kowollik, S., Bitzer, R., Miller, M., Herzogenrath, G., Frangenberg, D., Brandis, L., Pütz, I., Perdelwitz, V., Piehler, G. M., Riepe, P., von Poschinger, K., Baruffetti, P., Cenadelli, D., Christille, J. -M., Ciabattari, F., Di Luca, R., Alboresi, D., Leto, G., Sanchez, R. Zanmar, Bruno, P., Occhipinti, G., Morrone, L., Cupolino, L., Noschese, A., Vecchione, A., Scalia, C., Savio, R. Lo, Giardina, G., Kamoun, S., Barbosa, R., Behrend, R., Spano, M., Bouchet, E., Cottier, M., Falco, L., Gallego, S., Tortorelli, L., Sposetti, S., Sussenbach, J., Abbeel, F. Van Den, André, P., Llibre, M., Pailler, F., Ardissone, J., Boutet, M., Sanchez, J., Bretton, M., Cailleau, A., Pic, V., Granier, L., Chauvet, R., Conjat, M., Dauvergne, J. L., Dechambre, O., Delay, P., Delcroix, M., Rousselot, L., Ferreira, J., Machado, P., Tanga, P., Rivet, J. -P., Frappa, E., Irzyk, M., Jabet, F., Kaschinski, M., Klotz, A., Rieugnie, Y., Klotz, A. N., Labrevoir, O., Lavandier, D., Walliang, D., Leroy, A., Bouley, S., Lisciandra, S., Coliac, J. -F., Metz, F., Erpelding, D., Nougayrède, P., Midavaine, T., Miniou, M., Moindrot, S., Morel, P., Reginato, B., Reginato, E., Rudelle, J., Tregon, B., Tanguy, R., David, J., Thuillot, W., Hestroffer, D., Vaudescal, G., Aissa, D. Baba, Grigahcene, Z., Briggs, D., Broadbent, S., Denyer, P., Haigh, N. J., Quinn, N., Thurston, G., Fossey, S. J., Arena, C., Jennings, M., Talbot, J., Alonso, S., Reche, A. Román, Casanova, V., Briggs, E., Iglesias-Marzoa, R., Ibáñez, J. Abril, Martín, M. C. Díaz, González, H., García, J. L. Maestre, Marchant, J., Ordonez-Etxeberria, I., Martorell, P., Salamero, J., Organero, F., Ana, L., Fonseca, F., Peris, V., Brevia, O., Selva, A., Perello, C., Cabedo, V., Gonçalves, R., Ferreira, M., Dias, F. Marques, Daassou, A., Barkaoui, K., Benkhaldoun, Z., Guennoun, M., Chouqar, J., Jehin, E., Rinner, C., Lloyd, J., Moutamid, M. El, Lamarche, C., Pollock, J. T., Caton, D. B., Kouprianov, V., Timerson, B. W., Blanchard, G., Payet, B., Peyrot, A., Teng-Chuen-Yu, J. -P., Françoise, J., Mondon, B., Payet, T., Boissel, C., Castets, M., Hubbard, W. B., Hill, R., Reitsema, H. J., Mousis, O., Ball, L., Neilsen, G., Hutcheon, S., Lay, K., Anderson, P., Moy, M., Jonsen, M., Pink, I., Walters, R., Downs, B.
Publikováno v:
A&A 659, A136 (2022)
A stellar occultation by Neptune's main satellite, Triton, was observed on 5 October 2017 from Europe, North Africa, and the USA. We derived 90 light curves from this event, 42 of which yielded a central flash detection. We aimed at constraining Trit
Externí odkaz:
http://arxiv.org/abs/2201.10450
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 3 (July 29, 2024) lmcs:10901
We introduce a call-by-name lambda-calculus $\lambda Jn$ with generalized applications which is equipped with distant reduction. This allows to unblock $\beta$-redexes without resorting to the standard permutative conversions of generalized applicati
Externí odkaz:
http://arxiv.org/abs/2201.04156
Autor:
Pommerell, Félicie, Boyas, Sébastien, Samozino, Pierre, Morel, Baptiste, Begue, Jérémie, Rahmani, Abderrahmane, Peyrot, Nicolas
Publikováno v:
In Journal of Electromyography and Kinesiology December 2024 79
Autor:
Pierau, Lucie, Abbad Andaloussi, Samir, Chiappone, Annalisa, Lajnef, Sonia, Peyrot, Fabienne, Malval, Jean-Pierre, Jockusch, Steffen, Versace, Davy-Louis
Publikováno v:
In European Polymer Journal 24 June 2024 214
Publikováno v:
In Journal of Biomechanics May 2024 168