Discovery of the spectroscopic binary nature of six southern Cepheids

We present the analysis of photometric and spectroscopic data of six bright Galactic Cepheids: GH Carinae, V419 Centauri, V898 Centauri, AD Puppis, AY Sagittarii, and ST Velorum. Based on new radial velocity data (in some cases supplemented with earlier data available in the literature), these Cepheids have been found to be members in spectroscopic binary systems. V898 Cen turned out to have one of the largest orbital radial velocity amplitude (> 40 km/s) among the known binary Cepheids. The data are insufficient to determine the orbital periods nor other orbital elements for these new spectroscopic binaries. These discoveries corroborate the statement on the high frequency of occurrence of binaries among the classical Cepheids, a fact to be taken into account when calibrating the period-luminosity relationship for Cepheids. We have also compiled all available photometric data that revealed that the pulsation period of AD Pup, the longest period Cepheid in this sample, is continuously increasing with Delta P = 0.004567 d/century, likely to be caused by stellar evolution. The wave-like pattern superimposed on the parabolic O-C graph of AD Pup may well be caused by the light-time effect in the binary system. ST Vel also pulsates with a continuously increasing period. The other four Cepheids are characterised with stable pulsation periods in the last half century.Comment: accepted by the MNRAS, 11 pages, 16 figures, 18 tables, a part of the data can be downloaded from the online version of this articl

Medium-resolution echelle spectroscopy of pulsating variables and exoplanet host stars with sub-meter telescopes

Here we present two of our interesting results obtained over the last 18 months from spectroscopic monitoring of binary pulsating stars and exoplanet host stars. Our investigations are very promising by demonstrating that modern fiber-fed spectrographs open a whole new chapter in the life of small national and university observatories.Comment: 3 pages, 3 figures. To be published in the proceedings of the workshop on "Observing techniques, instrumentation and science for metre-class telescopes", Sep. 2013, Tatranska Lomnica, Slovaki

Splitting Proofs for Interpolation

We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon signature. This allows us to highlight the space of all interpolants that can be extracted from a refutation as a space of simple choices on how to split the refuta- tion into two parts. We use this new insight to develop an algorithm for extracting interpolants which are linear in the size of the input refutation and can be further optimized using metrics such as number of non-logical symbols or quantifiers. We implemented the new algorithm in first-order theorem prover VAMPIRE and evaluated it on a large number of examples coming from the first-order proving community. Our experiments give practical evidence that our work improves the state-of-the-art in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201

Computation of the Vortex Free Energy in SU(2) Gauge Theory

We present the first measurement of the vortex free-energy order parameter at weak coupling for SU(2) in simulations employing multihistogram methods. The result shows that the excitation probability for a sufficiently thick vortex in the vacuum tends to unity. This is rigorously known to provide a necessary and sufficient condition for maintaining confinement at weak coupling in SU(N) gauge theories.Comment: 7 pages, LaTeX with 3 eps figures, minor changes, replacement of Fig.

Morphological and Histochemical Changes in Intercellular Junctional Complexes in Epithelial Cells of Mouse Small Intestine Upon X-Irradiation: Changes of Ruthenium Red Permeability and Calcium Content

Changes of calcium-content and permeability of tight junction following X-irradiation were investigated in mouse intestinal epithelial cells by electron microscopy. In the control animals the lower parts of tight junctional area as well as the other junctional elements and the intercellular space are labeled by pyroantimonate precipitates, which contain calcium as revealed by electron spectroscopy and electron energy loss spectrometry. X-irradiation, parallel with morphological changes, lead to rapid decrease of pyroantimonate precipitable calcium content and increase of the permeability of tight junctions indicated by the penetration of ruthenium red into the intercellular space. These changes were readily reversible following 0,5 Gy doses of irradiation however, they persisted up to 24 hours following 5 Gy irradiation. We conclude that irradiation at the applied doses can transiently destabilize the tight junctions in the epithelial layer of the small intestine, presumably through a calcium dependent mechanism

Magnetic and Transport Properties of Fe-Ag granular multilayers

Results of magnetization, magnetotransport and Mossbauer spectroscopy measurements of sequentially evaporated Fe-Ag granular composites are presented. The strong magnetic scattering of the conduction electrons is reflected in the sublinear temperature dependence of the resistance and in the large negative magnetoresistance. The simultaneous analysis of the magnetic properties and the transport behavior suggests a bimodal grain size distribution. A detailed quantitative description of the unusual features observed in the transport properties is given