Análisis de terminación para una plataforma de verificación de programas

De entre una serie de métodos estudiados acerca de la terminación de algoritmos, tales como Size-Change Termination o Isabelle, elegimos el método de RANK como instrumento para desarrollar nuestro propio programa de detección de terminación sobre el lenguaje de la IR. Esta decisión se basa en el coste polinómico de este método (frente a costes en PSPACE como el Size-Change Termination)y la posibilidad de obtener una herramienta asociada al mismo que además nos da la posibilidad de conocer un tiempo de ejecución aproximado. La herramienta asociada a RANK es compleja y va de la mano de una segunda herramienta (ASPIC). Hemos estudiado varios ejemplos, tales como el Mergesort o el Quicksort, para explicar la utilización de estas dos herramientas y a su vez ponernos en situación de los diferentes problemas que nos podemos encontrar a la hora de estudiar un programa. Partiendo del proceso que hemos usado para construir los automátas de los ejemplos anteriores, hemos diseñado e implementado en Java un algoritmo para transformar programas en el lenguaje de la IR al formato de entrada de RANK. Los resultados han sido satisfactorios, puesto que con los autómatas generados somos capaces de detectar de forma automatizada la terminación de, entre otros, los algoritmos recursivos antes mencionados.

Análisis de los incentivos tributarios en la industria textil aplicado a la empresa exportadora de sombreros de paja toquilla Serrano Hat Export Cía. Ltda.

La actual crisis económica mundial y específicamente la del Ecuador, ha ocasionado que el actual gobierno busque la manera de incentivar la producción nacional, para dinamizar la economía. A más de los incentivos a la producción existen otros incentivos tanto económicos y tributarios, como de asesoría y capacitación, que buscan ayudar a las empresas exportadoras a mejorar su competitividad en el mercado internacional, atrayendo divisas al país para a la postre mejorar la Balanza de Pagos. En el presente trabajo de investigación, se realizó un estudio descriptivo, cuantitativo, deductivo, de análisis y de síntesis, con el objetivo de determinar si al realizar una correcta planificación tributaria, se podría evidenciar el posible beneficio de aprovechar determinados incentivos y su factibilidad de aplicación en el sector de exportaciones de sombreros de paja toquilla, específicamente en la empresa Serrano Hat Export Cía. Ltda. Como resultado, se pudo evidenciar que, existen incentivos tributarios a la producción y a la exportación de sombreros de paja toquilla, que en la empresa Serrano Hat Export Cía. Ltda. no son aprovechados, ya sea por desconocimiento, falta de interés o condiciones necesarias para su aplicación. Al igual que Serrano Hat, existen otras empresas de su sector, que podrían beneficiarse tanto económica como financieramente de este tipo de incentivos, siempre y cuando sean aplicados correctamente.

Las ilhas de Porto : un análisis socio-morfo-tipológico

La “ilha” es un tipo de vivienda clandestina para las clases trabajadoras que surge en la segunda mitad del S.XIX, fruto de la necesidad habitacional de una gran cantidad de población que abandonaba el rural en busca de empleo, en la emergente industria de Oporto. Estas viviendas de bajo coste, fueron declaradas insalubres y elementos a eliminar a partir del s. XX, existiendo numerosos planes para demolerlas. Puede ser la hora de cambiar la forma de pensar, definiendo una política de revitalización de los espacios urbanos, paralela a la búsqueda de nuevas formas de ver las “ilhas” y la ciudad de Oporto. El trabajo comienza con la idea de preguntar si la noción de “ilha” tiene algún significado en la ciudad. Saber qué hacen las “ilhas” - si es que lo hacen - que pueda ser útil a la ciudad de Oporto y cómo lo hacen. En respuesta a la problemática identificada se establecen dos objetivos. El primero se centra en Clasificar matrices morfo-tipológicas de las “ilhas” en la parroquia del Bonfim, para así conocer las diferentes formas y tipologías de las “ilhas”, seleccionando tres casos de estudio. Con los datos extraídos poder abordar el segundo objetivo que propone Definir principios para la valorización del carácter distintivo de las “ilhas” en el contexto urbano portuense. La investigación se estructura en siete capítulos, la fundamentación teórica como reflexión del urbanismo reciente, sobre las diferentes vertientes del urbanismo moderno y como éstas han afectado a las “ilhas” y a la ciudad de Oporto. Destaca la morfología urbana como ciencia que estudia la ciudad y el estado del arte que ha ayudado a poner de relieve las investigaciones realizadas sobre el tema en la actualidad. El siguiente capítulo explica la especificidad del urbanismo portugués y como a partir de éste surgen las “ilhas”, una nueva tipología de Oporto. Posteriormente con base en el análisis documental se escoge la parroquia del Bonfim para delimitar el ámbito, analizando tres casos de estudio con los datos necesarios para la obtención de respuestas y desenvolvimiento de las conclusiones finales. La metodología utilizada está dividida en dos fases: una primera fase corresponde con un marco muestral de las “Ilhas” del Bonfim (estudio mayormente cuantitativo) donde se clasifican todas las comunidades “ilha” que componen la parroquia. Y una segunda fase, estudio cualitativo, donde se analizan de manera individual tres casos de estudio, que se seleccionaran según criterios definidos, para después realizar un análisis comparativo. En conclusión, las “ilhas” se integran en una estructura social que las caracteriza, marcada por la arquitectura y apropiación del espacio que simbolizan estos núcleos habitacionales. Son ejemplo de la utilización del espacio público como espacio de convivencia, frente a multitud de unidades habitacionales con espacios públicos descuidados, sin uso, abandonados, espacios donde las personas no se identifican con el lugar convertidas en sobrantes entre los edificios o territorios vacios. Las “ilhas” muestran unos principios básicos para el diseño y la relevancia de un buen sistema de espacios públicos que permitan vivir mejor.

Análisis del impacto de ampliar la cobertura de la oferta de energía prepago en Antioquia

El presente documento muestra un análisis sobre las decisiones, ventajas y desventajas asociadas con la ampliación de la cobertura de la oferta de energía prepago que tiene el Grupo EPM -- Todo esto evidenciado desde un punto de vista financiero y social que permitan conocer en detalle las implicaciones de esta decisión -- El Grupo EPM tiene en su propósito, la construcción de territorios sostenibles en todos los lugares donde tenga presencia -- Antioquia representa su mercado natural de origen, donde tiene el mayor porcentaje de usuarios y en sus objetivos siempre ha estado presente realizar intervenciones que permitan mejorar las condiciones de vida a través de soluciones de acceso y comprabilidad -- El Grupo siempre está en una constante búsqueda de generar valor agregado a los usuarios y desarrollar ofertas que permitan el disfrute de los servicios públicos domiciliarios, entendiendo las diferentes realidades y circunstancias que se viven en los territorios -- Una de las alternativas más exitosas desarrolladas por la empresa y en la cual ha sido líder en el mercado, es el esquema de energía prepago implementado desde el 2006 -- La energía prepago fue estructurada como una oferta que generaría beneficio para el Grupo representado en unos menores costos en los servicios de reconexión, suspensiones, cortes y unas mejoras en los índices de recaudo, para los usuarios les daba un mayor control sobre sus consumos y poder tener una forma de pago que se ajustara a la forma como reciben los ingresos -- La iniciativa ha dejado unos resultados positivos, sin embargo en las diferentes investigaciones y encuestas de satisfacción se identifica una oportunidad de mejora, debido a que algunos usuarios manifestaban el deseo y necesidad de hacer parte de esta oferta pero se les negaba el acceso debido a que no cumplían con las condiciones de entrada, razón por la cual se decidió realizar un análisis de estas condiciones de entrada y revisar la posibilidad de implementar algunos cambios -- El objetivo de esta investigación será hacer un análisis de la oferta de energía prepago actual de EPM para inferir algunos impactos económicos, sociales y regulatorios que tendría para el Grupo aumentar la cobertura de su mercado objetivo, contribuyendo así a mejorar la situación de comprabilidad de las comunidades vulnerables del Departamento de Antioquia -- Para ello se realiza un análisis de factibilidad de ampliar el esquema de energía prepago a partir de un modelo financiero y los resultados de talleres e investigaciones de percepción de los usuarios atendidos bajo esta modalidad

Análisis del comportamiento de los inversores individuales en los mercados bursátiles: utilidad de la información contable y financiera para la toma de decisiones

Indudablemente la información contable y financiera es una de las fuentes de información más útiles cuando decidimos si invertir o no en una compañía cualquiera. La información contable y financiera, de hecho, la más importante fuente de información para inversiones a largo plazo, aunque en el corto plazo el análisis chartista y otros análisis similares tengan una mayor importancia en el proceso de toma de decisiones. Sin embargo, cuando hablamos de inversiones a largo plazo, la información contable y financiera debería reflejar la imagen fiel de las empresas y, por tanto, ser una fuente de información fundamental en el proceso de toma de decisiones de los inversores individuales y especialmente para aquellos que tiene acceso limitado y un alto coste a otras fuentes de información. Sin embargo, los inversores individuales dan más importancia a otras variables. De acuerdo con los resultado mostrados al utilizar el cuestionario ININBE (Pascual-Ezama et al., 2010), aunque la información contable y financiera no tiene una valoración especialmente baja por parte de los inversores, su utilidad es mucho menor que el de otras variables como las intuiciones o las expectativas en línea con lo encontrado en la literatura previa (Haslem & Baker, 1973; Nagy & Obenberger, 1994; Clark-Murphy & Soutar, 2004). Por lo tanto, parece que existen otras fuentes de información más relevantes para los inversores individuales que la información contable y financiera...

Análise de custo-efetividade de métodos preventivos para superfície oclusal de acordo com o risco de cárie: resultados de um ensaio clínico controlado

This study presents the results of a cost-effectiveness analysis in a controlled clinical trial on the effectiveness of a modified glass ionomer resin sealant ( Vitremer, 3M ESPE) and the application of fluoride varnish (Duraphat, Colgate) on occlusal surfaces of first permanent molars in children 6-8 years of age (N = 268), according to caries risk (high versus low). Children were examined semiannually by the same calibrated dentist for 24 months after allocation in six groups: high and low risk controls (oral health education every three months); high and low risk with varnish (oral health education every three months + varnish biannually); and high and low risk with sealant (oral health education every three months + a single application of sealant). Economic analysis showed that sealing permanent first molars of high-risk schoolchildren showed a C/E ratio of US$ 119.80 per saved occlusal surface and an incremental C/E ratio of US$ 108.36 per additional saved occlusal surface. The study concluded that sealing permanent first molars of high-risk schoolchildren was the most cost-effective intervention.

Análise TG-ROC de testes de imunofluorescência no diagnóstico de leishmaniose visceral canina

OBJETIVO: Analisar a acurácia do diagnóstico de dois protocolos de imunofluorescência indireta para leishmaniose visceral canina. MÉTODOS: Cães provenientes de inquérito soroepidemiológico realizado em área endêmica nos municípios de Araçatuba e de Andradina, na região noroeste do estado de São Paulo, em 2003, e área não endêmica da região metropolitana de São Paulo, foram utilizados para avaliar comparativamente dois protocolos da reação de imunofluorescência indireta (RIFI) para leishmaniose: um utilizando antígeno heterólogo Leishmania major (RIFI-BM) e outro utilizando antígeno homólogo Leishmania chagasi (RIFI-CH). Para estimar acurácia utilizou-se a análise two-graph receiver operating characteristic (TG-ROC). A análise TG-ROC comparou as leituras da diluição 1:20 do antígeno homólogo (RIFI-CH), consideradas como teste referência, com as diluições da RIFI-BM (antígeno heterólogo). RESULTADOS: A diluição 1:20 do teste RIFI-CH apresentou o melhor coeficiente de contingência (0,755) e a maior força de associação entre as duas variáveis estudadas (qui-quadrado=124,3), sendo considerada a diluição-referência do teste nas comparações com as diferentes diluições do teste RIFI-BM. Os melhores resultados do RIFI-BM foram obtidos na diluição 1:40, com melhor coeficiente de contingência (0,680) e maior força de associação (qui-quadrado=80,8). Com a mudança do ponto de corte sugerido nesta análise para a diluição 1:40 da RIFI-BM, o valor do parâmetro especificidade aumentou de 57,5% para 97,7%, embora a diluição 1:80 tivesse apresentado a melhor estimativa para sensibilidade (80,2%) com o novo ponto de corte. CONCLUSÕES: A análise TG-ROC pode fornecer importantes informações sobre os testes de diagnósticos, além de apresentar sugestões sobre pontos de cortes que podem melhorar as estimativas de sensibilidade e especificidade do teste, e avaliá-los a luz do melhor custo-benefício.

Los modelos CAMEL y Promethee como instrumentos de análisis de la banca virtual en España

Consideramos de interés realizar un análisis financiero de la banca virtual en España para ser capaces de posicionar aquellas entidades bancarias que vieron en el canal de Internet una vía de expansión hacia nuevos clientes o como consolidación de los existentes, ya que todos los bancos creados en España de carácter virtual son filiales de grandes grupos bancarios. Utilizamos como modelos de análisis la aplicación de los métodos multicriterio CAMEL y Promethee. Como conclusiones del trabajo se observa que, independientemente del método utilizado, la entidad que mejor se posiciona para el periodo de análisis estudiado (2004-2010) es Bancopopular-e. No obstante, son entidades que todavía alcanzan valores muy bajas de rentabilidad y liquidez y donde datos como la eficiencia o la calidad de activos son muy mejorables.

Factores determinantes del grado de información medioambiental divulgada en las grandes empresas que operan en Portugal: un análisis univariante

El presente trabajo tiene un doble objetivo: por un lado, analizar el grado en que una muestra de grandes empresas que operan en Portugal divulgan información medioambiental en sus informes anuales y su evolución durante el período 2002-2004 y, por otro, identificar los factores que influyen en dicho grado de divulgación, a través de un análisis univariante. A partir del análisis de contenido de los informes anuales, se elaboró un Índice de Divulgación Medioambiental (IDMA). Los resultados obtenidos indican que, si bien el valor medio del IDMA es relativamente bajo, éste ha evolucionado positivamente durante el período analizado. El análisis univariante ha permitido identificar la existencia de una asociación significativa entre el IDMA y las variables tamaño, cotización en bolsa, posesión de certificación medioambiental y pertenencia a un sector considerado “crítico”.

El Cuadro de Mando Integral en Organizaciones Privadas Portuguesas: Un Análisis Descriptivo

La creencia de que los modelos existentes para evaluación del desempeño empresarial eran obsoletos y podían llevar a las empresas a tomar decisiones erróneas llevaron al desarrollo de sistemas de información y control de gestión que reflejen la evolución de los factores clave de éxito de naturaleza no financiera y/o cualitativa, como es el caso del Cuadro de Mando Integral (CMI). El CMI es una de las herramientas de Contabilidad de Gestión más populares en la actualidad. Al mismo tiempo hay informes de altas tasas de fracaso lo que exige mirar con mayor detenimiento los retos y los principales problemas que distintas organizaciones privadas han encontrado en su implementación. En consecuencia, mismo después de más de dos décadas de existencia, y a pesar de las mejoras registradas en el modelo, se verifica en el ámbito empresarial y académico una continuidad de la inversión en proyectos de CMI. Así, con el objetivo de averiguar si las organizaciones portuguesas conocen y están a adoptar el CMI, hemos enviado un cuestionario a 549 organizaciones privadas, con una tasa de respuesta del 28,2%. Los resultados obtenidos permiten concluir que aunque la mayoría de los encuestados conoce el CMI, su utilización en dichas organizaciones es reducida y muy reciente.

El Cuadro de Mando Integral en Organizaciones Públicas Portuguesas: Un Análisis Descriptivo

En el actual contexto de mayor responsabilidad y transparencia en la gestión pública, las organizaciones del sector público tienen presente la necesidad de mejorar la eficiencia en la aplicación de los recursos y la provisión de servicios a los usuarios. Ante esta situación, existe la necesidad de desarrollar sistemas de información y control de gestión que reflejen la evolución de los factores clave de éxito de naturaleza no financiera y/o cualitativa, como es el caso del Cuadro de Mando Integral (CMI). Así, con el objetivo de averiguar si conocen y están a adoptar el CMI, cuales las principales motivaciones para su aplicación y cómo se está implementando, hemos enviado un cuestionario a 591 organizaciones públicas, con una tasa de respuesta del 34%. Los resultados obtenidos permiten concluir que aunque la mayoría de los encuestados conoce el CMI, su utilización en dichas organizaciones es reducida y muy reciente.

El Cuadro de Mando Integral en Organizaciones Privadas Portuguesas: Un Análisis Descriptivo

La creencia de que los métodos existentes para evaluación del desempeño empresarial eran obsoletos y podían llevar a las empresas a tomar decisiones erróneas llevaron al desarrollo de sistemas de información y control de gestión que reflejen la evolución de los factores clave de éxito de naturaleza no financiera y/o cualitativa, como es el caso del Cuadro de Mando Integral. Así, con el objetivo de averiguar si conocen y están a adoptar el CMI, hemos enviado un cuestionario a 549 organizaciones privadas, con una tasa de respuesta del 28,2%. Los resultados obtenidos permiten concluir que aunque la mayoría de los encuestados conoce el CMI, su utilización en dichas organizaciones es reducida y muy reciente.

El Cuadro de Mando Integral en Organizaciones Públicas Portuguesas: Un Análisis Descriptivo

En el actual contexto de mayor responsabilidad y transparencia en la gestión pública, las organizaciones del sector público tienen presente la necesidad de mejorar la eficiencia en la aplicación de los recursos y la provisión de servicios a los usuarios. Ante esta situación, existe la necesidad de desarrollar sistemas de información y control de gestión que reflejen la evolución de los factores clave de éxito de naturaleza no financiera y/o cualitativa, como es el caso del Cuadro de Mando Integral (CMI). Así, con el objetivo de averiguar si conocen y están a adoptar el CMI, cuales las principales motivaciones para su aplicación y como está a ser implementado, hemos enviado un cuestionario a 591 organizaciones públicas, con una tasa de respuesta del 34%. Los resultados obtenidos permiten concluir que aunque la mayoría de los encuestados conoce el CMI, su utilización en dichas organizaciones es reducida y muy reciente.

Sistemas de comunicación por imagines para niños autistas en el comienzo de la trayectoria: análisis y re-diseño de un sistema

En la educación especial para autistas el método principal de la comunicación se hace con imágenes que hacen posible la comunicación entre profesores y alumnos. El gran problema de un niño autista es la enfermedad que afecta la comunicación del niño. A partir del analisis del sistema de comunicación vigente - Las cifras del Sistema de Comunicación (PEC) – se detectaron algunas inconsistencias en los símbolos utilizados, como son la falta de informidad y usabilidad visual. Así, este trabajo parte de la propuesta de cambiar, renovando el sistema. Nos proponemos a la creación de un conjunto de símbolos uniforme, coherente y convincente. Una vez que, desde el punto de vista del diseño y la ilustración, consideramos como esencial para la enseñanza del autista un establecimiento de determinada calidad en las imágenes e ilustraciones utilizadas en este universo. La investigación se centrará en el campo de la ilustración y el producto se sentará en el intento de reformular el sistema de comunicaciones implementada hoy en día, con el objetivo principal de hacer la comunicación fácil e inmediata entre los niños autistas, los profesores, padres y amigos. Es decir, buscamos la eficacia de comunicación entre el autista y los que los rodean.

Ventajas y aportaciones del cuadro de mando integral: un análisis bibliográfico

Este artículo tiene como objetivo identificar y analizar un conjunto de ventajas derivadas de la implementación del Cuadro de Mando Integral (CMI). Hemos recurrido a los datos obtenidos mediante una extensa revisión bibliográfica. Los resultados obtenidos indican que el CMI es más que un mero sistema de evaluación del desempeño, para constituirse en una verdadera herramienta de gestión estratégica capaz de clarificar y traducir la misión y estrategia organizacional, hacer posible la comunicación y el alineamiento estratégico así como el aprendizaje organizacional.