Zobrazeno 1 - 10
of 5 585
pro vyhledávání: '"Cantone, A."'
Autor:
Cantone, Domenico, Cincotti, Gianluca
We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of Tarski's theory of reals, includes predicates for comparisons, monoton
Externí odkaz:
http://arxiv.org/abs/2412.16091
Autor:
Accettura, Carlotta, Adrian, Simon, Agarwal, Rohit, Ahdida, Claudia, Aimé, Chiara, Aksoy, Avni, Alberghi, Gian Luigi, Alden, Siobhan, Alfonso, Luca, Amapane, Nicola, Amorim, David, Andreetto, Paolo, Anulli, Fabio, Appleby, Rob, Apresyan, Artur, Asadi, Pouya, Mahmoud, Mohammed Attia, Auchmann, Bernhard, Back, John, Badea, Anthony, Bae, Kyu Jung, Bahng, E. J., Balconi, Lorenzo, Balli, Fabrice, Bandiera, Laura, Barbagallo, Carmelo, Barlow, Roger, Bartoli, Camilla, Bartosik, Nazar, Barzi, Emanuela, Batsch, Fabian, Bauce, Matteo, Begel, Michael, Berg, J. Scott, Bersani, Andrea, Bertarelli, Alessandro, Bertinelli, Francesco, Bertolin, Alessandro, Bhat, Pushpalatha, Bianchi, Clarissa, Bianco, Michele, Bishop, William, Black, Kevin, Boattini, Fulvio, Bogacz, Alex, Bonesini, Maurizio, Bordini, Bernardo, de Sousa, Patricia Borges, Bottaro, Salvatore, Bottura, Luca, Boyd, Steven, Breschi, Marco, Broggi, Francesco, Brunoldi, Matteo, Buffat, Xavier, Buonincontri, Laura, Burrows, Philip Nicholas, Burt, Graeme Campbell, Buttazzo, Dario, Caiffi, Barbara, Calatroni, Sergio, Calviani, Marco, Calzaferri, Simone, Calzolari, Daniele, Cantone, Claudio, Capdevilla, Rodolfo, Carli, Christian, Carrelli, Carlo, Casaburo, Fausto, Casarsa, Massimo, Castelli, Luca, Catanesi, Maria Gabriella, Cavallucci, Lorenzo, Cavoto, Gianluca, Celiberto, Francesco Giovanni, Celona, Luigi, Cemmi, Alessia, Ceravolo, Sergio, Cerri, Alessandro, Cerutti, Francesco, Cesarini, Gianmario, Cesarotti, Cari, Chancé, Antoine, Charitonidis, Nikolaos, Chiesa, Mauro, Chiggiato, Paolo, Ciccarella, Vittoria Ludovica, Puviani, Pietro Cioli, Colaleo, Anna, Colao, Francesco, Collamati, Francesco, Costa, Marco, Craig, Nathaniel, Curtin, David, Damerau, Heiko, Da Molin, Giacomo, D'Angelo, Laura, Dasu, Sridhara, de Blas, Jorge, De Curtis, Stefania, De Gersem, Herbert, Delahaye, Jean-Pierre, Del Moro, Tommaso, Denisov, Dmitri, Denizli, Haluk, Dermisek, Radovan, Valdor, Paula Desiré, Desponds, Charlotte, Di Luzio, Luca, Di Meco, Elisa, Diociaiuti, Eleonora, Di Petrillo, Karri Folan, Di Sarcina, Ilaria, Dorigo, Tommaso, Dreimanis, Karlis, Pree, Tristan du, Yildiz, Hatice Duran, Edgecock, Thomas, Fabbri, Siara, Fabbrichesi, Marco, Farinon, Stefania, Ferrand, Guillaume, Somoza, Jose Antonio Ferreira, Fieg, Max, Filthaut, Frank, Fox, Patrick, Franceschini, Roberto, Ximenes, Rui Franqueira, Gallinaro, Michele, Garcia-Sciveres, Maurice, Garcia-Tabares, Luis, Gargiulo, Ruben, Garion, Cedric, Garzelli, Maria Vittoria, Gast, Marco, Generoso, Lisa, Gerber, Cecilia E., Giambastiani, Luca, Gianelle, Alessio, Gianfelice-Wendt, Eliana, Gibson, Stephen, Gilardoni, Simone, Giove, Dario Augusto, Giovinco, Valentina, Giraldin, Carlo, Glioti, Alfredo, Gorzawski, Arkadiusz, Greco, Mario, Grojean, Christophe, Grudiev, Alexej, Gschwendtner, Edda, Gueli, Emanuele, Guilhaudin, Nicolas, Han, Chengcheng, Han, Tao, Hauptman, John Michael, Herndon, Matthew, Hillier, Adrian D, Hillman, Micah, Holmes, Tova Ray, Homiller, Samuel, Jana, Sudip, Jindariani, Sergo, Johannesson, Sofia, Johnson, Benjamin, Jones, Owain Rhodri, Jurj, Paul-Bogdan, Kahn, Yonatan, Kamath, Rohan, Kario, Anna, Karpov, Ivan, Kelliher, David, Kilian, Wolfgang, Kitano, Ryuichiro, Kling, Felix, Kolehmainen, Antti, Kong, K. C., Kosse, Jaap, Krintiras, Georgios, Krizka, Karol, Kumar, Nilanjana, Kvikne, Erik, Kyle, Robert, Laface, Emanuele, Lane, Kenneth, Latina, Andrea, Lechner, Anton, Lee, Junghyun, Lee, Lawrence, Lee, Seh Wook, Lefevre, Thibaut, Leonardi, Emanuele, Lerner, Giuseppe, Li, Peiran, Li, Qiang, Li, Tong, Li, Wei, Lindroos, Mats, Lipton, Ronald, Liu, Da, Liu, Miaoyuan, Liu, Zhen, Voti, Roberto Li, Lombardi, Alessandra, Lomte, Shivani, Long, Kenneth, Longo, Luigi, Lorenzo, José, Losito, Roberto, Low, Ian, Lu, Xianguo, Lucchesi, Donatella, Luo, Tianhuan, Lupato, Anna, Ma, Yang, Machida, Shinji, Madlener, Thomas, Magaletti, Lorenzo, Maggi, Marcello, Durand, Helene Mainaud, Maltoni, Fabio, Manczak, Jerzy Mikolaj, Mandurrino, Marco, Marchand, Claude, Mariani, Francesco, Marin, Stefano, Mariotto, Samuele, Martin-Haugh, Stewart, Masullo, Maria Rosaria, Mauro, Giorgio Sebastiano, Mazzolari, Andrea, Mękała, Krzysztof, Mele, Barbara, Meloni, Federico, Meng, Xiangwei, Mentink, Matthias, Métral, Elias, Miceli, Rebecca, Milas, Natalia, Mohammadi, Abdollah, Moll, Dominik, Montella, Alessandro, Morandin, Mauro, Morrone, Marco, Mulder, Tim, Musenich, Riccardo, Nardecchia, Marco, Nardi, Federico, Nenna, Felice, Neuffer, David, Newbold, David, Novelli, Daniel, Olvegård, Maja, Onel, Yasar, Orestano, Domizia, Osborne, John, Otten, Simon, Torres, Yohan Mauricio Oviedo, Paesani, Daniele, Griso, Simone Pagan, Pagani, Davide, Pal, Kincso, Palmer, Mark, Pampaloni, Alessandra, Panci, Paolo, Pani, Priscilla, Papaphilippou, Yannis, Paparella, Rocco, Paradisi, Paride, Passeri, Antonio, Pasternak, Jaroslaw, Pastrone, Nadia, Pellecchia, Antonello, Piccinini, Fulvio, Piekarz, Henryk, Pieloni, Tatiana, Plouin, Juliette, Portone, Alfredo, Potamianos, Karolos, Potdevin, Joséphine, Prestemon, Soren, Puig, Teresa, Qiang, Ji, Quettier, Lionel, Rabemananjara, Tanjona Radonirina, Radicioni, Emilio, Radogna, Raffaella, Rago, Ilaria Carmela, Ratkus, Andris, Resseguie, Elodie, Reuter, Juergen, Ribani, Pier Luigi, Riccardi, Cristina, Ricciardi, Stefania, Robens, Tania, Robert, Youri, Rogers, Chris, Rojo, Juan, Romagnoni, Marco, Ronald, Kevin, Rosser, Benjamin, Rossi, Carlo, Rossi, Lucio, Rozanov, Leo, Ruhdorfer, Maximilian, Ruiz, Richard, Saini, Saurabh, Sala, Filippo, Salierno, Claudia, Salmi, Tiina, Salvini, Paola, Salvioni, Ennio, Sammut, Nicholas, Santini, Carlo, Saputi, Alessandro, Sarra, Ivano, Scarantino, Giuseppe, Schneider-Muntau, Hans, Schulte, Daniel, Scifo, Jessica, Sen, Tanaji, Senatore, Carmine, Senol, Abdulkadir, Sertore, Daniele, Sestini, Lorenzo, Rêgo, Ricardo César Silva, Simone, Federica Maria, Skoufaris, Kyriacos, Sorbello, Gino, Sorbi, Massimo, Sorti, Stefano, Soubirou, Lisa, Spataro, David, Queiroz, Farinaldo S., Stamerra, Anna, Stapnes, Steinar, Stark, Giordon, Statera, Marco, Stechauner, Bernd Michael, Su, Shufang, Su, Wei, Sun, Xiaohu, Sytov, Alexei, Tang, Jian, Tang, Jingyu, Taylor, Rebecca, Kate, Herman Ten, Testoni, Pietro, Thiele, Leonard Sebastian, Garcia, Rogelio Tomas, Topp-Mugglestone, Max, Torims, Toms, Torre, Riccardo, Tortora, Luca, Tortora, Ludovico, Trifinopoulos, Sokratis, Udongwo, Sosoho-Abasi, Vai, Ilaria, Valente, Riccardo Umberto, van Rienen, Ursula, Van Weelderen, Rob, Vanwelde, Marion, Velev, Gueorgui, Venditti, Rosamaria, Vendrasco, Adam, Verna, Adriano, Vernassa, Gianluca, Verweij, Arjan, Verwilligen, Piet, Villamizar, Yoxara, Vittorio, Ludovico, Vitulo, Paolo, Vojskovic, Isabella, Wang, Dayong, Wang, Lian-Tao, Wang, Xing, Wendt, Manfred, Widorski, Markus, Wozniak, Mariusz, Wu, Yongcheng, Wulzer, Andrea, Xie, Keping, Yang, Yifeng, Yap, Yee Chinn, Yonehara, Katsuya, Yoo, Hwi Dong, You, Zhengyun, Zanetti, Marco, Zaza, Angela, Zhang, Liang, Zhu, Ruihu, Zlobin, Alexander, Zuliani, Davide, Zurita, José Francisco
This document is comprised of a collection of updated preliminary parameters for the key parts of the muon collider. The updated preliminary parameters follow on from the October 2023 Tentative Parameters Report. Particular attention has been given t
Externí odkaz:
http://arxiv.org/abs/2411.02966
Autor:
Accettura, C., Adrian, S., Agarwal, R., Ahdida, C., Aimé, C., Aksoy, A., Alberghi, G. L., Alden, S., Amapane, N., Amorim, D., Andreetto, P., Anulli, F., Appleby, R., Apresyan, A., Asadi, P., Mahmoud, M. Attia, Auchmann, B., Back, J., Badea, A., Bae, K. J., Bahng, E. J., Balconi, L., Balli, F., Bandiera, L., Barbagallo, C., Barlow, R., Bartoli, C., Bartosik, N., Barzi, E., Batsch, F., Bauce, M., Begel, M., Berg, J. S., Bersani, A., Bertarelli, A., Bertinelli, F., Bertolin, A., Bhat, P., Bianchi, C., Bianco, M., Bishop, W., Black, K., Boattini, F., Bogacz, A., Bonesini, M., Bordini, B., de Sousa, P. Borges, Bottaro, S., Bottura, L., Boyd, S., Breschi, M., Broggi, F., Brunoldi, M., Buffat, X., Buonincontri, L., Burrows, P. N., Burt, G. C., Buttazzo, D., Caiffi, B., Calatroni, S., Calviani, M., Calzaferri, S., Calzolari, D., Cantone, C., Capdevilla, R., Carli, C., Carrelli, C., Casaburo, F., Casarsa, M., Castelli, L., Catanesi, M. G., Cavallucci, L., Cavoto, G., Celiberto, F. G., Celona, L., Cemmi, A., Ceravolo, S., Cerri, A., Cerutti, F., Cesarini, G., Cesarotti, C., Chancé, A., Charitonidis, N., Chiesa, M., Chiggiato, P., Ciccarella, V. L., Puviani, P. Cioli, Colaleo, A., Colao, F., Collamati, F., Costa, M., Craig, N., Curtin, D., D'Angelo, L., Da Molin, G., Damerau, H., Dasu, S., de Blas, J., De Curtis, S., De Gersem, H., Del Moro, T., Delahaye, J. -P., Denisov, D., Denizli, H., Dermisek, R., Valdor, P. Desiré, Desponds, C., Di Luzio, L., Di Meco, E., Di Petrillo, K. F., Di Sarcina, I., Diociaiuti, E., Dorigo, T., Dreimanis, K., Pree, T. du, Edgecock, T., Fabbri, S., Fabbrichesi, M., Farinon, S., Ferrand, G., Somoza, J. A. Ferreira, Fieg, M., Filthaut, F., Fox, P., Franceschini, R., Ximenes, R. Franqueira, Gallinaro, M., Garcia-Sciveres, M., Garcia-Tabares, L., Gargiulo, R., Garion, C., Garzelli, M. V., Gast, M., Gerber, C. E., Giambastiani, L., Gianelle, A., Gianfelice-Wendt, E., Gibson, S., Gilardoni, S., Giove, D. A., Giovinco, V., Giraldin, C., Glioti, A., Gorzawski, A., Greco, M., Grojean, C., Grudiev, A., Gschwendtner, E., Gueli, E., Guilhaudin, N., Han, C., Han, T., Hauptman, J. M., Herndon, M., Hillier, A. D., Hillman, M., Holmes, T. R., Homiller, S., Jana, S., Jindariani, S., Johannesson, S., Johnson, B., Jones, O. R., Jurj, P. -B., Kahn, Y., Kamath, R., Kario, A., Karpov, I., Kelliher, D., Kilian, W., Kitano, R., Kling, F., Kolehmainen, A., Kong, K. C., Kosse, J., Krintiras, G., Krizka, K., Kumar, N., Kvikne, E., Kyle, R., Laface, E., Lane, K., Latina, A., Lechner, A., Lee, J., Lee, L., Lee, S. W., Lefevre, T., Leonardi, E., Lerner, G., Li, P., Li, Q., Li, T., Li, W., Voti, R. Li, Lindroos, M., Lipton, R., Liu, D., Liu, M., Liu, Z., Lombardi, A., Lomte, S., Long, K., Longo, L., Lorenzo, J., Losito, R., Low, I., Lu, X., Lucchesi, D., Luo, T., Lupato, A., Métral, E., Mękała, K., Ma, Y., Mańczak, J. M., Machida, S., Madlener, T., Magaletti, L., Maggi, M., Durand, H. Mainaud, Maltoni, F., Mandurrino, M., Marchand, C., Mariani, F., Marin, S., Mariotto, S., Martin-Haugh, S., Masullo, M. R., Mauro, G. S., Mazzolari, A., Mele, B., Meloni, F., Meng, X., Mentink, M., Miceli, R., Milas, N., Mohammadi, A., Moll, D., Montella, A., Morandin, M., Morrone, M., Mulder, T., Musenich, R., Nardecchia, M., Nardi, F., Neuffer, D., Newbold, D., Novelli, D., Olvegård, M., Onel, Y., Orestano, D., Osborne, J., Otten, S., Torres, Y. M. Oviedo, Paesani, D., Griso, S. Pagan, Pagani, D., Pal, K., Palmer, M., Pampaloni, A., Panci, P., Pani, P., Papaphilippou, Y., Paparella, R., Paradisi, P., Passeri, A., Pastrone, N., Pellecchia, A., Piccinini, F., Piekarz, H., Pieloni, T., Plouin, J., Portone, A., Potamianos, K., Potdevin, J., Prestemon, S., Puig, T., Qiang, J., Quettier, L., Rabemananjara, T. R., Radicioni, E., Radogna, R., Rago, I. C., Ratkus, A., Resseguie, E., Reuter, J., Ribani, P. L., Riccardi, C., Ricciardi, S., Robens, T., Robert, Y., Roger, C., Rojo, J., Romagnoni, M., Ronald, K., Rosser, B., Rossi, C., Rossi, L., Rozanov, L., Ruhdorfer, M., Ruiz, R., Queiroz, F. S., Saini, S., Sala, F., Salierno, C., Salmi, T., Salvini, P., Salvioni, E., Sammut, N., Santini, C., Saputi, A., Sarra, I., Scarantino, G., Schneider-Muntau, H., Schulte, D., Scifo, J., Sen, T., Senatore, C., Senol, A., Sertore, D., Sestini, L., Rêgo, R. C. Silva, Simone, F. M., Skoufaris, K., Sorbello, G., Sorbi, M., Sorti, S., Soubirou, L., Spataro, D., Stamerra, A., Stapnes, S., Stark, G., Statera, M., Stechauner, B. M., Su, S., Su, W., Sun, X., Sytov, A., Tang, J., Taylor, R., Kate, H. Ten, Testoni, P., Thiele, L. S., Garcia, R. Tomas, Mugglestone, M. Topp, Torims, T., Torre, R., Tortora, L. T., Trifinopoulos, S., Udongwo, S. -A., Vai, I., Valente, R. U., van Rienen, U., van Weelderen, R., Vanwelde, M., Velev, G., Venditti, R., Vendrasco, A., Verna, A., Verweij, A., Verwilligen, P., Villamzar, Y., Vittorio, L., Vitulo, P., Vojskovic, I., Wang, D., Wang, L. -T., Wang, X., Wendt, M., Widorski, M., Wozniak, M., Wu, Y., Wulzer, A., Xie, K., Yang, Y., Yap, Y. C., Yonehara, K., Yoo, H. D., You, Z., Zanetti, M., Zaza, A., Zhang, L., Zhu, R., Zlobin, A., Zuliani, D., Zurita, J. F.
The International Muon Collider Collaboration (IMCC) [1] was established in 2020 following the recommendations of the European Strategy for Particle Physics (ESPP) and the implementation of the European Strategy for Particle Physics-Accelerator R&D R
Externí odkaz:
http://arxiv.org/abs/2407.12450
Network Intrusion Detection Systems (NIDS) are a fundamental tool in cybersecurity. Their ability to generalize across diverse networks is a critical factor in their effectiveness and a prerequisite for real-world applications. In this study, we cond
Externí odkaz:
http://arxiv.org/abs/2402.10974
The Longest Common Substring (LCS) and Longest Palindromic Substring (LPS) are classical problems in computer science, representing fundamental challenges in string processing. Both problems can be solved in linear time using a classical model of com
Externí odkaz:
http://arxiv.org/abs/2309.01250
Quantum computation represents a computational paradigm whose distinctive attributes confer the ability to devise algorithms with asymptotic performance levels significantly superior to those achievable via classical computation. Recent strides have
Externí odkaz:
http://arxiv.org/abs/2308.11758
Autor:
Cantone, C., Carsi, S., Ceravolo, S., Di Meco, E., Diociaiuti, E., Frank, I., Kholodenko, S., Martellotti, S., Mirra, M., Monti-Guarnieri, P., Moulson, M., Paesani, D., Prest, M., Romagnoni, M., Sarra, I., Sgarbossa, F., Soldani, M., Vallazza, E.
Crilin (Crystal Calorimeter with Longitudinal Information) is a semi-homogeneous, longitudinally segmented electromagnetic calorimeter based on high-$Z$, ultra-fast crystals with UV-extended SiPM readout. The Crilin design has been proposed as a cand
Externí odkaz:
http://arxiv.org/abs/2308.01148
Autor:
Bella, Giampaolo, Cantone, Domenico, Longo, Carmelo Fabio, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco
Publikováno v:
Intelligenza Artificiale, Vol. 17, no 1, pp. 51-62, 2023
Semantic representation is a key enabler for several application domains, and the multi-agent systems realm makes no exception. Among the methods for semantically representing agents, one has been essentially achieved by taking a behaviouristic visio
Externí odkaz:
http://arxiv.org/abs/2306.10061
Autor:
Cantone, Domenico, Faro, Simone
We present a new variable-length computation-friendly encoding scheme, named SFDC (Succinct Format with Direct aCcesibility), that supports direct and fast accessibility to any element of the compressed sequence and achieves compression ratios often
Externí odkaz:
http://arxiv.org/abs/2303.18063
By following the same construction pattern which Martin Davis proposed in a 1968 paper of his, we have obtained six quaternary quartic Diophantine equations that candidate as `rule-them-all' equations: proving that one of them has only a finite numbe
Externí odkaz:
http://arxiv.org/abs/2303.02208