Zobrazeno 1 - 10
of 70 640
pro vyhledávání: '"ALY, A. A."'
There is a surge of interest in using formal languages such as Linear Temporal Logic (LTL) and finite automata to precisely and succinctly specify complex tasks and derive reward functions for reinforcement learning (RL) in robotic applications. Howe
Externí odkaz:
http://arxiv.org/abs/2412.10917
In this paper we propose a linear-time certifying algorithm for the single-source shortest-path problem capable of verifying graphs with positive, negative, and zero arc weights. Previously proposed linear-time approaches only work for graphs with po
Externí odkaz:
http://arxiv.org/abs/2412.06121
Deep learning-based automated contouring and treatment planning has been proven to improve the efficiency and accuracy of radiotherapy. However, conventional radiotherapy treatment planning process has the automated contouring and treatment planning
Externí odkaz:
http://arxiv.org/abs/2411.18767
Autor:
Smallwood, Jeremy L., Nealon, Rebecca, Yen, Hsi-Wei, Pinte, Christophe, Longarini, Cristiano, Aly, Hossam, Lin, Min-Kai
Misaligned circumbinary disks will produce dust traffic jams during alignment or anti-alignment to the binary orbital plane. We conduct a hydrodynamical simulation of an initially misaligned circumbinary disk undergoing polar alignment with multiple
Externí odkaz:
http://arxiv.org/abs/2411.12614
Autor:
Amari, Tahar, Canou, Aurélien, Velli, Marco, Mikic, Zoran, Alauzet, Frederic, Buchlin, Eric, Luciani, Jean-François, Aly, Jean-Jacques, Tarr, Lucas A.
Models and observations have demonstrated that Twisted Flux Ropes (TFRs) play a significant role in the structure and eruptive dynamics of active regions. Their role in the dynamics of the quiet Sun atmosphere on has remained elusive, their fundament
Externí odkaz:
http://arxiv.org/abs/2411.10563
The Open Radio Access Network (O-RAN) architecture is reshaping the telecommunications landscape by enhancing network flexibility, openness, and intelligence. This paper establishes the requirements, evaluates the design tradeoffs, and introduces a s
Externí odkaz:
http://arxiv.org/abs/2411.04027
Autor:
Kouchaki, Mohammadreza, Zhang, Minglong, Abdalla, Aly S., Lan, Guangchen, Brinton, Christopher G., Marojevic, Vuk
In the rapidly evolving landscape of 5G technology, safeguarding Radio Frequency (RF) environments against sophisticated intrusions is paramount, especially in dynamic spectrum access and management. This paper presents an enhanced experimental model
Externí odkaz:
http://arxiv.org/abs/2411.03365
Autor:
Aly, Fawzi, Stojkovic, Dejan
We study second-order electromagnetic perturbations in the Schwarzschild background and derive the effective source terms for Regge-Wheeler equation which are quadratic in first-order gravitational and electromagnetic perturbations. In addition to th
Externí odkaz:
http://arxiv.org/abs/2411.01441
Autor:
Aly, Rami, Vlachos, Andreas
Fact verification on tabular evidence incentivises the use of symbolic reasoning models where a logical form is constructed (e.g. a LISP-style program), providing greater verifiability than fully neural approaches. However, these systems typically re
Externí odkaz:
http://arxiv.org/abs/2411.01093
Autor:
Schlichtkrull, Michael, Chen, Yulong, Whitehouse, Chenxi, Deng, Zhenyun, Akhtar, Mubashara, Aly, Rami, Guo, Zhijiang, Christodoulopoulos, Christos, Cocarascu, Oana, Mittal, Arpit, Thorne, James, Vlachos, Andreas
The Automated Verification of Textual Claims (AVeriTeC) shared task asks participants to retrieve evidence and predict veracity for real-world claims checked by fact-checkers. Evidence can be found either via a search engine, or via a knowledge store
Externí odkaz:
http://arxiv.org/abs/2410.23850