105 citations
- Universidade Federal de PernambucoBR26 papers
- Universidade Federal de AlagoasBR9 papers
- Universidade Federal da ParaíbaBR7 papers
- Universidade Federal Rural de PernambucoBR7 papers
- Boston UniversityUS6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Institut Jean LamourFR5 papers
- Universidade Federal do PiauíBR5 papers
- Universidade Federal FluminenseBR5 papers
- Université de LorraineFR5 papers
- Massachusetts Institute of TechnologyUS4 papers
- Universidade Estadual de Santa CruzBR4 papers
67 papers
A generalized dipole-segment model for the gravitational field of elongated bodies
A. K. de Almeida, A. F. S. Ferreira, L. B. T. Santos +6
Context. Various simplified models have been investigated to understand the complex dynamical environment near irregular asteroids. We propose a generalized dipole-segment model (G…
Implementing the First-Order Logic of Here and There
Jens Otten, Torsten Schaub
We present automated theorem provers for the first-order logic of here and there (HT). They are based on a native sequent calculus for the logic of HT and an axiomatic embedding of…
Equilibration and the eigenstate thermalization hypothesis as limits to observing macroscopic quantum superpositions
Gabriel Dias Carvalho, Pedro S. Correia, Thiago R. de Oliveira
Macroscopic quantum superpositions are widely believed to be unobservable because large systems cannot be perfectly isolated from their environments. Here, we show that even under…
Assessing Redundancy Strategies to Improve Availability in Virtualized System Architectures
Alison Silva, Gustavo Callou
Cloud-based storage platforms are becoming more common in both academic and business settings due to their flexible access to data and support for collaborative functionalities. As…
Necessity of entanglement for the typicality argument in statistical mechanics
Pedro S. Correia, Gabriel Dias Carvalho, Thiago R. de Oliveira
Typicality arguments replace the postulated mixed state ensembles of statistical mechanics with pure states sampled uniformly at random, explaining why most microstates of large sy…
Connecting Earth and Moon via the L1 Lagrangian point
A. K. de Almeida, V. M. de Oliveira, T. Vaillant +4
The renewed global interest in lunar exploration requires new orbital strategies to ensure flight safety which can benefit extended lunar missions and service a plethora of planned…