Buscar
Mostrando ítems 5951-5960 de 6047
Un depurador abstracto, inductivo y paramétrico para programas multiparadigma
(Universidad Autónoma de Bucaramanga UNAB, 2004-12-01)
Presentamos un marco general para el diagnóstico abstracto de programas lógico- funcionales, válido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semántica por punto fijo que modela las ...
Diseño y construcción de túneles de ladera: Colombia
(Universidad Santo TomásMaestría Infraestructura VialFacultad de Ingeniería Civil, 2016)
Currently in the Colombian Andes, by design, there are being built dozens of short and long road tunnels. Most of these tunnels are short and shallow in areas with poor geotechnical and hydrogeological conditions such as ...
Diseño de un perfil aerodinámico morfológicamente variable
(Universidad Nacional de ColombiaBogotá - Ingeniería - Maestría en Ingeniería - Ingeniería MecánicaFacultad de IngenieríaBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2022-12-12)
El concepto de morfología aplicado a las alas de aeronaves está relacionado con la habilidad de una estructura de cambiar su geometría, para adaptarse a diferentes condiciones de vuelo. Esto con el fin de incrementar el ...
Resistencia a la fractura ante fuerzas compresivas en láminas de G-CAM Grafeno y Vita Enamic. Comparación in vitro
(Universidad Santo TomásEspecialización Rehabilitación OralFacultad de Odontología, 2022-01-19)
The loss of dental structure is due to various factors such as trauma, caries, iatrogenesis generating wear of the tooth structure, being solved with different restorative procedures, a fundamental reason why suitable ...
Effect of drying and mechanical pre-drying previous to storage in the quality of coffee grain (Coffea arabica L.)Efecto del secado y presecado mecánico previo al almacenamiento en la calidad del grano de café (Coffea arabica L.)
(Universidad de Ciencias Aplicadas y Ambientales U.D.C.A, 2018)
Integración de economía circular en la industria química colombiana: Propuesta de un sistema de indicadores de desempeño ambiental para medir la circularidad en empresas del sector
(Universidad Nacional de ColombiaBogotá - Ingeniería - Maestría en Ingeniería - Ingeniería IndustrialDepartamento de Ingeniería de Sistemas e IndustrialFacultad de IngenieríaBogotáUniversidad Nacional de Colombia - Sede Bogotá, 2020)
La Economía Circular (EC) se concibe como un sistema económico basado en modelos de negocio orientados a alcanzar una economía de ciclo cerrado a través de la adopción de los denominados principios de EC o 9R, desacoplando ...
Control secundario de frecuencia con participación de fuentes no convencionales de energía renovable en un sistema eléctrico de potencia
(Medellín - Minas - Maestría en Ingeniería - Ingeniería EléctricaDepartamento de Ingeniería Eléctrica y AutomáticaUniversidad Nacional de Colombia - Sede Medellín, 2020-09-04)
Industry decarbonization, economic incentives, and undergoing regulatory changes in the electricity sector promote the incorporation of Non-Conventional Sources of Renewable Energy (FNCER) to Electric Power Systems (SEP). ...
Bayesian constraints on observable properties of exoplanetary systems using planet population synthesis simulations
(Universidad Nacional de ColombiaBogotá - Ciencias - Maestría en Ciencias - FísicaDepartamento de FísicaFacultad de CienciasBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2021-08-18)
Recent advances in exoplanet observations have led to the discovery of nearly 4400 planets in more than 3000 planetary systems. However, many physical properties of these systems remain largely unknown due to observational ...