Paradeduction in Axiomatic Formal Systems

The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any logic, introduced as an axiomatic formal system, into a paraconsistent one

Studies on Systematic Effects of the Trigger on Flavour Tagging at the Generator Level

In this note is presented the systematic effect in the flavour tagging due to the trigger selection. We present a possible way to correct for the different wrong tagging rates for control and signal channels needed for the evaluation of some of the CP asymmetries that will be measured in the experiment. This study is performed at the generator level and uses as decays, Bs2DsPi as the control channel and Bs2PsiPhi and Bs2KK as signal channels

Caracterização dos méis de meliponíneos no Brasil: situação atual e perspectivas.

O mel das abelhas sem ferrão é um produto de consumo tradicional, principalmente na região Nordeste do Brasil, com fins alimentares e até mesmo medicinais. Apesar desta importância, o produto ainda é carente de uma caracterização que permita a definição de padrões de qualidade para a sua comercialização. No sentido de reduzir esse déficit de informações, diversas instituições de pesquisa nacionais e internacionais tem se mobilizado para a construção de uma base de dados que subsidie uma normalização futura, uma vez que os critérios de qualidade atualmente definidos para o mel das abelhas Apis mellifera não atendem por completo à diversidade encontrada nos méis dos meliponíneos