Languages ordered by the subword order

We consider a language together with the subword relation, the cover relation, and regular predicates. For such structures, we consider the extension of first-order logic by threshold- and modulo-counting quantifiers. Depending on the language, the used predicates, and the fragment of the logic, we determine four new combinations that yield decidable theories. These results extend earlier ones where only the language of all words without the cover relation and fragments of first-order logic were considered

Hydraulic engineering in the 21st century: Where to?

For centuries, hydraulic engineers were at the forefront of science. The last forty years marked a change of perception in our society with a focus on environmental sustainability and management, particularly in developed countries. Herein, the writer illustrates his strong belief that the future of hydraulic engineering lies upon a combination of innovative engineering, research excellence and higher education of quality. This drive continues a long tradition established by eminent scholars like Arthur Thomas IPPEN, John Fisher KENNEDY and Hunter ROUSE

Hydraulic Performances of Minimum Energy Loss Culverts in Australia

Culverts are among the most common hydraulic structures. Modern designs do not differ from ancient structures and are often characterised by significant afflux at design flows. A significant advance was the development of the Minimum Energy Loss (MEL) culverts in the late 1950s. The design technique allows a drastic reduction in upstream flooding associated with lower costs. The development and operational performances of this type of structure is presented. The successful operation of MEL culverts for more than 40 years is documented with first-hand records during and after floods. The experiences demonstrate the design soundness while highlighting the importance of the hydraulic expertise of the design engineers

Concurrent Outbreak of Norovirus Genotype I and Enterotoxigenic Escherichia coli on a U.S. Navy Ship following a Visit to Lima, Peru

An outbreak of norovirus (NoV) genotype I and Enterotoxigenic Escherichia coli (ETEC) occurred among US Navy Ship personnel following a visit to Lima, Peru, in June 2008. Visiting a specific area in Lima was significantly associated with illness. While ETEC and NoV are commonly recognized as causative agents of outbreaks, co-circulation of both pathogens has been rarely observed in shipboard outbreaks

Glutathione-Related Antioxidant Defense System in Elderly Patients Treated for Hypertension

The purpose of this study was to analyze glutathione antioxidant defense system in elderly patients treated for hypertension. Studies were carried out in the blood collected from 18 hypertensive and 15 age- and sex-matched controls, all subjects age over 60. Hypertensives were on their usual antihypertensive treatment at the time of blood collection. The concentration of glutathione (GSH) in whole blood and activities of glutathione peroxidase (GPx-1), glutathione transferase (GST), and glutathione reductase (GR) in erythrocytes were measured. The data from patients and controls were compared using independent-samples t test. P value of 0.05 and less was considered statistically significant. We observed increased glutathione-related antioxidant defense in treated hypertensive elderly patients (HT) when compared with healthy controls (C). Mean GSH concentration was significantly higher in HT when compared with C: 3.1 ± 0.29 and 2.6 ± 0.25 mmol/L, respectively, P < 0.001. Mean activity of GR was significantly higher in HT group if compared with C: 83.4 ± 15.25 U/g Hb versus 64.2 ± 8.26 U/g Hb, respectively, P < 0.001. Mean activity of GST was significantly higher in HT group compared with C: 3.0 ± 0.60 mmol CDNB-GSH/mgHb/min and 2.6 ± 0.36 mmol CDNB-GSH/mgHb/min, respectively, P < 0.05. No difference in GPx activity was observed between two groups. These results show that glutathione-related antioxidant defense system was enhanced in elderly hypertensive patients treated for their conditions. This suggests important role of glutathione system in blood pressure regulation. Alterations in concentration and activity of antioxidants observed during antihypertensive medication are likely to be related to the effect of the treatment on NO bioavailability

Balancing the immune response in the brain: IL-10 and its regulation

Background: The inflammatory response is critical to fight insults, such as pathogen invasion or tissue damage, but if not resolved often becomes detrimental to the host. A growing body of evidence places non-resolved inflammation at the core of various pathologies, from cancer to neurodegenerative diseases. It is therefore not surprising that the immune system has evolved several regulatory mechanisms to achieve maximum protection in the absence of pathology. Main body: The production of the anti-inflammatory cytokine interleukin (IL)-10 is one of the most important mechanisms evolved by many immune cells to counteract damage driven by excessive inflammation. Innate immune cells of the central nervous system, notably microglia, are no exception and produce IL-10 downstream of pattern recognition receptors activation. However, whereas the molecular mechanisms regulating IL-10 expression by innate and acquired immune cells of the periphery have been extensively addressed, our knowledge on the modulation of IL-10 expression by central nervous cells is much scattered. This review addresses the current understanding on the molecular mechanisms regulating IL-10 expression by innate immune cells of the brain and the implications of IL-10 modulation in neurodegenerative disorders. Conclusion: The regulation of IL-10 production by central nervous cells remains a challenging field. Answering the many remaining outstanding questions will contribute to the design of targeted approaches aiming at controlling deleterious inflammation in the brain.We acknowledge the Portuguese Foundation for Science and Technology (FCT) for providing a PhD grant to DLS (SFRH/BD/88081/2012) and a post-doctoral fellowship to SR (SFRH/BPD/72710/2010). DS, AGC and SR were funded by FEDER through the Competitiveness Factors Operational Programme (COMPETE) and National Funds through FCT under the scope of the project POCI-01-0145-FEDER007038; and by the project NORTE-01-0145-FEDER-000013, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (ERDF). The MS lab was financed by Fundo Europeu de Desenvolvimento Regional (FEDER) funds through the COMPETE 2020—Operacional Programme for Competitiveness and Internationalisation (POCI), Portugal 2020, and by Portuguese funds through FCT in the framework of the project “Institute for Research and Innovation in Health Sciences ” (POCI-01-0145-FEDER-007274). MS is a FCT Associate Investigator. The funding body had no role in the design of the study and collection, analysis, and interpretation of the data and in writing the manuscript

Mouse models of neurodegenerative disease: preclinical imaging and neurovascular component.

Neurodegenerative diseases represent great challenges for basic science and clinical medicine because of their prevalence, pathologies, lack of mechanism-based treatments, and impacts on individuals. Translational research might contribute to the study of neurodegenerative diseases. The mouse has become a key model for studying disease mechanisms that might recapitulate in part some aspects of the corresponding human diseases. Neurode- generative disorders are very complicated and multifacto- rial. This has to be taken in account when testing drugs. Most of the drugs screening in mice are very di cult to be interpretated and often useless. Mouse models could be condiderated a ‘pathway models’, rather than as models for the whole complicated construct that makes a human disease. Non-invasive in vivo imaging in mice has gained increasing interest in preclinical research in the last years thanks to the availability of high-resolution single-photon emission computed tomography (SPECT), positron emission tomography (PET), high eld Magnetic resonance, Optical Imaging scanners and of highly speci c contrast agents. Behavioral test are useful tool to characterize di erent ani- mal models of neurodegenerative pathology. Furthermore, many authors have observed vascular pathological features associated to the di erent neurodegenerative disorders. Aim of this review is to focus on the di erent existing animal models of neurodegenerative disorders, describe behavioral tests and preclinical imaging techniques used for diagnose and describe the vascular pathological features associated to these diseases

Deletion of aquaporin-4 in APP/PS1 mice exacerbates brain Aβ accumulation and memory deficits

BACKGROUND: Preventing or reducing amyloid-beta (Aβ) accumulation in the brain is an important therapeutic strategy for Alzheimer’s disease (AD). Recent studies showed that the water channel aquaporin-4 (AQP4) mediates soluble Aβ clearance from the brain parenchyma along the paravascular pathway. However the direct evidence for roles of AQP4 in the pathophysiology of AD remains absent. RESULTS: Here, we reported that the deletion of AQP4 exacerbated cognitive deficits of 12-moth old APP/PS1 mice, with increases in Aβ accumulation, cerebral amyloid angiopathy and loss of synaptic protein and brain-derived neurotrophic factor in the hippocampus and cortex. Furthermore, AQP4 deficiency increased atrophy of astrocytes with significant decreases in interleukin-1 beta and nonsignficant decreases in interleukin-6 and tumor necrosis factor-alpha in hippocampal and cerebral samples. CONCLUSIONS: These results suggest that AQP4 attenuates Aβ pathogenesis despite its potentially inflammatory side-effects, thus serving as a promising target for treating AD. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s13024-015-0056-1) contains supplementary material, which is available to authorized users