For two subsetsW and V of a normed space X. The relative Kolmogorov n-width ofW relative to V in X is defined by Kn(W,V )X := inf Ln sup f∈W inf g∈V∩Ln ‖f − g‖X , where the infimum is taken over all n-dimensional subspaces Ln of X. For ∈ R+, defineW p (1 p ∞) to be the collection of 2 -periodic and continuous functions f representable as a convolution f (t)= c + (B ∗ g)(t), where g ∈ Lp(T ), T ...

Working with the mean orbit elements, the secular drift of the longitude of the ascending node and the sum of the argument of perigee and mean anomaly are set equal between two neighboring orbits. By having both orbits drift at equal angular rates on the average, they will not separate over time due to the influence of the perturbative effects of the asphericity of the Earth, as is considered i...

We present the results of an analytic calculation of the corrections of relative order a2(me/mll) to the muonium ground state hyperfine splitting due to exchanged photons. We compare theory and experiment, taking into account these corrections and some radiative-recoil contributions described in an accompanying paper.

This paper studies robust control schemes for two spacecraft in formation subjected to external disturbances in the space environment. Two sliding mode control schemes are designed to generate control with a finite time convergence property. The super twisting and adaptive super twisting control algorithms are developed for the two-spacecraft formation flying system. The second method of Lyapun...

The aim of this paper is to analyse under which conditions Absolute Order-of-Magnitude and Relative Orderof-Magnitude models may be consistent and to determine the constraints which guarantee consistency. A graphical interpretation of the constraints is provided, bridging the absolute qualitative labels of two quantities into their corresponding relative relation(s), and conversely. The ROM rel...

We address the problem of complementing higher-order patterns without repetitions of free variables. Di erently from the rst-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a nite set of patterns. We therefore generalize the simply-typed -calculus to include an internal notion of strict function so that we can directly express that a term must d...

The purpose of this department is to provide early announcement of significant new results, with some indications of proof. Although ordinarily a research announcement should be a brief summary of a paper to be published in full elsewhere, papers giving complete proofs of results of exceptional interest are also solicited. Manuscripts more than eight typewritten double spaced pages long will no...

This paper establishes a strong completeness property of compositional program logics for pure and imperative higher-order functions introduced in [2, 15–18]. This property, called descriptive completeness, says that for each program there is an assertion fully describing the former’s behaviour up to the standard observational semantics. This formula is inductively calculable from the program t...