Mostrando ítems 1-9 de 9

Metodología propuesta de integración de Gestión de Conocimiento a la práctica de Gerencia de Proyectos de la Oficina de Proyectos en una empresa de servicios de Bogotá – Basada en el estándar del Project Management Institute (PMI)

Díaz, Alexandra P.; Ospina, Victoria E. (Estados Unidos, 2017)

Las organizaciones enfrentan continuamente, en su entorno, retos que las conducen a la búsqueda de ventajas competitivas sostenibles. Recientemente una fuente de dichas ventajas se encuentra en la apropiada gestión del ...
On Distributed Collaboration for Biomedical Analyses

Boujdad, Fatima-Zahra; Gaignard, Alban; Südholt, Mario; Garzón-Alfonso, Wilmer; Benavides Navarro, Luis Daniel; Redon, Richard (IEEE XploreLarnaca, Cyprus, 2019)

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
On Distributed Collaboration for Biomedical Analyses

Boujdad, Fatima-Zahra; Gaignard, Alban; Südholt, Mario; Garzón-Alfonso, Wilmer; Benavides Navarro, Luis Daniel; Redon, Richard (IEEE XploreLárnaca, Chipre., 2019)

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based ...
Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Rocha, Camilo; Múñoz, César (NASA Langley Research CenterHampton, Virginia., 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 ...
Theorem Proving Modulo Based on Boolean Equational Procedures

Rocha, Camilo; Meseguer, José (Springer, 2008)

Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...
Towards a measuring framework for knowledge creation in smart cities

Ceballos-Zuluaga, Andrea; Benavides-Navarro, Luis Daniel; Ospina-Becerra, Victoria Eugenia (Colombia, 2020)

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and ...
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

Useche Pelaez, David; Diaz Lopez, Daniel; Nespoli, Pantaleone; Gomez Marmol, Felix (IEEE XploreSpain, 2018)

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily ...
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats

Useche Pelaez, David; Diaz Lopez, Daniel; Nespoli, Pantaleone; Gomez Marmol, Felix (IEEE XploreValencia, España., 2018-10)

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily ...
El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot

Álvarez Piñeiro, Olga Patricia; Alvarado Pérez, Kevin Julián; Sánchez Prieto, Kevin Snaider (Estados Unidos, 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 ...

Envíos recientes

Metodología propuesta de integración de Gestión de Conocimiento a la práctica de Gerencia de Proyectos de la Oficina de Proyectos en una empresa de servicios de Bogotá – Basada en el estándar del Project Management Institute (PMI)
...
Díaz, Alexandra P. | 2017

Las organizaciones enfrentan continuamente, en su entorno, retos que las conducen a la búsqueda de ventajas competitivas sostenibles. Recientemente una fuente de dichas ventajas se encuentra en la apropiada gestión del conocimiento mediante la cual se logra intercambio y transferencia de conocimiento que genere valor, al soportar los procesos de toma de decisiones. Específicamente, se ha encontrado potencial en la obtención de valor al integrar la gestión del conocimiento en la práctica de gerencia de proyectos; puesto que estos se han transformado en herramientas para concretar la estrategia organizacional. Con el fin de habilitar la construcción y aprovechamiento de valor se ha diseñado, para la oficina de proyectos de una organización de servicios, una propuesta metodológica; que, a través de mecanismos concretos en procesos, roles, herramientas y activos de conocimiento, facilita la integración esperada entre la gestión del conocimiento y la gerencia de proyectos.

LEER
On Distributed Collaboration for Biomedical Analyses
...
Boujdad, Fatima-Zahra | 2019

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based or supercomputer-based infrastructure. In contrast, real distributed collaboration that involves processing of data from several partners at different sites is rare. However, such distributed analyses are often very interesting, in particular, for scalability, security and privacy reasons. In this article, we motivate the need for real distributed biomedical analyses in the context of several ongoing projects, including the ICAN project that involves 34 French hospitals and affiliated research groups. We present a set of distributed architectures for such analyses that we have derived from discussions with different medical research groups and a study of related work. These architectures allow for scalability, security/privacy and reproducibility issues to be taken into account. Finally, we illustrate that these architectures can serve as the basis of a development method for biomedical distributed analyses.

LEER
On Distributed Collaboration for Biomedical Analyses
...
Boujdad, Fatima-Zahra | 2019

Cooperation of research groups is nowadays common for the development and execution of biomedical analyses. Multiple partners contribute data in this context, data that is often centralized for processing at some cluster-based or supercomputer-based infrastructure. In contrast, real distributed collaboration that involves processing of data from several partners at different sites is rare. However, such distributed analyses are often very interesting, in particular, for scalability, security and privacy reasons. In this article, we motivate the need for real distributed biomedical analyses in the context of several ongoing projects, including the ICAN project that involves 34 French hospitals and affiliated research groups. We present a set of distributed architectures for such analyses that we have derived from discussions with different medical research groups and a study of related work. These architectures allow for scalability, security/privacy and reproducibility issues to be taken into account. Finally, we illustrate that these architectures can serve as the basis of a development method for biomedical distributed analyses.

LEER
Simulation and Verification of Synchronous Set Relations in Rewriting Logic
...
Rocha, Camilo | 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 set relations. The infrastructure consists of an ordersorted rewrite theory in Maude, a rewriting logic system, that enables the synchronous execution of a set relation provided by the user. By using the infrastructure, existing algorithm verification techniques already available in Maude for traditional asynchronous rewriting, such as reachability analysis and model checking, are automatically available to synchronous set rewriting. The use of the infrastructure is illustrated with an executable operational semantics of a simple synchronous language and the verification of temporal properties of a synchronous system.

LEER
Theorem Proving Modulo Based on Boolean Equational Procedures
...
Rocha, Camilo | 2008

Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean theory and show that each of them gives rise to a Boolean decision procedure based on a canonical rewrite system modulo associativity and commutativity. Then, we present two modular extensions of our decision procedure for Dijkstra-Scholten propositional logic to the Sequent Calculus for First Order Logic and to the Syllogistic Logic with Complements of L. Moss. These extensions take the form of rewrite theories that are sound and complete for performing deduction modulo their equational parts and exhibit good mechanization properties. We illustrate the practical usefulness of this approach by a direct implementation of one of these theories in Maude rewriting logic language, and automatically proving a challenge benchmark in theorem proving.

LEER
Towards a measuring framework for knowledge creation in smart cities
...
Ceballos-Zuluaga, Andrea | 2020

This article investigates the implications of general models of smart sustainable cities (SSC) on the indicators and measurement frameworks that we use to study them. We first investigate the mainstream theory of SSC and their corresponding measurement frameworks. From the analysis, we show that such frameworks do not address the dynamic behaviour of cities. We then explore knowledge based smart sustainable cities, as an alternative theory of SSC, and investigate the measurement frameworks derived from this theory. We show that, despite having a different approach, these measurement frameworks still depend on static indicators and promote static view of the city. We then conjecture that this is due to fussy definitions of knowledge and incomplete investigations of the implications of latest theories of knowledge over the structure and strategy of smart cities. Finally, we propose a set of premises and principles that will improve the theory of Knowledge based smart sustainable cities (KBSSC) and show how this new definition will affect the design of indicators and measurement frameworks in a KBSSC.

LEER
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats
...
Useche Pelaez, David | 2018

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily appliances able to communicate autonomously through already existing network infrastructures. On the downside, the great advance carried by IoT in our life brings at the same time serious security issues, since the information flow among the objects remains mainly unprotected from malicious attackers. The paper at hand proposes TRIS, a novel sentinel to protect smart environments from cyber threats. Our sentinel shields the IoT devices using three defense rings, resulting in a more accurate protection. Additionally, we discuss the actual deployment of the sentinel using open-source tools. Exhaustive experiments are conducted on the sentinel, showing that the deployed sentinel performs meticulously even in heavily stressing conditions, thus demonstrating the applicability of TRIS in a distributed and dynamic scenario such as IoT.

LEER
TRIS: A Three-Rings IoT Sentinel to Protect Against Cyber-Threats
...
Useche Pelaez, David | 2018-10

The Internet of Things (IoT) is considered as an emerging technology with considerable potentialities. Its paradigm of everything connected together invaded the real world, with smart objects located in several daily appliances able to communicate autonomously through already existing network infrastructures. On the downside, the great advance carried by IoT in our life brings at the same time serious security issues, since the information flow among the objects remains mainly unprotected from malicious attackers. The paper at hand proposes TRIS, a novel sentinel to protect smart environments from cyber threats. Our sentinel shields the IoT devices using three defense rings, resulting in a more accurate protection. Additionally, we discuss the actual deployment of the sentinel using open-source tools. Exhaustive experiments are conducted on the sentinel, showing that the deployed sentinel performs meticulously even in heavily stressing conditions, thus demonstrating the applicability of TRIS in a distributed and dynamic scenario such as IoT.

LEER
El valor de la Inteligencia Artificial en el Servicio al Cliente EciBot
...
Álvarez Piñeiro, Olga Patricia | 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 Ingeniería, proyecto que planteó como objetivo principal: "Diseñar, desarrollar implementar y evaluar un Agente Inteligente (Chatbot), como recurso tecnológico para la atención a la comunidad. El artículo muestra resultados de las diversas etapas de desarrollo del proyecto: investigación para conceptualizar la tecnología denominada Chatbot y su evolución, análisis de infaltables en la construcción de un Chatbot para que logre su correcto funcionamiento, identificación de problemas prioritarios de la Escuela Colombiana de Ingeniería, relacionados con la comunicación con la comunidad y finalmente conclusiones.

LEER