A trusted infrastructure for symbolic analysis of event-driven web applications

We introduce a trusted infrastructure for the symbolic analysis of modern event-driven Web applica-tions. This infrastructure consists of reference implementations of the DOM Core Level 1, DOM UIEvents, JavaScript Promises and the JavaScriptasync/awaitAPIs, all underpinned by a simpleCore Event Semantics which is sufficiently expressive to describe the event models underlying theseAPIs. Our reference implementations are trustworthy in that three follow the appropriate standardsline-by-line and all are thoroughly tested against the official test-suites, passing all the applicabletests. Using the Core Event Semantics and the reference implementations, we develop JaVerT.Click,a symbolic execution tool for JavaScript that, for the first time, supports reasoning about JavaScriptprograms that use multiple event-related APIs. We demonstrate the viability of JaVerT.Click byproving both the presence and absence of bugs in real-world JavaScript code

On the Robust Control of Continuous-time Markov Jump Linear Systems Subject to Block-diagonal Uncertainty

Abstract-This paper addresses the robust H 2 2 2 and H ∞ ∞ ∞ control problems for continuous-time Markov jump linear systems subjected to block-diagonal perturbations. The proposed approach features the introduction of more powerful scaling techniques than the ones available in the current Markov jump linear systems literature. We further propose uncertaintydependent LMI design methods to treat the case of polytopic uncertainty on the transition rates of the Markov process. In the end of the paper, an application of the main results is illustrated with a numerical example

The 20 February 2010 Madeira flash-floods: synoptic analysis and extreme rainfall assessment

This study aims to characterise the rainfall exceptionality and the meteorological context of the 20 February 2010 flash-floods in Madeira (Portugal). Daily and hourly precipitation records from the available rain-gauge station networks are evaluated in order to reconstitute the temporal evolution of the rainstorm, as its geographic incidence, contributing to understand the flash-flood dynamics and the type and spatial distribution of the associated impacts. The exceptionality of the rainstorm is further confirmed by the return period associated with the daily precipitation registered at the two long-term record stations, with 146.9 mm observed in the city of Funchal and 333.8 mm on the mountain top, corresponding to an estimated return period of approximately 290 yr and 90 yr, respectively. Furthermore, the synoptic associated situation responsible for the flash-floods is analysed using different sources of information, e.g., weather charts, reanalysis data, Meteosat images and radiosounding data, with the focus on two main issues: (1) the dynamical conditions that promoted such anomalous humidity availability over the Madeira region on 20 February 2010 and (2) the uplift mechanism that induced deep convection activity

Utilização de cartas de controle multivariado no monitoramento de nutrientes em solo in situ.

A análise de solos engloba um complexo processo que demanda tempo e custos, e dificulta o fornecimento de informações em tempo real dos cultivos. A análise de solos in situ usando sensores é de grande importância na agricultura moderna, fornecendo informação contínua de diversos parâmetros físico-químicos do solo. Neste trabalho apresentamos a aplicação de sondas de análise multiparamétrica constituídas de quatro sensores químicos ? eletrodos íon-seletivos para K+, NH4 +, PO3 4- e NO3 - ? e um sensor de temperatura no monitoramento de um solo adubado com vinhaça e cultivado com alfafa (Medicago sativa L.). A avaliação da evolução do sistema ? preparo do solo, adubação com a vinhaça, plantio e crescimento da alfafa ? foi realizada com o emprego de cartas de controle estatístico multivariado sobre os sinais fornecidos pelas sondas

Identificação do gene pccB A partir da varredura de uma biblioteca genômica de Corynebacterium pseudotuberculosis visando uma vacina contra linfadenite caseosa.

Corynebacterium pseudotuberculosis é o agente etiológico da linfadenite caseosa (LC), que acomete principalmente ovinos e caprinos. Esta doença é causadora de grandes problemas na ovinocaprinocultura. Diversas pesquisas tem sido realizadas na busca de uma vacina eficaz contra a LC. Estudos recentes utilizando um gene reporter em C. pseudotuberculosis, identificou a expressão do gene pccB (cadeia β da propionil CoA carboxilase) em macrófagos, indicando um possível envolvimento na virulência deste patógeno e um bom antígeno a ser explorado no desenvolvimento de uma nova estratégia vacinal. Como a sequência deste gene ainda não está disponível em banco de dados, o objetivo deste trabalho foi realizar varredura em uma biblioteca genômica de C. pseudotuberculosis para identificação completa da sequência do gene pccB. Uma sonda foi gerada a partir de um fragmento parcial do gene pccB marcado com [α32P]dCTP. A biblioteca genômica foi plaqueada em placas de lise para obter 2X103 pfu/placa e em seguida transferida para membranas de nylon previamente tratadas com soluções desnaturante, neutralizante e de pré-hibridização, a fim de, posteriormente, reagir com a sonda radioativa seguido da exposição das membranas a um filme de raio X. Dois clones positivos foram isolados e utilizados como template em reação de PCR, utilizando primers específicos da biblioteca genômica, gerando produtos de 3 Kb que foram sequenciados e analisados por BlastX, verificando-se 82% de identidade com o gene pccB2 de C. diphtheriae. Acreditando que haja sintenia entre as duas espécies mencionadas, foram desenhados primers com genes que flanqueiam o gene pccB2 de C. diphtheriae. Esses foram utilizados como iniciadores em reação de PCR, tendo como molde o DNA genômico de C. Pseudotuberculosis, gerando um fragmento de 2,1 Kb que foi clonado no vetor pGEM-T easy, sequenciado e analisado por BlastX. Resultados preliminares indicam que novos primers precisam ser desenhados para concluir a sequência deste gene