Paramagnetic Meissner Effect in Multiply-Connected Superconductors

We have measured a paramagnetic Meissner effect in Nb-Al2O3-Nb Josephson junction arrays using a scanning SQUID microscope. The arrays exhibit diamagnetism for some cooling fields and paramagnetism for other cooling fields. The measured mean magnetization is always less than 0.3 flux quantum (in terms of flux per unit cell of the array) for the range of cooling fields investigated. We demonstrate that a new model of magnetic screening, valid for multiply-connected superconductors, reproduces all of the essential features of paramagnetism that we observe and that no exotic mechanism, such as d-wave superconductivity, is needed for paramagnetism.Comment: 4 pages, 3 figures, LaTe

Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work

Non-Fermi liquid behavior of SrRuO_3 -- evidence from infrared conductivity

The reflectivity of the itinerant ferromagnet SrRuO_3 has been measured between 50 and 25,000 cm-1 at temperatures ranging from 40 to 300 K, and used to obtain conductivity, scattering rate, and effective mass as a function of frequency and temperature. We find that at low temperatures the conductivity falls unusually slowly as a function of frequency (proportional to \omega^{-1/2}), and at high temperatures it even appears to increase as a function of frequency in the far-infrared limit. The data suggest that the charge dynamics of SrRuO_3 are substantially different from those of Fermi-liquid metals.Comment: 4 pages, 3 postscript figure

Non-Fermi liquid behavior and scaling of low frequency suppression in optical conductivity spectra of CaRuO3_3

Optical conductivity spectra $\sigma_1(\omega)$ of paramagnetic CaRuO$_3$ are investigated at various temperatures. At T=10 K, it shows a non-Fermi liquid behavior of $\sigma_1(\omega)\sim 1/{\omega}^{\frac 12}$, similar to the case of a ferromagnet SrRuO$_3$. As the temperature ($T$) is increased, on the other hand, $\sigma_1(\omega)$ in the low frequency region is progressively suppressed, deviating from the 1/{\omega}^{\frac 12%}-dependence. Interestingly, the suppression of $\sigma_1(\omega)$ is found to scale with $\omega /T$ at all temperatures. The origin of the $$ scaling behavior coupled with the non-Fermi liquid behavior is discussed.Comment: 4 pages, 3 figure

A rapid and reliable determination of doxycycline hyclate by HPLC with UV detection in pharmaceutical samples

An accurate, sensitive and reproducible high performance liquid chromatographic (HPLC) method for the quantification of doxycycline hyclate in pharmaceutical samples has been developed and validated. The drug and the standard were eluted from a Lichrosorb RP-8 (250 mm´4.6 mm, 10 mm particle size) at 20 °C with a mobile phase consisting of methanol, acetonitrile and 0.010 M aqueous solution of oxalic acid (2:3:5, v/v/v). The flow rate was 1.25 ml min-1. A UV detector set at 350 nm was used to monitor the effluent. Each analysis required no longer than 4 min. The limits of detection and quantification were 1.15 and 3.84 μg ml-1, respectively. Recoveries for different concentrations ranged from 99.58 to 101.93 %

Spectral evolution in (Ca,Sr)RuO_3 near the Mott-Hubbard transition

We investigated the optical properties of (Ca,Sr)RuO_3 films on the borderline of a metal-insulator (M-I) transition. Our results show all of the predicted characteristics for a metallic Mott-Hubbard system, including (i) a mass enhancement in dc-limit, (ii) an U/2 excitation, and (iii) an U excitation. Also, a self-consistency is found within the Gutzwiller-Brinkman-Rice picture for the Mott transition. Our finding displays that electron correlation should be important even in 4d materials.Comment: REVTEX 4 pages, 5 EPS figures, submitted to Phys. Rev. Let

Pseudogap formation of four-layer BaRuO3_3 and its electrodynamic response changes

We investiaged the optical properties of four-layer BaRuO$_{3}$, which shows a fermi-liquid-like behavior at low temperature. Its optical conductivity spectra clearly displayed the formation of a pseudogap and the development of a coherent peak with decreasing temperature. Temperature-dependences of the density $n$ and the scattering rate $1/\tau$ of the coherent component were also derived. As the temperature decreases, both $n$ and $1/\tau$ decrease for four-layer BaRuO$_{3}$. These electrodynamic responses were compared with those of nine-layer BaRuO$_{3}$, which also shows a pseudogap formation but has an insulator-like state at low temperature. It was found that the relative rates of change of both $n$ and $1/\tau$ determine either metallic or insulator-like responses in the ruthenates. The optical properties of the four-layer ruthenate were also compared with those of other pseudogap systems, such as high $T_{c}$ cuprates and heavy electron systems.Comment: 7 figures. submitted to Phys. Rev.

Induced paramagnetic states by localized π\pi -loops in grain boundaries

Recent experiments on high-temperature superconductors show paramagnetic behavior localized at grain boundaries (GB). This paramagnetism can be attributed to the presence unconventional d-wave induced $\pi$-junctions. By modeling the GB as an array of $\pi$ and conventional Josephson junction we determine the conditions of the occurrence of the paramagnetic behavior.Comment: 4 pages, 4 figures, submitted to Phys. Rev. Let

Fate specification and tissue-specific cell cycle control of the <i>Caenorhabditis elegans</i> intestine

Coordination between cell fate specification and cell cycle control in multicellular organisms is essential to regulate cell numbers in tissues and organs during development, and its failure may lead to oncogenesis. In mammalian cells, as part of a general cell cycle checkpoint mechanism, the F-box protein β-transducin repeat-containing protein (β-TrCP) and the Skp1/Cul1/F-box complex control the periodic cell cycle fluctuations in abundance of the CDC25A and B phosphatases. Here, we find that the Caenorhabditis elegans β-TrCP orthologue LIN-23 regulates a progressive decline of CDC-25.1 abundance over several embryonic cell cycles and specifies cell number of one tissue, the embryonic intestine. The negative regulation of CDC-25.1 abundance by LIN-23 may be developmentally controlled because CDC-25.1 accumulates over time within the developing germline, where LIN-23 is also present. Concurrent with the destabilization of CDC-25.1, LIN-23 displays a spatially dynamic behavior in the embryo, periodically entering a nuclear compartment where CDC-25.1 is abundant

Evaluation of tolerance to lentiviral LV-RPE65 gene therapy vector after subretinal delivery in non-human primates.

Several approaches have been developed for gene therapy in RPE65-related Leber congenital amaurosis. To date, strategies that have reached the clinical stages rely on adeno-associated viral vectors and two of them documented limited long-term effect. We have developed a lentiviral-based strategy of RPE65 gene transfer that efficiently restored protein expression and cone function in RPE65-deficient mice. In this study, we evaluated the ocular and systemic tolerances of this lentiviral-based therapy (LV-RPE65) on healthy nonhuman primates (NHPs), without adjuvant systemic anti-inflammatory prophylaxis. For the first time, we describe the early kinetics of retinal detachment at 2, 4, and 7 days after subretinal injection using multimodal imaging in 5 NHPs. We revealed prolonged reattachment times in LV-RPE65-injected eyes compared to vehicle-injected eyes. Low- (n = 2) and high-dose (n = 2) LV-RPE65-injected eyes presented a reduction of the outer nuclear and photoreceptor outer segment layer thickness in the macula, that was more pronounced than in vehicle-injected eyes (n = 4). All LV-RPE65-injected eyes showed an initial perivascular reaction that resolved spontaneously within 14 days. Despite foveal structural changes, full-field electroretinography indicated that the overall retinal function was preserved over time and immunohistochemistry identified no difference in glial, microglial, or leucocyte ocular activation between low-dose, high-dose, and vehicle-injected eyes. Moreover, LV-RPE65-injected animals did not show signs of vector shedding or extraocular targeting, confirming the safe ocular restriction of the vector. Our results evidence a limited ocular tolerance to LV-RPE65 after subretinal injection without adjuvant anti-inflammatory prophylaxis, with complications linked to this route of administration necessitating to block this transient inflammatory event