Buscar
Mostrando ítems 1-10 de 14
Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models
(Universidade Federal do Espírito SantoBRPrograma de Pós-Graduação em InformáticaUFESMestrado em Informática, 2015-05-28)
Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or ...
Control de la contaminación microbiana empleando bajas concentraciones de ozono e hipoclorito de sodio al interior de contenedores de polietileno empleados en biorreactores de inmersión temporal
(Universidad Nacional Toribio Rodríguez de MendozaPerú, 2020-04-25)
El propósito del trabajo de investigación fue caracterizar y aislar yemas axilares de piña a partir de cormos, y utilizarlos como explantes para su diferenciación en plantas enteras. Después de cuatro subcultivos consecutivos, ...
Migratory behaviour of a dominant detritivorous fish Prochilodus lineatus evaluated by multivariate biochemical and pollutant data
(Wiley Blackwell Publishing, Inc, 2012)
Extensão de um metamodelo para a especificação de requisitos em um contexto de agentes de tempo real
(Universidade Federal do PampaUNIPAMPABrasilCampus Alegrete, 2020)
Propagación y tuberización in vitro de dos variedades de papa
(Universidad Pedagógica y Tecnológica de Colombia, 2018-02-06)
La investigación se realizó en el Laboratorio de Cultivo de Tejidos Vegetales de la Universidad Pedagógica y
Tecnológica de Colombia con el propósito de conocer el comportamiento in vitro y evaluar una metodología
para ...
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
(Springer., 2014)
The InvA tool supports the deductive verification of safety properties of infinite-state concurrent systems. Given a concurrent system specified as a rewrite theory and a safety formula to be verified, InvA reduces such a ...
Identificación y análisis de genes candidatos relacionados con la resistencia a Phytophthora palmivora en palma de aceite (Elaeis guineensis Jacq.)
(Instituto de BiotecnologíaUniversidad Nacional de Colombia - Sede Bogotá, 2019-11-15)
La pudrición del cogollo causada (PC) por el oomiceto Phytophthora palmivora es la principal enfermedad que afecta el cultivo de palma de aceite en América. Para el caso colombiano esta enfermedad ha destruido miles de ...