Zobrazeno 1 - 10
of 3 973
pro vyhledávání: '"A Parlato"'
Autor:
Faella, Marco, Parlato, Gennaro
Verifying programs that manipulate tree data structures often requires complex, ad-hoc proofs that are hard to generalize and automate. This paper introduces an automatic technique for analyzing such programs. Our approach combines automata and logic
Externí odkaz:
http://arxiv.org/abs/2410.09668
Autor:
Cirillo, C., Ejrnaes, M., Ercolano, P., Bruscino, C., Cassinese, A., Salvoni, D., Attanasio, C., Pepe, G. P., Parlato, L.
Publikováno v:
Scientific Reports 14, 20345 (2024)
Superconducting Microstrip Single Photon Detectors (SMSPDs) are increasingly attracting the interest of the scientific community as a new platform for large area detectors with unprecedented advantaged in terms of fabrication. However, while their op
Externí odkaz:
http://arxiv.org/abs/2409.02619
Autor:
Faella, Marco, Parlato, Gennaro
We present a novel automata-based approach to address linear temporal logic modulo theory (LTL-MT) as a specification language for data words. LTL-MT extends LTL_f by replacing atomic propositions with quantifier-free multi-sorted first-order formula
Externí odkaz:
http://arxiv.org/abs/2408.08817
Autor:
Ahmad, Halima Giovanna, Satariano, Roberta, Ferraiuolo, Raffaella, Vettoliere, Antonio, Granata, Carmine, Montemurro, Domenico, Ausanio, Giovanni, Parlato, Loredana, Pepe, Giovanni Piero, Tafuri, Francesco, Massarotti, Davide
Publikováno v:
Appl. Phys. Lett. 3 June 2024; 124 (23): 232601
By measuring the current-voltage characteristics and the switching current distributions as a function of temperature, we have investigated the phase dynamics of Al tunnel ferromagnetic Josephson junctions (JJs), designed to fall in the typical range
Externí odkaz:
http://arxiv.org/abs/2406.03615
Autor:
C. Cirillo, M. Ejrnaes, P. Ercolano, C. Bruscino, A. Cassinese, D. Salvoni, C. Attanasio, G. P. Pepe, L. Parlato
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-9 (2024)
Abstract Superconducting microstrip single photon detectors (SMSPDs) are increasingly attracting the interest of the scientific community as a new platform for large area detectors with unprecedented advantaged in terms of fabrication. However, while
Externí odkaz:
https://doaj.org/article/b936a7a471e34680a10175a6c37f83c9
Autor:
Serena Peirone, Elisa Tirtei, Anna Campello, Caterina Parlato, Simonetta Guarrera, Katia Mareschi, Elena Marini, Sebastian Dorin Asaftei, Luca Bertero, Mauro Papotti, Francesca Priante, Sarah Perrone, Matteo Cereda, Franca Fagioli
Publikováno v:
Frontiers in Oncology, Vol 14 (2024)
IntroductionEwing Sarcoma (EWS) has been reported in seven children with Down syndrome (DS). To date, a detailed assessment of this solid tumour in DS patients is yet to be made.MethodsHere, we characterise a chemo-resistant mediastinal EWS in a 2-ye
Externí odkaz:
https://doaj.org/article/4b2a693d4f284bb7855d8b37a744d990
Autor:
Parlato, Monica C. M.1 (AUTHOR) monica.parlato@unipd.it, Pezzuolo, Andrea1,2 (AUTHOR) andrea.pezzuolo@unipd.it
Publikováno v:
Agronomy. Sep2024, Vol. 14 Issue 9, p2152. 20p.
Autor:
Roberta Satariano, Anatoly Fjodorovich Volkov, Halima Giovanna Ahmad, Luigi Di Palma, Raffaella Ferraiuolo, Antonio Vettoliere, Carmine Granata, Domenico Montemurro, Loredana Parlato, Giovanni Piero Pepe, Francesco Tafuri, Giovanni Ausanio, Davide Massarotti
Publikováno v:
Communications Materials, Vol 5, Iss 1, Pp 1-8 (2024)
Abstract Magnetic Josephson junctions (MJJs) have emerged as a prominent playground to explore the interplay between superconductivity and ferromagnetism. A series of fascinating experiments have revealed striking phenomena at the superconductor/ferr
Externí odkaz:
https://doaj.org/article/c5b876bb57ea4f4187d10762a6ce0a57
Autor:
Cash, Michael, Morales-Gonzalez, Christopher, Wang, Shan, Jin, Xipeng, Parlato, Alex, Zhu, Jason, Sun, Qun Zhou, Fu, Xinwen
KNX is one popular communication protocol for a building automation system (BAS). However, its lack of security makes it subject to a variety of attacks. We are the first to study the false data injection attack against a KNX based BAS. We design a m
Externí odkaz:
http://arxiv.org/abs/2208.02733
Autor:
Melissa Ward Jones, Joachim Otto Habeck, Mathias Ulrich, Susan Crate, Glenna Gannon, Tobias Schwoerer, Benjamin Jones, Mikhail Kanevskiy, Prashant Baral, Amina Maharjan, Jakob Steiner, Andrew Spring, Mindy Jewell Price, David Bysouth, Bruce C. Forbes, Mariana Verdonen, Timo Kumpula, Jens Strauss, Torben Windirsch, Christopher Poeplau, Yuri Shur, Benjamin Gaglioti, Nicholas Parlato, Fulu Tao, Merritt Turetsky, Stephanie Grand, Adrian Unc, Nils Borchard
Publikováno v:
Arctic, Antarctic, and Alpine Research, Vol 56, Iss 1 (2024)
Permafrost-agroecosystems include all cultivation and pastoral activities in areas underlain by permafrost. These systems support local livelihoods and food production and are rarely considered in global agricultural studies but may become more relev
Externí odkaz:
https://doaj.org/article/03e2cc3627984c7999d780e557ca1393