A User Interaction Bug Analyzer Based on Image

Context: Mobile applications support a set of user-interaction features that are independent of the application logic. Rotating the device, scrolling, or zooming are examples of such features. Some bugs in mobile applications can be attributed to user-interaction features. Objective: This paper proposes and evaluates a bug analyzer based on user-interaction features that uses digital image processing to find bugs. Method: Our bug analyzer detects bugs by comparing the similarity between images taken before and after a user-interaction. SURF, an interest point detector and descriptor, is used to compare the images. To evaluate the bug analyzer, we conducted a case study with 15 randomly selected mobile applications. First, we identified user-interaction bugs by manually testing the applications. Images were captured before and after applying each user-interaction feature. Then, image pairs were processed with SURF to obtain interest points, from which a similarity percentage was computed, to finally decide whether there was a bug. Results: We performed a total of 49 user-interaction feature tests. When manually testing the applications, 17 bugs were found, whereas when using image processing, 15 bugs were detected. Conclusions: 8 out of 15 mobile applications tested had bugs associated to user-interaction features. Our bug analyzer based on image processing was able to detect 88% (15 out of 17) of the user-interaction bugs found with manual testing.

UNDERSTANDING THE RELATIONSHIP BETWEEN THE BROWN MARMORATED STINK BUG, HALYOMORPHA HALYS (STÅL), AND ITS SYMBIONT, PANTOEA CARBEKII, WITH IMPLICATIONS FOR STINK BUG MANAGEMENT

Symbiotic relationships between insects and beneficial microbes are very common in nature, especially within the Hemiptera. The brown marmorated stink bug, Halyomorpha halys Stål, harbors a symbiont, Pantoea carbekii, within the fourth region of the midgut in specialized crypts. In this dissertation, I explored this insect- microbe relationship. I determined that the brown marmorated stink bug is heavily reliant on its symbiont, and that experimental removal of the symbiont from the egg mass surface prior to nymphal acquisition led to lower survival, longer development, lower fecundity, and aberrant nymphal behavior. Additionally, I determined that even when the symbiont is acquired and housed in the midgut crypts, it is susceptible to stressors. Stink bugs reared at a higher temperature showed lower survival, longer development, and a cease in egg mass production, and when bugs were screened for their symbiont, fewer had successfully retained it while under heat stress. Finally, with the knowledge that the stink bug suffers decreases in fitness when its symbiont is missing or stressed, I wanted to determine if targeting the symbiont was a possible management technique for the stink bug. I tested the efficacy of a number of different insecticidal and antimicrobial products to determine whether prevention of symbiont acquisition from the egg mass was possible, and results indicated that transmission of the symbiont from the egg mass to the newly hatched nymph was negatively impacted when certain products were applied (namely surfactants or products containing surfactants). Additionally, direct effects on hatch rate and survival were reported for certain products, namely the insect growth regulator azadirachtin, which suggests that nymphs can pick up residues from the egg mass surface while probing for the symbiont. I conclude that P. carbekii plays a critically important role in the survival of its host, the brown marmorated stink bug, and its presence on the egg mass surface before nymphal hatch makes it targetable as a potential management technique.

El trabajo social y la educación de Bachillerato General Unificado (BUG)

El presente trabajo monográfico consiste en establecer la importancia que tiene la intervención del Trabajo Social dentro de las instituciones públicas que brindan el servicio de educación en los niveles de Bachillerato General Unificado BGU. Como lo establecen (Merino & Namicela, 2012) dentro de estas instituciones (Colegios y/o Unidades Educativas) se identifican varias problemáticas como el acoso escolar, el consumo, uso y abuso de sustancias psicotrópicas, problemas intrafamiliares (falta de comunicación, negligencia, déficit económico, etc.) que dificultan al proceso educativo de los estudiantes, causan bajo rendimiento académico, abandono y/o deserción escolar; que finalmente repercute al desarrollo económico y social de cada persona y de la sociedad ecuatoriana en general. Ante esta problemática el Estado ecuatoriano ha implementado varios instrumentos legales, empezando desde la reforma de la Constitución en el 2008, que significo un cambio fundamental para el sistema educativo ecuatoriano, pues a partir de este hecho, se han creado y reformulado normas legales que especifican y garantizan el acceso a una educación integral de mayor calidad y calidez. Dentro de esta apuesta gubernamental para mejorar el acceso y la calidad educativa aparece la intervención del Trabajo Social como la profesión que investiga procesos concretos relacionados a las condiciones de vida de los individuos, sus necesidades y potencialidades para que atreves de sus funciones reconozca y establezca soluciones a problemas entre las interacciones humanas e institucionales, a fin de lograr un mayor bienestar social de los estudiantes.

Fluctuation and vertical distribution of a population of brown root stink bug Scaptocoris castanea (Hemiptera: Cydnidae) in the soil profile in Mato Grosso do Sul State, Brazil.

2016

The influence of volatile semiochemicals from stink bug eggs and ovipositiondamaged plants on the foraging behaviour of the egg parasitoid Telenomus podisi.

2016

The natural plant stress elicitor cis-jasmone causes cultivar-dependent reduction in growth of the stink bug, Euschistus heros and associated changes in flavonoid concentrations in soybean, Glycine max.

To test the hypothesis that the plant stress related elicitor cis-jasmone (cJ) provides protection in soybean pods against the seed-sucking stink bug pest, Euschistus heros, the growth of E. heros on cJ-treated pods was investigated using three soybean cultivars differing in insect susceptibility, i.e. BRS 134 (susceptible), IAC 100 (resistant) and Dowling (resistant). E. heros showed reduced weight gain when fed cJ-treated Dowling, whereas no effect on weight gain was observed when fed other treated cultivars. Using analysis of variance, a three factor (cultivar x treatment x time) interaction was observed with concentrations of the flavonoid glycosides daidzin and genistin, and their corresponding aglycones, daidzein and genistein. There were increases in genistein and genistin concentrations in cJ-treated Dowling at 144 and 120 h post treatment, respectively. Higher concentrations of malonyldaidzin and malonylgenistin in Dowling, compared to BRS 134 and IAC 100, were observed independently of time, the highest concentrations being observed in cJ-treated seeds. Levels of glycitin and malonylglycitin were higher in BRS 134 and IAC 100 compared to Dowling. Canonical variate analysis indicated daidzein (in the first two canonical variates) and genistein (in the first only) as important discriminatory variables. These results suggest that cJ treatment leads to an increase in the levels of potentially defensive isoflavonoids in immature soybean seeds, but the negative effect upon E. heros performance is cultivar-dependent.

Análise das relações taxonômicas e sistemáticas entre espécies de triatomíneos (Hemiptera, Reduviidae) de colônias mantidas pelo Serviço Especial de Saúde de Araraquara, inferida de seqüências do 16S rDNA mitocondrial

Foram analisadas seqüências de nucleotídeos do gene 16S do rDNA mitocondrial em 14 populações de triatomíneos mantidos em colônias no insetário SESA de Araraquara- SP, comparando-as com seqüências do mesmo gene disponíveis no GenBank. Os fragmentos variaram de 311 a 317 pb com baixa variação intra-específica entre as distâncias genéticas (0% a 0,6%), exceto para os relacionamentos entre espécimes de Triatoma sordida (1%) e espécimes de T. brasiliensis (1,3%) atribuídos a populações geográficas diferentes. A parafilia de Rhodniini e do gênero Panstrongylus foi evidenciada pelas analises, confirmando resultados anteriores entre estes e os estreitos relacionamentos de R. prolixus com R. robustus e de T. infestans e T. platensis. O relacionamento entre T. maculata e T. pseudomaculata não foi solucionado, uma vez que, esses táxons apareceram tanto em monofilia quanto em parafilia: T. pseudomaculata (SESA) está agrupado com T. maculata (seqüência do GenBank) e associados a T . brasiliensis (SESA), enquanto T. maculata (SESA) aparece agrupado com T. pseudomaculata do SESA e do GenBank. Os resultados evidenciam a utilidade do gene 16S como marcador de espécies de triatomíneos e sua importância em questões de sistemática e taxonomia. Há necessidade de novos estudos envolvendo outros marcadores associados a caracteres sistemáticos clássicos de morfologia, ecologia e comportamento para decisões sistemáticas adequadas uma vez, que teriam impacto não apenas sistemático mas, para as estratégias de controle.

An insight into the sialotranscriptome of the brown dog tick, Rhipicephalus sanguineus

Background: Rhipicephalus sanguineus, known as the brown dog tick, is a common ectoparasite of domestic dogs and can be found worldwide. R. sanguineus is recognized as the primary vector of the etiological agent of canine monocytic ehrlichiosis and canine babesiosis. Here we present the first description of a R. sanguineus salivary gland transcriptome by the production and analysis of 2,034 expressed sequence tags (EST) from two cDNA libraries, one consctructed using mRNA from dissected salivary glands from female ticks fed for 3-5 days (early to mid library, RsSGL1) and the another from ticks fed for 5 days (mid library, RsSGL2), identifying 1,024 clusters of related sequences. Results: Based on sequence similarities to nine different databases, we identified transcripts of genes that were further categorized according to function. The category of putative housekeeping genes contained similar to 56% of the sequences and had on average 2.49 ESTs per cluster, the secreted protein category contained 26.6% of the ESTs and had 2.47 EST's/clusters, while 15.3% of the ESTs, mostly singletons, were not classifiable, and were annotated as ""unknown function"". The secreted category included genes that coded for lipocalins, proteases inhibitors, disintegrins, metalloproteases, immunomodulatory and antiinflammatory proteins, as Evasins and Da-p36, as well as basic-tail and 18.3 kDa proteins, cement proteins, mucins, defensins and antimicrobial peptides. Comparison of the abundance of ESTs from similar contigs of the two salivary gland cDNA libraries allowed the identification of differentially expressed genes, such as genes coding for Evasins and a thrombin inhibitor, which were over expressed in the RsSGL1 (early to mid library) versus RsSGL2 (mid library), indicating their role in inhibition of inflammation at the tick feeding site from the very beginning of the blood meal. Conversely, sequences related to cement (64P), which function has been correlated with tick attachment, was largely expressed in the mid library. Conclusions: Our survey provided an insight into the R. sanguineus sialotranscriptome, which can assist the discovery of new targets for anti-tick vaccines, as well as help to identify pharmacologically active proteins.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Over the Air Download for Digital Television Receivers Upgrade

Over the air download is an important feature for terrestrial digital television systems. It provides a cheaper option for DTV receiver manufacturers to provide bug fixes and quality improvements to their products, allowing a shorter time to the market. This paper presents a mechanism proposal of an over the air download software update for the Brazilian system. This mechanism was specified considering the Brazilian DTV over the air download specifications, but it was extended considering efficiency, reliability and user transparency as requirements for software update. A proof of concept was implemented on a Linux based set-top box. The mechanism is divided into five main functional parts: download schedule, packets download, packets authentication, installation and error robustness. Some analyses were conducted upon the implementation considering the following criteria: download robustness and maximum downloading rate. (1)

Are there costs in the repeated mating activities of female Southern stink bugs Nezara viridula?

Mating is an energy demanding process, imposing risks to physical injuries, pathogen infection and predation. Nevertheless, repeated and multiple mating are widespread even in insect species where nuptial gifts are not involved. The effects of repeated mating, by the same male, are examined on the reproductive performance of female Southern green stink bug Nezara viridula (L.). Fecundity is reduced in females mated three or four times, although there is increased longevity. Females mated once or twice produce more egg clusters and concentrate egg-laying activity in the early part of adult life, whereas those mating more often lay eggs throughout the life span, with fewer egg clusters. Although fecundity is negatively affected by the number of matings, egg fertility remains unaffected.

Wing polymorphism and dispersal of Scaptocoris carvalhoi (Hemiptera : Cydnidae)

Functional wing polymorphism is commonly observed it) insects, and it may confer an important adaptive value to populations that bear this trait, because it allows dispersal and the location to more favorable habitats for their survival and reproduction. According to the oogenesis-flight syndrome theory, such wing polymorphism may imply differences in the locomotion Capacity of individuals, which is a factor induced by adverse environmental conditions during muscle development in immatures. Scaptocoris carvalhoi Becker (Hemiptera: Cydnidae) is an important agriculture pest in Brazil, and it has burrowing habits. The adults swarm in the beginning of the rainy season after a prolonged drought period in the Brazilian cerrado region. In these swarms, part of the population leaves the soil, performing long flights until locations with more abundant vegetation. In this study, we characterized wing polymorphism in S. carvalhoi, this being the first description in a species of Cydnidae. Brachypterous and macropterous males and females were observed, which showed positive and significant correlations between body length and hindwing length. Macropterous individuals demonstrated greater locomotion capacity than brachypterous individuals. In addition, only long-winged adults could fly, showing wing mobility and flight reaction. The increased number of macropterous individuals inside the soil during the swarming season and in the beginning of the rainy period suggests that wing polymorphism in this population occurs in seasonal cycles and that factors related to the scarcity of rains influence the development of immatures and the formation of polymorphic adults.

The Y2K Scare: Causes, costs and cures.

The worldwide scare over the 'Y2K bug result in the expenditure of hundreds of billions of dollars on Y2K compliance and conversion policies. Most of this can be seen, in retrospect, to have been unproductive or, at least, misdirected. In this paper, the technological and institutional factors leading to the adoption of these policies are considered, along with suggestions as to how such policy failures could be avoided in future.

Real-time quantitative PCR in cerebral toxoplasmosis diagnosis of Brazilian human immunodeficiency virus-infected patients

Cerebral toxoplasmosis is the most common cerebral mass lesion in AIDS patients in Brazil, and results in high mortality and morbidity, despite free access to HAART (highly active antiretroviral treatment). Molecular diagnosis based on conventional PCR (cnPCR) or real-time quantitative PCR (qrtPCR) has been indispensable for definitive diagnosis. We report here the evaluation of qrtPCR with blood and cerebrospinal fluid (CSF) samples from AIDS patients in Brazil. This prospective study was conducted for 2 years, analysing DNA samples extracted from 149 AIDS patients (98 blood and 51 CSF samples) with confirmed clinical and radiological diagnosis The laboratory diagnosis included cnPCR (with the B22/B23 primer set) and indirect immunofluorescence (IF). For qrtPCR, two primer sets were simultaneously designed based on described genes and using a 6-carboxyfluorescein dye-labelled TaqMan MGB (minor groove binder) probe One was Bug, which amplified a sequence from the B1 gene The other was the RETg, which amplified a PCR product of the 529 bp sequence. The overall cnPCR and qrtPCR results were positive results were observed in 33.6% (50) patients The sensitivities were 98% for cnPCR (B22/B23), and 86 and 98% for qrtPCR (B1Tg and RETg, respectively). Negative reactions were observed in 66 4% patients. The specificities were 97% for cnPCR and qrtPCR (B1Tg). and 88.8% for RETg These data show that RETg PCR is highly sensitive as it amplifies a repeat region with many copies; however, its specificity is lower than the other markers However, B1Tg PCR had good specificity, but lower sensitivity Among the patients, 20 had blood and CSF collected simultaneously Thus, their results permitted us to analyse and compare molecular, serological and clinical diagnosis for a better understanding of the different scenarios of laboratorial and clinical diagnosis. For nine patients with confirmed cerebral toxoplasmosis diagnosis, four scenarios were observed: (i) and (ii) negative molecular diagnosis for CSF and positive for blood with variable IF titres for the sera and CSF (negative or positive), (iii) positive molecular diagnosis with CSF and negative with blood, and (iv) positive molecular diagnosis in both samples. In the latter two situations, normally the IF titres in sera and CSF are variable. Other opportunistic infections were shown in 11 patients Despite the IF titres in sera and CSF being variable, all of them had negative molecular diagnosis for both samples qrtPCR allows for a rapid identification of Toxoplasma gondii DNA in patient samples; in a minority of cases discrepancies occur with the cnPCR.

Factors affecting the establishment and dispersal of nymphs of Pristhesancus plagipennis Walker (Hemiptera : Reduviidae) when released onto soybean, cotton and sunflower crops

A problem with augmenting predatory bugs through mass release is the logistical difficulty of delivering nymphs onto the foliage of field crops. In this paper we examine postrelease establishment and dispersal of the nymphs of the predatory bug Pristhesancus plagipennis on soybean, cotton and sunflower in an effort to devise an appropriate strategy for field release. The effects of predator stadia and release rates on field establishment and within-crop-canopy dispersal after hand release were recorded in soybean, cotton and sunflower. Field establishment improved with the release of more-developed nymphs, with third instars providing the most appropriate compromise between field hardiness and rearing cost. Increased nymphal density at the point of release had little effect on nymphal dispersal throughout the crop canopy. The patterns of nymphal dispersal observed on the three crops suggest that crop-canopy architecture may have an effect on the ability of nymphs to spread out postrelease, as nymphs dispersed poorly in cotton and sunflower compared to soybean. To overcome poor dispersal of nymphs after release, a mechanical release method, where nymphs were mixed with vermiculite and delivered onto a target crop through a spinning disk fertiliser spreader, was tested, and provided similar nymph establishment rates and dispersal patterns as releasing nymphs individually by hand. The implications of nymph dispersal and field hardiness in regard to inundative field release techniques are discussed.