Generalized beta-generated distributions

This article introduces generalized beta-generated (GBG) distributions. Sub-models include all classical beta-generated, Kumaraswamy-generated and exponentiated distributions. They are maximum entropy distributions under three intuitive conditions, which show that the classical beta generator skewness parameters only control tail entropy and an additional shape parameter is needed to add entropy to the centre of the parent distribution. This parameter controls skewness without necessarily differentiating tail weights. The GBG class also has tractable properties: we present various expansions for moments, generating function and quantiles. The model parameters are estimated by maximum likelihood and the usefulness of the new class is illustrated by means of some real data sets. (c) 2011 Elsevier B.V. All rights reserved.

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.

The nuclear electric quadrupole moment of hafnium from the molecular method

The molecular method is used to obtain nuclear electric quadrupole moment (NQM) values for hafnium through electric field gradients (EFGs) at this nucleus in HfO and HfS. Dirac-Coulomb calculations with the Coupled Cluster approach, DC-CCSD (T) and DC-CCSD-T, were carried out to achieve the most accurate estimates of these EFGs. Higher order corrections are also added. Hence, the most reliable values for 177Hf and 179Hf determined here are 3319(33) and 3750(37) mbarn, respectively, in nice accordance with the best currently accepted NQMs for this element. (C) 2012 Elsevier B.V. All rights reserved.

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.

Likelihood-based inference for power distributions

This paper considers likelihood-based inference for the family of power distributions. Widely applicable results are presented which can be used to conduct inference for all three parameters of the general location-scale extension of the family. More specific results are given for the special case of the power normal model. The analysis of a large data set, formed from density measurements for a certain type of pollen, illustrates the application of the family and the results for likelihood-based inference. Throughout, comparisons are made with analogous results for the direct parametrisation of the skew-normal distribution.

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.

Design methodology of piezoelectric energy-harvesting skin using topology optimization

Abstract This paper describes a design methodology for piezoelectric energy harvester s that thinly encapsulate the mechanical devices and expl oit resonances from higher- order vibrational modes. The direction of polarization determines the sign of the pi ezoelectric tensor to avoid cancellations of electric fields from opposite polarizations in the same circuit. The resultant modified equations of state are solved by finite element method (FEM). Com- bining this method with the solid isotropic material with penalization (SIMP) method for piezoelectric material, we have developed an optimization methodology that optimizes the piezoelectric material layout and polarization direc- tion. Updating the density function of the SIMP method is performed based on sensitivity analysis, the sequen- tial linear programming on the early stage of the opti- mization, and the phase field method on the latter stage

Probing the statistical properties of unknown texts: application to the Voynich manuscript

While the use of statistical physics methods to analyze large corpora has been useful to unveil many patterns in texts, no comprehensive investigation has been performed on the interdependence between syntactic and semantic factors. In this study we propose a framework for determining whether a text (e.g., written in an unknown alphabet) is compatible with a natural language and to which language it could belong. The approach is based on three types of statistical measurements, i.e. obtained from first-order statistics of word properties in a text, from the topology of complex networks representing texts, and from intermittency concepts where text is treated as a time series. Comparative experiments were performed with the New Testament in 15 different languages and with distinct books in English and Portuguese in order to quantify the dependency of the different measurements on the language and on the story being told in the book. The metrics found to be informative in distinguishing real texts from their shuffled versions include assortativity, degree and selectivity of words. As an illustration, we analyze an undeciphered medieval manuscript known as the Voynich Manuscript. We show that it is mostly compatible with natural languages and incompatible with random texts. We also obtain candidates for keywords of the Voynich Manuscript which could be helpful in the effort of deciphering it. Because we were able to identify statistical measurements that are more dependent on the syntax than on the semantics, the framework may also serve for text analysis in language-dependent applications.

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.

Molecular architecture of fur binding to iron-induced and - repressed genes in Helicobacter pylori

The ferric uptake regulator protein Fur regulates iron-dependent gene expression in bacteria. In the human pathogen Helicobacter pylori, Fur has been shown to regulate iron-induced and iron-repressed genes. Herein we investigate the molecular mechanisms that control this differential iron-responsive Fur regulation. Hydroxyl radical footprinting showed that Fur has different binding architectures, which characterize distinct operator typologies. On operators recognized with higher affinity by holo-Fur, the protein binds to a continuous AT-rich stretch of about 20 bp, displaying an extended protection pattern. This is indicative of protein wrapping around the DNA helix. DNA binding interference assays with the minor groove binding drug distamycin A, point out that the recognition of the holo-operators occurs through the minor groove of the DNA. By contrast, on the apo-operators, Fur binds primarily to thymine dimers within a newly identified TCATTn10TT consensus element, indicative of Fur binding to one side of the DNA, in the major groove of the double helix. Reconstitution of the TCATTn10TT motif within a holo-operator results in a feature binding swap from an holo-Fur- to an apo-Fur-recognized operator, affecting both affinity and binding architecture of Fur, and conferring apo-Fur repression features in vivo. Size exclusion chromatography indicated that Fur is a dimer in solution. However, in the presence of divalent metal ions the protein is able to multimerize. Accordingly, apo-Fur binds DNA as a dimer in gel shift assays, while in presence of iron, higher order complexes are formed. Stoichiometric Ferguson analysis indicates that these complexes correspond to one or two Fur tetramers, each bound to an operator element. Together these data suggest that the apo- and holo-Fur repression mechanisms apparently rely on two distinctive modes of operator-recognition, involving respectively the readout of a specific nucleotide consensus motif in the major groove for apo-operators, and the recognition of AT-rich stretches in the minor groove for holo-operators, whereas the iron-responsive binding affinity is controlled through metal-dependent shaping of the protein structure in order to match preferentially the major or the minor groove.

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.