Influence of interstellar and atmospheric extinction on light curves of eclipsing binaries

Interstellar and atmospheric extinctions redden the observational photometric data and they should be handled rigorously. This paper simulates the effect of reddening for the modest case of two main sequence T1 = 6500K and T2 = 5500K components of a detached eclipsing binary system. It is shown that simply subtracting a constant from measured magnitudes (the approach often used in the field of eclipsing binaries) to account for reddening should be avoided. Simplified treatment of the reddening introduces systematics that reaches \~0.01mag for the simulated case, but can be as high as ~0.2mag for e.g. B8V--K4III systems. With rigorous treatment, it is possible to uniquely determine the color excess value E(B-V) from multi-color photometric light curves of eclipsing binaries.Comment: 6 pages, 9 figures, 1 table, Kopal's Binary Star Legacy conference contribution (Litomysl 2004), to be published by Kluwer A&S

The Extinction Towards the GRB970228 Field

We determine the local galactic extinction towards the field of gamma-ray burst GRB970228 using a variety of methods. We develop a maximum likelihood method for measuring the extinction by comparing galaxy counts in the field of interest to those in a field of known extinction, and apply this method to the GRB970228 field. We also measure the extinction by comparing the observed stellar spectral energy distributions of stars in the GRB970228 field to the spectral energy distribution of library spectra of the same spectral type. Finally we estimate the extinction using the Balmer emission line ratios of a galaxy in the GRB970228 field, and the neutral hydrogen column density and amount of infrared dust emission toward this field. Combining the results of these methods, we find a best-fit galactic extinction in the optical of $A_V=1.19^{+0.10}_{-0.17}$, which implies a a substantial dimming and change of the spectral slope of the intrinsic GRB970228 afterglow.Comment: 22 pages, including 7 figures. Submitted to Ap

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing

We present a Java software framework for building infrastructures to support the development of applications for systems where mobility and network awareness are key issues. The framework is particularly useful to develop run-time support for languages oriented towards global computing. It enables platform designers to customize communication protocols and network architectures and guarantees transparency of name management and code mobility in distributed environments. The key features are illustrated by means of a couple of simple case studies

Synthesizing and tuning chemical reaction networks with specified behaviours

We consider how to generate chemical reaction networks (CRNs) from functional specifications. We propose a two-stage approach that combines synthesis by satisfiability modulo theories and Markov chain Monte Carlo based optimisation. First, we identify candidate CRNs that have the possibility to produce correct computations for a given finite set of inputs. We then optimise the reaction rates of each CRN using a combination of stochastic search techniques applied to the chemical master equation, simultaneously improving the of correct behaviour and ruling out spurious solutions. In addition, we use techniques from continuous time Markov chain theory to study the expected termination time for each CRN. We illustrate our approach by identifying CRNs for majority decision-making and division computation, which includes the identification of both known and unknown networks.Comment: 17 pages, 6 figures, appeared the proceedings of the 21st conference on DNA Computing and Molecular Programming, 201

Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi

Lazy Mobile Intruders

We present a new technique for analyzing platforms that execute potentially malicious code, such as web-browsers, mobile phones, or virtualized infrastructures. Rather than analyzing given code, we ask what code an intruder could create to break a security goal of the platform. To avoid searching the infinite space of programs that the intruder could come up with (given some initial knowledge) we adapt the lazy intruder technique from protocol verification: the code is initially just a process variable that is getting instantiated in a demand-driven way during its execution. We also take into account that by communication, the malicious code can learn new information that it can use in subsequent operations, or that we may have several pieces of malicious code that can exchange information if they “meet”. To formalize both the platform and the malicious code we use the mobile ambient calculus, since it provides a small, abstract formalism that models the essence of mobile code. We provide a decision procedure for security against arbitrary intruder processes when the honest processes can only perform a bounded number of steps and without path constraints in communication. We show that this problem is NP-complete

Drip and Mate Operations Acting in Test Tube Systems and Tissue-like P systems

The operations drip and mate considered in (mem)brane computing resemble the operations cut and recombination well known from DNA computing. We here consider sets of vesicles with multisets of objects on their outside membrane interacting by drip and mate in two different setups: in test tube systems, the vesicles may pass from one tube to another one provided they fulfill specific constraints; in tissue-like P systems, the vesicles are immediately passed to specified cells after having undergone a drip or mate operation. In both variants, computational completeness can be obtained, yet with different constraints for the drip and mate operations

Dark gas in the solar neighnorhood from extinction data

When modeling infrared or gamma-ray data as a linear combination of observed gas tracers, excess emission has been detected compared to expectations from known neutral and atomic gas as traced by HI and CO measurements, respectively. This excess might correspond to an additional gas component. This so-called "dark gas" (DG) has been observed in our Galaxy, as well as the Magellanic Clouds. For the first time, we investigate the correlation between visible extinction (Av) data and gas tracers on large scales in the solar neighborhood. Our work focuses on both the solar neighborhood (|b|>10\degr), and the inner and outer Galaxy, as well as on four individual regions: Taurus, Orion, Cepheus-Polaris and Aquila-Ophiuchus. Thanks to the recent production of an all-sky Av map, we first perform the correlation between Av and both HI and CO emission over the most diffuse regions, to derive the optimal (Av/NH)^(ref) ratio. We then iterate the analysis over the entire regions to estimate the CO-to-H2 conversion factor as well as the DG mass fraction. The average extinction to gas column-density ratio in the solar neighborhood is found to be (Av/NH)^(ref)=6.53 10^(-22) mag. cm^2, with significant differences between the inner and outer Galaxy. We derive an average XCO value of 1.67 10^(20) H2 cm^(-2)/(K km s^(-1)). In the solar neighborhood, the gas mass in the dark component is found to be 19% relative to that in the atomic component and 164$$ relative to the one traced by CO. These results are compatible with the recent analysis using Planck data within the uncertainties of our measurements. We estimate the ratio of dark gas to total molecular gas to be 0.62 in the solar neighborhood. The HI-to-H2 and H2-to-CO transitions appear for Av $\simeq$0.2 mag and Av$\simeq1.5$ mag, respectively, in agreement with theoretical models of dark-H2 gas.Comment: 9 pages, 4 figures, 1 table. Accepted for publication in A&A (in press

Early evolution of the extraordinary Nova Del 2013 (V339 Del)

We determine the temporal evolution of the luminosity L(WD), radius R(WD) and effective temperature Teff of the white dwarf (WD) pseudophotosphere of V339 Del from its discovery to around day 40. Another main objective was studying the ionization structure of the ejecta. These aims were achieved by modelling the optical/near-IR spectral energy distribution (SED) using low-resolution spectroscopy (3500 - 9200 A), UBVRcIc and JHKLM photometry. During the fireball stage (Aug. 14.8 - 19.9, 2013), Teff was in the range of 6000 - 12000 K, R(WD) was expanding non-uniformly in time from around 66 to around 300 (d/3 kpc) R(Sun), and L(WD) was super-Eddington, but not constant. After the fireball stage, a large emission measure of 1.0-2.0E+62 (d/3 kpc)**2 cm**(-3) constrained the lower limit of L(WD) to be well above the super-Eddington value. The evolution of the H-alpha line and mainly the transient emergence of the Raman-scattered O VI 1032 A line suggested a biconical ionization structure of the ejecta with a disk-like H I region persisting around the WD until its total ionization, around day 40. It is evident that the nova was not evolving according to the current theoretical prediction. The unusual non-spherically symmetric ejecta of nova V339 Del and its extreme physical conditions and evolution during and after the fireball stage represent interesting new challenges for the theoretical modelling of the nova phenomenon.Comment: 14 pages, 9 figures, 3 tables, accepted for Astronomy and Astrophysic

Study of Envelope Velocity Evolution of Type Ib-c Core-Collapse Supernovae from Observations of XRF 080109 / SN 2008D and GRB 060218 / SN 2006aj with BTA

Results of modeling the spectra of two supernovae SN 2008D and SN 2006aj related to the X-ray flash XRF 080109 and gamma-ray burst GRB / XRF 060218, respectively, are studied. The spectra were obtained with the 6-meter BTA telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences in 6.48 and 27.61 days after the explosion of SN 2008D, and in 2.55 and 3.55 days after the explosion of SN 2006aj. The spectra were interpreted in the Sobolev approximation with the SYNOW code. An assumption about the presence of envelopes around the progenitor stars is confirmed by an agreement between the velocities of lines interpreted as hydrogen and helium, and the empiric power-law velocity drop with time for the envelopes of classic core-collapse supernovae. Detection of a P Cyg profile of the H-beta line in the spectra of optical afterglows of GRBs can be a determinative argument in favor of this hypothesis.Comment: 12 pages, 6 figures, accepted for publication in Astrophysical Bulletin