Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Pujet, P."'
We present an extensive mechanization of the meta-theory of Martin-L\"of Type Theory (MLTT) in the Coq proof assistant. Our development builds on pre-existing work in Agda to show not only the decidability of conversion, but also the decidability of
Externí odkaz:
http://arxiv.org/abs/2310.06376
Autor:
Bonnefoy, M., Zurlo, A., Baudino, J. L., Lucas, P., Mesa, D., Maire, A. -L., Vigan, A., Galicher, R., Homeier, D., Marocco, F., Gratton, R., Chauvin, G., Allard, F., Desidera, S., Kasper, M., Moutou, C., Lagrange, A. -M., Baruffolo, A., Baudrand, J., Beuzit, J. -L., Boccaletti, A., Cantalloube, F., Carbillet, M., Charton, J., Claudi, R. U., Costille, A., Dohlen, K., Dominik, C., Fantinel, D., Feautrier, P., Feldt, M., Fusco, T., Gigan, P., Girard, J. H., Gluck, L., Gry, C., Henning, T., Janson, M., Langlois, M., Madec, F., Magnard, Y., Maurel, D., Mawet, D., Meyer, M. R., Milli, J., Moeller-Nilsson, O., Mouillet, D., Pavlov, A., Perret, D., Pujet, P., Quanz, S. P., Rochat, S., Rousset, G., Roux, A., Salasnich, B., Salter, G., Sauvage, J. -F., Schmid, H. M., Sevin, A., Soenke, C., Stadler, E., Turatto, M., Udry, S., Vakili, F., Wahhaj, Z., Wildi, F.
Publikováno v:
A&A 587, A58 (2016)
The system of four planets around HR8799 offers a unique opportunity to probe the physics and chemistry at play in the atmospheres of self-luminous young (~30 Myr) planets. We recently obtained new photometry of the four planets and low-resolution (R
Externí odkaz:
http://arxiv.org/abs/1511.04082
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jean-Claude Pujet
Publikováno v:
Revista Portuguesa de Pneumologia, Vol 8, Iss 5, Pp 439-445 (2002)
Externí odkaz:
https://doaj.org/article/a739933354ac4a46a4b21dd502513a70
Autor:
Bonnefoy, M., Zurlo, A., Baudino, J., Lucas, P., Mesa, D., Maire, A.-L., Vigan, A., Galicher, R., Homeier, D., Marocco, F., Gratton, R., Chauvin, G., Allard, F., Desidera, S., Kasper, M., Moutou, C., Lagrange, A.-M., Antichi, J., Baruffolo, A., Baudrand, J., Beuzit, J.-L., Boccaletti, A., Cantalloube, F., Carbillet, M., Charton, J., Claudi, R., Costille, A., Dohlen, K., Dominik, C., Fantinel, D., Feautrier, P., Feldt, M., Fusco, T., Gigan, P., Girard, J., Gluck, L., Gry, C., Henning, T., Janson, M., Langlois, M., Madec, F., Magnard, Y., Maurel, D., Mawet, D., Meyer, M., Milli, J., Moeller-Nilsson, O., Mouillet, D., Pavlov, A., Perret, D., Pujet, P., Quanz, S., Rochat, S., Rousset, G., Roux, A., Salasnich, B., Salter, G., Sauvage, J.-F., Schmid, H., Sevin, A., Soenke, C., Stadler, E., Turatto, M., Udry, S., Vakili, F., Wahhaj, Z., Wildi, F.
Publikováno v:
Astronomy and Astrophysics-A&A
Astronomy and Astrophysics-A&A, EDP Sciences, 2016, 587, pp.A58. ⟨10.1051/0004-6361/201526906⟩
Astronomy and Astrophysics-A&A, EDP Sciences, 2016, 587, pp.A58. ⟨10.1051/0004-6361/201526906⟩
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::d737c21a749ef383e723735ed3e75b81
https://hal.archives-ouvertes.fr/hal-03473304
https://hal.archives-ouvertes.fr/hal-03473304
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Herique, A., Barucci, A., Beck, P., Biele, J., Clifford, S., Jean-Pierre Goutail, Essam Heggy, Wlodek Kofman, Jérémie Lasue, Anny Chantal Levasseur-Regourd, Michel, P., Erling Nielsen, Ono, T., Pujet, P., Plettemeier, D., Ulamec, S., Zine, S.
Publikováno v:
AGU Fall Meeting 2010
AGU Fall Meeting 2010, Dec 2010, San Francisco, United States
HAL
AGU Fall Meeting 2010, Dec 2010, San Francisco, United States
HAL
ASteroid Sounding Experiment by Radiowaves Transmission is a radar to instrument the Mascot lander which is proposed in the frame future Hayabusa 2 Jaxa mission. This low frequency radar is a unique opportunity to sound the internal structure of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fea992a31a546d417b526b06fd11d0a0
https://hal.archives-ouvertes.fr/hal-00793065
https://hal.archives-ouvertes.fr/hal-00793065
Autor:
Herique, A., Kofman, W., Barucci, A., Biele, Jens, Clifford, S., Goutail, J.-P., Heggy, E., Ho, T., Kumamoto, A., Lasue, J., Levasseur-Regourd, A.-C., Michel, P., Nielsen, E., Ono, T., Pujet, P., Plettmeier, D., Ulamec, Stephan, Zine, S.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1640::13247854fab77e4513a55a686be53165
https://elib.dlr.de/68265/
https://elib.dlr.de/68265/
Autor:
Herique, A., Kofman, W. W., Barucci, A., Beck, P., Biele, J., Clifford, S. M., Goutail, Jean-Pierre, Heggy, E., Ho, T., Kumamoto, A., Lasue, Jérémie, Levasseur-Regourd, Anny Chantal, Michel, P., Nielsen, E., Ono, T., Pujet, P., Plettemeier, D., Ulamec, S., Zine, S.
Publikováno v:
American Geophysical Union Fall Meeting 2010
American Geophysical Union Fall Meeting 2010, Dec 2010, San Francisco, United States. pp.abstract id.P33E-04
American Geophysical Union Fall Meeting 2010, Dec 2010, San Francisco, United States. pp.abstract id.P33E-04
International audience; ASteroid Sounding Experiment by Radiowaves Transmission is a radar to instrument the Mascot lander which is proposed in the frame future Hayabusa 2 Jaxa mission. This low frequency radar is a unique opportunity to sound the in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2417::a5a943604b8e6a3186eb3da7899d88dd
https://hal.science/hal-04115187
https://hal.science/hal-04115187
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.