By directly inverting several neutron star (NS) observables in the three-dimensional parameter space for equation of state super-dense neutron-rich nuclear matter, we show that lower radius limit PSR J0740+6620 mass 2.08 ± 0.07 M⊙ from Neutron Star Interior Composition Explorer (NICER)'s very recent observation sets a much tighter boundary than previously known symmetry energy density range (1....

We present a detailed study of the spatially resolved kinematics, star formation and stellar mass in a highly amplified galaxy at z= 4.92 behind the lensing cluster MS 1358+62. We use the observed optical, nearand mid-infrared imaging from Hubble Space Telescope ACS & NICMOS and Spitzer IRAC to derive the stellar mass and the Gemini/NIFS IFU to investigate the velocity structure of the galaxy f...

The X-ray source 4U 1820−30 in the globular cluster NGC 6624 is known as the most compact binary among the identified X-ray binaries. Having an orbital period of 685.0 s, the source consists of a neutron star primary and likely a 0.06–0.08 M⊙ white dwarf secondary. Here we report on far-ultraviolet (FUV) observations of this X-ray binary, made with the Space Telescope Imaging Spectrograph on bo...

Context. The high intensities and narrow bandwidths exhibited by some astronomical masers make them ideal tools for studying star-forming giant molecular clouds. The water maser transition JK−1K1 = 532−441 at 620.701 GHz can only be observed from above Earth’s strongly absorbing atmosphere; its emission has recently been detected from space. Aims. We sought to further characterize the star-form...

For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In this paper, we present a combined approach to alleviate it, based on using Petri net unfoldings and decomposition. The experimental results show significant improvement in terms of runtime compared with other existing methods.

A new optimal-extraction technique has been developed for deriving point-source spectra from data taken by the Infrared Spectrograph (IRS) on-board the Spitzer Space Telescope. The new technique gives improvements of up to a factor of two in the signal-to-noise ratio (S/N) for faint (< 10 mJy) sources, corresponding to an effective quadrupling of the exposure time. Regular extraction consists o...

In this paper we prove two results of nonsmooth analysis involving the Fréchet subdifferential. One of these results provides a necessary optimality condition for an optimization problem which arise naturally from a class of wide studied problems. In the second result we establish a sufficient condition for the metric regularity of a set-valued map without continuity assumptions. 1. Preliminari...