816 resultados para ANTLR, Framework .NET, ingegneria del software, FormulaG, interpreti, linguaggi formali, WPF
Resumo:
En Perú muchos de los pequeños productores de banano se han organizado en asociaciones y su producción tradicional de banano convencional está siendo reemplazada por la producción de banano orgánico. Una de estas asociaciones es la de pequeños productores de banano orgánico de Samán y Anexos (APPBOSA) que a partir del año 2008 viene exportando su producción sin intermediarios e incrementando las cantidades exportadas cada año. Esta ocupa el primer puesto en el ranking de exportación de banano orgánico de Perú. Teniendo en cuenta que todas las asociaciones operan bajo el mismo ambiente institucional formal, surge como pregunta de investigación cuáles han sido las fuerzas impulsoras de APPBOSA sobre las que se ha apalancado el éxito de esta asociación. El objetivo de este trabajo fue estudiar la relación entre el crecimiento de las exportaciones de banano orgánico de APPBOSA y los factores de los ambientes organizacional, tecnológico y comercial para identificar aquellos de mayor relevancia sobre crecimiento exportador de la asociación. La metodología de trabajo utilizada fue el estudio de caso simple incrustado, utilizando como tipo de investigación la epistemología fenomenológica y combinando la investigación cualitativa con la cuantitativa (mediante encuestas). Se encuestaron 100 socios (24 por ciento) de la organización en base a un muestreo aleatorio simple. Los resultados se procesaron a partir del software PC-ORD con herramientas de análisis multivariado: Análisis de Componentes Principales (ACP) y el Análisis de Cluster. Del análisis de las variables del ambiente organizacional surge que la transacción entre el productor asociado y APPBOSA está alineada, existe dependencia bilateral y bajos costos de transacción. Los productores presentaron un reconocimiento positivo en torno a la variable del liderazgo y conformidad en el precio y plazo de pago. En el ambiente tecnológico los asociados manifestaron un alto impacto de la tecnología implementada por APPBOSA, que les permitió posicionarse por encima de la media tecnológica del subsistema de banano orgánico de Perú. En el ambiente comercial, se caracterizó por dos estrategias: la diferenciación y la segmentación (mercado de orgánico y comercio justo). Se encontró alta conformidad de los asociados en torno a las decisiones comerciales tomadas por la asociación. A partir del ACP se retuvieron los dos primeros autovalores (F1: liderazgo y F2: estrategias comerciales) por acumular el 62,38 por ciento del total de la varianza. Los indicadores de conformidad de precio y plazo de pago guardaron una alta correlación positiva con las estrategias comerciales y con la innovación tecnológica. Se concluye que las fuerzas impulsoras sobre las que se apalancó el éxito exportador de APPBOSA tienen su base en la dependencia bilateral entre productores y Asociación, donde con un objetivo común, innovaron y definieron estrategias comerciales acordes a un negocio de especialidad y bajo un liderazgo marcado. De este modo, fue posible que pequeños productores alcancen mediante la acción colectiva, a ubicar su producto en el mercado externo.
Resumo:
En Perú muchos de los pequeños productores de banano se han organizado en asociaciones y su producción tradicional de banano convencional está siendo reemplazada por la producción de banano orgánico. Una de estas asociaciones es la de pequeños productores de banano orgánico de Samán y Anexos (APPBOSA) que a partir del año 2008 viene exportando su producción sin intermediarios e incrementando las cantidades exportadas cada año. Esta ocupa el primer puesto en el ranking de exportación de banano orgánico de Perú. Teniendo en cuenta que todas las asociaciones operan bajo el mismo ambiente institucional formal, surge como pregunta de investigación cuáles han sido las fuerzas impulsoras de APPBOSA sobre las que se ha apalancado el éxito de esta asociación. El objetivo de este trabajo fue estudiar la relación entre el crecimiento de las exportaciones de banano orgánico de APPBOSA y los factores de los ambientes organizacional, tecnológico y comercial para identificar aquellos de mayor relevancia sobre crecimiento exportador de la asociación. La metodología de trabajo utilizada fue el estudio de caso simple incrustado, utilizando como tipo de investigación la epistemología fenomenológica y combinando la investigación cualitativa con la cuantitativa (mediante encuestas). Se encuestaron 100 socios (24 por ciento) de la organización en base a un muestreo aleatorio simple. Los resultados se procesaron a partir del software PC-ORD con herramientas de análisis multivariado: Análisis de Componentes Principales (ACP) y el Análisis de Cluster. Del análisis de las variables del ambiente organizacional surge que la transacción entre el productor asociado y APPBOSA está alineada, existe dependencia bilateral y bajos costos de transacción. Los productores presentaron un reconocimiento positivo en torno a la variable del liderazgo y conformidad en el precio y plazo de pago. En el ambiente tecnológico los asociados manifestaron un alto impacto de la tecnología implementada por APPBOSA, que les permitió posicionarse por encima de la media tecnológica del subsistema de banano orgánico de Perú. En el ambiente comercial, se caracterizó por dos estrategias: la diferenciación y la segmentación (mercado de orgánico y comercio justo). Se encontró alta conformidad de los asociados en torno a las decisiones comerciales tomadas por la asociación. A partir del ACP se retuvieron los dos primeros autovalores (F1: liderazgo y F2: estrategias comerciales) por acumular el 62,38 por ciento del total de la varianza. Los indicadores de conformidad de precio y plazo de pago guardaron una alta correlación positiva con las estrategias comerciales y con la innovación tecnológica. Se concluye que las fuerzas impulsoras sobre las que se apalancó el éxito exportador de APPBOSA tienen su base en la dependencia bilateral entre productores y Asociación, donde con un objetivo común, innovaron y definieron estrategias comerciales acordes a un negocio de especialidad y bajo un liderazgo marcado. De este modo, fue posible que pequeños productores alcancen mediante la acción colectiva, a ubicar su producto en el mercado externo.
Resumo:
En este documento se hace un estudio del software GeoGebra que permite abordar la geometría, el cálculo y el álgebra a través de construcciones dinámicas. Una posibilidad muy interesante que nos ofrece el programa, desde el punto de vista didáctico, es la exportación a formato html. Esta opción permitirá al alumnado manipular escenas dinámicas en un navegador Web y, así, analizar comportamientos, visualizar conceptos, propiedades, modificar las construcciones, etc.
Resumo:
Se muestra la construcción de algunas cónicas por medio del software de geometría dinámica llamado RyC. Una de las principales ventajas de esta herramienta es que permite animar las construcciones geométricas conservando sus propiedades básicas, es decir, que le agrega movimiento a la clásica geometría euclidiana.
Resumo:
Este trabajo es parte de un proyecto de investigación sobre la aplicación de tecnología computacional en la enseñanza y aprendizaje de matemáticas con alumnos de nivel medio básico o secundaria (séptimo a noveno grado) y nivel medio superior o bachillerato (décimo a doceavo grado), en particular, trata de entender la función mediadora del efecto de “arrastre” del software de geometría dinámica en la cognición de sujetos que estudian las nociones de variación y variable. Aquí reportamos los resultados de una exploración, usando Cabri, en el aprendizaje de esas nociones con estudiantes de nivel medio básico de 13-14 años de edad. Se describen las actividades, las respuestas de los estudiantes y una experiencia que sugiere el potencial de la verbalización de los resultados por los estudiantes en el proceso de simbolización algebraica.
Resumo:
La utilización de una herramienta nueva, de cualquier tipo que sea, necesita de una reflexión sobre lo que hacemos, muchas veces cambia nuestro modo de trabajar (actitud) y hace surgir problemas sobre las verdades que teníamos. En matemática los conocimientos utilizados pueden ser diferentes: comparar una construcción geométrica con regla y compás o con regla y escuadra (mecánica) o solamente con compás. En este curso se explora de manera activa el software Cabri II. En una primera etapa se realiza la construcción de triángulos -sus elementos secundarios- y circunferencias inscritas y circunscritas así como exploraciones de simetría. En una segunda etapa se elaboran macro construcciones o construcciones que podemos grabar, para luego reutilizar en figuras más complejas, sin necesidad de rehacerlas. A través de la exploración ya descrita se reflexiona sobre el aporte de esta herramienta al quehacer pedagógico y/o científico. El uso del software es muy cercano a la forma de pensar en la geometría clásica, lo que permite a los estudiantes acercarse a esta disciplina y hacer conjeturas. Corresponde advertir que, como Cabri II no es un software de dibujo ni de demostración sino que está basado en un ambiente numérico, hay errores de aproximación. aunque leves. Se inicia el curso explicando brevemente el funcionamiento del software Cabri II para pasar a realizar actividades de construcción y comprobación de relaciones geométricas.
Resumo:
Este trabajo consta de dos partes: la primera presenta, de manera elemental, la teoría de los polinomios de Bernstein en una variable; la segunda esta dedicada a curvas de Bezier y q-trazadores ("q-splines"). Nos parece importante el uso que se puede dar del software Mathematica.
Resumo:
Background: Workplace sedentary behaviour is a priority target for health promotion. However, little is known about how to effect change. We aimed to explore desk-based office workers’ perceptions of factors that influenced sedentary behaviour at work and to explore the feasibility of using a novel mobile phone application to track their behaviours.
Methods: We invited office employees (n = 12) and managers (n = 2) in a software engineering company to participate in semi-structured interviews to explore perceived barriers and facilitators affecting workplace sedentary behaviour. We assessed participants’ sedentary behaviours using an accelerometer before and after they used a mobile phone application to record their activities at self-selected time intervals daily for 2 weeks. Interviews were analysed using a thematic framework.
Results: Software engineers (5 employees; 2 managers) were interviewed; 13 tested the mobile phone application; 8 returned feedback. Major barriers to reducing workplace sedentary behaviour included the pressure of ‘getting the job done’, the nature of their work requiring sitting at a computer, personal preferences for the use of time at and after work, and a lack of facilities, such as a canteen, to encourage moving from their desks. Facilitators for reduced sedentariness included having a definite reason to leave their desks, social interaction and relief of physical and mental symptoms of prolonged sitting. The findings were similar for participants with different levels of overall physical activity. Valid accelerometer data were tracked for four participants: all reduced their sedentary behaviour. Participants stated that recording data using the phone application added to their day’s work but the extent to which individuals perceived this as a burden varied and was counter-balanced by its perceived value in increasing awareness of sedentary behaviour. Individuals expressed a wish for flexibility in its configuration.
Conclusions: These findings indicate that employers’ and employees’ perceptions of the cultural context and physical environment of their work, as well as personal factors, must be considered in attempting to effect changes that reduce workplace sedentary behaviour. Further research should investigate appropriate individually tailored approaches to this challenge, using a framework of behaviour change theory which takes account of specific work practices, preferences and settings.
Resumo:
Se determinaron las características de la Biología y Pesquería de Ethmidium maculatum “machete” procedente de la pesca artesanal en la Región La Libertad durante el 2010. Se trabajó con una base de datos de 1 508 individuos, obtenidos al azar de los desembarques artesanales de Caleta Puerto Morín, Puerto Salaverry, Caleta Huanchaco, Puerto Malabrigo y Puerto Pacasmayo. Para el análisis biológico se consideraron 10 ejemplares máximo por rango de talla. Para determinar el alimento y hábitos alimentarios se realizaron análisis de estimación porcentual y frecuencia de ocurrencia; para determinar las características reproductivas, se analizaron los estadios de madurez gonadal e índice gonadosomático; se determinó el grado de bienestar mediante el factor de condición de Fulton; las constantes de crecimiento fueron calculadas mediante el uso del software FISAT II. La talla media de captura fue inferior a la talla mínima legal establecida. Se tipificó a la especie en estudio como zooplanctonófaga. La proporción sexual fue favorable a las hembras; predominó el estadio desovante y la especie evidenció actividad reproductiva con mayor intensidad a fines de invierno. El crecimiento para hembras y machos fue alométrico. Se reportó un volumen de desembarque de 26 779 kg, y las principales zonas de pesca fueron: Chao, El Carmelo, Buenos Aires, Las Delicias, Salaverry, Los Brujos y Huanchaco.
Resumo:
Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.
Resumo:
El presente documento, en su primera parte, se hace un breve resumen de los antecedentes y evolución de la mujer empresaria en el mundo, en Colombia y Cundinamarca. En su segunda parte, se muestra un resumen sobre el origen, evolución e importancia de las fundaciones (ONG’s) en el mundo, en Colombia y Cundinamarca. En su tercera parte, se da a conocer un análisis descriptivo de la Fundación Red de Mujeres de Cundinamarca, por medio de una entrevista concedida por su fundadora y presidenta, María del Carmen Colina. En su cuarta parte, se muestra una breve presentación del estudio prospectivo, dando a conocer su temática, principales autores y metodología. En su quinta, sexta y séptima parte se desarrolla el caso práctico: “prospectiva de la Red de Mujeres de Cundinamarca 2012-2031”, por medio de la utilización del software MIC MAC, MACTOR Y SMIC. Todo este trabajo fue desarrollado gracias a una revisión bibliográfica de aproximadamente 130 textos, artículos, tesis de grado de la Universidad del Rosario, noticias y publicaciones. La ultima parte del documento refleja las conclusiones y recomendaciones para la Fundación Red de Mujeres de Cundinamarca.
Resumo:
El propósito de este trabajo es exponer cómo los modelos de e-Commerce & e-Marketing permiten optimizar el desempeño comercial de las empresas, aprovechando los recursos electrónicos, como la internet y los sistemas virtuales de comunicación, en este caso desde la visión que se tiene hacia el cliente. El estudio se realizó en la empresa Blue Trade S.A.S., analizando cómo la implementación de dichos modelos permitieron mejorar su desempeño, de igual manera se exponen dos modelos exitosos de optimización del recurso electrónico, como fue en Avianca y en Carvajal, S.A., quienes tuvieron en cuenta costos, estrategias y acciones a tomar para aplicarlos.
Resumo:
Teniendo en cuenta que el sector de la salud es uno de los que mayor impacto tienen tanto para las personas como para los estados, la empresa Proveedora ha buscado brindar una alternativa tecnológica que le permita a los actores de la salud poder proporcionar un claro panorama para la planeación, desarrollo y la puesta en marcha de soluciones que permiten convertir las actividades del sector, en las estrategias que las CLINICAS, HOSPITALES o ADMINISTRADORAS necesitan, es así como se han diseñado soluciones para hospitales, clínicas, centros médicos, laboratorios, consultorios, centros de diagnósticos y consultas profesionales, integrando la atención médica a los procesos administrativos en busca de proveer un servicio de gestión moderno. La tecnología al servicio de la salud genera diferencias competitivas que se ven reflejadas en aumento de productividad, reducción de costos, aumento de la oportunidad de servicio y mejora operacional. Además, proporciona las herramientas suficientes a la gerencia para reducir el riesgo en toma de decisiones. Con la apertura económica, las entidades gubernamentales y las empresas del sector privado orientadas al sector salud, han iniciado un proceso de modernización que significa para la Industria Nacional del Software una oportunidad de desarrollo y crecimiento, y para la Industria internacional un atractivo de inversión en nuestro país, posicionando a las TI como herramientas claves para la prosperidad de esta región
Resumo:
Dado que los tenderos representan un papel muy importante en nuestra sociedad y para este tipo de distribución es vital en su funcionamiento, es necesario diseñar estrategias de comunicación que fortalezcan esta relación Tendero - Distribuidor
Resumo:
Introducción Las neumoconiosis son un grupo de enfermedades respiratorias ocupacionales, debidas a la acumulación de polvo en los pulmones. Colombia pese a ser un país minero, no cuenta con datos oficiales sobre la prevalencia de la neumoconiosis que permitan implementar medidas preventivas para evitar el desarrollo de enfermedades asociadas a la explotación minera y que disminuyan la incidencia y prevalencia de la neumoconiosis. Objetivos Determinar la prevalencia de neumoconiosis a partir del diagnóstico radiológico y describir síntomas respiratorios referidos por los trabajadores de las minas subterráneas de carbón en el departamento de Boyacá. Materiales y métodos Se realizó un estudio descriptivo de corte transversal en 232 trabajadores de minería subterránea del departamento de Boyacá; teniendo como fuente de información los datos obtenidos en el proyecto “Evaluación de la exposición a polvo de carbón en tres departamentos de Colombia, 2012-2015”, financiado por el Instituto Nacional de Salud, Universidad de Los Andes, la Universidad del Rosario, Positiva ARL y Colciencias. El análisis de los datos del estudio se realizó a través del software Stata versión 11. Resultados El 100% de la población estudio fueron de sexo masculino. La mediana para la edad fue de 40.5 años (20 – 73). La labor más comúnmente desempañada por los mineros fue: picadores 168 (72,41%). Los síntomas respiratorios más frecuentemente encontrados en este estudio fueron expectoración y tos. En cuanto a expectoración fue más frecuente en la mañana durante el invierno: 66.38% (154) y la tos de día o de noche durante el invierno: 53.88% (125). Para el hábito de fumar el 17.67% fumaba al momento del estudio. En 69 mineros (29.74%) se encontraron anormalidades parenquimatosas en la Radiografía de Tórax.