A classical result from Redko 20] says that there does not exist a complete nite equational axiomatization for the Kleene star mod-ulo trace equivalence. Fokkink and Zantema 13] showed, by means of a term rewriting analysis, that there does exist a complete nite equational axiomatization for the Kleene star up to strong bisimulation equivalence. This paper presents a simpler and shorter complet...

We present high-resolution infrared imaging of the massive star-forming region around the O-star Herschel 36. Special emphasis is given to a compact infrared source at 0. 25 southeast of the star. The infrared source, hereafter Her 36 SE, is extended in the broad–band images, but features spatially unresolved Br γ line emission. The line-emission source coincides in position with the previous H...

The star sensor has been widely used as an important and accurate attitude measurement sensor in classical satellite attitude determination systems. This paper analyses the influence of star sensor’s sampling frequency on attitude determination accuracy within an Extended Kalman filter (EKF). Simulations are used to validate the theoretical analysis and determine the parameters of the influence...

Two major advantages of the STAR detector uniform azimuthal acceptance complementing extended pseudo-rapidity coverage, and the ability to identify a wide variety of the hadron species in almost all kinematic ranges have allowed us to address successfully a set of key physics topics at RHIC. We report here selected recent results from the STAR experiment, including insights on system size effec...