Zobrazeno 1 - 10
of 17 005
pro vyhledávání: '"P. P. Cavalcanti"'
Publikováno v:
EPTCS 411, 2024, pp. 91-108
This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must move synchronously, but sometimes get out of synchronisation, giving
Externí odkaz:
http://arxiv.org/abs/2411.14369
Autor:
Rosani, Matteo, Cena, Gianluca, Cavalcanti, Dave, Frascolla, Valerio, Marchetto, Guido, Scanzio, Stefano
Publikováno v:
20th IEEE International Conference on Factory Communication Systems (WFCS 2024)
Multi-Link Operation (MLO) in Wi-Fi 7 is expected to tangibly boost throughput while lowering transmission latency at the same time. This is very relevant in industrial scenarios and makes MLO suitable, e.g., to support seamless device mobility. Bene
Externí odkaz:
http://arxiv.org/abs/2411.12077
This paper delves into the deformation of spinor structures within nontrivial topologies and their physical implications. The deformation is modeled by introducing real functions that modify the standard spinor dynamics, leading to distinct physical
Externí odkaz:
http://arxiv.org/abs/2409.11168
Autor:
Hein, Jonas, Grunder, Jan, Calvet, Lilian, Giraud, Frédéric, Cavalcanti, Nicola Alessandro, Carrillo, Fabio, Fürnstahl, Philipp
Virtual Reality technology, when integrated with Surgical Digital Twins (SDTs), offers significant potential in medical training and surgical planning. We present SurgTwinVR, a VR application that immerses users within an SDT and enables them to navi
Externí odkaz:
http://arxiv.org/abs/2409.11014
Autor:
Korhonen, Keijo, Vappula, Hetta, Glos, Adam, Cattaneo, Marco, Zimborás, Zoltán, Borrelli, Elsi-Mari, Rossi, Matteo A. C., García-Pérez, Guillermo, Cavalcanti, Daniel
Achieving high-precision measurements on near-term quantum devices is critical for advancing quantum computing applications. In this paper, we explore several practical techniques to enhance measurement accuracy using randomized measurements, focusin
Externí odkaz:
http://arxiv.org/abs/2409.02575
Autor:
Medeiros, Ismael, Carvalho, Fausto, Ferreira, Alexandre, Bonifácio, Rodrigo, Fernandes, Fabiano Cavalcanti
Ethereum is a distributed, peer-to-peer blockchain infrastructure that has attracted billions of dollars. Perhaps due to its success, Ethereum has become a target for various kinds of attacks, motivating researchers to explore different techniques to
Externí odkaz:
http://arxiv.org/abs/2409.01788
Autor:
Haddara, Marwan, Cavalcanti, Eric G.
Recently the Local Friendliness (LF) no-go theorem has gained a lot of attention, owing to its deep foundational implications. This no-go theorem applies to scenarios which combine Bell experiments with Wigner's friend-type set ups, containing space-
Externí odkaz:
http://arxiv.org/abs/2407.20346
Autor:
Mangini, Stefano, Cavalcanti, Daniel
We propose a method for providing unbiased estimators of multiple observables with low statistical error by utilizing informationally (over)complete measurements and tensor networks. The technique consists of an observable-specific classical optimiza
Externí odkaz:
http://arxiv.org/abs/2407.02923
Autor:
Alves, Ruan P., Alves, Joao Guilherme A. da S., Camelo, Mikael R., de Feitosa, Wilker O., Monteiro, Victor F., Cavalcanti, Fco. Rodrigo P.
A Software-Defined Radio (SDR) platform is a communication system that implements as software functions that are typically implemented in dedicated hardware. One of its main advantages is the flexibility to test and deploy radio communication network
Externí odkaz:
http://arxiv.org/abs/2406.01485
Publikováno v:
Scientific Electronic Archives, Vol 13, Iss 4, Pp 86-96 (2020)
The World Health Organization (WHO) defines climacteric as a biological phase of life and not a pathological process, which refers to the transition between the reproductive and non-reproductive periods of women's lives. The objective of this study w
Externí odkaz:
https://doaj.org/article/6afa5783e69940ef80e6c50771dc1b20