This paper investigates the use of pulsar-based navigation for deep-space CubeSats. A novel approach dealing with onboard computation navigational solutions and timekeeping capabilities a spacecraft in cruise is shown, related implementation numerical simulations are discussed. The pulsar’s signal detection, processing, exploitation simulated spacecraft, thus showing feasibility autonomous stat...

in this paper, we deal with the subdierential concept onhadamard spaces. flat hadamard spaces are characterized, and nec-essary and sucient conditions are presented to prove that the subdif-ferential set in hadamard spaces is nonempty. proximal subdierentialin hadamard spaces is addressed and some basic properties are high-lighted. finally, a density theorem for subdierential set is establi...