Buscar
Mostrando ítems 1-6 de 6
Twenty five years of strategies, methodologies and reactions in organic chemistry.
(Soc Brasileira QuimicaSao PauloBrasil, 2002)
Verificação probabilística de modelos para modelagem e análise de interações de toxinas com sistemas de transporte transmembrânico de íons = Probabilistic Model Checking for modeling and analysis of toxins interactions with transmembrane ionic transport systems
(Universidade Federal de Minas GeraisUFMG, 2013-03-15)
Probabilistic Model Checking (PMC) is a formal verification technique to model and analyze stochastic systems. It can be applied directly to biological systems which present stochastic behavior, including transmembrane ...
Variación espacio-temporal del ensamblaje de dinoflagelados potencialmente tóxicos epifitos de Thalassia testudinum (Banks ex König, 1805) en Santa Marta, Caribe colombiano
(Centro de estudios en Ciencias del mar-CECIMARFacultad CaribeUniversidad Nacional de Colombia - Sede Caribe, 2017)
Considerando que algunos dinoflagelados producen toxinas que pueden afectar a otros organismos incluidos los seres humanos, el presente estudio se realizó con el objetivo de evaluar la variación espacio-temporal de los ...