Mostrando ítems 37-56 de 76

Learning from Corporate Memory and Best Practices

Matta, Nada (© 2012 The Author(s). Licensee IntechOpen.Rijeka, Croatia., 2012-03-02)

Due to the development of mobile and Web 2.0 technology, knowledge transfer, storage and retrieval have become much more rapid. In recent years, there have been more and more new and interesting findings in the research ...
M-health system backend supported by an actors model

Corredor Acosta, Manuel Alejandro; Cadavid Rengifo, Hector Fabio (IEEE XploreNew Jersey, USA., 2015)

Given the serious impact that cardiovascular diseases are having in Colombia's deaths, the Colombian School of Engineering has been developing a platform for remote, real time, cardiac signals processing. One of the main ...
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

Rocha, Camilo; Meseguer, José (Springer., 2014)

The InvA tool supports the deductive verification of safety properties of infinite-state concurrent systems. Given a concurrent system specified as a rewrite theory and a safety formula to be verified, InvA reduces such a ...
Mediation System for cooperative activities: knowledge system design

Ospina-Becerra, Victoria Eugenia; Fougères, Alain-Jérôme (WSEAS, 2008)

In this article we present the use the knowledge for a Mediation System, developed to give support to mechanical system designer activities. The use of cooperative systems must contain a sufficient level of assistance to ...
A mediation system to facilitate cooperation in a co-design platform

Fougères, Alain-Jérôme; Ospina, Victoria Eugenia (IEEE XploreUSA., 2011)

We present a mediation system, developed to give support to participants in mechanical-system-designer activities. Sufficient assistance is needed to facilitate and coordinate actors' activities. To accomplish this goal ...
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 ...
MUNDOS VIRTUALES INMERSIVOS PARA EDUCACIÓN, TRABAJO COLABORATIVO Y SIMULACIÓN

Álvarez Piñeiro, Claudia Patricia (ACOFIColombia, 2013)

Being able to observe the customs of teenagers and young adults known as ``digital natives'' has helped in understanding how they enjoy playing in simulated worlds. During the virtual gatherings, they are ...
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 ...
Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis

Hernandez Mediná, Martin Jose; Pinzón Hernández, Cristian Camilo; Díaz López, Daniel Orlando; Garcia Ruiz, Juan Carlos; Pinto Rico, Ricardo Andrés (Universidad Distrital Francisco José de Caldas-Facultad TecnológicaColombia, 2018)

Open source intelligence (OSINT) is used to obtain and analyze information related to adversaries, so it can support risk assessments aimed to prevent damages against critical assets. This paper presents a research about ...
Order-Sorted Equality Enrichments Modulo Axioms

Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo (SpringerBerlin., 2012)

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications ...
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Rodríguez Chona, Andrés Ricardo; Patiño Arias, Andrés Mauricio; Santiago Cely, Claudia Patricia (Escuela Colombiana de IngenieríaColombia, 2016)

A lo largo de este articulo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la ...
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Rodriguez Chona, Andrés Ricardo; Patiño Arias, Andrés Mauricio; Santiago Cely, Claudia Patricia (Escuela Colombiana de Ingeniería Julio GaravitoColombia|, 2016)

A lo largo de este artículo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la ...
Proving Safety Properties of Rewrite Theories

Rocha, Camilo; Meseguer, José (SpringerBerlín, 2011)

Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive ...
REAL-T: Time Modularization in Reactive Distributed Applications

Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Mello, Wilson; Arboleda, Hugo (Springer NatureSwitzerland., 2018)

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
REAL-T: Time Modularization in Reactive Distributed Applications

Benavides Navarro, Luis Daniel; Pimienta, Camilo; Sanabria, Mateo; Díaz, Daniel; Garzón, Wilmer; Melo, Willson; Arboleda, Hugo (Springer NatureSuiza, 2018)

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal ...
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo (Springer NatureSuiza, 2017)

Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous ...
Rewriting Logic Semantics of a Plan Execution Language

Dowek, Gilles; Muñoz, César; Rocha, Camilo (E.E.U.U., 2010)

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a ...
Rewriting modulo SMT and open system analysis

Rocha, Camilo; Meseguer, José; Muñoz, César (Elsevier, 2016)

This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability ...
La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial

Chaparro Preciado, Javier Alberto; Cadavid Rengifo, Héctor Fabio (Escuela Colombiana de IngenieríaColombia, 2017)

La automatización de procesos se ha desarrollado principalmente en tareas repetitivas en el sector industrial, donde la incertidumbre tiene poca importancia. Actualmente, gracias a nuevas tecnologías que les proporcionan ...

Envíos recientes

Learning from Corporate Memory and Best Practices
...
Matta, Nada | 2012-03-02

Due to the development of mobile and Web 2.0 technology, knowledge transfer, storage and retrieval have become much more rapid. In recent years, there have been more and more new and interesting findings in the research field of knowledge management. This book aims to introduce readers to the recent research topics, it is titled "New Research on Knowledge Management Applications and Lesson Learned" and includes 14 chapters. This book focuses on introducing the applications of KM technologies and methods to various fields. It shares the practical experiences and limitations of those applications. It is expected that this book provides relevant information about new research trends in comprehensive and novel knowledge management studies, and that it serves as an important resource for researchers, teachers and students, and for the development of practices in the knowledge management field.

LEER
M-health system backend supported by an actors model
...
Corredor Acosta, Manuel Alejandro | 2015

Given the serious impact that cardiovascular diseases are having in Colombia's deaths, the Colombian School of Engineering has been developing a platform for remote, real time, cardiac signals processing. One of the main challenges of this type of platform, assuming a relatively large population continuously transmitting their signals, is to guarantee good response times for all system's stakeholders (doctors, family, etc.), which is not always possible with the application models that have been traditionally used to build most of services that reside on the Web. This article describes an alternative software architecture proposed for the backend of such telemedicine system, which considers the non-blocking and actor-based programming models, as an alternative to the multi-thread model, and as a mean to simplify such system's scalability.

LEER
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
...
Rocha, Camilo | 2014

The InvA tool supports the deductive verification of safety properties of infinite-state concurrent systems. Given a concurrent system specified as a rewrite theory and a safety formula to be verified, InvA reduces such a formula to inductive properties of the underlying equational theory by means of the application of a few inference rules. Through the combination of various techniques such as unification, narrowing, equationally-defined equality predicates, and SMT solving, InvA achieves a significant degree of automation, verifying automatically many proof obligations. Maude Inductive Theorem Prover (ITP) can be used to discharge the remaining obligations which are not automatically verified by InvA. Verification of the reliable communication ensured by the Alternating Bit Protocol (ABP) is used as a case study to explain the use of the InvA tool, and to illustrate its effectiveness and degree of automation in a concrete way.

LEER
Mediation System for cooperative activities: knowledge system design
...
Ospina-Becerra, Victoria Eugenia | 2008

In this article we present the use the knowledge for a Mediation System, developed to give support to mechanical system designer activities. The use of cooperative systems must contain a sufficient level of assistance to facilitate and coordinate the actor’s activities. To accomplish this goal we introduce an artificial actor: the Mediator. To illustrate our approach we will present the specification of the knowledge of the Mediation System.

LEER
A mediation system to facilitate cooperation in a co-design platform
...
Fougères, Alain-Jérôme | 2011

We present a mediation system, developed to give support to participants in mechanical-system-designer activities. Sufficient assistance is needed to facilitate and coordinate actors' activities. To accomplish this goal we introduce an artificial actor: Mediator. Mediator takes part to collaborative activity, with a specific role of facilitating cooperation between designers. This role of assistance, differentiate Mediator from other actors. This one is endowed with specific skills of cooperation (communication; awareness, coordination, co-memorization), requiring some acquired knowledge, which allow them to give assistance to human actors. We will define the types of knowledge defined for our proposed mediation system. Then we will illustrate the use of memorized knowledge by Mediator during an instrumented activity of technical functional analysis.

LEER
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
MUNDOS VIRTUALES INMERSIVOS PARA EDUCACIÓN, TRABAJO COLABORATIVO Y SIMULACIÓN
...
Álvarez Piñeiro, Claudia Patricia | 2013

Being able to observe the customs of teenagers and young adults known as ``digital natives'' has helped in understanding how they enjoy playing in simulated worlds. During the virtual gatherings, they are able to connect with strangers while collaborating, generating strategies and employing a significant amount of time towards common goals. Consequently, the software industry works in building platforms for virtual worlds and the education industry has begun to analyze how to take advantage of these platforms for education purposes. These worlds, materialized as multi-user software, enable each participant, represented by an avatar, to be part of a 3D environment in which the interaction takes place by text or voice chat. In these worlds, it is possible to develop learning, socializing, simulation and immersion activities in situations pedagogically developed, so that each user can observe, interact, and make decisions virtually.This paper illustrates three case studies about virtual worlds with educational purposes. The first case study is about learning activities regarding the international humanitarian law; for this case study, the paper illustrates how the instructional design was carefully done.During the instructional design and the development of the learning experience, the need for tools supporting collaborative construction in the virtual world was identified, giving birth to a new project, which makes the second case study of the paper. The goal of this project was to develop tools for building concept maps and notes board virtually. The third case study is about using virtual worlds for simulating natural disasters situations such as, for instance, earthquakes.

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
Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis
...
Hernandez Mediná, Martin Jose | 2018

Open source intelligence (OSINT) is used to obtain and analyze information related to adversaries, so it can support risk assessments aimed to prevent damages against critical assets. This paper presents a research about different OSINT technologies and how these can be used to perform cyber intelligence tasks. One of the key components in the operation of OSINT tools are the “transforms”, which are used to establish relations between entities of information from queries to different open sources. A set of transforms addressed to the Colombian context are presented, which were implemented and contributed to the community allowing to the law enforcement agencies to develop information gathering process from Colombian open sources. Additionally, this paper shows the implementation of three machine learning models used to perform sentiment analysis over the information obtained from an adversary. Sentiment analysis can be extremely useful to understand the motivation that an adversary can have and, in this way, define proper cyber defense strategies. Finally, some challenges related to the application of OSINT techniques are identified and described.

LEER
Order-Sorted Equality Enrichments Modulo Axioms
...
Gutiérrez, Raúl | 2012

Built-in equality and inequality predicates based on comparison of canonical forms in algebraic specifications are frequently used because they are handy and efficient. However, their use places algebraic specifications with initial algebra semantics beyond the pale of theorem proving tools based, for example, on explicit or inductionless induction techniques, and of other formal tools for checking key properties such as confluence, termination, and sufficient completeness. Such specifications would instead be amenable to formal analysis if an equationally-defined equality predicate enriching the algebraic data types were to be added to them. Furthermore, having an equationally-defined equality predicate is very useful in its own right, particularly in inductive theorem proving. Is it possible to effectively define a theory transformation E↦E≃ that extends an algebraic specification E to a specification E≃ having an equationally-defined equality predicate? This paper answers this question in the affirmative for a broad class of order-sorted conditional specifications E that are sort-decreasing, ground confluent, and operationally terminating modulo axioms B and have a subsignature of constructors. The axioms B can consist of associativity, or commutativity, or associativity-commutativity axioms, so that the constructors are free modulo B. We prove that the transformation E↦E≃ preserves all the just-mentioned properties of E . The transformation has been automated in Maude using reflection and is used in several Maude formal tools.

LEER
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube
...
Rodríguez Chona, Andrés Ricardo | 2016

A lo largo de este articulo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la primera de perspectivas y la otra de criterios. Dichas dimensiones son parametrizables mediante la definición de los pesos de importancia de cada una y por medio de la definición de tantos criterios como se crean necesarios para obtener una mejor evaluación de las herramientas. Esta matriz se utilizó en una empresa como caso práctico y sirvió para determinar cuál era la herramienta de monitoreo que mejor se adaptaba a las necesidades de dicha empresa en la prestación de servicios en la nube; este caso de estudio se presenta en la parte final de este artículo. Se pretende que con esta propuesta las empresas del área de tecnologías de información (T.I.) puedan hacer la selección de herramientas de monitoreo para ambientes de la nube y puedan brindar una mayor confiabilidad a sus clientes y un mejor nivel de la prestación de servicios.

LEER
Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube
...
Rodriguez Chona, Andrés Ricardo | 2016

A lo largo de este artículo se presenta una metodología para la evaluación de herramientas de monitoreo para la nube que se basa en una matriz de evaluación. Dicha matriz de evaluación se compone de dos dimensiones: la primera de perspectivas y la otra de criterios. Dichas dimensiones son parametrizables mediante la definición de los pesos de importancia de cada una y por medio de la definición de tantos criterios como se crean necesarios para obtener una mejor evaluación de las herramientas. Esta matriz se utilizó en una empresa como caso práctico y sirvió para determinar cuál era la herramienta de monitoreo que mejor se adaptaba a las necesidades de dicha empresa en la prestación de servicios en la nube; este caso de estudio se presenta en la parte final de este artículo. Se pretende que con esta propuesta las empresas del área de tecnologías de información (T.I.) puedan hacer la selección de herramientas de monitoreo para ambientes de la nube y puedan brindar una mayor confiabilidad a sus clientes y un mejor nivel de la prestación de servicios.

LEER
Proving Safety Properties of Rewrite Theories
...
Rocha, Camilo | 2011

Rewrite theories are a general and expressive formalism for specifying concurrent systems in which states are axiomatized by equations and transitions among states are axiomatized by rewrite rules. We present a deductive approach for verifying safety properties of rewrite theories in which all formal temporal reasoning about concurrent transitions is ultimately reduced to purely equational inductive reasoning. Narrowing modulo axioms is extensively used in our inference system to further simplify the equational proof obligations to which all proofs of safety formulas are ultimately reduced. In this way, existing equational reasoning techniques and tools can be directly applied to verify safety properties of concurrent systems. We report on the implementation of this deductive system in the Maude Invariant Analyzer tool, which provides a substantial degree of automation and can automatically discharge many proof obligations without user intervention.

LEER
REAL-T: Time Modularization in Reactive Distributed Applications
...
Benavides Navarro, Luis Daniel | 2018

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have developed a compiler for the language and a dynamic run-time framework. To validate the proposal we study detection of complex patterns of security vulnerabilities in IoT scenarios.

LEER
REAL-T: Time Modularization in Reactive Distributed Applications
...
Benavides Navarro, Luis Daniel | 2018

In this paper, we propose REAL-T, a distributed event-based language with explicit support for time manipulation. The language introduces automata for operational time manipulation, causality constructs and Linear Temporal Logic for declarative time predicates, and a distributed-time aware event model. We have developed a compiler for the language and a dynamic run-time framework. To validate the proposal we study detection of complex patterns of security vulnerabilities in IoT scenarios.

LEER
Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
...
Cadavid, Héctor | 2017

Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous robots becomes more challenging to guarantee. This paper presents a hybrid control architecture, based on the Plan Execution Interchange Language ( PLEXIL ), for autonomy of wheeled robots running the Robot Operating System ( ROS ). PLEXIL is a synchronous reactive language developed by NASA for mission critical robotic systems, while ROS is one of the most popular frameworks for robotic middle-ware development. Given the safety-critical nature of spacecraft operations, PLEXIL operational semantics has been mathematically defined, and formal techniques and tools have been developed to automatically analyze plans written in this language. The hybrid control architecture proposed in this paper is showcased in a path tracking scenario using the Husky robot platform via a Gazebo simulation. Thanks to the architecture presented in this paper, all formal analysis techniques and tools currently available to PLEXIL are now available to build reliable plans for ROS -enabled wheeled robots.

LEER
Rewriting Logic Semantics of a Plan Execution Language
...
Dowek, Gilles | 2010

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude.

LEER
Rewriting modulo SMT and open system analysis
...
Rocha, Camilo | 2016

This paper proposes rewriting modulo SMT, a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of infinite-state open systems, i.e., systems that interact with a nondeterministic environment. Such systems exhibit both internal nondeterminism, which is proper to the system, and external nondeterminism, which is due to the environment. In a reflective formalism, such as rewriting logic, rewriting modulo SMT can be reduced to standard rewriting. Hence, rewriting modulo SMT naturally extends rewriting-based reachability analysis techniques, which are available for closed systems, to open systems. Furthermore, a single state expression with symbolic constraints can now denote an infinite set of concrete states. The proposed technique is illustrated with the formal analysis of: (i) a real-time system that is beyond the scope of timed-automata methods and (ii) automatic detection of reachability violations in a synchronous language developed to support autonomous spacecraft operations.

LEER
La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial
...
Chaparro Preciado, Javier Alberto | 2017

La automatización de procesos se ha desarrollado principalmente en tareas repetitivas en el sector industrial, donde la incertidumbre tiene poca importancia. Actualmente, gracias a nuevas tecnologías que les proporcionan mayor inteligencia a los robots, la automatización se ha extendido a nuevos escenarios, como los hogares, las empresas, los seres humanos e, indudablemente, la producción agroindustrial. Mejorar la competitividad y las hectáreas cultivadas son algunas de las ventajas de incorporar tecnologías de automatización, como la robótica móvil o aérea tipo UAV (Unmanned Aerial Vehicle). Los robots forman parte de las tecnologías utilizadas en la agricultura de precisión, apoyando actividades de siembra, cosecha, recolección, selección, almacenamiento, transporte y procesamiento de productos agrícolas, entre otras. Otra tecnología que tiene un enorme potencial en el tema agroindustrial es el procesamiento de imágenes multiespectrales y la elaboración de índices de vegetación. En este artículo se presentan los avances que se han hecho en el tema de robots e imágenes agroindustriales en la Escuela Colombiana de Ingeniería Julio Garavito, teniendo en cuenta elementos de hardware y software que se pueden utilizar para el desarrollo de herramientas, equipos o servicios de apoyo a los pequeños cultivadores en el país.

LEER

‹›

Listar AD - CTG – Informática por título

Learning from Corporate Memory and Best Practices ﻿

M-health system backend supported by an actors model ﻿

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool ﻿

Mediation System for cooperative activities: knowledge system design ﻿

A mediation system to facilitate cooperation in a co-design platform ﻿

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) ﻿

MUNDOS VIRTUALES INMERSIVOS PARA EDUCACIÓN, TRABAJO COLABORATIVO Y SIMULACIÓN ﻿

On Distributed Collaboration for Biomedical Analyses ﻿

On Distributed Collaboration for Biomedical Analyses ﻿

Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis ﻿

Order-Sorted Equality Enrichments Modulo Axioms ﻿

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube ﻿

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube ﻿

Proving Safety Properties of Rewrite Theories ﻿

REAL-T: Time Modularization in Reactive Distributed Applications ﻿

REAL-T: Time Modularization in Reactive Distributed Applications ﻿

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots ﻿

Rewriting Logic Semantics of a Plan Execution Language ﻿

Rewriting modulo SMT and open system analysis ﻿

La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial ﻿

Envíos recientes

Learning from Corporate Memory and Best Practices

M-health system backend supported by an actors model

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

Mediation System for cooperative activities: knowledge system design

A mediation system to facilitate cooperation in a co-design platform

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)

MUNDOS VIRTUALES INMERSIVOS PARA EDUCACIÓN, TRABAJO COLABORATIVO Y SIMULACIÓN

On Distributed Collaboration for Biomedical Analyses

On Distributed Collaboration for Biomedical Analyses

Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis

Order-Sorted Equality Enrichments Modulo Axioms

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Proving Safety Properties of Rewrite Theories

REAL-T: Time Modularization in Reactive Distributed Applications

REAL-T: Time Modularization in Reactive Distributed Applications

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Rewriting Logic Semantics of a Plan Execution Language

Rewriting modulo SMT and open system analysis

La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial

Learning from Corporate Memory and Best Practices

M-health system backend supported by an actors model

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

Mediation System for cooperative activities: knowledge system design

A mediation system to facilitate cooperation in a co-design platform

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)

MUNDOS VIRTUALES INMERSIVOS PARA EDUCACIÓN, TRABAJO COLABORATIVO Y SIMULACIÓN

On Distributed Collaboration for Biomedical Analyses

On Distributed Collaboration for Biomedical Analyses

Open source intelligence (OSINT) as support of cybersecurity operations. Use of OSINT in a colombian context and sentiment Analysis

Order-Sorted Equality Enrichments Modulo Axioms

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Propuesta de evaluación de herramientas de monitoreo para plataformas tipo nube

Proving Safety Properties of Rewrite Theories

REAL-T: Time Modularization in Reactive Distributed Applications

REAL-T: Time Modularization in Reactive Distributed Applications

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Rewriting Logic Semantics of a Plan Execution Language

Rewriting modulo SMT and open system analysis

La robótica móvil, una herramienta para la innovación y el mejoramiento del sector agroindustrial