Zobrazeno 1 - 10
of 4 095
pro vyhledávání: '"PEYROT A"'
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:
María Magdalena Martínez-Jaime, Hortensia Reyes-Morales, Ixchel Peyrot-Negrete, Mauricio Sebastián Barrientos-Álvarez
Publikováno v:
BMC Health Services Research, Vol 24, Iss 1, Pp 1-14 (2024)
Abstract Background In Mexico, this pioneering research was undertaken to assess the accessibility of timely diagnosis of Dyads [Children and adolescents with Attention Deficit Hyperactivity Disorder (ADHD) and their primary caregivers] at specialize
Externí odkaz:
https://doaj.org/article/4919861df76748998c3f222f62ce20e9
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.
Autor:
Florie Bouvier, Anna Chaimani, Etienne Peyrot, François Gueyffier, Guillaume Grenet, Raphaël Porcher
Publikováno v:
BMC Medical Research Methodology, Vol 24, Iss 1, Pp 1-15 (2024)
Abstract Background One key aspect of personalized medicine is to identify individuals who benefit from an intervention. Some approaches have been developed to estimate individualized treatment effects (ITE) with a single randomized control trial (RC
Externí odkaz:
https://doaj.org/article/84138b58838a4f71989c3d8928452eed
Autor:
Peyrot A. H.
Publikováno v:
Oil & Gas Science and Technology, Vol 35, Iss 5, Pp 833-848 (2006)
A new method for the static and dynamic analysis of offshore cable structures is presented. These structures may consist of floating platform, buoys, weights, anchors, etc. interconnected by arbitrary arrangements of cables and flexible pipes. Displa
Externí odkaz:
https://doaj.org/article/34b71b3aafa646918eda02984d24e5b9
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:
Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
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:
https://doaj.org/article/a452807b5ef745c89148dd8613438de1
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