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

Analysis of energy security and sustainability in future low carbon scenarios for Brazil

This study estimated a series of indicators to assess the energy security of supply and global and local environmental impacts under different mitigation scenarios through 2050 in Brazil, designed with the integrated optimisation energy system model MESSAGE-BRAZIL. The assessment of interactions between environmental impacts and energy security dimensions was complemented through the application of life cycle assessment (LCA) methodology. Overall results imply energy security establishes more synergies than trade-offs in increasingly stringent mitigation scenarios, especially patent within the sustainability dimension, which increases energy security and provides additional benefits regarding climate change mitigation and air pollution emissions. It is still necessary to extend analysis to other energy sectors in addition to the power supply sector, to promote a better understanding of repercussions of energy scenario expansion in energy security.This work was funded by the Brazilian research funding agencies CNPq and CAPES, under the Science Without Borders Programme, and the Marie Curie International Research Staff Exchange Scheme Fellowship within the 7th European Union Framework Programme, under the project NETEP- European Brazilian Network on Energy Planning (PIRSES-GA-2013-612263). We also acknowledge funding from US EPA and US AID (under Interagency Agreements DW89923040 and DW89923951US), through the LAMP, and the European Union, through the CLIMACAP project (EuropeAid/131944/C/SER/Multi)

Artificial antibodies for troponin T by its imprinting on the surface of multiwalled carbon nanotubes: Its use as sensory surfaces

A novel artificial antibody for troponin T (TnT) was synthesized by molecular imprint (MI) on the surface of multiwalled carbon nanotubes (MWCNT). This was done by attaching TnT to the MWCNT surface, and filling the vacant spaces by polymerizing under mild conditions acrylamide (monomer) in N,N′-methylenebisacrylamide (cross-linker) and ammonium persulphate (initiator). After removing the template, the obtained biomaterial was able to rebind TnT and discriminate it among other interfering species. Stereochemical recognition of TnT was confirmed by the non-rebinding ability displayed by non-imprinted (NI) materials, obtained by imprinting without a template. SEM and FTIR analysis confirmed the surface modification of the MWCNT. The ability of this biomaterial to rebind TnT was confirmed by including it as electroactive compound in a PVC/plasticizer mixture coating a wire of silver, gold or titanium. Anionic slopes of 50 mV decade−1 were obtained for the gold wire coated with MI-based membranes dipped in HEPES buffer of pH 7. The limit of detection was 0.16 μg mL−1. Neither the NI-MWCNT nor the MWCNT showed the ability to recognize the template. Good selectivity was observed against creatinine, sucrose, fructose, myoglobin, sodium glutamate, thiamine and urea. The sensor was tested successfully on serum samples. It is expected that this work opens new horizons on the design of new artificial antibodies for complex protein structures

Optimizing potentiometric ionophore and electrode design for environmental on-site control of antibiotic drugs: Application to sulfamethoxazole

Potentiometric sensors are typically unable to carry out on-site monitoring of environmental drug contaminants because of their high limits of detection (LODs). Designing a novel ligand material for the target analyte and managing the composition of the internal reference solution have been the strategies employed here to produce for the first time a potentiometric-based direct reading method for an environmental drug contaminant. This concept has been applied to sulfamethoxazole (SMX), one of the many antibiotics used in aquaculture practices that may occur in environmental waters. The novel ligand has been produced by imprinting SMX on the surface of graphitic carbon nanostructures (CN) < 500 nm. The imprinted carbon nanostructures (ICN) were dispersed in plasticizer and entrapped in a PVC matrix that included (or not) a small amount of a lipophilic additive. The membrane composition was optimized on solid-contact electrodes, allowing near-Nernstian responses down to 5.2 μg/mL and detecting 1.6 μg/mL. The membranes offered good selectivity against most of the ionic compounds in environmental water. The best membrane cocktail was applied on the smaller end of a 1000 μL micropipette tip made of polypropylene. The tip was then filled with inner reference solution containing SMX and chlorate (as interfering compound). The corresponding concentrations were studied for 1 × 10−5 to 1 × 10−10 and 1 × 10−3 to 1 × 10−8 mol/L. The best condition allowed the detection of 5.92 ng/L (or 2.3 × 10−8 mol/L) SMX for a sub-Nernstian slope of −40.3 mV/decade from 5.0 × 10−8 to 2.4 × 10−5 mol/L

Segmenting the sepal and shoot apical meristem of Arabidopsis thaliana

We present methods for segmenting the sepal and shoot apical meristem of the Arabidopsis thaliana plant. We propose a mathematical morphology pipeline and a modified numerical scheme for the active contours without edges algorithm to extract the geometry and topology of plant cells imaged using confocal laser scanning microscopy. We demonstrate our methods in typical images used in the studies of cell endoreduplication and hormone transport and show that in practice they produce highly accurate results requiring little human intervention to cope with image aberrations

Overexpression of Adenosine A2A receptors in rats: effects on depression, locomotion, and anxiety

Copyright: © 2014 Coelho, Alves, Canas, Valadas, Shmidt, Batalha, Ferreira, Ribeiro, Bader, Cunha, do Couto and Lopes. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.Adenosine A2A receptors (A2AR) are a sub-type of receptors enriched in basal ganglia, activated by the neuromodulator adenosine, which interact with dopamine D2 receptors. Although this reciprocal antagonistic interaction is well-established in motor function, the outcome in dopamine-related behaviors remains uncertain, in particular in depression and anxiety. We have demonstrated an upsurge of A2AR associated to aging and chronic stress. Furthermore, Alzheimer's disease patients present A2AR accumulation in cortical areas together with depressive signs. We now tested the impact of overexpressing A2AR in forebrain neurons on dopamine-related behavior, namely depression. Adult male rats overexpressing human A2AR under the control of CaMKII promoter [Tg(CaMKII-hA2AR)] and aged-matched wild-types (WT) of the same strain (Sprague-Dawley) were studied. The forced swimming test (FST), sucrose preference test (SPT), and the open-field test (OFT) were performed to evaluate behavioral despair, anhedonia, locomotion, and anxiety. Tg(CaMKII-hA2AR) animals spent more time floating and less time swimming in the FST and presented a decreased sucrose preference at 48 h in the SPT. They also covered higher distances in the OFT and spent more time in the central zone than the WT. The results indicate that Tg(CaMKII-hA2AR) rats exhibit depressive-like behavior, hyperlocomotion, and altered exploratory behavior. This A2AR overexpression may explain the depressive signs found in aging, chronic stress, and Alzheimer's disease.Joana E. Coelho, Vânia L. Batalha and Diana G. Ferreira were supported by a grant from Fundação para a Ciência e Tecnologia (FCT); Paula M. Canas and Rodrigo A. Cunha were supported by FCT (PTDC/SAU-NSC/122254/2010) and Defense Advanced Research Projects Agency (DARPA, grant 09-68-ESR- FP-010). Luísa V. Lopes is an Investigator FCT, funded by Fundação para a Ciência e Tecnologia (PTDC-099853/2009) and Bial.info:eu-repo/semantics/publishedVersio

Lei de licitações e contratos: comentada: Lei nº 14.133/2021

Divulgação dos SUMÁRIOS das obras recentemente incorporadas ao acervo da Biblioteca Ministro Oscar Saraiva do STJ. Em respeito à Lei de Direitos Autorais, não disponibilizamos a obra na íntegra.Localização na estante: 351.712.2(81)(094) Coment. L525lcCoordenado por: Alexandre Jorge Carneiro da Cunha Filho, Roberto Ricomini Piccelli e Carmen Silvia L. de Arrud

Adaptability and Stability of Productive Characteristics on the Selection of Pennisetum purpureum Schum. Clones Grazed by Sheep

Elephant grass (Pennisetum purpureum Schum.) is one of the most widely used forages in Brazil, due to its high potential productivity, forage quality, palatability, vigour and persistence. Dwarf types of elephant grass are the object of selection programs for their higher leaf/stem ratio and lower grazing height, resulting in more efficient pasture management. They have high potential for ruminant production (Almeida et al. 2000), but have markedly different morphological and productive characteristics (Cunha et al. 2011) to tall varieties of the same species. Adaptability and stability analyses are selection tools which allow identification of plant responses to different environments (Cruz and Regazzi 2001) and can identify stable productive clones across a range of environments. This study evaluated the genotype x environment interaction for productive characteristics of P. purpureum clones grazed by sheep

Relationship between Field Measurements in Three \u3cem\u3eBrachiaria\u3c/em\u3e Species with Leaf Area Index and Light Interception by Indirect Methods

Brachiaria species play a strategic role in ruminant production systems in Brazil, covering an estimated pasture area of approximately 90 million hectares (Karia et al., 2006), however, these pastures are subject to different degrees of degradation due to inadequate management. In pasture management, field measurements such as canopy height, for example, are used by managers as a tool to establish parameters for the optimal point to cut the forage and for the post-grazing residue, in order to maximize production by harvesting at maximum of herbage mass accumulation, and to avoid problems associated to overgrazing, by setting ideal post-grazing height for forage regrowth. The use of the variables light interception (LI) and leaf area index (LAI) has been recommended as a tool for pasture management, based on the theory that, when the canopy reaches a light interception of 95%, the forage is near its maximum growth rate, which is called critical LAI (Brougham, 1956). The residual LAI refers to the leaf area of the post-grazed stubble. Residual LAI is used to establish the minimum leaf area necessary to ensure an efficient pasture regrowth (Lemos et al., 2014). Light interception and the LAI are difficult to measure at the farm level, due to the high cost of the equipment and technical feasibility of the process. The objective of this study was to evaluate the relationship between LI and LAI measured by two different equipment, with canopy height and soil cover in three species of Brachiaria