Zobrazeno 1 - 10
of 4 303
pro vyhledávání: '"A, Dagnino"'
In this work, we propose a novel and efficient method for smoothing polylines in motion planning tasks. The algorithm applies to motion planning of vehicles with bounded curvature. In the paper, we show that the generated path: 1) has minimal length,
Externí odkaz:
http://arxiv.org/abs/2409.09816
Band structures are ubiquitous in condensed matter physics and their symmetries constrain possible degeneracies, topology and response functions across a broad range of different systems. Here we address the question: given a parent crystal, what is
Externí odkaz:
http://arxiv.org/abs/2409.02999
Autor:
Huang, Baoru, Vo, Tuan, Kongtongvattana, Chayun, Dagnino, Giulio, Kundrat, Dennis, Chi, Wenqiang, Abdelaziz, Mohamed, Kwok, Trevor, Jianu, Tudor, Do, Tuong, Le, Hieu, Nguyen, Minh, Nguyen, Hoan, Tjiputra, Erman, Tran, Quang, Xie, Jianyang, Meng, Yanda, Bhattarai, Binod, Tan, Zhaorui, Liu, Hongbin, Gan, Hong Seng, Wang, Wei, Yang, Xi, Wang, Qiufeng, Su, Jionglong, Huang, Kaizhu, Stefanidis, Angelos, Guo, Min, Du, Bo, Tao, Rong, Vu, Minh, Zheng, Guoyan, Zheng, Yalin, Vasconcelos, Francisco, Stoyanov, Danail, Elson, Daniel, Baena, Ferdinando Rodriguez y, Nguyen, Anh
Real-time visual feedback from catheterization analysis is crucial for enhancing surgical safety and efficiency during endovascular interventions. However, existing datasets are often limited to specific tasks, small scale, and lack the comprehensive
Externí odkaz:
http://arxiv.org/abs/2408.13126
Autor:
Kwan, Yves H., Wagner, Glenn, Yu, Jiabin, Dagnino, Andrea Kouta, Jiang, Yi, Xu, Xiaodong, Bernevig, B. Andrei, Neupert, Titus, Regnault, Nicolas
Using comprehensive exact diagonalization calculations on $\theta \approx 3.7 ^{\circ}$ twisted bilayer MoTe$_2$ ($t$MoTe$_2$), as well as idealized Landau level models also relevant for lower $\theta$, we extract general principles for engineering f
Externí odkaz:
http://arxiv.org/abs/2407.02560
Autor:
Dagnino, Francesco, Pasquali, Fabio
Lawvere's generalised the notion of complete metric space to the field of enriched categories: an enriched category is said to be Cauchy-complete if every left adjoint bimodule into it is represented by an enriched functor. Looking at this definition
Externí odkaz:
http://arxiv.org/abs/2402.19266
Autor:
Andrea Piccolini, Pier Paolo Avolio, Cesare Saitta, Edoardo Beatrici, Stefano Moretto, Muhannad Aljoulani, Filippo Dagnino, Davide Maffei, Nicola Frego, Vittorio Fasulo, Marco Paciotti, Rodolfo Hurle, Alberto Saita, Massimo Lazzeri, Paolo Casale, Piergiuseppe Colombo, Miriam Cieri, Nicolò Maria Buffi, Giovanni Lughezzani
Publikováno v:
European Urology Open Science, Vol 69, Iss , Pp 7-12 (2024)
Background and objective: High-resolution micro-ultrasound (microUS) is an advanced imaging tool. Our objective was to determine whether systematic microUS use for transrectal biopsy (TRBx) improves the detection rate for clinically significant prost
Externí odkaz:
https://doaj.org/article/b0629fec09904f38baa5e4940b45e245
Generalized metric spaces are obtained by weakening the requirements (e.g., symmetry) on the distance function and by allowing it to take values in structures (e.g., quantales) that are more general than the set of non-negative real numbers. Quantale
Externí odkaz:
http://arxiv.org/abs/2309.06968
Autor:
Dagnino, Francesco, Gavazzo, Francesco
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 2 (April 4, 2024) lmcs:11041
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive notions of operationally-based logical relations have been designed a
Externí odkaz:
http://arxiv.org/abs/2303.03271
Resource-aware type systems statically approximate not only the expected result type of a program, but also the way external resources are used, e.g., how many times the value of a variable is needed. We extend the type system of Featherweight Java t
Externí odkaz:
http://arxiv.org/abs/2302.07782
Not all properties are monitorable. This is a well-known fact, and it means there exist properties that cannot be fully verified at runtime. However, given a non-monitorable property, a monitor can still be synthesised, but it could end up in a state
Externí odkaz:
http://arxiv.org/abs/2211.11544