Zobrazeno 1 - 10
of 4 976
pro vyhledávání: '"A. Dagnino"'
Autor:
F. Rojas-Thomas, C. Artigas, G. Wainstein, Juan-Pablo Morales, M. Arriagada, D. Soto, A. Dagnino-Subiabre, J. Silva, V. Lopez
Publikováno v:
Neurobiology of Stress, Vol 25, Iss , Pp 100551- (2023)
Psychosocial stress has increased considerably in our modern lifestyle, affecting global mental health. Deficits in attentional control are cardinal features of stress disorders and pathological anxiety. Studies suggest that changes in the locus coer
Externí odkaz:
https://doaj.org/article/f9d845072c614b25afa8989ba5b23ee1
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
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