Zobrazeno 1 - 10
of 4 465
pro vyhledávání: '"P Giacobbe"'
We introduce a machine learning approach to model checking temporal logic, with application to formal hardware verification. Model checking answers the question of whether every execution of a given system satisfies a desired temporal logic specifica
Externí odkaz:
http://arxiv.org/abs/2410.23790
Autor:
Stangret, M., Fossati, L., D'Arpa, M. C., Borsa, F., Nascimbeni, V., Malavolta, L., Sicilia, D., Pino, L., Biassoni, F., Bonomo, A. S., Brogi, M., Claudi, R., Damasso, M., Di Maio, C., Giacobbe, P., Guilluy, G., Harutyunyan, A., Lanza, A. F., Fiorenzano, A. F. Martinez, Mancini, L., Nardiello, D., Scandariato, G., Sozzetti, A., Zingales, T.
Ultra-hot Jupiters (UHJs) are gas giant planets orbiting close to their host star, with equilibrium temperatures exceeding 2000 K, and among the most studied planets in terms of their atmospheric composition. Thanks to a new generation of ultra-stabl
Externí odkaz:
http://arxiv.org/abs/2410.11731
Autor:
Marconi, A., Abreu, M., Adibekyan, V., Alberti, V., Albrecht, S., Alcaniz, J., Aliverti, M., Prieto, C. Allende, Gómez, J. D. Alvarado, Alves, C. S., Amado, P. J., Amate, M., Andersen, M. I., Antoniucci, S., Artigau, E., Bailet, C., Baker, C., Baldini, V., Balestra, A., Barnes, S. A., Baron, F., Barros, S. C. C., Bauer, S. M., Beaulieu, M., Bellido-Tirado, O., Benneke, B., Bensby, T., Bergin, E. A., Berio, P., Biazzo, K., Bigot, L., Bik, A., Birkby, J. L., Blind, N., Boebion, O., Boisse, I., Bolmont, E., Bolton, J. S., Bonaglia, M., Bonfils, X., Bonhomme, L., Borsa, F., Bouret, J. -C., Brandeker, A., Brandner, W., Broeg, C. H., Brogi, M., Brousseau, D., Brucalassi, A., Brynnel, J., Buchhave, L. A., Buscher, D. F., Cabona, L., Cabral, A., Calderone, G., Calvo-Ortega, R., Cantalloube, F., Martins, B. L. Canto, Carbonaro, L., Caujolle, Y., Chauvin, G., Chazelas, B., Cheffot, A. -L., Cheng, Y. S., Chiavassa, A., Christensen, L., Cirami, R., Cirasuolo, M., Cook, N. J., Cooke, R. J., Coretti, I., Covino, S., Cowan, N., Cresci, G., Cristiani, S., Parro, V. Cunha, Cupani, G., D'Odorico, V., Dadi, K., Leão, I. de Castro, De Cia, A., De Medeiros, J. R., Debras, F., Debus, M., Delorme, A., Demangeon, O., Derie, F., Dessauges-Zavadsky, M., Di Marcantonio, P., Di Stefano, S., Dionies, F., de Souza, A. Domiciano, Doyon, R., Dunn, J., Egner, S., Ehrenreich, D., Faria, J. P., Ferruzzi, D., Feruglio, C., Fisher, M., Fontana, A., Frank, B. S., Fuesslein, C., Fumagalli, M., Fusco, T., Fynbo, J., Gabella, O., Gaessler, W., Gallo, E., Gao, X., Genolet, L., Genoni, M., Giacobbe, P., Giro, E., Goncalves, R. S., Gonzalez, O. A., Hernández, J. I. González, Gouvret, C., Temich, F. Gracia, Haehnelt, M. G., Haniff, C., Hatzes, A., Helled, R., Hoeijmakers, H. J., Hughes, I., Huke, P., Ivanisenko, Y., Järvinen, A. S., Järvinen, S. P., Kaminski, A., Kern, J., Knoche, J., Kordt, A., Korhonen, H., Korn, A. J., Kouach, D., Kowzan, G., Kreidberg, L., Landoni, M., Lanotte, A. A., Lavail, A., Lavie, B., Lee, D., Lehmitz, M., Li, J., Li, W., Liske, J., Lovis, C., Lucatello, S., Lunney, D., MacIntosh, M. J., Madhusudhan, N., Magrini, L., Maiolino, R., Maldonado, J., Malo, L., Man, A. W. S., Marquart, T., Marques, C. M. J., Marques, E. L., Martinez, P., Martins, A., Martins, C. J. A. P., Martins, J. H. C., Maslowski, P., Mason, C. A., Mason, E., McCracken, R. A., Sousa, M. A. F. Melo e, Mergo, P., Micela, G., Milaković, D., Molliere, P., Monteiro, M. A., Montgomery, D., Mordasini, C., Morin, J., Mucciarelli, A., Murphy, M. T., N'Diaye, M., Nardetto, N., Neichel, B., Neri, N., Niedzielski, A. T., Niemczura, E., Nisini, B., Nortmann, L., Noterdaeme, P., Nunes, N. J., Oggioni, L., Olchewsky, F., Oliva, E., Onel, H., Origlia, L., Ostlin, G., Ouellette, N. N. -Q., Palle, E., Papaderos, P., Pariani, G., Pasquini, L., Castro, J. Peñate, Pepe, F., Peroux, C., Levasseur, L. Perreault, Perruchot, S., Petit, P., Pfuhl, O., Pino, L., Piqueras, J., Piskunov, N., Pollo, A., Poppenhaeger, K., Porru, M., Puschnig, J., Quirrenbach, A., Rauscher, E., Rebolo, R., Redaelli, E. M. A., Reffert, S., Reid, D. T., Reiners, A., Richter, P., Riva, M., Rivoire, S., Rodriguez-López, C., Roederer, I. U., Romano, D., Roth, M., Rousseau, S., Rowe, J., Saccardi, A., Salvadori, S., Sanna, N., Santos, N. C., Diaz, P. Santos, Sanz-Forcada, J., Sarajlic, M., Sauvage, J. -F., Savio, D., Scaudo, A, Schäfer, S., Schiavon, R. P., Schmidt, T. M., Selmi, C., Simoes, R., Simonnin, A., Sivanandam, S., Sordet, M., Sordo, R., Sortino, F., Sosnowska, D., Sousa, S. G., Spang, A., Spiga, R., Stempels, E., Stevenson, J. R. Y., Strassmeier, K. G., Mascareño, A. Suárez, Sulich, A., Sun, X., Tanvir, N. R., Tenegi-Sangines, F., Thibault, S., Thompson, S. J., Tisserand, P., Tozzi, A., Turbet, M., Veran, J. -P., Vallee, P., Vanni, I., Varas, R., Vega-Moreno, A., Venn, K. A., Verma, A., Vernet, J., Viel, M., Wade, G., Waring, C., Weber, M., Weder, J., Wehbe, B., Weingrill, J., Woche, M., Xompero, M., Zackrisson, E., Zanutta, A., Osorio, M. R. Zapatero, Zechmeister, M., Zimara, J.
The first generation of ELT instruments includes an optical-infrared high-resolution spectrograph, indicated as ELT-HIRES and recently christened ANDES (ArmazoNes high Dispersion Echelle Spectrograph). ANDES consists of three fibre-fed spectrographs
Externí odkaz:
http://arxiv.org/abs/2407.14601
We present for the first time a supermartingale certificate for $\omega$-regular specifications. We leverage the Robbins & Siegmund convergence theorem to characterize supermartingale certificates for the almost-sure acceptance of Streett conditions
Externí odkaz:
http://arxiv.org/abs/2405.17304
We introduce a data-driven approach to computing finite bisimulations for state transition systems with very large, possibly infinite state space. Our novel technique computes stutter-insensitive bisimulations of deterministic systems, which we chara
Externí odkaz:
http://arxiv.org/abs/2405.15723
Autor:
Gaia Collaboration, Panuzzo, P., Mazeh, T., Arenou, F., Holl, B., Caffau, E., Jorissen, A., Babusiaux, C., Gavras, P., Sahlmann, J., Bastian, U., Wyrzykowski, Ł., Eyer, L., Leclerc, N., Bauchet, N., Bombrun, A., Mowlavi, N., Seabroke, G. M., Teyssier, D., Balbinot, E., Helmi, A., Brown, A. G. A., Vallenari, A., Prusti, T., de Bruijne, J. H. J., Barbier, A., Biermann, M., Creevey, O. L., Ducourant, C., Evans, D. W., Guerra, R., Hutton, A., Jordi, C., Klioner, S. A., Lammers, U., Lindegren, L., Luri, X., Mignard, F., Nicolas, C., Randich, S., Sartoretti, P., Smiljanic, R., Tanga, P., Walton, N. A., Aerts, C., Bailer-Jones, C. A. L., Cropper, M., Drimmel, R., Jansen, F., Katz, D., Lattanzi, M. G., Soubiran, C., Thévenin, F., van Leeuwen, F., Andrae, R., Audard, M., Bakker, J., Blomme, R., Castañeda, J., De Angeli, F., Fabricius, C., Fouesneau, M., Frémat, Y., Galluccio, L., Guerrier, A., Heiter, U., Masana, E., Messineo, R., Nienartowicz, K., Pailler, F., Riclet, F., Roux, W., Sordo, R., Gracia-Abril, G., Portell, J., Altmann, M., Benson, K., Berthier, J., Burgess, P. W., Busonero, D., Busso, G., Cacciari, C., Cánovas, H., Carrasco, J. M., Carry, B., Cellino, A., Cheek, N., Clementini, G., Damerdji, Y., Davidson, M., de Teodoro, P., Delchambre, L., Dell'Oro, A., Garcia, E. Fraile, Garabato, D., García-Lario, P., Haigron, R., Hambly, N. C., Harrison, D. L., Hatzidimitriou, D., Hernández, J., Hestroffer, D., Hodgkin, S. T., Jamal, S., de Fombelle, G. Jevardat, Jordan, S., Krone-Martins, A., Lanzafame, A. C., Löffler, W., Lorca, A., Marchal, O., Marrese, P. M., Moitinho, A., Muinonen, K., Campos, M. Nuñez, Oreshina-Slezak, I., Osborne, P., Pancino, E., Pauwels, T., Recio-Blanco, A., Riello, M., Rimoldini, L., Robin, A. C., Roegiers, T., Sarro, L. M., Schultheis, M., Smith, M., Sozzetti, A., Utrilla, E., van Leeuwen, M., Weingrill, K., Abbas, U., Ábrahám, P., Aramburu, A. Abreu, Ahmed, S., Altavilla, G., Álvarez, M. A., Anders, F., Anderson, R. I., Varela, E. Anglada, Antoja, T., Baig, S., Baines, D., Baker, S. G., Balaguer-Núñez, L., Balog, Z., Barache, C., Barros, M., Barstow, M. A., Bartolomé, S., Bashi, D., Bassilana, J. -L., Baudeau, N., Becciani, U., Bedin, L. R., Bellas-Velidis, I., Bellazzini, M., Beordo, W., Bernet, M., Bertolotto, C., Bertone, S., Bianchi, L., Binnenfeld, A., Blanco-Cuaresma, S., Bland-Hawthorn, J., Blazere, A., Boch, T., Bossini, D., Bouquillon, S., Bragaglia, A., Braine, J., Bratsolis, E., Breedt, E., Bressan, A., Brouillet, N., Brugaletta, E., Bucciarelli, B., Butkevich, A. G., Buzzi, R., Camut, A., Cancelliere, R., Cantat-Gaudin, T., Guilarte, D. Capilla, Carballo, R., Carlucci, T., Carnerero, M. I., Carretero, J., Carton, S., Casamiquela, L., Casey, A., Castellani, M., Castro-Ginard, A., Ceraj, L., Cesare, V., Charlot, P., Chaudet, C., Chemin, L., Chiavassa, A., Chornay, N., Chosson, D., Cooper, W. J., Cornez, T., Cowell, S., Crosta, M., Crowley, C., Reyes, M. Cruz, Dafonte, C., Ponte, M. Dal, David, M., de Laverny, P., De Luise, F., De March, R., De Ridder, J., de Torres, A., del Peloso, E. F., Delbo, M., Delgado, A., Delisle, J. -B., Demouchy, C., Denis, E., Dharmawardena, T. E., Di Giacomo, F., Diener, C., Distefano, E., Dolding, C., Dsilva, K., Enke, H., Fabre, C., Fabrizio, M., Faigler, S., Fatović, M., Fedorets, G., Fernández-Hernández, J., Fernique, P., Figueras, F., Fouron, C., Fragkoudi, F., Gai, M., Galinier, M., Garcia-Serrano, A., García-Torres, M., Garofalo, A., Gerlach, E., Geyer, R., Giacobbe, P., Gilmore, G., Girona, S., Giuffrida, G., Gomboc, A., Gomez, A., González-Santamaría, I., Gosset, E., Granvik, M., Barrera, V. Gregori, Gutiérrez-Sánchez, R., Haywood, M., Helmer, A., Hidalgo, S. L., Hilger, T., Hobbs, D., Hottier, C., Huckle, H. E., Jiménez-Arranz, Ó., Campillo, J. Juaristi, Kaczmarek, Z., Kervella, P., Khanna, S., Kontizas, M., Kordopatis, G., Korn, A. J., Kóspál, Á, Kostrzewa-Rutkowska, Z., Kruszyńska, K., Kun, M., Lambert, S., Lanza, A. F., Lebreton, Y., Lebzelter, T., Leccia, S., Lecoutre, G., Liao, S., Liberato, L., Licata, E., Livanou, E., Lobel, A., López-Miralles, J., Loup, C., Madarász, M., Mahy, L., Mann, R. G., Manteiga, M., Marinoni, S., Marcellino, C. P., Marshall, D. J., Mascarenhas, D., Marchant, J. M., Lozano, J. Martín, Masip, A., Marconi, M., Pina, D. Marín, Polo, L. Martin, Martín-Fleitas, J. M., Mastrobuono-Battisti, A., McMillan, P. J., Meichsner, J. G. Marton, Merc, J., Messina, S., Millar, N. R., Mints, A., Mohamed, D., Molina, D., Molinaro, R., Monguió, M., Montegriffo, P., Monti, L., Mora, A., Morbidelli, R., Morris, D., Mudimadugula, R., Muraveva, T., Musella, I., Nagy, Z., Nardetto, N., Navarrete, C., Oh, S., Ordenovic, C., Orenstein, O., Pagani, C., Pagano, I., Palaversa, L., Palicio, P. A., Pallas-Quintela, L., Pawlak, M., Penttilä, A., Pesciullesi, P., Pinamonti, M., Plachy, E., Planquart, L., Plum, G., Poggio, E., Pourbaix, D., Price-Whelan, A. M., Pulone, L., Rabin, V., Rainer, M., Raiteri, C. M., Ramos, P., Ramos-Lerate, M., Ratajczak, M., Fiorentin, P. Re, Regibo, S., Reylé, C., Ripepi, V., Riva, A., Rix, H. -W., Rixon, G., Robert, G., Robichon, N., Robin, C., Romero-Gómez, M., Rowell, N., Mieres, D. Ruz, Rybicki, K. A., Sadowski, G., Sellés, A. Sagristà, Sanna, N., Santoveña, R., Sarasso, M., Sarmiento, M. H., Riera, C. Sarrate, Sciacca, E., Ségransan, D., Semczuk, M., Shahaf, S., Siebert, A., Slezak18, E., Smart, R. L., Snaith, O. N., Solano, E., Solitro, F., Souami, D., Souchay, J., Spitoni, E., Spoto, F., Squillante, L. A., Steele, I. A., Steidelmüller, H., Surdej, J., Szabados, L., Taris, F., Taylor, M. B., Teixeira, R., Tepper-Garcia, T., Thuillot, W., Tolomei, L., Tonello, N., Torra, F., Elipe, G. Torralba, Trabucchi, M., Trentin, E., Tsantaki, M., Turon, C., Ulla, A., Unger, N., Valtchanov, I., Vanel, O., Vecchiato, A., Vicente, D., Villar, E., Weiler, M., Zhao, H., Zorec, J., Zucker, S., Župić, A., Zwitter, T.
Gravitational waves from black-hole merging events have revealed a population of extra-galactic BHs residing in short-period binaries with masses that are higher than expected based on most stellar evolution models - and also higher than known stella
Externí odkaz:
http://arxiv.org/abs/2404.10486
Autor:
Basilicata, M., Giacobbe, P., Bonomo, A. S., Scandariato, G., Brogi, M., Singh, V., Di Paola, A., Mancini, L., Sozzetti, A., Lanza, A. F., Cubillos, P. E., Damasso, M., Desidera, S., Biazzo, K., Bignamini, A., Borsa, F., Cabona, L., Carleo, I., Ghedina, A., Guilluy, G., Maggio, A., Mainella, G., Micela, G., Molinari, E., Molinaro, M., Nardiello, D., Pedani, M., Pino, L., Poretti, E., Southworth, J., Stangret, M., Turrini, D.
Publikováno v:
A&A 686, A127 (2024)
The atmospheric characterisation of hot and warm Neptune-size exoplanets is challenging due to their small radius and atmospheric scale height. The warm-Neptune HAT-P-11b is a remarkable target for such characterisation due to the large brightness of
Externí odkaz:
http://arxiv.org/abs/2403.01527
Autor:
Guilluy, G., D'Arpa, M. C., Bonomo, A. S., Spinelli, R., Biassoni, F., Fossati, L., Maggio, A., Giacobbe, P., Lanza, A. F., Sozzetti, A., Borsa, F., Rainer, M., Micela, G., Affer, L., Andreuzzi, G., Bignamini, A., Boschin, W., Carleo, I., Cecconi, M., Desidera, S., Fardella, V., Ghedina, A., Mantovan, G., Mancini, L., Nascimbeni, V., Knapic, C., Pedani, M., Petralia, A., Pino, L., Scandariato, G., Sicilia, D., Stangret, M., Zingales, T.
Atmospheric escape plays a fundamental role in shaping the properties of exoplanets. The metastable near-infrared helium triplet at 1083.3 nm (HeI) is a powerful proxy of extended and evaporating atmospheres. We used the GIARPS (GIANO-B+HARPS-N) obse
Externí odkaz:
http://arxiv.org/abs/2403.00608
Autor:
Yin, Yuqing, Aslandukov, Andrey, Bykov, Maxim, Laniel, Dominique, Aslandukova, Alena, Pakhomova, Anna, Fedotenko, Timofey, Zhou, Wenju, Akbar, Fariia Iasmin, Hanfland, Michael, Glazyrin, Konstantin, Giacobbe, Carlotta, Bright, Eleanor Lawrence, Garbarino, Gaston, Jia, Zhitai, Dubrovinskaia, Natalia, Dubrovinsky, Leonid
Polytypism of incommensurately modulated structures was hitherto unobserved. Here, we found the phenomenon in simple halogen systems of bromine and iodine upon molecular dissociation in the solids under pressure. Single-crystal synchrotron X-ray diff
Externí odkaz:
http://arxiv.org/abs/2311.12966
Autor:
Carleo, I., Malavolta, L., Desidera, S., Nardiello, D., Wang, S., Turrini, D., Lanza, A. F., Baratella, M., Marzari, F., Benatti, S., Biazzo, K., Bieryla, A., Brahm, R., Bonavita, M., Collins, K. A., Hellier, C., Locci, D., Hobson, M. J., Maggio, A., Mantovan, G., Pinamonti, S. Messina M., Rodriguez, J. E., Sozzetti, A., Stassun, K., Wang, X. Y., Ziegler, C., Damasso, M., Giacobbe, P., Murgas, F., Parviainen, H., Andreuzzi, G., Barkaoui, K., Berlind, P., Bignamini, A., Borsa, F., Briceño, C., Brogi, M., Cabona, L., Calkins, M. L., Capuzzo-Dolcetta, R., Cecconi, M., Colon, K. D., Cosentino, R., Dragomir, D., Esquerdo, G. A., Henning, T., Ghedina, A., Goeke, R. F., Gratton, R., Horta, F. Grau, Gupta, A. F., Jenkins, J. M., Jordán, A., Knapic, C., Latham, D. W., Mireles, I., Law, N., Lorenzi, V., Lund, M. B., Maldonado, J., Mann, A. W., Molinari, E., Pallé, E., Paegert, M., Pedani, M., Quinn, S. N., Scandariato, G., Seager, S., Winn, J. N., Wohler, B., Zingales, T.
Context. Different theories have been developed to explain the origins and properties of close-in giant planets, but none of them alone can explain all of the properties of the warm Jupiters (WJs, Porb = 10 - 200 days). One of the most intriguing cha
Externí odkaz:
http://arxiv.org/abs/2311.11903