On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus

Spectrum of ankylosing spondylitis in Portugal. Development of BASDAI, BASFI, BASMI and mSASSS reference centile charts

The availability of population-specific normative data regarding disease severity measures is essential for patient assessment. The goals of the current study were to characterize the pattern of ankylosing spondylitis (AS) in Portuguese patients and to develop reference centile charts for BASDAI, BASFI, BASMI and mSASSS, the most widely used assessment tools in AS. AS cases were recruited from hospital outpatient clinics, with AS defined according to the modified New York criteria. Demographic and clinical data were recorded. All radiographs were evaluated by two independent experienced readers. Centile charts for BASDAI, BASFI, BASMI and mSASSS were constructed for both genders, using generalized linear models and regression models with duration of disease as independent variable. A total of 369 patients (62.3% male, mean ± (SD) age 45.4 ± 13.2 years, mean ± (SD) disease duration 11.4 ± 10.5 years, 70.7% B27-positive) were included. Family history of AS in a first-degree relative was reported in 17.6% of the cases. Regarding clinical disease pattern, at the time of assessment 42.3% had axial disease, 2.4% peripheral disease, 40.9% mixed disease and 7.1% isolated enthesopatic disease. Anterior uveitis (33.6%) was the most common extra-articular manifestation. The centile charts suggest that females reported greater disease activity and more functional impairment than males but had lower BASMI and mSASSS scores. Data collected through this study provided a demographic and clinical profile of patients with AS in Portugal. The development of centile charts constitutes a useful tool to assess the change of disease pattern over time and in response to therapeutic interventions

Assessing the ecological risks from the persistence and spread of feral populations of insect-resistant transgenic maize

One source of potential harm from the cultivation of transgenic crops is their dispersal, persistence and spread in non-agricultural land. Ecological damage may result from such spread if the abundance of valued species is reduced. The ability of a plant to spread in non-agricultural habitats is called its invasiveness potential. The risks posed by the invasiveness potential of transgenic crops are assessed by comparing in agronomic field trials the phenotypes of the crops with the phenotypes of genetically similar non-transgenic crops known to have low invasiveness potential. If the transgenic and non-transgenic crops are similar in traits believed to control invasiveness potential, it may be concluded that the transgenic crop has low invasiveness potential and poses negligible ecological risk via persistence and spread in non-agricultural habitats. If the phenotype of the transgenic crop is outside the range of the non-transgenic comparators for the traits controlling invasiveness potential, or if the comparative approach is regarded as inadequate for reasons of risk perception or risk communication, experiments that simulate the dispersal of the crop into non-agricultural habitats may be necessary. We describe such an experiment for several commercial insect-resistant transgenic maize events in conditions similar to those found in maize-growing regions of Mexico. As expected from comparative risk assessments, the transgenic maize was found to behave similarly to non-transgenic maize and to be non-invasive. The value of this experiment in assessing and communicating the negligible ecological risk posed by the low invasiveness potential of insect-resistant transgenic maize in Mexico is discussed

Security of data science and data science for security

In this chapter, we present a brief overview of important topics regarding the connection of data science and security. In the first part, we focus on the security of data science and discuss a selection of security aspects that data scientists should consider to make their services and products more secure. In the second part about security for data science, we switch sides and present some applications where data science plays a critical role in pushing the state-of-the-art in securing information systems. This includes a detailed look at the potential and challenges of applying machine learning to the problem of detecting obfuscated JavaScripts

Long-term performance of a plant microbial fuel cell with Spartina anglica

The plant microbial fuel cell is a sustainable and renewable way of electricity production. The plant is integrated in the anode of the microbial fuel cell which consists of a bed of graphite granules. In the anode, organic compounds deposited by plant roots are oxidized by electrochemically active bacteria. In this research, salt marsh species Spartina anglica generated current for up to 119 days in a plant microbial fuel cell. Maximum power production was 100 mW m−2 geometric anode area, highest reported power output for a plant microbial fuel cell. Cathode overpotential was the main potential loss in the period of oxygen reduction due to slow oxygen reduction kinetics at the cathode. Ferricyanide reduction improved the kinetics at the cathode and increased current generation with a maximum of 254%. In the period of ferricyanide reduction, the main potential loss was transport loss. This research shows potential application of microbial fuel cell technology in salt marshes for bio-energy production with the plant microbial fuel cell

Gut-central nervous system axis is a target for nutritional therapies

Historically, in the 1950s, the chemist Linus Pauling established a relationship between decreased longevity and obesity. At this time, with the advent of studies involving the mechanisms that modulate appetite control, some researchers observed that the hypothalamus is the "appetite centre" and that peripheral tissues have important roles in the modulation of gut inflammatory processes and levels of hormones that control food intake. Likewise, the advances of physiological and molecular mechanisms for patients with obesity, type 2 diabetes mellitus, inflammatory bowel diseases, bariatric surgery and anorexia-associated diseases has been greatly appreciated by nutritionists. Therefore, this review highlights the relationship between the gut-central nervous system axis and targets for nutritional therapies

Economic Impacts of Non-Native Forest Insects in the Continental United States

Reliable estimates of the impacts and costs of biological invasions are critical to developing credible management, trade and regulatory policies. Worldwide, forests and urban trees provide important ecosystem services as well as economic and social benefits, but are threatened by non-native insects. More than 450 non-native forest insects are established in the United States but estimates of broad-scale economic impacts associated with these species are largely unavailable. We developed a novel modeling approach that maximizes the use of available data, accounts for multiple sources of uncertainty, and provides cost estimates for three major feeding guilds of non-native forest insects. For each guild, we calculated the economic damages for five cost categories and we estimated the probability of future introductions of damaging pests. We found that costs are largely borne by homeowners and municipal governments. Wood- and phloem-boring insects are anticipated to cause the largest economic impacts by annually inducing nearly $1.7 billion in local government expenditures and approximately$830 million in lost residential property values. Given observations of new species, there is a 32% chance that another highly destructive borer species will invade the U.S. in the next 10 years. Our damage estimates provide a crucial but previously missing component of cost-benefit analyses to evaluate policies and management options intended to reduce species introductions. The modeling approach we developed is highly flexible and could be similarly employed to estimate damages in other countries or natural resource sectors