System F with Constraint Types

System F is a type system that can be seen as both a proof system for second-order propositional logic and as a polymorphic programming language. In this work we explore several extensions of System F by types which express subtyping constraints. These systems include terms which represent proofs of subtyping relationships between types. Given a proof that one type is a subtype of another, one may use a coercion term constructor to coerce terms from the first type to the second. The ability to manipulate type constraints as first-class entities gives these systems a lot of expressive power, including the ability to encode generalized algebraic data types and intensional type analysis. The main contributions of this work are in the formulation of constraint types and a proof of strong normalization for an extension of System F with constraint types.

Construcciones dinámicas con GeoGebra para el aprendizaje-enseñanza de la matemática

En la sociedad educativa actual no se puede considerar al uso de las TIC’s como una opción más, sino como una importante necesidad para lograr un aprendizaje más propio en el estudiante, siendo este el constructor de su conocimiento. El objetivo del presente taller es el conocer al programa gratuito GeoGebra como una potente herramienta para el aprendizaje y enseñanza de la matemática. Para esto se realizarán construcciones diversas en el área de la geometría y funciones, con el fin de conocer el funcionamiento del programa para luego aterrizar en lo que respecta a elaboración de guías de trabajo para estudiantes y docentes.

Estudo de uma central hidroeléctrica com base em turbina hidráulica reversível

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

El campesinado de la Amazonia colombiana : construcción territorial, colonización forzada y resistencias

Dans cette thèse nous démontrons que la paysannerie colombienne s'est constituée telle quelle, à partir de: 1) la construction et de la mise en œuvre des pratiques économiques et agro-productives compatibles avec l'environnement; 2) des habitus et des coutumes qu’elle a inventé et a récré à partir de l'interaction quotidienne avec sa famille et sa communauté et 3) de la lutte politique qu'elle a entrepris tant pour exiger à l'État sa reconnaissance sociale, territoriale et juridique, comme pour arrêter l'avance territoriale des entrepreneurs agraires. Par conséquent, la paysannerie ne peut pas être conçue comme une catégorie conceptuelle construite, a priori , définie dehors de l’histoire, comme un groupe social homogène, et avec caractéristiques égales à niveau global. La paysannerie colombienne, dans sa lutte politique pour la défense du territoire, a affronté à un entrepreneur agraire qui, orienté par une logique unidirectionnelle, élitiste et exclusive de « progrès » et du « développement », a nié à la paysannerie ses droits territoriaux, économiques, sociaux et culturels. De plus, en faisant un usage patrimonial de l’État, il l`a poursuivi, stigmatisé et expulsé de la communauté politique. La paysannerie a affronté un État et un entrepreneur agraire que, depuis l'État d’Exception et de la déclaration de la paysannerie comme “obstacle du développement” et “ennemi de la nation”, ils ont revendiqué le droit, inhérent des souverainetés classiques, de définir qui peut vivre et qui doit mourir. La dynamique historique et successive d'expropriation territoriale de la paysannerie et la mise en œuvre de ce qui est dénommé, dans cette thèse, nécro-politique agraire, ont été cachées dans le concept de “colonisation spontanée” et dans un discours qui présente au paysan comme « héros», «entrepreneur» et «constructeur de patrie», quand il a été obligé par raisons d'ordre économique, juridique et militaire, à entreprendre de nouveaux processus de colonisation forcée. La réponse de la paysannerie à cette dynamique a inclus des résistances de caractère intrasystémique et contre-systémique. Elle n'a jamais décliné à sa lutte par le droit à la terre – qui fait partie de son territoire et considère comme inaliénable - et à son droit d'avoir des droits. En étudiant le cas de la paysannerie de l'Amazonie colombienne, dans cette recherche, nous démontrons que la paysannerie a eu une grande capacité d'affronter les adversités économiques et politiques, et de s’inventer et de se refaire eux-mêmes dans nouveaux espaces. La paysannerie est un sujet social qui a refusé de façon entêtée et permanente, avec ses attitudes et ses actions, à obéir et à être domestiquée par les paramètres de la modernité. Elle s'est refusée à modifier ses dispositions internes et ses manières de voir le monde, son habitus et s’est reconstituée chaque jour dans une modernité qui menace sa subjectivité et son autonomie. La paysannerie formule des projets agro-écologiques, socioéconomiques et d'insertion politique dans un modèle du développement agraire qui insiste de le nier comme sujet avec des droits.

Geoprocesamiento con SQL en OrbisGIS

OrbisGIS dispone de un lenguaje que permite la manipulación de datos de forma independiente al formato. Éste se ajusta al estándar SQL92 (Lenguaje de Consulta Estructurado) y se extiende espacialmente según el OGC simple features SQL specification, lo que permite un alto nivel de compatibilidad con sistemas de bases de datos tradicionales como PostgreSQL/PostGIS. Habitualmente el SQL es procesado en servidores, sin embargo este artículo presentará cómo puede aplicarse en el cliente, principalmente para la definición y utilización de geoprocesos. La aplicación del SQL más inmediata es la manipulación de las fuentes de datos especificando una serie de instrucciones o script. Aparte, la implementación de SQL de OrbisGIS permite la parametrización de estos scripts de manera que pueden ser reutilizados con diferentes fuentes de datos y sin necesidad de conocer el proceso internamente. La reutilización puede darse tanto como ejecución del script como inclusión en un constructor de modelos que permite encadenar múltiples scripts dando lugar a un nuevo proceso más complejo. Por otra parte, el uso de disparadores permite la definición de reglas de validación mediante instrucciones SQL. Es posible definir reglas topológicas (entre otras) que definan relaciones entre dos o más fuentes de datos y que controlarán el proceso de edición tanto espacial como alfanumérico. Para finalizar, la especificación de vistas (en el sentido de los SGBD) permite reducir la redundancia en los datos y realizar algunas aplicaciones interesantes como la visualización de la evolución de los distintos imperios a lo largo de la historia

La seguridad humana canadiense y su aplicación en la construcción de paz en Sierra Leona

Canadá actuó en la construcción del post-conflicto en Sierra Leona como respuesta a los parámetros de su política exterior y basándose específicamente en los principios que se desprenden de la seguridad humana. En este contexto Canadá se desempeñó como constructor de paz y participo de manera activa a lo largo de todas las etapas del post-conflicto en Sierra Leona. Esta participación fue un poco tímida e indirecta en el marco de los procesos de desarme y desmovilización, mientras que en los de reinserción y reintegración desempeñó un papel determinante.

Plan de negocio : migración laboral de obreros colombianos a Canadá

Actualmente en Colombia se presentan altos niveles de desempleo, lo que hace pensar que se requieren empresarios emprendedores con proyectos innovadores que ayuden a colaborar con el desarrollo económico del país. Muchas personas en edad de trabajar no pueden encontrar empleo adecuado para mantenerse ni mantener a sus familias en sus propios países, mientras que en otros países hay escasez de trabajadores para cubrir puestos en diversos sectores de sus economías. Es por esta razón que surgió la idea del presente proyecto, un plan de negocio para poner en funcionamiento una empresa llamada Conexión Laboral S.A.S., que preste el servicio de contratación de obreros de construcción colombianos para ir a trabajar a empresas extranjeras canadienses que los demanden. Se realizará entonces, una investigación de mercados que permita visualizar las oportunidades para aprovecharlas y las amenazas para hacerles frente; además se identificarán las expectativas, percepciones y funciones del cliente hacía el servicio, permitiendo que la organización logre satisfacer sus necesidades. Finalmente, se evaluará financieramente el proyecto y así determinar su viabilidad. Lo anterior, con el fin de direccionar los objetivos estratégicos hacia donde más convenga, y así saber en detalle cómo implementar el servicio para obtener éxito.

Vida y muerte empresarial. Estudios empíricos de perdurabilidad. Empresas saludables. Caso Pedro Gómez & Cía.

Desde hace varios años el Centro de estudios Empresariales para la Perdurabilidad (CEEP) de la Facultad de Administración de la Universidad del Rosario ha realizado algunas investigaciones sobre la perdurabilidad empresarial, y ha elaborado análisis sobre las condiciones que le permiten a las empresas ser sostenible en el tiempo. Los estudios han demostrado que son diversos los factores que le permiten al empresario conseguir los logros y cumplir con la misión de su organización. Es reconocer el liderazgo de los dirigentes de estas empresas para construir a través del tiempo crecimientos y aportes relevantes para el desarrollo del país. Para la Facultad de Administración de la Universidad del Rosario es importante hacer un reconocimiento a estos empresarios que originan la perdurabilidad de las empresas colombianas, razón por la cual desde hace varios años entrega el Premio Empresario Colombiano del Año “Mariposa de Lorenz”, como una exaltación a la labor realizada, como fue el caso de Pedro Gómez Barrero, quien fue galardonado en el año 2008. En el presente documento se muestran las experiencias y acciones tomadas por el empresario que le han permitido ser perdurable y ejemplo para futuros organizaciones. Se efectuó una investigación y análisis que permitieron mostrar el desarrollo de las acciones relevantes de la empresa.

Programming Principles: Super and Sub-classes

In this session we introduce inheritance - one of the cornerstone concepts of object oriented programming. We look at how to define super and sub-classes, how to maintain encapsulation using the super() constructor, and why it is useful to use substitution to hold references to sub-classes in references typed as their super-class.

“La Felicidad incluye a todos”. La construcción de un barrio mezclado en Bogotá.

El trabajo se enmarca en las discusiones relacionadas con segregación espacial, segregación social y construcción de barrios mezclados. Específicamente, selecciona el caso de La Felicidad: ciudad parque en Bogotá como un ejemplo que sirve para analizar las políticas públicas enfocadas en disminuir la segregación residencial en la ciudad a partir de la construcción de un vecindario que está compuesto por vivienda de interés social y vivienda regular. A partir de métodos cuantitativos y cualitativos se analiza cómo esta funcionando esta propuesta urbana.

Análisis del arrendamiento como alternativa en la política de vivienda de interés social en Colombia. Lecciones y reflexiones aprendidas a partir de la experiencia de Sudáfrica

Los esfuerzos de la presente investigación se concentran en el cumplimiento del objetivo principal, el cual consiste en analizar el arrendamiento como un programa que puede ser incorporado en la política de vivienda en Colombia, para dar respuesta de forma transitoria y/o temporal de alojamiento a los hogares con ingresos iguales o inferiores a dos salarios mínimos, ya que actualmente la política sectorial no incorpora esta forma tenencia de la vivienda para ofertar soluciones habitacionales. El arrendamiento tiene rasgos interesantes e importantes de destacar, tales como que él mismo constituye una forma de tenencia de vivienda eminentemente urbana. Además, es un mercado al que acuden todos los estratos socioeconómicos, por lo cual no es un mercado segregado. Igualmente, al relacionar ésta tenencia con el territorio y por ende con la economía espacial, se puede decir que no existe segregación socio-espacial muy pronunciada frente a la distribución urbana de la tenencia de la vivienda en arrendamiento. En este sentido, la tenencia de la vivienda en forma de arrendamiento se presenta en todo el territorio urbano de Cali, Medellín y Bogotá.

Proceso de internacionalización del sector de transporte de carga pesada terrestre de Colombia hacia Venezuela

El presente estudio tiene como objetivo principal analizar el proceso de internacionalización del sector de carga pesada terrestre de Colombia hacia Venezuela, el cual se presenta bajo la aplicación del modelo de análisis de Jordi Canals denominado “La internacionalización de las empresas”, haciendo énfasis en que se entenderán los postulados presentes en esta monografía como de autoría del Dr. en administración nombrado con anterioridad. Esta monografía esta realizada bajo el sustento conceptual de los postulados de la teoría de la integración y de los estudios de la escuela de la interdependencia de la teoría de las relaciones internacionales ya que son estas las que mas entregan conocimiento para tratar temas de carácter económico y de globalización de mercados, así mismo entrega al sector privado la calidad de ser actor constructor del escenario internacional. La globalización de mercados, la complementariedad de las economías de estos dos países y su cercanía geográfica, permiten plantear este estudio el cual persigue el desarrollo de tres objetivos específicos los cuales son primero, analizar el proceso de internacionalización del sector de transporte de carga pesada terrestre de Colombia hacia Venezuela junto con su correspondiente riesgo dentro del modelo teórico planteado por Canals, segundo evaluar las diferentes opciones de acceso al mercado Venezolano para las empresas del sector mencionado y por ultimo indicar cualitativa y cuantitativamente los beneficios que obtiene el sector con el proceso de internacionalización hacia Venezuela. El presente trabajo pretende dar un diagnóstico del proceso de internacionalización del sector en los aspectos anteriormente descritos, para que de esta manera se conforme como una guía general inicial para las empresas que decidan afrontar el reto de expandirse y conquistar nuestro mercado natural de Venezuela. Los objetivos específicamente se enmarcan dentro de la operacionalización de variables de la siguiente hipótesis: “Para generar un proceso de internacionalización viable en el sector de transporte de carga pesada terrestre, este se debe fundamentar sobre la competitividad de las empresas que lo componen y del estudio del mercado Venezolano, para así conocer sus opciones estratégicas y decidir el modo de acceso al mercado objetivo”.

Pau Joan Hernández. 'Pau Joan Hernández'.

Resumen del autor en catalán

Perfil logístico del sector cemento en Colombia

Este proyecto caracteriza la logística del sector cemento en Colombia al identificar y describir los principales actores, procesos y materiales involucrados en la cadena de suministros del sector. Este documento compila la información logística relevante para la producción de cemento en Colombia. Esta información se obtuvo sintetizando estudios y reportes acerca de las prácticas logísticas y las condiciones en las que éstas se desarrollan. Adicionalmente se realizaron visitas empresariales en diferentes plantas de producción de cemento y entrevistas semiestructuradas a expertos en logística de los diferentes eslabones. Con la información primaria y secundaria se caracteriza del producto, las materias primas e insumos necesarios para la producción de cemento. Se identifican los principales agentes que componen el sector y se describen los procesos logísticos relacionados con el cemento en cada uno de ellos. Para las cementeras y canteras se hace un análisis de entradas y salidas de los procesos principales de su cadena de valor. Adicionalmente se expone la operación de transporte como un elemento clave en el sector y se presentan las simulaciones de fletes, rutas y cubicaje. Por último, se incluye un caso de optimización de transporte aplicando teorías de investigación de operaciones.

Perfil de mercado de China

El presente estudio analiza las importaciones desde China hacia Colombia y abarca temas estadísticos, análisis regionales, políticas de comercio exterior y revisiones geopolíticas del papel comercial de China en el mundo, dentro de otros aspectos. Es importante hacer el análisis sobre los contextos del comercio exterior colombiano reciente y vincularlo con el papel de China.