Zobrazeno 1 - 10
of 91 269
pro vyhledávání: '"A, Marqués"'
Publikováno v:
IEEE Transactions on Intelligent Transportation Systems, 2024
Cycling is critical for cities to transition to more sustainable transport modes. Yet, safety concerns remain a critical deterrent for individuals to cycle. If individuals perceive an environment as unsafe for cycling, it is likely that they will pre
Externí odkaz:
http://arxiv.org/abs/2412.09835
We assess the sensitivity of future lepton colliders to weakly coupled vector dark portals (aka ``$ Z' $ bosons'') with masses ranging from tens of GeV to a few TeV. Our analysis focuses on dark photons and $ L_{\mu} - L_{\tau} $ gauge bosons. We con
Externí odkaz:
http://arxiv.org/abs/2412.09681
Autor:
Santos, Andre Luiz Cordeiro dos, Santos, Felipe Marques dos, Violante-Carvalho, Nelson, Carvalho, Luiz Mariano, Venceslau, Helder Manoel
Cross-assignment of directional wave spectra is a critical task in wave data assimilation. Traditionally, most methods rely on two-parameter spectral distances or energy ranking approaches, which often fail to account for the complexities of the wave
Externí odkaz:
http://arxiv.org/abs/2412.09542
The redshift drift of objects following the cosmological expansion is a unique model-independent probe of background cosmology, detectable by astrophysical facilities presently under construction. Previous forecasts for such measurements assume flat
Externí odkaz:
http://arxiv.org/abs/2412.07532
Autor:
Andrès, Léo, Marques, Filipe, Carcano, Arthur, Chambart, Pierre, Santos, José Fragoso, Filliâtre, Jean-Christophe
Publikováno v:
The Art, Science, and Engineering of Programming, 2025, Vol. 9, Issue 1, Article 3
In this paper, we present the design of Owi, a symbolic interpreter for WebAssembly written in OCaml, and how we used it to create a state-of-the-art tool to find bugs in programs combining C and Rust code. WebAssembly (Wasm) is a binary format for e
Externí odkaz:
http://arxiv.org/abs/2412.06391
Autor:
Onório, Duanny Silva, Marques, Flavio A. M., Cotta, Alexandre A. C., Tsuchida, Jefferson E., Santos, Alexandre Bessa dos, Osório, Jonas H.
Hollow-core photonic crystal fibers (HCPCFs) have become a key enabling technology for addressing a broad spectrum of fundamental and applied needs. Indeed, recent advancements achieved by the HCPCF research community have led to significant progress
Externí odkaz:
http://arxiv.org/abs/2412.05089
Graph Neural Networks (GNNs) have emerged as a promising tool to handle data exhibiting an irregular structure. However, most GNN architectures perform well on homophilic datasets, where the labels of neighboring nodes are likely to be the same. In r
Externí odkaz:
http://arxiv.org/abs/2412.01757
We obtain a class of solutions corresponding to a generalization of the Hayward black hole by solving the Einstein equations coupled to a particular nonlinear electromagnetic field. The generalization is realized by considering, additionally, the pre
Externí odkaz:
http://arxiv.org/abs/2412.00552
Autor:
Marques, Violeta Borges, Mertens, Arne
The framework of templicial vector spaces was put forth in arXiv:2302.02484v2 as a suitable generalization of simplicial sets in order to develop a theory of enriched quasi-categories, called quasi-categories in vector spaces. We construct a lift of
Externí odkaz:
http://arxiv.org/abs/2411.19751
Autor:
Gao, Kun, Cui, Wenwen, Shi, Jingming, Durajski, Artur P., Hao, Jian, Botti, Silvana, Marques, Miguel A. L., Li, Yinwei
Publikováno v:
Physical Review B 109,014501(2024)
Hydrogen-rich superconductors are promising candidates to achieve room-temperature superconductivity. However, the extreme pressures needed to stabilize these structures significantly limit their practical applications. An effective strategy to reduc
Externí odkaz:
http://arxiv.org/abs/2411.19028