The following text is an annotation to Marc A. A. van Leeuwen's paper " Tableau algorithms defined naturally for pictures " in its version of 25 November 2011. This annotation contains corrections of a few mistakes. Different comments are separated by horizontal lines, like this: Page 1, §1: Replace " as a tableaux " by " as tableaux ". Page 3, §2.2: Replace " The the non-empty " by " The non-e...

The analytic solution of a satellite orbit disturbed by the atmospheric drag is derived in this paper. The disturbing force vector is first transformed and rotated to the orbital frame so that it can be used in the simplified Gaussian equations of satellite motion. Then the force vector is expanded to triangle functions of the Keplerian angular elements and the disturbances are separated into t...

Let P be the Gelfand–Tsetlin polytope defined by the skew shape λ/μ and weight w. In the case corresponding to a standard Young tableau, we completely characterize for which shapes λ/μ the polytope P is integral. Furthermore, we show that P is a compressed polytopewhenever it is integral and corresponds to a standard Young tableau.We conjecture that a similar property holds for arbitraryw, name...

This paper is devoted to the computation of statistical characteristics of the response of discrete vibration systems with a random external excitation. The excitation can act at multiple points and is modeled by a time-shifted random process and its derivatives up to the second order. Statistical characteristics of the response are given by expansions as to the correlation length of a weakly c...

OBJECTIVE Health care researchers have not taken full advantage of the potential to effectively convey meaning in their multivariate data through graphical presentation. The aim of this paper is to translate knowledge from the fields of analytical chemistry, toxicology, and marketing research to the field of medicine by introducing the radar plot, a useful graphical display method for multivari...

The use of bottom-up generated lemmas is an appropriate method for achieving an eeective redundancy control mechanism for connection tableau search procedures as well as for reducing proof lengths. An unbounded use of lemmas, however, usually does not lead to improvements of the search process and can even complicate the search. In order to identify lemmas which are actually relevant for the pr...

With the upcoming 10th Micro Total Analysis Systems (mTAS) conference, it is appropriate to look back at the nine previous meetings and see how the conference and associated research fields have evolved. The original concept of mTAS is reviewed in the context of the former sensors and actuators and analytical chemistry concepts. Its development over the past 12 years is discussed by taking exam...

We identify a general property of concrete domains that is sufficient for proving decidability of DLs equipped with them and GCIs. We show that some useful concrete domains, such as a temporal one based on the Allen relations and a spatial one based on the RCC-8 relations, have this property. Then, we present a tableau algorithm for reasoning in DLs equipped with such concrete domains.