Buscar recursos académicos

We describe here the first case of feline sporotrichosis caused by Sporothrix globosa, occurring outside the epizootic area of Buenos Aires province, Argentina. Unlike cases reported with Sporothrix brasiliensis, on this...

The agreement between theoretical and experimental vibrational circular dichroism curves of (4R,9R,10R)-(+)-african-l(5)-ene-2,6-dione (1) and (4R,9S,10R)-lippifoli-l(6)-en-5-one (2), isolated from the widely used plant ...

Sinopse São fornecidos dados sobre o estudo da Trema micrantha (L) Blume [Trema miocrantha, 1852], do ponto de vista de celulose e papel: obtenção de pasta química pelo processo Sulfato modalidade Soda-Enxofre; ensai...

"Automatic Program Repair (APR) is a practical research topic that studies techniques to automatically repair programs to fix bugs. Most existing APR techniques are designed for imperative programming languages, such as ...

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

Desde el año 2003 a la fecha se ha efectuado el seguimiento del color, medido en unidades ASTA, y de la presencia de adulterantes en muestras de pimentón (Capsicum annuum L.) comercializadas en establecimientos de Salt...

In fungal biocontrol strategies, the interaction between phytopathogenic and antagonistic fungi elicits diverse phenotypic and metabolic responses, influenced by the fungal isolates and culture conditions. This study aim...

As piperáceas brasileiras apresentam propriedades para serem utilizadas, entre outras aplicações, como inseticidas e antifúngicos. Dentre as piperáceas, pode-se citar a Piper hispidinervum C. DC. De suas folhas e do...

Objetivou-se no presente estudo avaliar a qualidade interna de ovos brancos e vermelhos, comercializados durante o inverno e o verão, no estado de São Paulo. Para tal análise, utilizaram-se ovos classificados como tam...

Along with the recommendation of a healthy diet, it is suggested to increase the consumption of fruits and vegetables. Among the latter, Brassicaceae species are preferred, because they show many phytochemicals mainly be...

In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic pro...