Listar AD - CTG – Informática por título
Mostrando ítems 29-48 de 76
-
A Graphical Environment for the Semantic Validation of a Plan Execution Language
(© Copyright 2021 IEEEUSA., 2009)This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ... -
Hardware and software architecture for Plexil-based, simulation supported, robot automation
(Bogotá. Colombia., 2016)Some obsolete - but common - practices in the application of fertilizers and pesticides are causing serious environmental problems in Colombia; a situation that could be addressed by combining robotics and modern farming ... -
An Inductive Theorem on the Correctness of General Recursive Programs
(Oxford University Press, 2007)We prove a relatively simple inductive theorem (analogous to Floyd and Dijkstra's Invariance Theorem for iterative programs) to verify the correctness of an ample class of non-deterministic general recursive programs. This ... -
Information Technologies and Analytics as Decision Support Systems in Hospital Logistics: Four Research Experiences in the Colombian Case
(Colombia., 2017)This article presents four research experiences in hospital logistics using simultaneously mathematical models and information management. The cases analyzed included the efficient scheduling of nursing shifts, kidney ... -
Information Technologies and Analytics as Decision Support Systems in Hospital Logistics: Four Research Experiences in the Colombian Case
(IARAS PUB, 2017)This article presents four research experiences in hospital logistics using simultaneously mathematical models and information management. The cases analyzed included the efficient scheduling of nursing shifts, kidney ... -
La inteligencia de negocios, un concepto informático
(ACISColombia, 2009)Diferente a lo que podría esperarse, el concepto de Business Intelligence no es un resultado de desarrollos en el mundo de las Ciencias Administrativas, sino que es un producto del progreso de la Informática o de ... -
Intellifilter: sistema de filtrado parental soportado por aprendizaje maquinal supervisado
(REDISColombia, 2011)En este artículo se presenta la herramienta Intellifilter para el filtrado de contenidos de internet no aptos para niños, basada en un conjunto de técnicas de aprendizaje supervisado1 para clasificación de texto e imágenes, ... -
Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
(University of Notre Dame, 2008)Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert’s style of proof and Gentzen’s deductive systems. In this context we call it CED ... -
Learning from Corporate Memory and Best Practices
(© 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
(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
(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
(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
(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)
(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
(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
(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
(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
(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
(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
(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 ...