A calculus for generic, QoS-aware component composition

Software QoS properties, such as response time, availability, bandwidth requirement, memory usage, among many others, play a major role in the processes of selecting and composing software components. This paper extends a component calculus to deal, in an effective way, with them. The calculus models components as generalised Mealy machines, i.e., state-based entities interacting along their life time through well defined interfaces of observers and actions. QoS is introduced through an algebraic structure specifying the relevant QoS domain and how its values are composed under different disciplines. A major effect of introducing QoS-awareness is that a number of equivalences holding in the plain calculus become refinement laws. The paper also introduces a prototyper for the calculus developed as a ‘proof-of-concept’ implementation.FCT -Fuel Cell Technologies Program(FCOMP-01-0124-FEDER-020537

State-based components made generic

Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school.(undefined

An exercise on transition systems

Labelled transition systems admit different but equivalent characterizations either as relational structures or coalgebras for the powerset functor, each of them with their own merits. Notions of simulation and bisimulation, for example, are expressed in the pointfree relational calculus in a very concise and precise way. On the other hand, the coalgebraic perspective regards processes as inhabitants of a final universe and allows for an intuitive definition of the semantics of process’ combinators. This paper is an exercise on such a dual characterisation. In particular, it discusses how a notion of weak bisimilarity can be lifted from the relational to the coalgebraic level, to become an effective reasoning tool on coinductively defined process algebras.(undefined

ESTRUTURA DA VEGETAÇÃO CONDICIONADA POR FATORES TOPOGRÁFICOS EM FLORESTA DE ENCOSTA NO PARNA – TIJUCA, RJ

O presente trabalho objetivou comparar a estrutura da vegetação entre diferentes posições na encosta e situações de declividades. O divisor apresentou vegetação menos robusta, com maior densidade de indivíduos, e com largura e altura consideravelmente mais baixas em relação às outras posições na encosta. A imposição de declividade parece influenciar o crescimento e forma das árvores, que tendem a ser mais baixas e com troncos mais largos, além de menor densidade, do que nas áreas planas

Bioassays against pinewood nematode: assessment of a suitable dilution agent and screening for bioactive essential oils

Acetone was investigated and found to be an appropriate alternative to Triton X-100 as a solvent of essential oils in bioassays aimed to investigate their effects on pinewood nematode (Bursaphelenchus xylophilus) mortality. Therefore it was used as dilution agent to screen the effectiveness of fifty two essential oils against this pest. Thirteen essential oils were highly effective, resulting in more than 90% pinewood nematode mortality at 2 mg/mL, with six of them resulting in 100% mortality. LC100 values ranged between 0.50 mg/mL and 0.83 mg/mL for the essential oils of Origanum vulgare and Satureja montana, respectively. Essential oils were submitted to gas chromatography and gas chromatography-mass spectrometry analysis and their chemical composition established. Data from essential oils with 100% mortality at 2 mg/mL and other essential oils previously found to have LC100 ≤ 2 mg/mL was combined, their chemical profiles investigated by correspondences analysis plus automatic classification

Genetic variants in selenoprotein genes modulate biomarkers of selenium status in response to Brazil nut supplementation (the SU.BRA.NUT study)

This work was supported by Brazilian grants from São Paulo Research Foundation to JLSD (Fundação de Amparo à Pesquisa do Estado de São Paulo-FAPESP processes: 2011/17720-0 and 2015/10146-8). Funding source had no involvement in study design, collection, analysis and interpretation of data from the present research.Peer reviewedPostprin

Vírus da encefalite São Luis: primeiro isolamento de humano no Estado de São Paulo, Brasil

O presente estudo relata o isolamento do vírus da encefalite São Luis (SLEV) de um caso febril humano suspeito de dengue, em São Pedro, Estado de São Paulo. MAC-ELISA realizado com soros das fases aguda e convalescente foi inconclusivo e anticorpos IgG foram detectados por inibição da hemaglutinação para flavivirus. Imunofluorescência indireta com cultura de células C6/36 inoculadas com soro da fase aguda foi positivo para flavivirus mas negativo quando testado com anticorpos monoclonais para dengue. O RNA extraído de cultura de células infectadas foi amplificado na presença de primers universais para o gênero Flavivirus, deduzidos de uma região da proteína não estrutural 5 e diretamente sequenciado. Os resultados da pesquisa no BLAST indicaram que a seqüência apresenta 93% de similaridade de nucleotídeos com a seqüência de SLEV (cepa MS1.7), confirmado por RT-PCR, realizado com primers específicos para SLEV. O fato de SLEV ter sido identificado como a causa de doença humana indica a necessidade de aprimorar a vigilância a fim de detectar precocemente esse agente no Estado de São Paulo e no Brasil. Esse caso é também um alerta para os profissionais de saúde sobre a necessidade de investigações clínicas e epidemiológicas mais completas sobre doenças febris como no caso relatado. Infecções por SLEV podem não ser reconhecidas ou confundidas com outras causadas por arbovírus como a dengue.This paper reports the isolation of St. Louis encephalitis virus (SLEV) from a febrile human case suspected to be dengue, in São Pedro, São Paulo State. A MAC-ELISA done on the patient's acute and convalescent sera was inconclusive and hemagglutination inhibition test detected IgG antibody for flaviviruses. An indirect immunofluorescent assay done on the C6/36 cell culture inoculated with the acute serum was positive for flaviviruses but negative when tested with dengue monoclonal antibodies. RNA extracted from the infected cell culture supernatant was amplified by RT-PCR in the presence of NS5 universal flavivirus primers and directly sequenced. Results of BLAST search indicated that this sequence shares 93% nucleotide similarity with the sequence of SLEV (strain-MSI.7), confirmed by RT-PCR performed with SLEV specific primers. Since SLEV was identified as the cause of human disease, it is necessary to improve surveillance in order to achieve early detection of this agent in the state of São Paulo and in Brazil. This finding is also an alert to health professionals about the need for more complete clinical and epidemiological investigations of febrile illnesses as in the reported case. SLEV infections can be unrecognized or confused with other ones caused by an arbovirus, such as dengue

A canonical correlation analysis of the association between carcass and ham traits in pigs used to produce dry-cured ham

The association between carcass and ham traits in a pig population used to produce dry-cured ham was studied using canonical correlation analysis. The carcass traits examined were hot carcass weight (HCW), backfat thickness (BT) and loin depth (LD), and the ham traits studied were gross ham weight (GHW), trimmed ham weight (THW), ham inner layer fat thickness (HIFT), ham outer layer fat thickness (HOFT), pH (pH) and the Göfo value. Carcass and ham traits are not independent. The canonical correlations (r) between the carcass and ham traits at 130 kg were 0.77, 0.24 and 0.20 for the first, second and third canonical pair, respectively, and were all significant (p < 0.01) by the Wilks test. The corresponding canonical correlations between the three canonical variate pairs for the carcass and ham traits at 160 kg were 0.88, 0.42 and 0.14, respectively (p < 0.05 for all, except the third). The correlations between the traits and their canonical variate showed an association among HCW, GHW and THW, and between BT and HOFT. These results indicate that carcass traits should be used to cull pigs that are not suitable for dry-cured ham production

Design-controlled synthesis of IrO2 sub-monolayers on Au nanoflowers: Marrying plasmonic and electrocatalytic properties

We develop herein plasmonic–catalytic Au–IrO2 nanostructures with a morphology optimized for efficient light harvesting and catalytic surface area; the nanoparticles have a nanoflower morphology, with closely spaced Au branches all partially covered by an ultrathin (1 nm) IrO2 shell. This nanoparticle architecture optimizes optical features due to the interactions of closely spaced plasmonic branches forming electromagnetic hot spots, and the ultra-thin IrO2 layer maximizes efficient use of this expensive catalyst. This concept was evaluated towards the enhancement of the electrocatalytic performances towards the oxygen evolution reaction (OER) as a model transformation. The OER can play a central role in meeting future energy demands but the performance of conventional electrocatalysts in this reaction is limited by the sluggish OER kinetics. We demonstrate an improvement of the OER performance for one of the most active OER catalysts, IrO2, by harvesting plasmonic effects from visible light illumination in multimetallic nanoparticles. We find that the OER activity for the Au–IrO2 nanoflowers can be improved under LSPR excitation, matching best properties reported in the literature. Our simulations and electrocatalytic data demonstrate that the enhancement in OER activities can be attributed to an electronic interaction between Au and IrO2 and to the activation of Ir–O bonds by LSPR excited hot holes, leading to a change in the reaction mechanism (rate-determinant step) under visible light illumination

Transforming data by calculation

Thispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into “flat” database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a Ciência e a Tecnologia (FCT