Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

The branch-site test of positive selection is surprisingly robust but lacks power under synonymous substitution saturation and variation in GC

Positive selection is widely estimated from protein coding sequence alignments by the nonsynonymous-to-synonymous ratio omega. Increasingly elaborate codon models are used in a likelihood framework for this estimation. Although there is widespread concern about the robustness of the estimation of the omega ratio, more efforts are needed to estimate this robustness, especially in the context of complex models. Here, we focused on the branch-site codon model. We investigated its robustness on a large set of simulated data. First, we investigated the impact of sequence divergence. We found evidence of underestimation of the synonymous substitution rate for values as small as 0.5, with a slight increase in false positives for the branch-site test. When dS increases further, underestimation of dS is worse, but false positives decrease. Interestingly, the detection of true positives follows a similar distribution, with a maximum for intermediary values of dS. Thus, high dS is more of a concern for a loss of power (false negatives) than for false positives of the test. Second, we investigated the impact of GC content. We showed that there is no significant difference of false positives between high GC (up to similar to 80%) and low GC (similar to 30%) genes. Moreover, neither shifts of GC content on a specific branch nor major shifts in GC along the gene sequence generate many false positives. Our results confirm that the branch-site is a very conservative test.

Évaluation d’indices de comparaison pour la substitution des solvants en milieu de travail

La substitution est une méthode de prévention primaire qui permet l’élimination à la source des dangers pour les travailleurs. Une des étapes de la démarche est la comparaison des options afin de procéder au choix final. Divers indices de comparaison, basés sur des paramètres physicochimiques, sanitaires et environnementaux des substances, permettent de guider ce choix. Toutefois, aucune évaluation de ces indices n’a été effectuée dans le cas de la substitution des solvants. Une recherche de développement a été entreprise afin de proposer une méthodologie améliorée de comparaison des solvants. La démarche d’analyse de substitution et la comparaison des options de remplacement à l’aide du rapport de danger de vapeur (« Vapour Hazard Ratio », VHR) ont été appliquées à un cas réel de substitution de solvants en entreprise. Trois indices de potentiel de surexposition (IPS) (VHR, « Måleteknisk Arbejdshygiejnisk Luftbehov » (MAL) et « SUBstitution FACtor » (SUBFAC)) et trois indices globaux de hiérarchisation des dangers (indice air (ψiair), « Indiana Relative Chemical Hazard Score » (IRCHS) et « Final Hazard Score » (FHS)) ont été évalués et comparés à partir de listes de 56 et 67 solvants respectivement. La problématique de la non-idéalité des mélanges a aussi été considérée par rapport aux IPS par l’évaluation et la comparaison de 50 mélanges de solvant. Une méthodologie d’établissement d’une valeur limite d’exposition (VLE), pour les solvants n’en possédant pas, a été développée par modélisation de type relations quantitatives propriété-propriété (QPPR). La modélisation QPPR des VLE, effectuée sur une liste de 88 solvants possédant une VLE, a été effectuée à partir des coefficients de partage octanol:air, octanol:eau, sang:air et des constantes métaboliques. L’étude de cas a montré que l’utilisation du VHR facilitait la comparaison des options, bien qu’elle puisse se heurter à l’absence de VLE. Les indices VHR et SUBFAC ont été identifiés comme des méthodes très proches, caractérisées par une forte corrélation (R=0,99) alors que l’indice MAL se distingue des deux autres IPS par une perte d’information sur la volatilité résultant en une corrélation plus faible avec le VHR (R=0,75). L’impact de la non idealité, évalué par le calcul de coefficients d’activité sur une série de 50 mélanges, a permis d’établir que les ratios entre les indices VHR corrigés et non corrigés variaient entre 0,57 et 2,7, suggérant un facteur de sécurité de cinq lors de la comparaison de mélanges. Les analyses de corrélation et de sensibilité ont montré que les indices de hiérarchisation des dangers différaient de façon importante sur leur prise en compte de paramètres comme la volatilité, les VLE, l’exposition cutanée, l’inflammabilité, la cancérogénicité et les divers paramètres environnementaux. Aucun de ces indices ne peut être recommandé pour la substitution des solvants. Deux modèles QPPR ont été développés afin de prédire des VLE et des VHR, et 61 % et 87 % des VHR prédits variaient respectivement d’un facteur maximal de deux et de cinq par rapport aux VHR calculés. Nos résultats mènent à proposer une démarche améliorée de comparaison en deux étapes. Après un tri selon des critères prioritaires de santé, de sécurité et d’environnement, la comparaison devrait se baser sur le calcul du VHR tout en considérant d’autres paramètres selon la situation concrète de l’entreprise ou du procédé. La comparaison devra tenir compte de la non-idéalité pour les mélanges, et de VLE estimées pour les solvants n’en possédant pas.

Capital flows and monetary control under a domestic currency substitution regime: the recent Brazilian experience

The 90s have witnessed a resumption in capital flows to Latin America. due to the conjugation of low interest rates in the US and economic reforms in most LA countries. In Brazil. however. substantial capital flows have becn induced by the extremely high domestic interest rates practiced by the Central Bank as a measure of last reson given the absence of successful stabilization policies. These very high interest rates were needed to prevent capital flight in a context of a surprisingly stable inflation rate above 20% a month. and keep interest bearing govemment securities preferable to foreign assets as money substitutes. We carefully describe how this domestic currency substitution regime (interest bearing govemment securities are substituted for MIas cash holdings) requires the Central Bank to renounce aoy control over monerary aggregates. In this domestic currency substitution regime. hyperinflation is the most likely outcome of an isolated (i.e.. without fiscal adjusanents) attempt by the Brazilian Central Bank to control money.

Trade and investment flows between the Caribbean and the rest of the hemisphere in the context of the FTAA

Includes bibliography

MINERAL NITROGEN SUBSTITUTION BY CHICKEN LITTER IN SUCCESSION OAT/CORN

The constant search for sustainability of production systems have driven research to find alternatives to the problems arising from the intensified use such systems. In this context the present work aimed study the effects of substitution of mineral nitrogen by chicken litter in oat and corn crop in succession and the chemical characteristics of soil. The study was conducted during the period May 2009 to March 2010 in area of Oxisol. The design was of randomized block with four replications. The six treatments were obtained by a combination of different amounts of chicken litter (0, 1500, 3000, 4500, 6000 and 7500 kg ha(-1)) applied 30 days before the sowing of oats combined with the mineral nitrogen applied in coverage in corn (311.1, 257.8, 202.2, 148.9, 95.6, 42.2 kg ha(-1) of urea), for the total supply of 140 kg ha(-1) of nitrogen (N). The application of poultry litter in oat promotes increased the production of dry matter, and content and accumulation of N. The mineral nitrogen substitution by chicken litter increases the yield of corn crop. The use of poultry litter alters the chemical properties of soil, increasing the levels of organic matter, exchangeable Al and acidity potential. However lowers the pH, K, Ca, Mg, sum of bases and base saturation.

A Process Model of Complementarity and Substitution of Contractual and Relational Governance in IS Outsourcing

This paper develops a process model of how and why complementarity and substitution form over time between contractual and relational governance in the context of information systems outsourcing. Our analysis identifies four distinct process patterns that explain this formation as the outcome of interaction processes between key elements of both contractual and relational governance. These patterns unveil the dynamic nature of complementarity and substitution. In particular, we show that the relationship between contractual and relational governance oscillates between complementarity and substitution. Those oscillations are triggered mainly by three types of contextual events (goal fuzziness, goal conflict, and goal misalignment). Surprisingly, substitution of informal control did not occur as an immediate reaction to external events but emerged as a consequence of preceding complementarity. Thus, our study challenges the prevailing view of an either/or dichotomy of complementarity and substitution by showing that they are causally connected over time.

Nonsynonymous substitution in abalone sperm fertilization genes exceeds substitution in introns and mitochondrial DNA

Strong positive Darwinian selection acts on two sperm fertilization proteins, lysin and 18-kDa protein, from abalone (Haliotis). To understand the phylogenetic context for this dramatic molecular evolution, we obtained sequences of mitochondrial cytochrome c oxidase subunit I (mtCOI), and genomic sequences of lysin, 18-kDa, and a G protein subunit. Based on mtDNA differentiation, four north Pacific abalone species diverged within the past 2 million years (Myr), and remaining north Pacific species diverged over a period of 4–20 Myr. Between-species nonsynonymous differences in lysin and 18-kDa exons exceed nucleotide differences in introns by 3.5- to 24-fold. Remarkably, in some comparisons nonsynonymous substitutions in lysin and 18-kDa genes exceed synonymous substitutions in mtCOI. Lysin and 18-kDa intron/exon segments were sequenced from multiple red abalone individuals collected over a 1,200-km range. Only two nucleotide changes and two sites of slippage variation were detected in a total of >29,000 nucleotides surveyed. However, polymorphism in mtCOI and a G protein intron was found in this species. This finding suggests that positive selection swept one lysin allele and one 18-kDa allele to fixation. Similarities between mtCOI and lysin gene trees indicate that rapid adaptive evolution of lysin has occurred consistently through the history of the group. Comparisons with mtCOI molecular clock calibrations suggest that nonsynonymous substitutions accumulate 2–50 times faster in lysin and 18-kDa genes than in rapidly evolving mammalian genes.

Internal ribosomal entry site substitution eliminates neurovirulence in intergeneric poliovirus recombinants.

Neuropathogenicity of poliovirus can be attenuated by mutations in the internal ribosomal entry site (IRES) within the 5' nontranslated region of its genome. The Sabin vaccine strains used in prevention of poliomyelitis carry such mutations in their IRES elements. In addition, mutations within the structural and nonstructural proteins of Sabin strains may equally contribute to the attenuation phenotype. Despite their effectiveness as vaccines, the Sabin strains retain a neuropathogenic potential in animal models for poliomyelitis and, at a very low rate, they can cause poliomyelitis in vaccine recipients. The elimination of the neurocytopathic phenotype was achieved through the exchange of the entire poliovirus IRES with its counterpart from human rhinovirus type 2 without affecting growth properties in nonneuronal cells. The attenuating effect of the human rhinovirus type 2 IRES within the context of a poliovirus genome has been mapped to the 3' portion of this genetic element.

Space-for-Time Substitution Works in Everglades Ecological Forecasting Models

Space-for-time substitution is often used in predictive models because long-term time-series data are not available. Critics of this method suggest factors other than the target driver may affect ecosystem response and could vary spatially, producing misleading results. Monitoring data from the Florida Everglades were used to test whether spatial data can be substituted for temporal data in forecasting models. Spatial models that predicted bluefin killifish (Lucania goodei) population response to a drying event performed comparably and sometimes better than temporal models. Models worked best when results were not extrapolated beyond the range of variation encompassed by the original dataset. These results were compared to other studies to determine whether ecosystem features influence whether space-for-time substitution is feasible. Taken in the context of other studies, these results suggest space-for-time substitution may work best in ecosystems with low beta-diversity, high connectivity between sites, and small lag in organismal response to the driver variable.

Space-for-Time Substitution Works in Everglades Ecological Forecasting Models

Space-for-time substitution is often used in predictive models because long-term time-series data are not available. Critics of this method suggest factors other than the target driver may affect ecosystem response and could vary spatially, producing misleading results. Monitoring data from the Florida Everglades were used to test whether spatial data can be substituted for temporal data in forecasting models. Spatial models that predicted bluefin killifish (Lucania goodei) population response to a drying event performed comparably and sometimes better than temporal models. Models worked best when results were not extrapolated beyond the range of variation encompassed by the original dataset. These results were compared to other studies to determine whether ecosystem features influence whether space-for-time substitution is feasible. Taken in the context of other studies, these results suggest space-fortime substitution may work best in ecosystems with low beta-diversity, high connectivity between sites, and small lag in organismal response to the driver variable.

Inflation, currency substitution, and dollarization : the case of Argentina

This dissertation discusses the relationship between inflation, currency substitution and dollarization that has taken place in Argentina for the past several decades. First, it is shown that when consumers are able to hold only domestic monetary balances (without capital mobility) an increase in the rate of inflation will produce a balance of payments deficit. We then look at the same issue but with heterogeneous consumers, this heterogeneity being generated by non-proportional lump-sum transfers. Second, we discussed some necessary assumptions related to currency substitution models and concluded that there was no a-priori conclusion on whether currencies should be assumed to be "cooperant" or "non-cooperant" in utility. That is to say, whether individuals held different currencies together or one instead of the other. Third, we went into discussing the issue of currency substitution as being a constraint on governments inflationary objectives rather than a choice of those governments to avoid hyperinflations. We showed that imperfect substitutability between currencies does not "reduce the scope for rational (hyper)inflationary processes" as it had been previously argued. It will ultimately depend on the parametrization used and not on the intrinsic characteristics of imperfect substitutability between currencies. We further showed that in Argentina, individuals have been able to endogenize the money supply by holding foreign monetary balances. We argued that the decision to hold foreign monetary balances by individuals is always a second best due to the trade-off between holding foreign monetary balances and consumption. For some levels of income, consumption, and foreign inflation, individuals would prefer to hold domestic monetary balances rather than foreign ones. We then modeled the distinction between dollarization and currency substitution. We concluded that although dollarization is necessary for currency substitution to take place, the decision to use foreign monetary balances for transactions purposes is largely independent from the dollarization process. Finally, we concluded that Argentina should not fully dollarize its economy because dollarization is always a second best to using a domestic currency. Further, we argued that a fixed exchange system would be better than a flexible exchange rate or a "crawling-peg" system because of the characteristics of the political system and the possibilities of "mass praetorianism" to develop, which is intricately linked to "populist" solutions.

Understanding Red Blood Cell Parameters In The Context Of The Frailty Phenotype: Interpretations Of The Fibra (frailty In Brazilian Seniors) Study.

Frailty and anemia in the elderly appear to share a common pathophysiology associated with chronic inflammatory processes. This study uses an analytical, cross-sectional, population-based methodology to investigate the probable relationships between frailty, red blood cell parameters and inflammatory markers in 255 community-dwelling elders aged 65 years or older. The frailty phenotype was assessed by non-intentional weight loss, fatigue, low grip strength, low energy expenditure and reduced gait speed. Blood sample analyses were performed to determine hemoglobin level, hematocrit and reticulocyte count, as well as the inflammatory variables IL-6, IL-1ra and hsCRP. In the first multivariate analysis (model I), considering only the erythroid parameters, Hb concentration was a significant variable for both general frailty status and weight loss: a 1.0g/dL drop in serum Hb concentration represented a 2.02-fold increase (CI 1.12-3.63) in an individual's chance of being frail. In the second analysis (model II), which also included inflammatory cytokine levels, hsCRP was independently selected as a significant variable. Each additional year of age represented a 1.21-fold increase in the chance of being frail, and each 1-unit increase in serum hsCRP represented a 3.64-fold increase in the chance of having the frailty phenotype. In model II reticulocyte counts were associated with weight loss and reduced metabolic expenditure criteria. Our findings suggest that reduced Hb concentration, reduced RetAbs count and elevated serum hsCRP levels should be considered components of frailty, which in turn is correlated with sarcopenia, as evidenced by weight loss.

[strategies For Integration Of Health Care Practices And Sanitary Surveillance In The Context Of The Implementation Of Rede Cegonha - A Brazilian Mother And Infant Health Care Network].

Mother and infant mortality has been the scope of analysis throughout the history of public health in Brazil and various strategies to tackle the issue have been proposed to date. The Ministry of Health has been working on this and the Rede Cegonha strategy is the most recent policy in this context. Given the principle of comprehensive health care and the structure of the Unified Health System in care networks, it is necessary to ensure the integration of health care practices, among which are the sanitary surveillance actions (SSA). Considering that the integration of health care practices and SSA can contribute to reduce mother and infant mortality rates, this article is a result of qualitative research that analyzed the integration of these actions in four cities in the State of São Paulo/Brazil: Campinas, Indaiatuba, Jaguariúna and Santa Bárbara D'Oeste. The research was conducted through interviews with SSA and maternal health managers, and the data were evaluated using thematic analysis. The results converge with other studies, identifying the isolation of health care practices and SSA. The insertion of SSA in collectively-managed areas appears to be a potential strategy for health planning and implementation of actions in the context under scrutiny.