Oviposition of Quesada gigas (Hemiptera: Cicadidae) in coffee plants

Branches of coffee-plant were collected in Sao Sebastiao do Paraiso County, Minas Gerais State, at the Experimental Station of the Agricultural Research Company (Empresa de Pesquisa Agropecuaria de Minas Gerais - EPAMIG), with the aim of studying various aspects of oviposition by Quesada gigas (Hemiptera: Cicadidae). The number of branches with Q. gigas egg nests was analyzed, as well as the number of nests per branch, the eggs per nest and the diameter of the egg nest location on the branch. The preference for oviposition either on alive or dry branches and the size of the egg were assessed. Egg-laying occurred only on dry branches. The mean of the branch diameter on which the egg nests occurred was 2.5 +/- 0.53 mm. The number of eggs per nest averaged 13.2 +/- 4.9, and the number of egg nests per branch was 2.2 +/- 1.74. The eggs were 1.9 +/- 0.08 mm long by 0.5 +/- 0.04 mm wide. The largest diameters of the branches containing egg nests were found on the upper third of the trees, as well as the greatest amount of branches with egg nests, of egg nests per branch and of eggs per nest. The correlation relationship between all of the experiment variables was positive.

An enzyme-linked immunosorbent assay for the detection of IgG antibodies against Babesia equi in horses

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Antigen-presenting cells in draining lymph nodes of goats repeatedly infested by the Cayenne tick Amblyomma cajennense nymphs

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Non-destructive determination of photosynthetic pigments in the leaves of castor oil plants

Objetivou-se com o presente trabalho, estabelecer a relação entre os pigmentos fotossintéticos extraídos em DMSO e as leituras obtidas no clorofilômetro portátil ClorofiLOG® 1030, gerando modelos matemáticos capazes de predizer os teores de clorofila e de carotenóides em folhas de mamoneira. O trabalho foi conduzido na Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA) Algodão, situada em Campina Grande, Estado da Paraíba, em outubro de 2010. Para a análise indireta, foi utilizado um equipamento portátil, sendo realizada a leitura em discos foliares com diferentes tonalidades de verde, sendo feita, nesses mesmos discos, a determinação da clorofila pelo método clássico. Para a extração da clorofila, utilizaram-se 5 mL de dimetilsulfóxido (DMSO), a qual foi mantida em banho-maria a 70ºC, por 30 minutos, e retirou-se 3 mL da alíquota para leitura em espectrofotômetro nos comprimentos de onda de 470, 646 e 663 nm. Os dados foram submetidos à análise da variância e regressão polinomial. A leitura obtida no clorofilômetro portátil foi a variável dependente, e os pigmentos fotossintéticos determinados pelo método clássico foi a variável independente. Os resultados indicaram que o clorofilômetro portátil ClorofiLOG® 1030, associado a modelos matemáticos, permitiu estimar a concentração dos pigmentos fotossintéticos, exceto a clorofila b, com alta precisão, com economia de tempo e com reagentes normalmente utilizados nos procedimentos convencionais.

Stretch Injuries of Skeletal Muscles: Experimental Study in Rats' Soleus Muscle

The study aimed to verify the physiological injury behavior by stretching the soleus muscle of rats, using a noninvasive experimental model. Twenty-four rats were used and divided into three groups of eight animals: control group (A), group that performed tetanus followed by electrical stimulation and a sudden dorsiflexion of the left paw performed by a device equipped with a mechanism of muscle soleus rapid stretching (B); and a group that only received the tetanus (C). Three days later, the animals were killed, and the soleus muscle was resected and divided into three segments. Morphological changes indicative of muscle damage appeared in all three segments of group B. In a lesser degree, similar changes were also detected in muscles subjected to only tetanus. This model was effective; reproducing an injury similar to what occurs in human sports injuries.

Phylogeny of Triatoma sherlocki (Hemiptera: Reduviidae: Triatominae) Inferred from Two Mitochondrial Genes Suggests Its Location Within the Triatoma brasiliensis Complex

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Influence of N-Hexane Inhalation on the Enantioselective Pharmacokinetics and Metabolism of Verapamil in Rats

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A tellurium-based cathepsin B inhibitor: Molecular structure, modelling, molecular docking and biological evaluation

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Wannier functions of a one-dimensional photonic crystal with inversion symmetry

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Especificação do micronúcleo FreeRTOS utilizando o método B

This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen and selected as specification requisites, which was constructed centered at the functionalities responsible for the utilization of these properties. This properties weres setting as specification requirements. The specification was constructed modeling the function of microkernel that implement this properties. This work intended to encourage the formal verification of FreeRTOS and also contribute to the formal creation of a microkernel real-time systems, based in FreeRTOS. Furthermore, this model brings a formal documentation point view of the microkernel, demonstrating features and how this internal states is changing. Finally, this work could be an example of specification of the actual system by the B method.

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Group B streptococci colonization in pregnant women: risk factors and evaluation of the vaginal flora

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Novel insights into the genomic basis of citrus canker based on the genome sequences of two strains of Xanthomonas fuscans subsp aurantifolii

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Microdilution procedure for antifungal susceptibility testing of Paracoccidioides brasiliensis to amphotericin B and itraconazole

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)