Detection of fair cycles is an important task of many model checking algorithms. When the transition system is represented symbolically, the standard approach to fair cycle detection is the one of Emerson and Lei. In the last decade variants of this algorithm and an alternative method based on strongly connected component decomposition have been proposed. We present a taxonomy of these techniqu...

The maximum quantum yield of oxygen evolution in deuterated chlorella is found to be 0.075, while normal chlorella showed, in parallel experiments, a value of 0.10. Deuterated Chlorella vulgaris showed a decline in the quantum yield of oxygen evolution ("red drop") beginning at 680 millimicrons and a clear Emerson enhancement effect qualitatively similar to that obtained in normal chlorella cel...

ENTREVISTA COM PROFISSIONAIS DA FILOSOFIA QUE ATUAM EM PROJETOS – BLOCO IICom: Andrea Dantas, Emerson Praciano, Freddy Costa, Maria Celeste de SousaPor: Antônio Alex Pereira Sousa, Paulo Willame Araújo Lima