Conic bundles and Mordell--Weil ranks of elliptic surfaces

Autor: Meira, Felipe Zingali

Let $k$ be a number field and $\mathcal{E}$ an elliptic curve defined over the function field $k(T)$ given by an equation of the form $y^2 = a_3x^3 + a_2x^2 + a_1x + a_0$, where $a_i \in k[T]$ and $deg(a_i) \leq 2$. We explore the conic bundle struct

Externí odkaz: http://arxiv.org/abs/2410.12066

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems

Autor: Zhang, Changjian, Kapoor, Parv, Kang, Eunsuk, Meira-Goes, Romulo, Garlan, David, Ganlath, Akila, Mishra, Shatadal, Ammar, Nejib

Cyber-physical systems (CPS) with reinforcement learning (RL)-based controllers are increasingly being deployed in complex physical environments such as autonomous vehicles, the Internet-of-Things(IoT), and smart cities. An important property of a CP

Externí odkaz: http://arxiv.org/abs/2406.17066

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications

Autor: Kapoor, Parv, Kang, Eunsuk, Meira-Goes, Romulo

Trajectory planning is a critical process that enables autonomous systems to safely navigate complex environments. Signal temporal logic (STL) specifications are an effective way to encode complex temporally extended objectives for trajectory plannin

Externí odkaz: http://arxiv.org/abs/2403.10554

Topic Shifts as a Proxy for Assessing Politicization in Social Media

Autor: Locatelli, Marcelo Sartori, Calais, Pedro, Miranda, Matheus Prado, Junho, João Pedro, Muniz, Tomas Lacerda, Meira Jr., Wagner, Almeida, Virgilio

Publikováno v: Topic Shifts as a Proxy for Assessing Politicization in Social Media. In: Proceedings of the International AAAI Conference on Web and Social Media. 2024. p. 972-984

Politicization is a social phenomenon studied by political science characterized by the extent to which ideas and facts are given a political tone. A range of topics, such as climate change, religion and vaccines has been subject to increasing politi

Externí odkaz: http://arxiv.org/abs/2312.11326

Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening

Autor: Chu, Simon, Shedden, Emma, Zhang, Changjian, Meira-Góes, Rômulo, Moreno, Gabriel A., Garlan, David, Kang, Eunsuk

The feature interaction problem occurs when two or more independently developed components interact with each other in unanticipated ways, resulting in undesirable system behaviors. Feature interaction problems remain a challenge for emerging domains

Externí odkaz: http://arxiv.org/abs/2310.18217