Search

We present the first release of the Calar Alto CAFOS direct imaging data, a project led by the Spanish Virtual Observatory with the goal of enhancing the use of the Calar Alto archive by the astrophysics community. Data Release 1 contains 23903 reduced and astrometrically calibrated images taken from March 2008 to July 2019 with a median of the mean uncertainties in the astrometric calibration of 0.04 arcsec. The catalogue associated to 6132 images in the Sloan gris filters provides accurate astrometry and PSF calibrated photometry for 139337 point-like detections corresponding to 21985 different sources extracted from a selection of 2338 good-quality images. The mean internal astrometric and photometric accuracies are 0.05 arcsec and 0.04 mag, respectively In this work we describe the approach followed to process and calibrate the images, and the construction of the associated catalogue, together with the validation quality tests carried out. Finally, we present three cases to prove the science capabilities of the catalogue: discovery and identification of asteroids, identification of potential transients, and identification of cool and ultracool dwarfs.

The pulsations of X-ray pulsars carry information about the accretion and magnetic field geometry. Here we present a study and classification of energy resolved pulse profiles of a sample of X-ray pulsars, focusing on high-mass X-ray binaries. Our goal is to perform a classification of X-ray pulsars based on their observed pulse profiles and look for correlations between this classification and their principle physical observables. The analysis pipeline is available online. We analysed the pulse profiles of a sample of X-ray pulsars using data obtained with the XMM-Newton and NuSTAR. We fit the energy resolved pulse profiles with a Fourier series of up to five harmonics. We investigate relationships between the pulse profile properties and other observables of the systems (e.g., orbital period, magnetic field strength, and luminosity) to study the extreme physics of these systems. The sources were divided into three groups by a classification based on the shape, the dominance of the fitted Fourier harmonics and their respective evolution with energy. We do not find a conclusive correlation between the pulse profile shapes or groups and other parameters of the systems. However, a weak trend was found when comparing our classification to the sources' location in the spin period-orbital period diagram. Further studies are required to confirm this trend. Despite the large variety of pulse profiles of the X-ray pulsars, we found that with our approach clear categories emerge which we use to classify their behavior as function of energy. As we do not find a clear relationship between our classification scheme and other parameters we conclude that X-ray pulse profiles are influenced by other hidden variables., Comment: 10 pages, 8 figures plus 38 figures in the appendix. Accepted for publication in A&A

We study a collapsing system attracted by a spherically symmetric gravitational source, with an increasing mass, that generates back-reaction effects that are the source of space-time waves. As an example, we consider an exponential collapse and the space-time waves emitted during this collapse due to the back-reaction effects, originated by geometrical deformation driven by the increment of the gravitational attracting mass during the collapse., Comment: 10 pages, 2 figures

We study the emission of space-time waves produced by back-reaction effects during a collapse of a spherically symmetric universe with a time dependent cosmological parameter, which is driven by a scalar field. As in a previous work the final state avoids the final singularity due to the fact the co-moving relativistic observer never reaches the center, because the physical time evolution $d\tau=U_{0}\,dx^0$, decelerates for a co-moving observer which falls with the collapse. The equation of state of the system depends on the rate of the collapse, but always is positive: $0 < \omega(p) < 0.25$., Comment: 11 pages, 4 figures

We study the partial time dependent collapse of a spherically symmetric compact object with initial mass $M_1+M_2$ and final mass $M_2$ and the waves of space-time emitted during the collapse via back-reaction effects. We obtain exact analytical solutions for the waves of space-time in an example in which $M_1=M_2=(M_1+M_2)/2$. The wavelengths of the space-time emitted waves during the collapse have the cut (we use natural units $c=\hbar=1$): $\lambda < (2/b)$, $(1/b)$-being the time scale that describes the decay of the compact object., Comment: improved version. 10 pages, 4 figures

We study the dynamic collapse driven by a scalar field, when a relativistic observer falls co-moving with the collapse and cross the horizon of a Schwarzschild black-hole (BH), at $t=t_0$. During the collapse the scale of time is considered as variable. Back-reaction effects and gravitational waves produced during the exponential collapse are studied. We demonstrate that back-reaction effects act as the source of gravitational waves emitted during the collapse, and wavelengths of gravitational waves (GW) are in the range: $\lambda \ll r_s\equiv {e^{-2h_0t_0}\over 2 h_0}$, that is, smaller than the Schwarzschild radius. We demonstrate that during all the collapse the global topology of the space-time remains hyperbolic when the observer cross the horizon., Comment: Version accepted in Phys. Dark Univ

We explore a collapsing cosmology driven by a scalar field which is minimally coupled to gravity in a spatially at and spherically symmetric, isotropic and homogeneous space-time, with a variable timescale that avoids the final singularity. The equation of state that describes the collapse is $\omega=1$. We calculate the back-reaction of the space-time during the collapse and the energy density fluctuations related to this back-reaction has a spectral index $n_s = 0$, favouring short-wavelengths modes to be detected. The interesting is that the amplitude of these fluctuations increase with time when the collapse is sufficiently strong., Comment: 11 pages, no figures

Non-confluent and non-terminating constructor-based term rewrite systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-strict non-deterministic functions. The semantics adopted for non-determinism is call-time choice, whose combination with non-strictness is a non trivial issue, addressed years ago from a semantic point of view with the Constructor-based Rewriting Logic (CRWL), a well-known semantic framework commonly accepted as suitable semantic basis of modern functional logic languages. A drawback of CRWL is that it does not come with a proper notion of one-step reduction, which would be very useful to understand and reason about how computations proceed. In this paper we develop thoroughly the theory for the first order version of let-rewriting, a simple reduction notion close to that of classical term rewriting, but extended with a let-binding construction to adequately express the combination of call-time choice with non-strict semantics. Let-rewriting can be seen as a particular textual presentation of term graph rewriting. We investigate the properties of let-rewriting, most remarkably their equivalence with respect to a conservative extension of the CRWL-semantics coping with let-bindings, and we show by some case studies that having two interchangeable formal views (reduction/semantics) of the same language is a powerful reasoning tool. After that, we provide a notion of let-narrowing which is adequate for call-time choice as proved by soundness and completeness results of let-narrowing with respect to let-rewriting. Moreover, we relate those let-rewriting and let-narrowing relations (and hence CRWL) with ordinary term rewriting and narrowing (..) To appear in Theory and Practice of Logic Programming (TPLP)., Comment: 89 pages, 6 figures. To appear in Theory and Practice of Logic Programming (TPLP). Corrected typos

The use of non-deterministic functions is a distinctive feature of modern functional logic languages. The semantics commonly adopted is call-time choice, a notion that at the operational level is related to the sharing mechanism of lazy evaluation in functional languages. However, there are situations where run-time choice, closer to ordinary rewriting, is more appropriate. In this paper we propose an extension of existing call-time choice based languages, to provide support for run-time choice in localized parts of a program. The extension is remarkably simple at three relevant levels: syntax, formal operational calculi and implementation, which is based on the system Toy., Comment: Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings

How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic perspective. The starting point of our work is CRWL (Constructor based ReWriting Logic), a well established theoretical framework for functional logic programming, whose fundamental notion is that of non-strict non-deterministic function. We present a proof calculus, CRWLF, which is able to deduce negative information from CRWL-programs. In particular, CRWLF is able to prove finite failure of reduction within CRWL., Comment: Appeared in Theory and Practice of Logic Programming, vol. 4, no. 1&2, 2004