Search
Now showing items 91-100 of 666
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
(Springer, 2010)
Sufficient completeness has been throughly studied for equational specifications, where function symbols are classified into constructors and defined symbols. But what should sufficient completeness mean for a rewrite ...
Análisis de la calidad trófica del embalse el Hato
(Escuela Colombiana de Ingeniería Julio Garavito, 2018)
In this article the analysis of the trophic quality of the El Hato reservoir is presented, based on the information available for contributions of phosphorus to the reservoir. Additionally, the general characteristics and ...
Modelación de fuentes de emisión en AERMOD con información meteorológica de Bogotá.
(Escuela Colombiana de Ingeniería Julio Garavito, 2018)
La ejecución de modelos de calidad de aire en AERMOD requiere el uso de datos horarios de temperatura, humedad relativa, nubosidad, precipitación, presión atmosférica, velocidad y dirección del viento de manera horaria. ...
El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot
(2018)
En el presente artículo se muestran resultados de los avances obtenidos como resultado de un proyecto de grado realizado por estudiantes de pregrado del programa de Ingeniería de Sistemas de la Escuela Colombiana de ...
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
(NASA Langley Research Center, 2011)
This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of
synchronous set relations. The mathematical foundation is given in the
language of abstract ...
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(Springer Nature, 2018)
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...
Towards a Maude Formal Environment
(Springer, 2011)
Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in ...
Modelo de simulación para analizar el problema de re-localización de las ambulancia de un servicio de emergencia médico (SEM).
(Universidad de Antioquia, 2016)
Los Servicios de Emergencias Médicas-SEM son sistemas responsables de la estabilización y transporte pre-hospitalario de pacientes con urgencia y emergencia médicas. Por esta razón generalmente la diferencia entre la vida ...
Lineamientos de seguridad vial para la prevención de la accidentalidad vial en los corredores del Sistema Integrado de Transporte Público (SITP). Caso de estudio: corredor de la avenida calle 72
(Escuela Colombiana de Ingeniería, 2018)
En Colombia, los accidentes de tránsito son la segunda causa de muertes violentas. Por eso, el objetivo de la presente investigación es plantear lineamientos para la prevención de la accidentalidad vial y encontrar sus
causas ...
Bassline composition for alternative rock using SP and SDS algorithms, a multi-objective approach
(Uniandes, 2016)
Esta investigación tiene como propósito solucionar el problema de encontrar un “buen” bajo para acompañar una melodía y una batería, siguiendo la estructura del genero Rock Alternativo. El método de solución consta de ...