Macroscopic test of quantum mechanics versus stochastic electrodynamics

We identify a test of quantum mechanics versus macroscopic local realism in the form of stochastic electrodynamics. The test uses the steady-state triple quadrature correlations of a parametric oscillator below threshold.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

Topological charge and angular momentum of light beams carrying optical vortices

We analyze the properties of light beams carrying phase singularities, or optical vortices. The transformations of topological charge during free-space propagation of a light wave, which is a combination of a Gaussian beam and a multiple charged optical vortex within a Gaussian envelope, are studied both in theory and experiment. We revise the existing knowledge about topological charge conservation, and demonstrate possible scenarios where additional vortices appear or annihilate during free propagation of such a combined beam. Coaxial interference of optical vortices is also analyzed, and the general rule for angular-momentum density distribution in a combined beam is established. We show that, in spite of any variation in the number of vortices in a combined beam, the total angular momentum is constant during the propagation. [S1050-2947(97)09910-1].

A defense of backwards in time causation models in quantum mechanics

This paper offers a defense of backwards in time causation models in quantum mechanics. Particular attention is given to Cramer's transactional account, which is shown to have the threefold virtue of solving the Bell problem, explaining the complex conjugate aspect of the quantum mechanical formalism, and explaining various quantum mysteries such as Schrodinger's cat. The question is therefore asked, why has this model not received more attention from physicists and philosophers? One objection given by physicists in assessing Cramer's theory was that it is not testable. This paper seeks to answer this concern by utilizing an argument that backwards causation models entail a fork theory of causal direction. From the backwards causation model together with the fork theory one can deduce empirical predictions. Finally, the objection that this strategy is questionable because of its appeal to philosophy is deflected.

Mucosal and systemic anti-GAG immunity induced by neonatal immunization with HIV LAMP/gag DNA vaccine in mice

Vaccines capable of inducing mucosal immunity in early postnatal life until adulthood, protecting early sexual initiation, should be considered as strategies to vaccination against HIV. The HIV-1 GAG protein as a chimera with the lysosome-associated membrane protein (LAMP/gag), encoded by a DNA vaccine, is targeted to the endosomal/lysosomal compartment that contains class II MHC molecules and has been shown to be immunogenic in adult mice. Assuming that one such strategy could help to overcome the immunological immaturity in the early postnatal period, we have evaluated the systemic and mucosal immunogenicity of LAMP/gag immunization in neonatal mice. Intranasal immunization with LAMP/gag vaccine induced higher levels of sIgA and IgG anti-GAG antibodies in intestinal washes than did the gag vaccine. The combination of ID injections and the IN protocol with the chimeric vaccine promoted the increase of Ab levels in sera. Both vaccines induced splenic IFN-gamma- secreting cells against GAG peptide pools, as well as in vivo cytotoxic T lymphocyte (CTL) function, and increased the percentage of CD8+ T cells to the immunodominant class I peptide in gut and spleen. However, only the chimeric vaccine was able to enhance Th1/Th2 cytokine secretion in response to class II GAG peptide and to enhance IL-4-secreting cells against GAG peptides and p24 protein stimuli. Long-lasting humoral and cellular responses were detected until adult age, following neonatal immunization with the chimeric vaccine. The LAMP/gag vaccination was able to induce potent GAG-specific T and B cell immune responses in early life which are essential to elicit sustained and long-lasting mucosal and systemic humoral response. (C) 2010 Elsevier GmbH. All rights reserved.

ELECTROMYOGRAPHIC AMPLITUDE RATIO OF SERRATUS ANTERIOR AND UPPER TRAPEZIUS MUSCLES DURING MODIFIED PUSH-UPS AND BENCH PRESS EXERCISES

Imbalance and weakness of the serratus anterior and upper trapezius force couple have been described in patients with shoulder dysfunction. There is interest in identifying exercises that selectively activate these muscles and including it in rehabilitation protocols. This study aims to verify the UT/SA electromyographic (EMG) amplitude ratio, performed in different upper limb exercises and on two bases of support. Twelve healthy men were tested (average age = 22.8 +/- 3.1 years), and surface EMG was recorded from the upper trapezius and serratus anterior using single differential surface electrodes. Volunteers performed isometric contractions over a stable base of support and on a Swiss ball during the wall push-up (WP), bench press (BP), and push-up (PU) exercises. All SEMG data are reported as a percentage of root mean square or integral of linear envelope from the maximal value obtained in one of three maximal voluntary contractions for each muscle studied. A linear mixed-effect model was performed to compare UT/SA ratio values. The WP, BP, and PU exercises showed UT/SA ratio mean +/- SD values of 0.69 +/- 0.72, 0.14 +/- 0.12, and 0.39 +/- 0.37 for stable surfaces, respectively, whereas for unstable surfaces, the values were 0.73 +/- 0.67, 0.43 +/- 0.39, and 0.32 +/- 0.30. The results demonstrate that UT/SA ratio was influenced by the exercises and by the upper limb base of support. The practical application is to show that BP on a stable surface is the exercise preferred over WP and PU on either surfaces for serratus anterior muscle training in patients with imbalance between the UT/SA force couple or serratus anterior weakness.

Lectins and/or xyloglucans/alginate layers as supports for immobilization of dengue virus particles

Formation of stable thin films of mixed xyloglucan (XG) and alginate (ALG) onto Si/SiO2 wafers was achieved under pH 11.6, 50 mM CaCl2, and at 70 degrees C. XG-ALG films presented mean thickness of (16 +/- 2) nun and globules rich surface, as evidenced by means of ellipsometry and atomic force microscopy (AFM), respectively. The adsorption of two glucose/mannose-binding seed (Canavalia ensiformis and Dioclea altissima) lectins, coded here as ConA and DAlt, onto XG-ALG surfaces took place under pH 5. Under this condition both lectins present positive net charge. ConA and DAIt adsorbed irreversibly onto XG-ALG forming homogenous monolayers similar to(4 +/- 1)nm thick. Lectins adsorption was mainly driven by electrostatic interaction between lectins positively charged residues and carboxylated (negatively charged) ALG groups. Adhesion of four serotypes of dengue virus, DENV (1-4), particles to XG-ALG surfaces were observed by ellipsometry and AFM. The attachment of dengue particles onto XG-ALG films might be mediated by (i) H bonding between E protein (located at virus particle surface) polar residues and hydroxyl groups present on XG-ALG surfaces and (ii) electrostatic interaction between E protein positively charged residues and ALG carboxylic groups. DENV-4 serotype presented the weakest adsorption onto XG-ALG surfaces, indicating that E protein on DENV-4 surface presents net charge (amino acid sequence) different from E proteins of other serotypes. All four DENV particles serotypes adsorbed similarly onto lectin films adsorbed. Nevertheless, the addition of 0.005 mol/L of mannose prevented dengue particles from adsorbing onto lectin films. XG-ALG and lectin layers serve as potential materials for the development of diagnostic methods for dengue. (c) 2008 Elsevier B.V. All rights reserved.

Binding of Dengue Virus Partitcles and Dengue Proteins onto Solid Surfaces

The interaction between dengue virus particles (DENV), sedimentation hemagglutinin particles (SHA), dengue virus envelope protein (Eprot), and solid surfaces was investigated by means of ellipsometry and atomic force microscopy (AFM). The surfaces chosen are bare Si/SiO(2) wafers and Si/SiO(2) wafers covered with concanavalin A (ConA), jacalin (Jac), polystyrene (PS), or poly(styrene sulfonate) (PSS) films. Adsorption experiments at pH 7.2 and pH 3 onto all surfaces revealed that (i) adsorption of DENV particles took place only onto ConA under pH 7.2, because of specific recognition between glycans on DENV surface and ConA binding site; (ii) DENV particles did not attach to any of the surfaces at pH 3, suggesting the presence of positive charges on DENV surface at this pH, which repel the positively charged lectin surfaces; (iii) SHA particles are positively charged at pH 7.2 and pH 3 because they adhered to negatively charged surfaces at pH 7.2 and repelled positively charged layers at pH 3; and (iv) SHA particles carry polar groups on the surface because they attached to silanol surfaces at pH 3 and avoided hydrophobic PS films at pH 3 and pH 7.2. The adsorption behavior of Eprot at pH 7.2 revealed affinity for ConA > Jac > PSS > PS approximate to bare Si/SiO(2) layers. These findings indicate that selectivity of the Eprot adsorption is higher when it is part of virus structure than when it is free in solution. The correlation between surface energy values determined by means of contact angle measurements and DENV, SHA, or Eprot adsorption behavior was used to understand the intermolecular forces at the interfaces. A direct correlation was not found because the contributions from surface energy were probably surpassed by specific contributions.

A DNA vaccine candidate expressing dengue-3 virus prM and E proteins elicits neutralizing antibodies and protects mice against lethal challenge

In an effort to develop a suitable DNA vaccine candidate for dengue, using dengue-3 virus (DENV-3) as a prototype, the genes coding for premembrane (prM) and envelope proteins (E) were inserted into an expression plasmid. After selecting recombinant clones containing prM/E genes, protein expression in the cell monolayer was detected by indirect immunofluorescence and immunoprecipitation assays. After selecting three vaccine candidates (pVAC1DEN3, pVAC2DEN3 and pVAC3DEN3), they were analyzed in vivo to determine their ability to induce a DENV-3-specific immune response. After three immunizations, the spleens of the immunized animals were isolated, and the cells were cultivated to measure cytokine levels by ELISA and used for lymphoproliferation assays. All of the animals inoculated with the recombinant clones induced neutralizing antibodies against DENV-3 and produced a T cell proliferation response after specific stimuli. Immunized and control mice were challenged with a lethal dose of DENV-3 and observed in order to assess their survival capability. The groups that presented the best survival rate after the challenge were the animals vaccinated with the pVAC3DEN3 clones, with an 80% survival rate. Thus, these data show that we have manufactured a vaccine candidate for DENV-3 that is able to induce a specific immune response and protects mice against a lethal challenge.

A DNA vaccine candidate encoding the structural prM/E proteins elicits a strong immune response and protects mice against dengue-4 virus infection

A DNA vaccine expressing dengue-4 virus premembrane (prM) and envelope (E) genes was produced by inserting these genes into a mammalian expression plasmid (pCI). Following a thorough screening, including confirmation of protein expression in vitro, a recombinant clone expressing these genes was selected and used to immunize BALB/c mice. After 3 immunizations all the animals produced detectable levels of neutralizing antibodies against dengue-4 virus. The cytokines levels and T cell proliferation, detected ex vivo from the spleen of the immunized mice, showed that our construction induced substantial immune stimulation after three doses. Even though the antibody levels, induced by our DNA vaccine, were lower than those obtained in mice immunized with dengue-4 virus the levels of protection were high with this vaccine. This observation is further supported by the fact that 80% of the vaccine immunized group was protected against lethal challenge. In conclusion, we developed a DNA vaccine employing the genes of the prM and E proteins from dengue-4 virus that protects mice against this virus. (C) 2010 Elsevier Ltd. All rights reserved.

Isolation and partial characterization of Brazilian samples of feline immunodeficiency virus

Feline immunodeficiency virus (FIV) causes a slow progressive degeneration of the immune system which eventually leads to a disease comparable to acquired immune deficiency syndrome (AIDS) in humans. FIV has extensive sequence variation, a typical feature of lentiviruses. Sequence analysis showed that diversity was not evenly distributed throughout the genome, but was greatest in the envelope gene, env. The virus enters host cells via a sequential interaction, initiated by the envelope glycoprotein (env) binding the primary receptor molecule CD134 and followed by a subsequent interaction with chemokine co-receptor CXCR4. The purpose of this study was to isolate and characterize isolates of FIV from an open shelter in Sao Paulo, Brazil. The separated PBMC from 11 positive cats were co-cultured with MYA-1 cells. Full-length viral env glycoprotein genes were amplified and determined. Chimeric feline x human CD134 receptors were used to investigate the receptor utilization of 17 clones from Brazilian isolates of Fly. Analyses of the sequence present of molecular clones showed that all clones grouped within subtype B. In contrast to the virulent primary isolate FIV-GL8, expression of the first cysteine-rich domain (CRD1) of feline CD134 in the context of human CD134 was sufficient for optimal receptor function for all Brazilian FIV isolates tested. (C) 2011 Elsevier B.V. All rights reserved.

Genetic diversity of Brazilian isolates of feline immunodeficiency virus

FAPESP (the Sao Paulo State research funding foundation)

gamma-Radiation induces apoptosis via sarcoplasmatic reticulum in guinea pig ileum smooth muscle cells

We investigated the effects of gamma-radiation on cells isolated from the longitudinal smooth muscle layer of the guinea pig ileum, a relatively radioresistant tissue. Single doses (up to 50 Gy) reduced the amount of sarcoplasmatic reticulum and condensed the myofibrils, as shown by electron microscopy 3 days post-irradiation. After that, contractility of smooth muscle strips was reduced. Ca(2+) handling was altered after irradiation, as shown in fura-2 loaded cells, with elevated basal intracellular Ca(2+), reduced amount of intrareticular Ca(2+), and reduced capacitive Ca(2+) entry. Radiation also induced apoptosis, judged from flow cytometry of cells loaded with proprium iodide. Electron microscopy showed that radiation caused condensation of chromatin in dense masses around the nuclear envelope, the presence of apoptotic bodies, fragmentation of the nucleus, detachment of cells from their neighbors, and reductions in cell volume. Radiation also caused activation of caspase 12. Apoptosis was reduced by the administration of the caspase inhibitor Z-Val-Ala-Asp-fluoromethyl-ketone methyl ester (Z-VAD-FIVIK) during the 3 day period after irradiation, and by the chelator of intracellular Ca(2+), 1,2-bis(o-aminophenoxy)ethane-N,N,N`,N`-tetraacetic acid (BAPTA), from 1 h before until 2 h after irradiation. BAPTA also reduced the effects of radiation on contractility, basal intracellular Ca(2+), amount of intrareticular Ca(2+), capacitative Ca(2+) entry, and apoptosis. In conclusion, the effects of gamma radiation on contractility, Ca(2+) handling, and apoptosis appear due to a toxic action of intracellular Ca(2+). Ca(2+)-induced damage to the sarcoplasmatic reticulum seems a key event in impaired Ca(2+) handling and apoptosis induced by gamma-radiation. (c) 2008 Elsevier B.V. All rights reserved.

Star factorizations of graph products

A k-star is the graph K-1,K-k. We prove a general theorem about k-star factorizations of Cayley graphs. This is used to give necessary and sufficient conditions for the existence of k-star factorizations of any power (K-q)(S) of a complete graph with prime power order q, products C-r1 x C-r2 x ... x C-rk of k cycles of arbitrary lengths, and any power (C-r)(S) of a cycle of arbitrary length. (C) 2001 John Wiley & Sons, Inc.

Natural selection and quantitative genetics of life-history traits in Western women: A twin study

Whether contemporary human populations are still evolving as a result of natural selection has been hotly debated. For natural selection to cause evolutionary change in a trait, variation in the trait must be correlated with fitness and be genetically heritable and there must be no genetic constraints to evolution. These conditions have rarely been tested in human populations. In this study, data from a large twin cohort were used to assess whether selection Will cause a change among women in contemporary Western population for three life-history traits: age at menarche, age at first reproduction, and age at menopause. We control for temporal variation in fecundity (the baby boom phenomenon) and differences between women in educational background and religious affiliation. University-educated women have 35% lower fitness than those with less than seven years education, and Roman Catholic women have about 20% higher fitness than those of other religions. Although these differences were significant, education and religion only accounted for 2% and 1% of variance in fitness, respectively. Using structural equation modeling, we reveal significant genetic influences for all three life-history traits, with heritability estimates of 0.50, 0.23, and 0.45, respectively. However, strong genetic covariation with reproductive fitness could only be demonstrated for age at first reproduction, with much weaker covariation for age at menopause and no significant covariation for age at menarche. Selection may, therefore, lead to the evolution of earlier age at first reproduction in this population. We also estimate substantial heritable variation in fitness itself, with approximately 39% of the variance attributable to additive genetic effects, the remainder consisting of unique environmental effects and small effects from education and religion. We discuss mechanisms that could be maintaining such a high heritability for fitness. Most likely is that selection is now acting on different traits from which it did in pre-industrial human populations.