Buscar
Mostrando ítems 101-110 de 1065
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(Springer Nature, 2012)
The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...
Gaussian Quantum Markov Semigroups on a One-Mode Fock Space: Irreducibility and Normal Invariant States
(2021)
We consider the most general Gaussian quantum Markov semigroup on a
one-mode Fock space, discuss its construction from the generalized GKSL representation
of the generator. We prove the known explicit formula on Weyl ...
Impacto de la batería de Smartphones en la huella de carbono: Estudio de caso Bogotá, Colombia
(Universidad el Bosque, 2018)
La presente investigación, tuvo como objetivo demostrar cómo el uso y mercado de consumo de tecnología, dado el caso de los Smartphones, más específicamente la batería, tiene participación de peso en el impacto de la huella ...
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 ...
Sistemas Hidroneumáticos
(Escuela Colombiana De Ingenieria Julio Garavito, 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 ...
Applying Ontologies for Semantic Information Integration on Electronic Medical Records (EMRs)
(Research India Publications, 2018)
This work describes the development of ontology in the domain of Electronic Medical Records (EMRs). The purpose is to apply the semantic web as an integrating tool for information and knowledge management in clinical ...
Towards a measuring framework for knowledge creation in smart cities
(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 ...
Users' Attitudes Towards Personal Health Records: A Cross-Sectional Pilot Study
(Georg Thieme Verlag, 2016)
Background: Prevention and management of chronic conditions is a priority for many healthcare
systems. Personal health records have been suggested to facilitate implementation of chronic care
programs. However, patients’ ...
Toma de decisiones en empresas pequeñas que combinan varias actividades económicas. Construcción de un tablero de control
(Universidad del Rosario, 2019)
La toma de decisiones es una destreza importante para el éxito de los negocios; sin embargo, en las pequeñas empresas donde los gerentes cumplen múltiples roles, se toman decisiones sin soporte en herramientas ...
Generation and Control of Basic Geometric Trajectories for a Robot Manipulator Using CompactRIO®
(Hindawi Limited, 2017)
The utility of a robot manipulator focuses on the ability to locate its end effector in a position with a determined orientation following a specified trajectory. For this, algorithms were used in order to generate and ...