Structured specification of paraconsistent transition systems

This paper sets the basis for a compositional and structured approach to the specification of paraconsistent transitions systems, framed as an institution. The latter and theirs logics were previously introduced in [CMB22] to deal with scenarios of inconsistency in which several requirements are on stake, either reinforcing or contradicting each other.EC -European Commission(PTDC/CCI-COM/4280/2021

Spatiotemporal distribution of the magnetotactic multicellular prokaryote Candidatus Magnetoglobus multicellularis in a Brazilian hypersaline lagoon and in microcosms

Candidatus Magnetoglobus multicellularis is an unusual morphotype of magnetotactic prokaryotes. These microorganisms are composed of a spherical assemblage of gram-negative prokaryotic cells capable of swimming as a unitaligned along a magnetic field. While they occur in many aquatic habitats around the world, high numbers of Ca. M. multicellularishave been detected in Araruama Lagoon, a large hypersaline lagoon near the city of Rio de Janeiro, in Brazil. Here,we report on the spatiotemporal distribution of one such population in sediments of Araruama Lagoon, including its annualdistribution and its abundance compared with the total bacterial community. In microcosm experiments, Ca. M. multicellulariswas unable to survive for more than 45 days: the population density gradually decreased coinciding with a shift to theupper layers of the sediment. Nonetheless, Ca. M. multicellularis was detected throughout the year in all sites studied. Changes in the population density seemed to be related to the input of organic matter as well as to salinity. The populationdensity of Ca. M. multicellularis did not correlate with the total bacterial counts; instead, changes in the microbial communitystructure altered their counts in the environment. [Int Microbiol 2012; 15(3):141-149

The four hexamerin genes in the honey bee: structure, molecular evolution and function deduced from expression patterns in queens, workers and drones

Background: Hexamerins are hemocyanin-derived proteins that have lost the ability to bind copper ions and transport oxygen; instead, they became storage proteins. The current study aimed to broaden our knowledge on the hexamerin genes found in the honey bee genome by exploring their structural characteristics, expression profiles, evolution, and functions in the life cycle of workers, drones and queens. Results: The hexamerin genes of the honey bee (hex 70a, hex 70b, hex 70c and hex 110) diverge considerably in structure, so that the overall amino acid identity shared among their deduced protein subunits varies from 30 to 42%. Bioinformatics search for motifs in the respective upstream control regions (UCRs) revealed six overrepresented motifs including a potential binding site for Ultraspiracle (Usp), a target of juvenile hormone (JH). The expression of these genes was induced by topical application of JH on worker larvae. The four genes are highly transcribed by the larval fat body, although with significant differences in transcript levels, but only hex 110 and hex 70a are re-induced in the adult fat body in a caste-and sex-specific fashion, workers showing the highest expression. Transcripts for hex 110, hex 70a and hex70b were detected in developing ovaries and testes, and hex 110 was highly transcribed in the ovaries of egg-laying queens. A phylogenetic analysis revealed that HEX 110 is located at the most basal position among the holometabola hexamerins, and like HEX 70a and HEX 70c, it shares potential orthology relationship with hexamerins from other hymenopteran species. Conclusions: Striking differences were found in the structure and developmental expression of the four hexamerin genes in the honey bee. The presence of a potential binding site for Usp in the respective 5' UCRs, and the results of experiments on JH level manipulation in vivo support the hypothesis of regulation by JH. Transcript levels and patterns in the fat body and gonads suggest that, in addition to their primary role in supplying amino acids for metamorphosis, hexamerins serve as storage proteins for gonad development, egg production, and to support foraging activity. A phylogenetic analysis including the four deduced hexamerins and related proteins revealed a complex pattern of evolution, with independent radiation in insect orders.Fundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP)[05/03926-5; 08/00541-3

A DNA Tool for the Identification of Heavily Exploited Atlantic Billfishes

Due to the morphological similarities among species, the International Commission for the Conservation of the Atlantic Tunas has recommended the use of diagnostic molecular tools to allow for robust species-level identifications of the billfishes. In this study, a protocol for the molecular identification of all six Atlantic billfishes was developed utilizing a PCR–RFLP approach, targeting the mitochondrial gene cytochrome c oxidase subunit 1. A survey of 28 restriction endonucleases identified two enzymes (TaqI and HaeIII) that produced species-specific banding patterns sufficient to distinguish species. The protocol was validated against billfishes captured across their Atlantic distributions

GCN2 kinase plays an important role triggering the remission phase of experimental autoimmune encephalomyelitis (EAE) in mice

Experimental autoimmune encephalomyelitis (EAE) has been widely employed as a model to study multiple sclerosis (MS) and indeed has allowed some important advances in our comprehension of MS pathogenesis. Several pieces of evidence suggest that infiltrating Th1 and Th17 lymphocytes are important players leading to CNS demyelination and lesion during the peak of murine EAE. Subsequently, effector T cell responses rapidly decline and the recovery phase of the disease strongly correlates with the expression of anti-inflammatory cytokines and the enrichment of Foxp3+ regulatory T (Treg) cells within the target organ. However, the mechanisms leading to the increased presence of Treg cells and to the remission phase of the disease are still poorly understood. Recent researches demonstrated that chemically induced amino-acid starvation response might suppress CNS immune activity. Here we verified an important participation of the general control nonrepressible 2 (GCN2), a key regulator kinase of the amino-acid starvation response, in the development of the remission phase of EAE in C57BL/6 mice. By immunizing wild type C57BL/6 (WT) and GCN2 knock-out mice (GCN2 KO) with myelin oligodendrocyte glycoprotein peptide (MOG(35-55)), it was noticed that GCN2 KO mice did not develop the remission phase of the disease and this was associated with higher levels of CNS inflammation and increased presence of effector T cells (Th1/Th17). These animals also showed lower frequency of Treg cells within the CNS as compared to WT animals. Higher expression of indoleamine 2,3-dioxygenase (IDO) and higher frequency of plasmacytoid dendritic cells (pDCs) were found at the peak of the disease in the CNS of WT animals. Our results suggest that the GCN2 kinase-dependent sensing of IDO activity represents an important trigger to the EAE remission phase. the IDO-mediated immunoregulatory events may include the arresting of effector T cell responses and the differentiation/expansion of Treg cells within the target organ. (C) 2013 Elsevier Inc. All rights reserved.Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Universidade Federal de São Paulo, Escola Paulista Med, Dept Microbiol Immunol & Parasitol, BR-04023062 São Paulo, BrazilUniversidade Federal de São Paulo, Escola Paulista Med, Dept Microbiol Immunol & Parasitol, BR-04023062 São Paulo, BrazilWeb of Scienc

Geodiversity assessment of the Xingu drainage basin

Artigo com mapa em anexoGeodiversity is a recent concept that refers to the abiotic variety of nature. It is defined as the range of geological (rocks, minerals, fossils), geomorphological (landforms, processes) and soil features, including their assemblages, relationships, properties, interpretation and systems. In this work, a method of quantitative assessment of geodiversity was applied to the Xingu drainage basin (Amazoˆnia – Brazil). The method is based on the quantification and integration of abiotic features represented on thematic maps at scales ranging from 1:250,000 to 1:2,500,000, overlaid by a 1:25,000 systematic grid. In order to calculate the final geodiversity index, five partial numerical indices representing the main components of geodiversity were drawn compiled: geology, geomorphology, soil, palaeontology and mineral occurrences. The resulting Geodiversity Index map is presented in the form of five isoline classes. The objective of this method is to present such a mapping technique as a tool for environmental planning, particularly for the identification and definition of priority areas for conservation.Fundação para a Ciência e a Tecnologia (FCT)CAPE

Intensity Modulated Radiotherapy (IMRT) in the postoperative treatment of an adenocarcinoma of the endometrium complicated by a pelvic kidney

BACKGROUND: Pelvic Radiotherapy (RT) as a postoperative treatment for endometrial cancer improves local regional control. Brachytherapy also improves vaginal control. Both treatments imply significant side effects that a fine RT technique can help avoiding. Intensity Modulated RT (IMRT) enables the treatment of the target volume while protecting normal tissue. It therefore reduces the incidence and severity of side effects. CASE: We report on a 50 year-old patient with a serous-papiliferous adenocarcinoma of the uterus who was submitted to surgical treatment without lymph node sampling followed by Brachytherapy, and Chemotherapy. The patient had a pelvic kidney, and was therefore treated with IMRT. So far, the patient has been free from relapse and with normal kidney function. CONCLUSION: IMRT is a valid technique to prevent the kidney from radiation damage

The Facet of Human Impact: Solenopsis invicta Buren, 1972 Spreading around the Atlantic Forest

The present investigation deals with some aspects of the diversity of fire ants (Hymenoptera: Formicidae) in their native range. The Red Imported Fire Ant Solenopsis invicta is native to the tropical and subtropical inland territories of South America. In Brazil, it mainly occurs around the Pantanal region and across the Paraguay river, a region composed of grasslands which are seasonally flooded. Recent studies have evidenced this fire ant species is gradually spreading to other regions of Brazil. In the present investigation, we surveyed the molecular diversity of S. invicta populations across fragments of Atlantic Forest in Sao Paulo, Brazil, using mtDNA COI haplotypes. Fire ant nests were sampled along the highways lining the northern and southern slope sides of the mountain range Serra do Mar, SP, Brazil. Four haplotypes were identified (H1-H4), which were assessed for similarity to deposited records by other authors, revealing that the haplotypes H1 and H2 are likely of foreign origin through recent reintroduction via a marine port to the south of the Serra do Mar mountain range. On the other hand, the haplotypes H3 and H4, predominating among the inland samples from the northern side of the mountain range, were most similar to previous records from more central regions of Brazil. Haplotypes clustered into distinct supergroups, further pointing to the occurrence of two separate expansion waves of S. invicta in the region. We suggest the obtained pattern indicates the mountain range may function as a geographical barrier deferring gene flow

Hydrogels Based on Chitosan and Chitosan Derivatives for Biomedical Applications

Chitosan (CS) is a polymer obtained from chitin, being this, after the cellulose, the most abundant polysaccharide. The fact of (i) CS being obtained from renewable sources; (ii) CS to possess capability for doing interactions with different moieties being such capability dependent of pH; (iii) plenty of possibilities for chemical modification of CS; and (iv) tuning the final properties of CS derivatives makes this polymer very interesting in academic and technological points of view. In this way, hydrogels based on CS and on CS derivatives have been widely used for biomedical applications. Other important technological applications can be also cited, such as adsorbent of metals and dyes in wastewater from industrial effluents. In pharmaceutical field, hydrogels based on CS are often used as drugs’ and proteins’ carrier formulations due to the inherent characteristics such as the biocompatibility, nontoxicity, hydrophilicity, etc. This chapter is an attempt for updating and joining the plenty of available information regarding the preparation, characterization, and biomedical application of hydrogels based on chitosan and chitosan derivatives. More than 260 references are provided, being the majority of them published in the last 10 years

Hypothalamic S1p/s1pr1 Axis Controls Energy Homeostasis In Middle-aged Rodents: The Reversal Effects Of Physical Exercise

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Recently, we demonstrated that the hypothalamic S1PR1/STAT3 axis plays a critical role in the control of food consumption and energy expenditure in rodents. Here, we found that reduction of hypothalamic S1PR1 expression occurs in an age-dependent manner, and was associated with defective thermogenic signaling and weight gain. To address the physiological relevance of these findings, we investigated the effects of chronic and acute exercise on the hypothalamic S1PR1/STAT3 axis. Chronic exercise increased S1PR1 expression and STAT3 phosphorylation in the hypothalamus, restoring the anorexigenic and thermogenic signals in middle-aged mice. Acutely, exercise increased sphingosine-1-phosphate (S1P) levels in the cerebrospinal fluid (CSF) of young rats, whereas the administration of CSF from exercised young rats into the hypothalamus of middle-aged rats at rest was sufficient to reduce the food intake. Finally, the intracerebroventricular (ICV) administration of S1PR1 activators, including the bioactive lipid molecule S1P, and pharmacological S1PR1 activator, SEW2871, induced a potent STAT3 phosphorylation and anorexigenic response in middle-aged rats. Overall, these results suggest that hypothalamic S1PR1 is important for the maintenance of energy balance and provide new insights into the mechanism by which exercise controls the anorexigenic and thermogenic signals in the central nervous system during the aging process.91156169Fundacao de Amparo a Pesquisa do Estado de Sao Paulo [FAPESP2011/09656-0, 2011/13828-1]Conselho Nacional de desenvolvimento cientifico e tecnologico (CNPq) [304815/2014-4]Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq