Enumerating Minimal Unsatisfiable Cores of LTLf formulas

Autor: Ielo, Antonio, Mazzotta, Giuseppe, Peñaloza, Rafael, Ricca, Francesco

Linear Temporal Logic over finite traces ($\text{LTL}_f$) is a widely used formalism with applications in AI, process mining, model checking, and more. The primary reasoning task for $\text{LTL}_f$ is satisfiability checking; yet, the recent focus on

Externí odkaz: http://arxiv.org/abs/2409.09485

A Multi-Year Grey Literature Review on AI-assisted Test Automation

Autor: Ricca, Filippo, Marchetto, Alessandro, Stocco, Andrea

Context: Test Automation (TA) techniques are crucial for quality assurance in software engineering but face limitations such as high test suite maintenance costs and the need for extensive programming skills. Artificial Intelligence (AI) offers new o

Externí odkaz: http://arxiv.org/abs/2408.06224

Neural network method to search for long transient gravitational waves

Autor: Attadio, Francesca, Ricca, Leonardo, Serra, Marco, Palomba, Cristiano, Astone, Pia, Dall'Osso, Simone, Pra, Stefano Dal, D'Antonio, Sabrina, Di Giovanni, Matteo, D'Onofrio, Luca, Leaci, Paola, Muciaccia, Federico, Pierini, Lorenzo, Tehrani, Francesco Safai

We present a new method to search for long transient gravitational waves signals, like those expected from fast spinning newborn magnetars, in interferometric detector data. Standard search techniques are computationally unfeasible (matched filtering

Externí odkaz: http://arxiv.org/abs/2407.02391

PDRs4All VIII: Mid-IR emission line inventory of the Orion Bar

Autor: Van De Putte, Dries, Meshaka, Raphael, Trahin, Boris, Habart, Emilie, Peeters, Els, Berné, Olivier, Alarcón, Felipe, Canin, Amélie, Chown, Ryan, Schroetter, Ilane, Sidhu, Ameek, Boersma, Christiaan, Bron, Emeric, Dartois, Emmanuel, Goicoechea, Javier R., Gordon, Karl D., Onaka, Takashi, Tielens, Alexander G. G. M., Verstraete, Laurent, Wolfire, Mark G., Abergel, Alain, Bergin, Edwin A., Bernard-Salas, Jeronimo, Cami, Jan, Cuadrado, Sara, Dicken, Daniel, Elyajouri, Meriem, Fuente, Asunción, Joblin, Christine, Khan, Baria, Lacinbala, Ozan, Languignon, David, Gal, Romane Le, Maragkoudakis, Alexandros, Okada, Yoko, Pasquini, Sofia, Pound, Marc W., Robberto, Massimo, Röllig, Markus, Schefter, Bethany, Schirmer, Thiébaut, Tabone, Benoit, Vicente, Sílvia, Zannese, Marion, Colgan, Sean W. J., He, Jinhua, Rouillé, Gaël, Togi, Aditya, Aleman, Isabel, Auchettl, Rebecca, Baratta, Giuseppe Antonio, Bejaoui, Salma, Bera, Partha P., Black, John H., Boulanger, Francois, Bouwman, Jordy, Brandl, Bernhard, Brechignac, Philippe, Brünken, Sandra, Buragohain, Mridusmita, Burkhardt, Andrew, Candian, Alessandra, Cazaux, Stéphanie, Cernicharo, Jose, Chabot, Marin, Chakraborty, Shubhadip, Champion, Jason, Cooke, Ilsa R., Coutens, Audrey, Cox, Nick L. J., Demyk, Karine, Meyer, Jennifer Donovan, Foschino, Sacha, García-Lario, Pedro, Gerin, Maryvonne, Gottlieb, Carl A., Guillard, Pierre, Gusdorf, Antoine, Hartigan, Patrick, Herbst, Eric, Hornekaer, Liv, Issa, Lina, Jäger, Cornelia, Janot-Pacheco, Eduardo, Kannavou, Olga, Kaufman, Michael, Kemper, Francisca, Kendrew, Sarah, Kirsanova, Maria S., Klaassen, Pamela, Kwok, Sun, Labiano, Álvaro, Lai, Thomas S. -Y., Floch, Bertrand Le, Petit, Franck Le, Li, Aigen, Linz, Hendrik, Mackie, Cameron J., Madden, Suzanne C., Mascetti, Joëlle, McGuire, Brett A., Merino, Pablo, Micelotta, Elisabetta R., Morse, Jon A., Mulas, Giacomo, Neelamkodan, Naslim, Ohsawa, Ryou, Omont, Alain, Paladini, Roberta, Palumbo, Maria Elisabetta, Pathak, Amit, Pendleton, Yvonne J., Petrignani, Annemieke, Pino, Thomas, Puga, Elena, Rangwala, Naseem, Rapacioli, Mathias, Rho, Jeonghee, Ricca, Alessandra, Roman-Duval, Julia, Roser, Joseph, Roueff, Evelyne, Salama, Farid, Sales, Dinalva A., Sandstrom, Karin, Sarre, Peter, Sciamma-O'Brien, Ella, Sellgren, Kris, Shenoy, Sachindev S., Teyssier, David, Thomas, Richard D., Witt, Adolf N., Wootten, Alwyn, Ysard, Nathalie, Zettergren, Henning, Zhang, Yong, Zhang, Ziwei E., Zhen, Junfeng

Publikováno v: A&A 687, A86 (2024)

Mid-infrared emission features probe the properties of ionized gas, and hot or warm molecular gas. The Orion Bar is a frequently studied photodissociation region (PDR) containing large amounts of gas under these conditions, and was observed with the

Externí odkaz: http://arxiv.org/abs/2404.03111

A far-ultraviolet-driven photoevaporation flow observed in a protoplanetary disk

Autor: Berné, Olivier, Habart, Emilie, Peeters, Els, Schroetter, Ilane, Canin, Amélie, Sidhu, Ameek, Chown, Ryan, Bron, Emeric, Haworth, Thomas J., Klaassen, Pamela, Trahin, Boris, Van De Putte, Dries, Alarcón, Felipe, Zannese, Marion, Abergel, Alain, Bergin, Edwin A., Bernard-Salas, Jeronimo, Boersma, Christiaan, Cami, Jan, Cuadrado, Sara, Dartois, Emmanuel, Dicken, Daniel, Elyajouri, Meriem, Fuente, Asunción, Goicoechea, Javier R., Gordon, Karl D., Issa, Lina, Joblin, Christine, Kannavou, Olga, Khan, Baria, Lacinbala, Ozan, Languignon, David, Gal, Romane Le, Maragkoudakis, Alexandros, Meshaka, Raphael, Okada, Yoko, Onaka, Takashi, Pasquini, Sofia, Pound, Marc W., Robberto, Massimo, Röllig, Markus, Schefter, Bethany, Schirmer, Thiébaut, Simmer, Thomas, Tabone, Benoit, Tielens, Alexander G. G. M., Vicente, Sílvia, Wolfire, Mark G., Aleman, Isabel, Allamandola, Louis, Auchettl, Rebecca, Baratta, Giuseppe Antonio, Baruteau, Clément, Bejaoui, Salma, Bera, Partha P., Black, John H., Boulanger, Francois, Bouwman, Jordy, Brandl, Bernhard, Brechignac, Philippe, Brünken, Sandra, Buragohain, Mridusmita, Burkhardt, Andrew, Candian, Alessandra, Cazaux, Stéphanie, Cernicharo, Jose, Chabot, Marin, Chakraborty, Shubhadip, Champion, Jason, Colgan, Sean W. J., Cooke, Ilsa R., Coutens, Audrey, Cox, Nick L. J., Demyk, Karine, Meyer, Jennifer Donovan, Engrand, Cécile, Foschino, Sacha, García-Lario, Pedro, Gavilan, Lisseth, Gerin, Maryvonne, Godard, Marie, Gottlieb, Carl A., Guillard, Pierre, Gusdorf, Antoine, Hartigan, Patrick, He, Jinhua, Herbst, Eric, Hornekaer, Liv, Jäger, Cornelia, Janot-Pacheco, Eduardo, Kaufman, Michael, Kemper, Francisca, Kendrew, Sarah, Kirsanova, Maria S., Knight, Collin, Kwok, Sun, Labiano, Álvaro, Lai, Thomas S. -Y., Lee, Timothy J., Lefloch, Bertrand, Petit, Franck Le, Li, Aigen, Linz, Hendrik, Mackie, Cameron J., Madden, Suzanne C., Mascetti, Joëlle, McGuire, Brett A., Merino, Pablo, Micelotta, Elisabetta R., Morse, Jon A., Mulas, Giacomo, Neelamkodan, Naslim, Ohsawa, Ryou, Paladini, Roberta, Palumbo, Maria Elisabetta, Pathak, Amit, Pendleton, Yvonne J., Petrignani, Annemieke, Pino, Thomas, Puga, Elena, Rangwala, Naseem, Rapacioli, Mathias, Ricca, Alessandra, Roman-Duval, Julia, Roueff, Evelyne, Rouillé, Gaël, Salama, Farid, Sales, Dinalva A., Sandstrom, Karin, Sarre, Peter, Sciamma-O'Brien, Ella, Sellgren, Kris, Shannon, Matthew J., Simonnin, Adrien, Shenoy, Sachindev S., Teyssier, David, Thomas, Richard D., Togi, Aditya, Verstraete, Laurent, Witt, Adolf N., Wootten, Alwyn, Ysard, Nathalie, Zettergren, Henning, Zhang, Yong, Zhang, Ziwei E., Zhen, Junfeng

Publikováno v: Science, 383, 6686, 2024

Most low-mass stars form in stellar clusters that also contain massive stars, which are sources of far-ultraviolet (FUV) radiation. Theoretical models predict that this FUV radiation produces photo-dissociation regions (PDRs) on the surfaces of proto

Externí odkaz: http://arxiv.org/abs/2403.00160