Conhecido popularmente como guaraná, Paullinia cupana Kunth var. sorbilis (Mart.) Ducke, da tribo Paullinieae, família Sapindaceae, é uma espécie nativa brasileira de considerável importância econômica na indústria farmacêutica e de alimentos. Os actinomicetos são qualitativa e quantitativamente importantes na rizosfera, podendo influenciar o crescimento de plantas e proteger as raízes da invasão de fungos patogênicos, podendo desta maneira, serem utilizados no controle biológico de doenças em plantações. Este trabalho teve como objetivo avaliar ação antibacteriana de actinomicetos rizosféricos de guaranazeiro de plantações localizadas no município de Maués/AM, com o intuito de encontrar novos agentes antimicrobianos frente a bactérias patogênicas aos seres humanos. Foram investigados 17 actinomicetos isolados da rizosfera de guaranazeiro, e avaliados quanto sua atividade antimicrobiana frente a quatro bactérias patogênicas de interesse clínico. Staphylococcus aureus, Streptococcus pneumococo, Enterococcus faecalis e Bacilus subtilis. A avaliação da atividade antagônica pelos isolados, foi realizada através do método de cross streak e termoestabilidade. Os resultados revelaram que o isolado ACT 4 possibilitou a inibição de apenas dois patógenos, sendo estes, Staphylococcus aureus e Bacillus subtilis, enquanto o isolado ACT 93 exibiu amplo espectro de atividade contra todas as bactérias patogênicas gram-positivas avaliadas. Quanto à termoestabilidade e produção de metabólitos pelos isolados, apenas o isolado ACT 4 conseguiu inibir uma bactéria Enterococcus faecalis. Este estudo mostra que os isolados de actinomicetos têm o potencial de atuar como possíveis fontes de novos compostos antibacteriano contra micro-organismos patogênicos humanos. No entanto, ensaios mais aprofundados são necessários para que futuramente possam se formar uma entrada importante na indústria farmacêutica.

Robots and other cyber-physical systems are held to high standards of safety and reliability, and thus one must be confident in the correctness of their software. Formal verification can provide such confidence, but programming languages that lend themselves well to verification often do not produce executable code, and languages that are executable do not typically have precise enough formal semantics. We present MARVeLus, a stream-based approach to combining verification and execution in a synchronous programming language that allows formal guarantees to be made about implementation-level source code. We then demonstrate the end-to-end process of developing a safe robotics application, from modeling and verification to implementation and execution.

No abstract