المؤلفون: Andrès, Léo, Marques, Filipe, Carcano, Arthur, Chambart, Pierre, Santos, José Fragoso, Filliâtre, Jean-Christophe

المصدر: The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 3

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2412.06391

المؤلفون: Ding C., Filliatre P., Desgranges L.

المصدر: EPJ Web of Conferences, Vol 253, p 05002 (2021)

مصطلحات موضوعية: sodium fast reactors, phenix reactor, cladding failure detection, transfer function, Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.epj-conferences.org/articles/epjconf/pdf/2021/07/epjconf_animma2021_05002.pdf; https://doaj.org/toc/2100-014X

URL الوصول: https://doaj.org/article/a464cea5fe4f4efb94111fe113b5ff1e

المؤلفون: de Izarra G., Geslot B., Bréaud S., Pepino A., Villard J-F., Filliatre P.

المصدر: EPJ Web of Conferences, Vol 225, p 03006 (2020)

مصطلحات موضوعية: Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.epj-conferences.org/articles/epjconf/pdf/2020/01/epjconf_animma2019_03006.pdf; https://doaj.org/toc/2100-014X

URL الوصول: https://doaj.org/article/d9570f147eea462a8703f921ab221adf

المؤلفون: de Izarra G., Lamotte M., Bréaud S., Pépino A., Filliatre P., Jammes C.

المصدر: EPJ Web of Conferences, Vol 225, p 10003 (2020)

مصطلحات موضوعية: Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.epj-conferences.org/articles/epjconf/pdf/2020/01/epjconf_animma2019_10003.pdf; https://doaj.org/toc/2100-014X

URL الوصول: https://doaj.org/article/2d059953059c4b98ac35aca30909d42b

المؤلفون: Filliatre, P.

المساهمون: European Commission, EUROfusion Consortium Research Institutions

المصدر: Fusion Engineering and Design ; volume 202, page 114332 ; ISSN 0920-3796

الاتاحة: http://dx.doi.org/10.1016/j.fusengdes.2024.114332
https://api.elsevier.com/content/article/PII:S0920379624001856?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0920379624001856?httpAccept=text/plain

المؤلفون: Ding, C., Filliatre, P., Desgranges, L.

المصدر: Nuclear Engineering and Design ; volume 403, page 112149 ; ISSN 0029-5493

الاتاحة: http://dx.doi.org/10.1016/j.nucengdes.2022.112149
https://api.elsevier.com/content/article/PII:S0029549322005003?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0029549322005003?httpAccept=text/plain

المؤلفون: Filliatre, P., Bréaud, S., Pepino, A., Destouches, C.

المصدر: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment ; volume 1048, page 167882 ; ISSN 0168-9002

الاتاحة: http://dx.doi.org/10.1016/j.nima.2022.167882
https://api.elsevier.com/content/article/PII:S0168900222011743?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0168900222011743?httpAccept=text/plain

المؤلفون: Boldo, Sylvie, Clément, François, Filliâtre, Jean-Christophe, Mayero, Micaela, Melquiond, Guillaume, Weis, Pierre

مصطلحات موضوعية: Mathematics - Numerical Analysis, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1212.6641

المؤلفون: Boldo, Sylvie, Clement, Francois, Filliâtre, Jean-Christophe, Mayero, Micaela, Melquiond, Guillaume, Weis, Pierre

المصدر: Journal of Automated Reasoning 50, 4 (2013) 423-456

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Numerical Analysis

URL الوصول: http://arxiv.org/abs/1112.1795

المؤلفون: Boldo, Sylvie, Clément, François, Filliâtre, Jean-Christophe, Mayero, Micaela, Melquiond, Guillaume, Weis, Pierre

المصدر: Interactive Theorem Proving 6172 (2010) 147-162

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Numerical Analysis

URL الوصول: http://arxiv.org/abs/1005.0824

المؤلفون: D'Elia, V., Fiore, F., Meurs, E., Chincarini, G., Melandri, A., Norci, L., Pellizza, L., Perna, R., Piranomonte, S., Sbordone, L., Stella, L., Tagliaferri, G., Vergani, S., Ward, P., Angelini, L., Antonelli, L. A., Burrows, D. N., Campana, S., Capalbi, M., Caraveo, P. A., Cimatti, A., Costa, E., Cusumano, G., D'Avanzo, P., Della Valle, M., Filliatre, P., Frontera, A. Fontana F., Fugazza, D., Gehrels, N., Giannini, T., Giommi, P., Goldoni, P., Guetta, D., Israel, G., Lazzati, D., Malesani, D., Marconi, G., Mason, K., Mereghetti, S., Molinari, E., Moretti, A., Nousek, J., Perri, M., Piro, L., Stratta, G., Testa, V., Vietri, M.

المصدر: Astron.Astrophys.467:629-639,2007

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0609825

المؤلفون: Della Valle, M., Malesani, D., Bloom, J. S., Benetti, S., Chincarini, G., D'Avanzo, P., Foley, R. J., Covino, S., Melandri, A., Piranomonte, S., Tagliaferri, G., Stella, L., Gilmozzi, R., Antonelli, L. A., Campana, S., Chen, H. -W., Filliatre, P., Fiore, F., Fugazza, D., Gehrels, N., Hurley, K., Mirabel, I. F., Pellizza, L. J., Piro, L., Prochaska, J. X.

المصدر: Astrophys.J.642:L103-L106,2006

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0604109

المؤلفون: Macias-Perez, J. F., Lagache, G., Maffei, B., Ade, P., Amblard, A., Ansari, R., Aubourg, E., Aumont, J., Bargot, S., Bartlett, J., Benoit, A., Bernard, J. Ph., Bhatia, R., Blanchard, A., Bock, J. J., Boscaleri, A., Bouchet, F. R., Bourrachot, A., Camus, P., Cardoso, J. -F., Couchot, F., de Bernardis, P., Delabrouille, J., Desert, F. X., Doré, O., Douspis, M., Dumoulin, L., Dupac, X., Filliatre, Ph., Fosalba, P., Ganga, K., Gannaway, F., Gautier, B., Giard, M., Heraud, Y. Giraud, Gispert, R., Guglielmi, L., Hamilton, J. Ch., Hanany, S., Versille, S. Henrot, Hristov, V., Kaplan, J., Lamarre, J. -M., Lange, A. E., Madet, K., Magneville, Ch., Marrone, D. P., Masi, S., Mayet, F., Murphy, J. A., Naraghi, F., Nati, F., Patanchon, G., Perdereau, O., Plaszczynski, G. Perrin S., Piat, M., Ponthieu, N., Prunet, S., Puget, J. L., Renault, C., Rosset, C., Santos, D., Starobinsky, A., Strukov, I., Sudiwala, R. V., Teyssier, R., Tristram, M., Tucker, C., Vanel, J. Ch., Vibert, D., Wakui, E., Yvon, D.

المصدر: Astron.Astrophys.467:1313-1344,2007

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0603665

المؤلفون: D'Avanzo, P., Filliatre, P., Goldoni, P., Antonelli, L. A., Campana, S., Chincarini, G., Covino, S., Cucchiara, A., Della Valle, M., De Luca, A., Foley, S., Fugazza, D., Gehrels, N., Götz, D., Hanlon, L., Israel, G. L., Malesani, D., McBreen, B., McBreen, S., McGlynn, S., Mereghetti, S., Moran, L., Nousek, J. A., Perna, R., Stella, L., Tagliaferri, G.

المصدر: AIPConf.Proc.836:467-470,2006

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0601567

المؤلفون: Filliatre, P., Covino, S., D'Avanzo, P., De Luca, A., Gotz, D., McGlynn, S., McBreen, S., Fugazza, D., Antonelli, A., Campana, S., Chincarini, G., Cucchiara, A., Della Valle, M., Foley, S., Goldoni, P., Hanlon, L., Israel, G., McBreen, B., Mereghetti, S., Stella, L., Tagliaferri, G.

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0511722

المؤلفون: Covino, S., Malesani, D., Israel, G. L., D'Avanzo, P., Antonelli, L. A., Chincarini, G., Fugazza, D., Conciatore, M. L., Della Valle, M., Fiore, F., Guetta, D., Hurley, K., Lazzati, D., Stella, L., Tagliaferri, G., Vietri, M., Campana, S., Burrows, D. N., D'Elia, V., Filliatre, P., Gehrels, N., Goldoni, P., Melandri, A., Mereghetti, S., Mirabel, I. F., Moretti, A., Nousek, J. A., O'Brien, P. T., Pellizza, L. J., Perna, R., Piranomonte, S., Romano, P., Zerbi, F. M.

المصدر: Astron.Astrophys.447:L5-L8,2006

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0509144

المؤلفون: Malesani, D., Covino, S., Rossi, E. M., Lazzati, D., De Luca, A., Filliatre, P., Tagliaferri, G.

المصدر: Nuovo Cim.C28:515-520,2005

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0505294

المؤلفون: Filliatre, P., D'Avanzo, P., Covino, S., Malesani, D., Tagliaferri, G., McGlynn, S., Moran, L., Goldoni, P., Campana, S., Chincarini, G., Stella, L., Della Valle, M., Gehrels, N., McBreen, S., Hanlon, L., McBreen, B., Nousek, J. A., Perna, R.

المصدر: Astron.Astrophys.438:793-801,2005

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0503688

المؤلفون: Ponthieu, N., Macías-Pérez, J. F., Tristram, M., Ade, P., Amblard, A., Ansari, R., Aumont, J., Aubourg, É., Benoît, A., Bernard, J. -Ph., Blanchard, A., Bock, J. J., Bouchet, F. R., Bourrachot, A., Camus, P., Cardoso, J. -F., Couchot, F., de Bernardis, P., Désert, J. Delabrouille F. -X., Douspis, M., Dumoulin, L., Filliatre, Ph., Fosalba, P., Giard, M., Giraud-Héraud, Y., Gispert, R., Grain, J., Guglielmi, L., Hamilton, J. -Ch., Hanany, S., Henrot-Versillé, S., Kaplan, J., Lagache, G., Lange, A. E., Madet, K., Maffei, B., Masi, S., Mayet, F., Nati, F., Patanchon, G., Perdereau, O., Plaszczynski, S., Piat, M., Prunet, S., Puget, J. -L., Renault, C., Rosset, C., Santos, D., Vibert, D., Yvon, D.

المصدر: Astron.Astrophys.444:327,2005

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0501427

المؤلفون: Tristram, M., Patanchon, G., Macias-Perez, J. F., Ade, P., Amblard, A., Ansari, R., Aubourg, E., Benoit, A., Bernard, J. -Ph., Blanchard, A., Bock, J. J., Bouchet, F. R., Bourrachot, A., Camus, P., Cardoso, J. -F., Couchot, F., de Bernardis, P., Delabrouille, J., Desert, F. -X., Douspis, M., Dumoulin, L., Filliatre, Ph., Fosalba, P., Giard, M., Giraud-Heraud, Y., Gispert, R., Guglielmi, L., Hamilton, J. -Ch., Hanany, S., Henrot-Versille, S., Kaplan, J., Lagache, G., Lamarre, J. -M., Lange, A. E., Madet, K., Maffei, B., Magneville, Ch., Masi, S., Mayet, F., Nati, F., Perdereau, O., Plaszczynski, S., Piat, M., Ponthieu, N., Prunet, S., Renault, C., Rosset, C., Santos, D., Vibert, D., Yvon, D.

المصدر: Astron.Astrophys. 436 (2005) 785-797

مصطلحات موضوعية: Astrophysics

URL الوصول: http://arxiv.org/abs/astro-ph/0411633