Zobrazeno 1 - 10
of 10 205
pro vyhledávání: '"Carelli, A."'
Autor:
Carelli, Mishel, Grumberg, Orna
This work proposes a novel approach for automatic verification and synthesis of infinite-state reactive programs with respect to ${CTL}^*$ specifications, based on translation to Existential Horn Clauses (EHCs). $CTL^*$ is a powerful temporal logic,
Externí odkaz:
http://arxiv.org/abs/2408.11502
Autor:
Beverini, Nicolò, Carelli, Giorgio, Castellano, Simone, Di Somma, Giuseppe, Di Virgilio, Angela D. V., Maccioni, Enrico, Marsili, Paolo
A characterization of Ring Laser Gyroscopes (RLGs) was performed at INFN-Pisa, and optimization is ongoing for a kind of very high sensitivity and accuracy rotation measurement device. Data quality is monitored through fringe contrast, such quantity
Externí odkaz:
http://arxiv.org/abs/2406.14364
Nowadays, Internet of Things platforms are being deployed in a wide range of application domains. Some of these include use cases with security requirements, where the data generated by an IoT node is the basis for making safety-critical or liability
Externí odkaz:
http://arxiv.org/abs/2403.02225
Autor:
Jungmann, Rafael M., Feliciano, Thaís, Aguiar, Leandro A. A., Soares-Cunha, Carina, Coimbra, Bárbara, Rodrigues, Ana João, Copelli, Mauro, Matias, Fernanda S., de Vasconcelos, Nivaldo A. P., Carelli, Pedro V.
The local field potential (LFP) is as a measure of the combined activity of neurons within a region of brain tissue. While biophysical modeling schemes for LFP in cortical circuits are well established, there is a paramount lack of understanding rega
Externí odkaz:
http://arxiv.org/abs/2312.07286
Autor:
Carelli, Rodrigo, author
Publikováno v:
Labour Law Utopias : Post-Growth & Post-Productive Work Approaches, 2024.
Externí odkaz:
https://doi.org/10.1093/oso/9780198889755.003.0005
Autor:
Carelli, Mishel, Ivanov, Sergei O.
We give a necessary and sufficient condition for an inverse sequence $S_0 \leftarrow S_1 \leftarrow \dots$ indexed by natural numbers to have ${\rm lim}^1S=0$. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We
Externí odkaz:
http://arxiv.org/abs/2310.02716
Autor:
Corrodi, S., Oksuzian, Y., Edmonds, A., Miller, J., Tran, H. N., Bonventre, R., Brown, D. N., Meot, F., Singh, V., Kolomensky, Y., Tripathy, S., Borrel, L., Bub, M., Echenard, B., Hitlin, D. G., Jafree, H., Middleton, S., Plestid, R., Porter, F. C., Zhu, R. Y., Bottura, L., Pinsard, E., Teixeira, A. M., Carelli, C., Ambrose, D., Badgley, K., Bautista, G. D., Bernstein, R. H., Boi, S., Crnkovic, J., Eldred, J., Gaponenko, A., Johnstone, C., Kiburg, B., Kutschke, R., Lynch, K., Mukherjee, A., Neuffer, D., Pellemoine, F., Pronskikh, V., Rakness, G., Tang, J., Tschirhart, R., Yucel, M., Zettlemoyer, J., Simons, B., Redigolo, D., Diociaiuti, E., Giovannella, S., Miscetti, S., Sarra, I., Muller, S. E., Ootani, W., Yucel, E. B., Kaplan, D. M., Phillips, T. J., Pasternak, J., Palo, D., Davydov, Y., Brown, D., Banerjee, S., Kawall, D., Hartwig, Z., Davidson, S., Abrams, R., Kampa, C., Mackenzie, M., Schmitt, M., Piot, P., Lee, Y. J., Morozov, V., Sato, A., Di Falco, S., Gioiosa, A., Morescalchi, L., Papa, A., Hedges, M. T., Renga, F., Lagrange, J. -B., Rogers, C., Wilcox, D., Petrov, A., Zhao, S., Dukes, E. C., Erlich, R., Group, C., Heeck, J., Pezzullo, G., Nguyen, T., Popp, J. L.
The Snowmass report on rare processes and precision measurements recommended Mu2e-II and a next generation muon facility at Fermilab (Advanced Muon Facility) as priorities for the frontier. The Workshop on a future muon program at FNAL was held in Ma
Externí odkaz:
http://arxiv.org/abs/2309.05933
Autor:
Di Somma, Giuseppe, Beverini, Nicolò, Carelli, Giorgio, Castellano, Simone, Devoti, Roberto, Maccioni, Enrico, Marsili, Paolo, Di Virgilio, Angela D. V.
The study of local deformations is a hot topic in geodesy. Local rotations of the crust around the vertical axis can be caused by deformations. In the Gran Sasso area the ring laser gyroscope GINGERINO and the GNSS array are operative. One year of da
Externí odkaz:
http://arxiv.org/abs/2308.01277
Autor:
Giovanni Buccioli, Carolina Testa, Emanuela Jacchetti, Pietro Pinoli, Stephana Carelli, Stefano Ceri, Manuela T. Raimondi
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-13 (2024)
Abstract Statins, widely used cardiovascular drugs that lower cholesterol by inhibiting HMG-CoA reductase, have been increasingly recognized for their potential anticancer properties. This study elucidates the underlying mechanism, revealing that sta
Externí odkaz:
https://doaj.org/article/0c1f53cca6b34826820d8f66486621c7
Autor:
Eduardo Ferriolli, Roberto Alves Lourenço, Vitor Pelegrim de Oliveira, Renato Gorga Bandeira de Mello, Renata Eloah de Lucena Ferretti-Rebustini, Leani Souza Máximo Pereira, Alexandre Leopold Busse, Álvaro Campos Cavalcanti Maciel, Amanda Aparecida Oliveira Leopoldino, Ana Cristina Rodrigues Lacerda, Anderson Marliere Navarro, Andre Fattori, Carla da Silva Santana Castro, Coeli Regina Carneiro Ximenes, Daiane de Souza Fernandes, Daniela Cristina Carvalho de Abreu, Flávio Rebustini, Hamilton Roschel, Jair Licio Ferreira Santos, Jarbas de Sá Roriz Filho, João Mazzoncini de Azevedo Marques, José Ailton Oliveira Carneiro, José Eduardo Pompeu, Julio Cesar Moriguti, Juliana Martins Pinto, Juscelio Pereira da Silva, Karina Pfrimer, Luciana Kusumota, Maycon Sousa Pegorari, Natália Maira da Cruz Alves, Nereida Kilza da Costa Lima, Núbia Carelli Pereira de Avelar, Olga Laura Sena Almeida, Paulo José Fortes Villas Boas, Philipe de Souto Barreto, Renato Campos Freire Júnior, Ricardo Oliveira Guerra, Rivia Siqueira Amorim, Roberta Rigo Dalla Corte, Rosalina Aparecida Partezani Rodrigues, Silvia Lanziotti Azevedo da Silva, Thiago Neves, Waleria Christiane Rezende Fett, Wilson Jacob Filho
Publikováno v:
Geriatrics, Gerontology and Aging, Vol 18, Pp 1-9 (2024)
Introduction: The World Health Organization (WHO) has proposed to monitor intrinsic capacity (IC) in the older population as a public health strategy through the Integrated Care for Older People (ICOPE) program. Although the program has been develope
Externí odkaz:
https://doaj.org/article/787266b1f7b34dfabbad50b8e826acb8