Now showing items 1-20 of 96

    • Anàlisis de un Proyecto y su Medio Ambiente. Descripciòn General. Guìa Metodològica para el Estudio del Medio Biofìsico.Oferta Ambiental.Demanda Ambiental 

      Rodriguez Díaz, Héctor Alfonso (Escuela Colombiana De Ingenieria Julio GaravitoColombia, 2005)
      Durante los últimos años se ha escrito mucho sobre la naturaleza, el medio ambiente y sobre el impacto que las actividades humanas generan. Se llama la atención sobre una serie de intervenciones que han llevado sistemáticamente ...
    • Análisis de Pérdidas por Accesorios o pérdidas localizadas 

      Rodríguez Díaz, Héctor Alfonso (Escuela Colombiana de IngenieríaColombia, 2001)
      La enseñanza de la hidráulica ha tropezado a menudo con un obstáculo que dificulta el proceso de formación de los ingenieros del mañana: la falta de ejercicios y guías prácticas que le ayuden al estudiante a entender el ...
    • Análisis del flujo Gradualmente Variado 

      Rodríguez Díaz, Héctor Alfonso (Escuela Colombiana de IngenieríaColombia, 2001)
      La enseñanza de la hidráulica ha tropezado a menudo con un obstáculo que dificulta el proceso de formación de los ingenieros del mañana: la falta de ejercicios y guías prácticas que le ayuden al estudiante a entender el ...
    • Aparatos Sanitarios 

      Rodriguez Díaz, Héctor Alfonso (Escuela Colombiana De Ingenieria Julio GaravitoColombia, 2005)
      Las instalaciones hidráulicas y sanitarias siempre han ocupado un lugar importante dentro de los diseños y construcción de cualquier edificación. El trazado, diseño y construcción adecuados de este tipo de instalaciones ...
    • Aplicación del ciclo de vida Business Process Management al proceso de poscosecha en una empresa de flores 

      Rodríguez Ríos, Claudia Yadira; Mondragón Aguja, Angie Paola (Editorial Instituto Antioqueño de InvestigaciónColombia, 2019)
      El presente trabajo de investigación busca aplicar la metodología del ciclo de vida de Business Process Management (BPM), planteado por Dumas, en una empresa colombiana, del sector floricultor, en un proceso crítico ...
    • Aprendizajes de programación de computadores y resolución de problemas en un ambiente de trabajo en colaboración 

      Castañeda Bermudez, Claudia Patricia (Educación para el siglo XXIColombia., 2011)
      En esta investigación exploro los efectos, en el aprendizaje de programación de computadores de alumnos universitarios, de una estrategia de aprendizaje que integra trabajo en colaboración y resolución de problemas, el ...
    • Assessment of Anchorage Methods and FRP Laminate Strengthening Configurations for URM Walls Under In-Plane Loading 

      Torres Castellanos, Nancy; Tumialan, Gustavo; Vega, Camilo (American Concrete InstituteEstados Unidos, 2018)
      In order to ensure a continuous and reliable path for the lateral loads caused by earthquake or wind forces, FRP-strengthened masonry walls that are part of the lateral load resisting system of a building require the joint ...
    • Automatic proof-search heuristics in the Maude invariant analyzer tool 

      Rocha, Camilo (Switzerland, 2013)
      The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This ...
    • Axiomatic Set Theory à la Dijkstra and Scholten 

      Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo (Springer NatureUSA., 2017)
      The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
    • Axiomatic Set Theory à la Dijkstra and Scholten 

      Acosta, Ernesto; Aldana, Bernarda; Bohórquez, Jaime; Rocha, Camilo (Springer NatureSuiza, 2017)
      The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
    • Balance Oferta - Demanda.Alternativas de un Proyecto. Plan de Manejo y Seguimiento.Reflexiones sobre el Desarrollo del Estudio de Impacto Ambiental de un Proyecto 

      Rodriguez Díaz, Héctor Alfonso (Escuela Colombiana De Ingenieria Julio GaravitoColombia, 2005)
      Durante los últimos años se ha escrito mucho sobre la naturaleza, el medio ambiente y sobre el impacto que las actividades humanas generan. Se llama la atención sobre una serie de intervenciones que han llevado sistemáticamente ...
    • Bombas centrífugas 

      Rodríguez Díaz, Héctor Alfonso (Escuela Colombiana de IngenieríaColombia, 2001)
      La enseñanza de la hidráulica ha tropezado a menudo con un obstáculo que dificulta el proceso de formación de los ingenieros del mañana: la falta de ejercicios y guías prácticas que le ayuden al estudiante a entender el ...
    • Boquilla de Flujo 

      Rodríguez Díaz, Héctor Alfonso (Escuela Colombiana de IngenieríaColombia, 2001)
      La enseñanza de la hidráulica ha tropezado a menudo con un obstáculo que dificulta el proceso de formación de los ingenieros del mañana: la falta de ejercicios y guías prácticas que le ayuden al estudiante a entender el ...
    • Caracterización mecánica a tensión de impresiones 3D de PLA y ABS modeladas por deposición fundida 

      Montoya Vallejo, Miguel Fernando; Hernandez Acevedo, Camilo (Ed. Corporación Instituto Antioqueño de InvestigaciónColombia, 2019)
    • Cash Distribution Model with Safety Constraints 

      Guerrero, William J.; Sarmiento-Lepesqueur, Angélica; Martínez-Agaton, Cristian (SpringerEstados Unidos, 2020)
      This article studies the cash distribution problem for bank correspondents that are geographically dispersed, and the associated risk indicators, service times, and logistics costs. The proposed model is a variant of the ...
    • Cálculo del Flujo Gradualmente Variado 

      Rodríguez Díaz, Héctor Alfonso (Escuela Colombiana de IngenieríaColombia, 2001)
      La enseñanza de la hidráulica ha tropezado a menudo con un obstáculo que dificulta el proceso de formación de los ingenieros del mañana: la falta de ejercicios y guías prácticas que le ayuden al estudiante a entender el ...
    • CDW Integrated Management, from Linear to Circular Economy in Bogota 

      Rodríguez Bello, Luz Angélica; Quiroga, Pedro Nel; Agudelo, Juan Pablo; Villegas De Brigard, María Paulina (American Concrete InstituteEstados Unidos, 2019)
      Construction and demolition waste (CDW) has become an environmental, social and economic problem in some regions. Many initiatives to increase CDW recycling and concrete with recycled aggregates have failed or have not ...
    • Chaotic Statistical Downscaling (CSD): Application and Comparison in the Bogotá River Basin 

      Duarte, Freddy Santiago; Santos Granados, Germán Ricardo (Ed. Easy Chair PublicationsItalia, 2018)
    • A Conditional Generative Adversarial Network-Based Method for Eye Fundus Image Quality Enhancement 

      Pérez, Andrés D.; Perdomo, Oscar; Rios, Hernán; Rodríguez, Francisco; González, Fabio A. (Springer VerlagAlemania, 2020)
      Eye fundus image quality represents a significant factor involved in ophthalmic screening. Usually, eye fundus image quality is affected by artefacts, brightness, and contrast hindering ophthalmic diagnosis. This paper ...
    • Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories 

      Rocha, Camilo; Meseguer, José (SpringerBerlín, 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 ...