Zobrazeno 1 - 10
of 29 626
pro vyhledávání: '"Meira, A"'
Autor:
Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime monitoring. Given a set of positive and negative examples, specified as t
Externí odkaz:
http://arxiv.org/abs/2412.02905
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
Autor:
Locatelli, Marcelo Sartori, Miranda, Matheus Prado, Costa, Igor Joaquim da Silva, Prates, Matheus Torres, Thomé, Victor, Monteiro, Mateus Zaparoli, Lacerda, Tomas, Pagano, Adriana, Neto, Eduardo Rios, Meira Jr., Wagner, Almeida, Virgilio
The Exame Nacional do Ensino M\'edio (ENEM) is a pivotal test for Brazilian students, required for admission to a significant number of universities in Brazil. The test consists of four objective high-school level tests on Math, Humanities, Natural S
Externí odkaz:
http://arxiv.org/abs/2408.05035
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
Autor:
Meira, Felipe Zingali
We classify Jacobian elliptic fibrations on K3 surfaces with a non-symplectic automorphism $\sigma$ of order 3 according to the action of $\sigma$ on their fibres, building on work by Garbagnati and Salgado for non-symplectic involutions. We determin
Externí odkaz:
http://arxiv.org/abs/2403.10712
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
Autor:
Gaunkar, Sunanda Prabhu, Askey, Ellen, Chasman, Meira, Takaira, Koksuke, Smith, Calahan, Murphy, Amanda, Kawalek, Nancy
The complexity of science and its frequent lack of accessibility often creates disinterest among the general public. Furthermore, there exists a gap between the public perception of science and the reality of scientific research, which severely limit
Externí odkaz:
http://arxiv.org/abs/2402.03598
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
Autor:
Zhang, Changjian, Kapoor, Parv, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk, Ganlath, Akila, Mishra, Shatadal, Ammar, Nejib
The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness, denoting its ca
Externí odkaz:
http://arxiv.org/abs/2311.07462
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