Observational constraints on a phenomenological f (R, partial derivative R)-model

This paper analyses the cosmological consequences of amodified theory of gravity whose action integral is built from a linear combination of the Ricci scalar R and a quadratic term in the covariant derivative of R. The resulting Friedmann equations are of the fifth-order in the Hubble function. These equations are solved numerically for a flat space section geometry and pressureless matter. The cosmological parameters of the higher-order model are fit using SN Ia data and X-ray gas mass fraction in galaxy clusters. The best-fit present-day t(0) values for the deceleration parameter, jerk and snap are given. The coupling constant beta of the model is not univocally determined by the data fit, but partially constrained by it. Density parameter Omega(m0) is also determined and shows weak correlation with the other parameters. The model allows for two possible future scenarios: there may be either an eternal expansion or a Rebouncing event depending on the set of values in the space of parameters. The analysis towards the past performed with the best-fit parameters shows that the model is not able to accommodate a matter-dominated stage required to the formation of structure.

Massive spin-2 theories in arbitrary D>= 3 dimensions

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Massive spin-2 particles via embedment of the Fierz-Pauli equations of motion

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Structural and functional evidence for membrane docking and disruption sites on phospholipase A2-like proteins revealed by complexation with the inhibitor suramin

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Non-centrosymmetric crystals of new N-benzylideneaniline derivatives as potential materials for non-linear optics

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Within-plant isoprene oxidation confirmed by direct emissions of oxidation products methyl vinyl ketone and methacrolein

Isoprene is emitted from many terrestrial plants at high rates, accounting for an estimated 1/3 of annual global volatile organic compound emissions from all anthropogenic and biogenic sources combined. Through rapid photooxidation reactions in the atmosphere, isoprene is converted to a variety of oxidized hydrocarbons, providing higher order reactants for the production of organic nitrates and tropospheric ozone, reducing the availability of oxidants for the breakdown of radiatively active trace gases such as methane, and potentially producing hygroscopic particles that act as effective cloud condensation nuclei. However, the functional basis for plant production of isoprene remains elusive. It has been hypothesized that in the cell isoprene mitigates oxidative damage during the stress-induced accumulation of reactive oxygen species (ROS), but the products of isoprene-ROS reactions in plants have not been detected. Using pyruvate-2-13C leaf and branch feeding and individual branch and whole mesocosm flux studies, we present evidence that isoprene (i) is oxidized to methyl vinyl ketone and methacrolein (iox) in leaves and that iox/i emission ratios increase with temperature, possibly due to an increase in ROS production under high temperature and light stress. In a primary rainforest in Amazonia, we inferred significant in plant isoprene oxidation (despite the strong masking effect of simultaneous atmospheric oxidation), from its influence on the vertical distribution of iox uptake fluxes, which were shifted to low isoprene emitting regions of the canopy. These observations suggest that carbon investment in isoprene production is larger than that inferred from emissions alone and that models of tropospheric chemistry and biotachemistryclimate interactions should incorporate isoprene oxidation within both the biosphere and the atmosphere with potential implications for better understanding both the oxidizing power of the troposphere and forest response to climate change.

Gender-based violence and socioeconomic inequalities: Does living in more deprived neighbourhoods increase women's risk of intimate partner violence?

This study investigates the influence of neighbourhood socioeconomic conditions on women's likelihood of experiencing intimate partner violence (IPV) in Sao Paulo, Brazil. Data from 940 women who were interviewed as part of the WHO multi-country study on women's health and domestic violence against women, and census data for Sao Paulo City, were analyzed using multilevel regression techniques. A neighbourhood socioeconomic-level scale was created, and proxies for the socioeconomic positions of the couple were included. Other individual level variables included factors related to partner's behaviour and women's experiences and attitudes. Women's risk of IPV did not vary across neighbourhoods in Sao Paulo nor was it influenced by her individual socioeconomic characteristics. However, women in the middle range of the socioeconomic scale were significantly more likely to report having experienced violence by a partner. Partner behaviours such as excessive alcohol use, controlling behaviour and multiple sexual partnerships were important predictors of IPV. A women's likelihood of IPV also increased if either her mother had experienced IPV or if she used alcohol excessively. These findings suggest that although the characteristics of people living in deprived neighbourhoods may influence the probability that a woman will experience IPV, higher-order contextual dynamics do not seem to affect this risk. While poverty reduction will improve the lives of individuals in many ways, strategies to reduce IPV should prioritize shifting norms that reinforce certain negative male behaviours. (C) 2012 Elsevier Ltd. All rights reserved.

Corneal wavefront-guided photorefractive keratectomy with mitomycin-C for hyperopia after radial keratotomy: Two-year follow-up

PURPOSE: To assess corneal wavefront-guided photorefractive keratectomy (PRK) to correct hyperopia after radial keratotomy (RK). SETTING: Sadalla Amin Ghanem Eye Hospital, Joinville, Santa Catarina, Brazil. DESIGN: Case series. METHODS: Excimer laser corneal wavefront-guided PRK with intraoperative mitomycin-C (MMC) 0.02% was performed. Main outcome measures were uncorrected (UDVA) and corrected (CDVA) distance visual acuities, spherical equivalent (SE), corneal aberrations, and haze. RESULTS: The mean time between RK and PRK in the 61 eyes (39 patients) was 18.8 years +/- 3.8 (SD). Before PRK, the mean SE was +4.17 +/- 1.97 diopters (D); the mean astigmatism, -1.39 +/- 1.04 D; and the mean CDVA, 0.161 +/- 0.137 logMAR. At 24 months, the mean values were 0.14 +/- 0.99 D (P<.001), -1.19 +/- 1.02 D (P=.627), and 0.072 +/- 0.094 logMAR (P<.001), respectively; the mean UDVA was 0.265 +/- 0.196 (P<.001). The UDVA was 20/25 or better in 37.7% of eyes and 20/40 or better in 68.9%. The CDVA improved by 1 or more lines in 62.3% of eyes. Two eyes (3.3%) lost 2 or more lines, 1 due to corneal ectasia. Thirty eyes (49.2%) were within +/- 0.50 D of intended SE and 45 (73.8%) were within +/- 1.00 D. From 6 to 24 months, the mean SE regression was +0.39 D (P<.05). A significant decrease in coma, trefoil, and spherical aberration occurred. Three eyes developed peripheral haze more than grade 1. CONCLUSION: Corneal wavefront-guided PRK with MMC for hyperopia after RK significantly improved UDVA, CDVA, and higher-order corneal aberrations with a low incidence of visually significant corneal haze.

Social cliques in male northern muriquis Brachyteles hypoxanthus

Analyses of spatial relationships and social interactions provide insights into the social structure of animal societies and the ways in which social preferences among and between dyads affect higher order social relationships. In this paper we describe the patterns of spatial associations and social interactions among adult male northern muriquis in order to evaluate the dynamics of their social networks above the dyadic levels. Systematic observations were made on the 17 adult males present in a multi-male/multi-female group from April 2004 through February 2005, and in July 2005. Analyses of their spatial relationships identified two distinct male cliques; some adult males (called "N" males) were more connected to the females and immatures than other adult males ("MU" males), which were more connected to one another. Affiliative interactions were significantly higher among dyads belonging to the same clique than to different cliques. Although frequencies of dyadic agonistic interactions were similarly low among individuals within and between cliques, MU males appeared to be subordinate to N males. Nonetheless, there were no significant differences in the copulation rates estimated for MU males and N males. Mutual benefits of cooperation between MU and N cliques in intergroup encounters might explain their ongoing associations in the same mixed-sex group [Current Zoology 58 (2): 342-352, 2012].

Parametric resonances in a base-excited double pendulum

Two parametrically-induced phenomena are addressed in the context of a double pendulum subject to a vertical base excitation. First, the parametric resonances that cause the stable downward vertical equilibrium to bifurcate into large-amplitude periodic solutions are investigated extensively. Then the stabilization of the unstable upward equilibrium states through the parametric action of the high-frequency base motion is documented in the experiments and in the simulations. It is shown that there is a region in the plane of the excitation frequency and amplitude where all four unstable equilibrium states can be stabilized simultaneously in the double pendulum. The parametric resonances of the two modes of the base-excited double pendulum are studied both theoretically and experimentally. The transition curves (i.e., boundaries of the dynamic instability regions) are constructed asymptotically via the method of multiple scales including higher-order effects. The bifurcations characterizing the transitions from the trivial equilibrium to the periodic solutions are computed by either continuation methods and or by time integration and compared with the theoretical and experimental results.

Alteration of distortion product otoacoustic emission input/output functions in subjects with a previous history of middle ear dysfunction

Background: The aim of this study was to investigate the effects of sub-clinical alterations on the amplitudes and slopes of the DPOAE input-output responses from subjects with previous history of middle ear dysfunction. Material/Methods: The study included 15 subjects with and 15 subjects without a history of otitis media in the last 10 years. All participants were assessed with acoustic immittance, pure-tone audiometry, and DPOAEs. For the later, I/O functions and I/O slopes were estimated at 1501, 2002, 3174, 4004 and 6384Hz. Results: No statistically significant differences were found between the 2 groups in terms of behavioral thresholds. The group with a previous history of middle ear dysfunction presented significantly lower mean DPOAE amplitudes at 2002, 3174 and 4004 Hz. In terms of DPOAE slopes, no statistically significant differences were observed at the tested frequencies, except at 3174 Hz. Conclusions: Middle ear pathologies can produce subclinical alterations that are undetectable with traditional pure-tone audiometry. The data from the present study show that reduced amplitude DPOAEs are associated with a previous history of middle ear complications. The corresponding DPOAE slopes were affected at only 1 tested frequency, suggesting that the cochlear non-linearity is preserved. Considering these results, it remains to be elucidated to what degree the DPOAE amplitude attenuation interferes with higher-order auditory tasks.

Microstructural characterization of as-cast hf-b alloys

An accurate knowledge of several metal-boron phase diagrams is important to evaluation of higher order systems such as metal-silicon-boron ternaries. The refinement and reassessment of phase diagram data is a continuous work, thus the reevaluation of metal-boron systems provides the possibility to confirm previous data from an investigation using higher purity materials and better analytical techniques. This work presents results of rigorous microstructural characterization of as-cast hafnium-boron alloys which are significant to assess the liquid composition associated to most of the invariant reactions of this system. Alloys were prepared by arc melting high purity hafnium (minimum 99.8%) and boron (minimum 99.5%) slices under argon atmosphere in water-cooled copper crucible with non consumable tungsten electrode and titanium getter. The phases were identified by scanning electron microscopy, using back-scattered electron image mode and X-ray diffraction. In general, a good agreement was found between our data and those from the currently accepted Hafnium-Boron phase diagram. The phases identified are αHfSS and B-RhomSS, the intermediate compounds HfB and HfB2 and the liquide L. The reactions are the eutectic L ⇔ αHfSS + HfB and L ⇔ HfB2 + B-Rhom, the peritectic L + HfB2 ⇔ HfB and the congruent formation of HfB2.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Quadraturformeln für das Qualokationsverfahren

Im Mittelpunkt dieser Arbeit steht Beweis der Existenz- und Eindeutigkeit von Quadraturformeln, die für das Qualokationsverfahren geeignet sind. Letzteres ist ein von Sloan, Wendland und Chandler entwickeltes Verfahren zur numerischen Behandlung von Randintegralgleichungen auf glatten Kurven (allgemeiner: periodische Pseudodifferentialgleichungen). Es erreicht die gleichen Konvergenzordnungen wie das Petrov-Galerkin-Verfahren, wenn man durch den Operator bestimmte Quadraturformeln verwendet. Zunächst werden die hier behandelten Pseudodifferentialoperatoren und das Qualokationsverfahren vorgestellt. Anschließend wird eine Theorie zur Existenz und Eindeutigkeit von Quadraturformeln entwickelt. Ein wesentliches Hilfsmittel hierzu ist die hier bewiesene Verallgemeinerung eines Satzes von Nürnberger über die Existenz und Eindeutigkeit von Quadraturformeln mit positiven Gewichten, die exakt für Tschebyscheff-Räume sind. Es wird schließlich gezeigt, dass es stets eindeutig bestimmte Quadraturformeln gibt, welche die in den Arbeiten von Sloan und Wendland formulierten Bedingungen erfüllen. Desweiteren werden 2-Punkt-Quadraturformeln für so genannte einfache Operatoren bestimmt, mit welchen das Qualokationsverfahren mit einem Testraum von stückweise konstanten Funktionen eine höhere Konvergenzordnung hat. Außerdem wird gezeigt, dass es für nicht-einfache Operatoren im Allgemeinen keine Quadraturformel gibt, mit der die Konvergenzordnung höher als beim Petrov-Galerkin-Verfahren ist. Das letzte Kapitel beinhaltet schließlich numerische Tests mit Operatoren mit konstanten und variablen Koeffizienten, welche die theoretischen Ergebnisse der vorangehenden Kapitel bestätigen.

New path integral simulation algorithms and their application to creep in the quantum sine-Gordon chain

A path integral simulation algorithm which includes a higher-order Trotter approximation (HOA)is analyzed and compared to an approach which includes the correct quantum mechanical pair interaction (effective Propagator (EPr)). It is found that the HOA algorithmconverges to the quantum limit with increasing Trotter number P as P^{-4}, while the EPr algorithm converges as P^{-2}.The convergence rate of the HOA algorithm is analyzed for various physical systemssuch as a harmonic chain,a particle in a double-well potential, gaseous argon, gaseous helium and crystalline argon. A new expression for the estimator for the pair correlation function in the HOA algorithm is derived. A new path integral algorithm, the hybrid algorithm, is developed.It combines an exact treatment of the quadratic part of the Hamiltonian and thehigher-order Trotter expansion techniques.For the discrete quantum sine-Gordon chain (DQSGC), it is shown that this algorithm works more efficiently than all other improved path integral algorithms discussed in this work. The new simulation techniques developed in this work allow the analysis of theDQSGC and disordered model systems in the highly quantum mechanical regime using path integral molecular dynamics (PIMD)and adiabatic centroid path integral molecular dynamics (ACPIMD).The ground state phonon dispersion relation is calculated for the DQSGC by the ACPIMD method.It is found that the excitation gap at zero wave vector is reduced by quantum fluctuations. Two different phases exist: One phase with a finite excitation gap at zero wave vector, and a gapless phase where the excitation gap vanishes.The reaction of the DQSGC to an external driving force is analyzed at T=0.In the gapless phase the system creeps if a small force is applied, and in the phase with a gap the system is pinned. At a critical force, the systems undergo a depinning transition in both phases and flow is induced. The analysis of the DQSGC is extended to models with disordered substrate potentials. Three different cases are analyzed: Disordered substrate potentials with roughness exponent H=0, H=1/2,and a model with disordered bond length. For all models, the ground state phonon dispersion relation is calculated.