Related papers: Exploring the long-term dynamics of perturbed Kepl…
Emergent modified gravity has shown that the canonical formulation of general relativity gives rise to a larger class of covariant modifications than action-based approaches, so far in symmetry-reduced models. This outcome is made possible…
Fully automatic worst-case complexity analysis has a number of applications in computer-assisted program manipulation. A classical and powerful approach to complexity analysis consists in formally deriving, from the program syntax, a set of…
We present a fully analytical propagator for the orbits of lunar artificial satellites in a lunar gravity and third-body model sufficiently precise for a wide range of practical applications. The gravity model includes the twelve most…
The acclaimed merits of analytical solutions based on a fictitious time developed in the 1970's were partially overvalued due to a common misuse of classical analytical solutions based on the physical time that were taken as reference. With…
The effective classical/quantum dynamics of a particle constrained on a closed line embedded in a higher dimensional configuration space is analyzed. By considering explicit examples it is shown how different reduction mechanisms produce…
A new approach to nonperturbative calculations in quantum electrodynamics is proposed. The approach is based on a regular iteration scheme for solution of Schwinger-Dyson equations for generating functional of Green functions. The approach…
Aerial manipulators (AM) exhibit particularly challenging, non-linear dynamics; the UAV and the manipulator it is carrying form a tightly coupled dynamic system, mutually impacting each other. The mathematical model describing these…
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning. In recent years, quantitative variants of modal…
Mean-motion resonances between a Keplerian disc and an orbiting companion are analysed within a Hamiltonian formulation using complex canonical Poincare variables, which are ideally suited to the description of eccentricity and inclination…
The iterative rational Krylov algorithm (\textsf{IRKA}) is a popular approach for producing locally optimal reduced-order $\mathcal{H}_2$-approximations to linear time-invariant (LTI) dynamical systems. Overall, \textsf{IRKA} has seen…
Because the distant retrograde orbits dynamics inherently depends on special functions, approximate analytical solutions in the literature are commonly constrained to providing rough approximations of the qualitative behavior. We rely on…
Numerical solutions of Kepler's Equation are critical components of celestial mechanics software, and are often computation hot spots. This work uses symbolic regression and a genetic learning algorithm to find new initial guesses for…
This paper is concerned with the study of a family of fixed point iterations combining relaxation with different inertial (acceleration) principles. We provide a systematic, unified and insightful analysis of the hypotheses that ensure…
Quantum robots are described as mobile quantum computers and ancillary systems that move in and interact with arbitrary environments. Their dynamics is given as tasks which consist of sequences of alternating computation and action phases.…
Dimensional regularization of Euclidean momentum space integrals is a highly successful technique in renormalization of quantum field theories. While it yields a straightforward algorithmic method, with which to evaluate diagrams beyond…
We consider forkable regular expressions, which enrich regular expressions with a fork operator, to establish a formal basis for static and dynamic analysis of the communication behavior of concurrent programs. We define a novel…
The gravitational potential is a key function involved in many astrophysical problems. Its evaluation inside continuous media from Newton's law is known to be challenging because of the diverging kernel 1/|r-r'|. This difficulty is…
We expand the dynamical systems investigation of cosmological scalar fields characterised by kinetic corrections presented in [N. Tamanini, Phys. Rev. D 89 (2014) 083521]. In particular we do not restrict the analysis to exponential…
Several tasks in artificial intelligence require to be able to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this paper we exploit the algebraic framework of mathematical…
To estimate influence of the "dark energy" on the Keplerian orbits, we solve the general relativistic equations of motion of a test particle in the field of a point-like mass embedded in the cosmological background formed by the Lambda-term…