Related papers: The Revised TESS Input Catalog and Candidate Targe…
The ALICE experiment at CERN has undergone a major upgrade during the Long Shutdown 2 of the LHC during 2019-2021. A key element is the installation of the new Inner Tracking System 2 (ITS2). The new ITS2 based on CMOS Monolithic Active…
Pulsar binaries, in particular redback systems, provide good sources to study the pulsar wind flow and its interaction with the companion stars. {\it Fermi}-LAT have proposed probable pulsar binary candidates in its catalogs. To identify…
The Transiting Exoplanet Survey Satellite (TESS), launched successfully on 18th of April, 2018, will observe nearly the full sky and will provide time-series imaging data in ~27-day-long campaigns. TESS is equipped with 4 cameras; each has…
There have been several recent suggestions for tableau systems for deciding satisfiability in the practically important branching time temporal logic known as CTL*. In this paper we present a streamlined and more traditional tableau…
In this paper, we present the tidiness score-guided Monte Carlo tree search (TSMCTS), a novel framework designed to address the tabletop tidying up problem using only an RGB-D camera. We address two major problems for tabletop tidying up…
We present a detailed analysis of the selection function of the LAMOST Spectroscopic Survey of the Galactic Anti-centre (LSS-GAC). LSS-GAC was designed to obtain low resolution optical spectra for a sample of more than 3 million stars in…
Task planning with temporally extended goals (TEGs) is a critical challenge in AI and robotics, enabling agents to achieve complex sequences of objectives over time rather than addressing isolated, immediate tasks. Linear Temporal Logic on…
The Kilodegree Extremely Little Telescope (KELT) has been surveying more than $70\%$ of the celestial sphere for nearly a decade. While the primary science goal of the survey is the discovery of transiting, large-radii planets around bright…
We present new automatic methods of search for star clusters using the data available in new huge stellar catalogues. Using 2MASS catalogue we have discovered over ten new open clusters in the region of Galaxy anticenter and determined…
The catalog of hierarchical stellar systems with three or more components is an update of the original 1997 version of the MSC. For two thousand hierarchies, the new MSC provides distances, component's masses and periods, as well as…
We describe a new catalog of accelerating star candidates with Gaia $G\le 17.5$ mag and distances $d\le 100$ pc. Designated as Gaia Nearby Accelerating Star Catalog (GNASC), it contains 29,684 members identified using a supervised…
We have compiled a new catalogue of open clusters in the Galaxy which updates the previous catalogues of Lynga (1987) and of Mermilliod (1995) (included in the WEBDA database). New objects and new data, in particular, data on kinematics…
The ACS Survey of Globular Clusters has used HST's Wide-Field Channel to obtain uniform imaging of 65 of the nearest globular clusters to provide an extensive homogeneous dataset for a broad range of scientific investigations. The survey…
Most future surveys designed to discover transiting exoplanets, including TESS and PLATO, will target bright (V<13) and nearby solar-type stars having a spectral type later than F5. In order to enhance the probability of identifying…
We announce FluxCT, a web tool for identifying contaminating flux in Kepler and TESS target pixel files due to secondary visual sources. We demonstrate the usage of this tool and discuss the benefits of this tool over a simple Gaia radius…
We address the problem of subsequence search in time series using Chebyshev distance, to which we refer as twin subsequence search. We first show how existing time series indices can be extended to perform twin subsequence search. Then, we…
Tool-Integrated Reasoning (TIR) with search engines enables large language models to iteratively retrieve up-to-date external knowledge, enhancing adaptability and generalization in complex question-answering tasks. However, existing search…
Context. Determining the orbital periods of cataclysmic variable stars (CVs) is essential for confirming candidates and for the understanding of their evolutionary state. The Transiting Exoplanet Survey Satellite (TESS) provides month-long…
Large scientific institutions, such as the Space Telescope Science Institute, track the usage of their facilities to understand the needs of the research community. Astrophysicists incorporate facility usage data into their scientific…
The China Space Station Telescope (CSST) is a two-meter space telescope with multiple back-end instruments. The Fine Guidance Sensor (FGS) is an essential subsystem of the CSST Precision Image Stability System to ensure the required…