Towards Formal Interaction-Based Models of Grid Computing Infrastructures

Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC systems make their specification and verification a challenging issue. Although prior works have proposed formal approaches to the specification of GC systems, a precise account of the interaction model which underlies resource sharing has not been yet proposed. In this paper, we describe ongoing work aimed at filling in this gap. Our approach relies on (higher-order) process calculi: these core languages for concurrency offer a compositional framework in which GC systems can be precisely described and potentially reasoned about.Comment: In Proceedings DCM 2013, arXiv:1403.768

Exploring the impact of culturally and non culturally relevant texts on english reading comprehension: Case studies of two undergraduate students of an english language teaching program at a public university

Esta investigación se enfocó principalmente en explorar el impacto que tienen textos culturalmente familiares y no familiares en la comprensión de lectura de dos estudiantes adscritos a un programa de enseñanza del inglés en una universidad pública Colombiana. Estos dos participantes pasaron por un proceso de lectura de 3 textos culturalmente relevantes y 3 textos culturalmente no relevantes acompañados de un cuestionario de comprensión de lectura cada uno y un ejercicio oral previo y posterior a la lectura. Luego los participantes fueron entrevistados acerca de sus procesos de lectura y acerca de las impresiones que los textos y los cuestionarios les dejaron. Este análisis mostró que el hecho de que los textos incluyeran información culturalmente relevante influyó positivamente en la comprensión de lectura y en la actitud frente al ejercicio de lectura de los participantes. Esta investigación también generó algunos hallazgos relevantes acerca de la importancia de usar estrategias de lectura. A su vez, el análisis y los resultados de este estudio mostraron formas de evaluar la comprensión lectora de una manera no tradicional que generó una reflexión hacía una evaluación lectora alternativa.The present study aims mainly to investigate the impact that texts with cultural and non cultural relevant information have on the reading comprehension of two undergraduate learners of an English language teaching program at a Colombian public university. The two participants of this study went through a process of reading three culturally relevant texts (CRTs) and three non culturally relevant texts (NCRTs). They were assessed through some previous and post exercises along with some reading comprehension tests. Likewise, they were interviewed about some processes they applied when reading and they were asked about their impressions from the texts and the questionnaires. Data analysis showed that the participants’ reading comprehension and attitudes were positively affected by the fact that they were familiar with the information presented in the CRTs. This study also generated some relevant insights about the importance of using reading strategies. Moreover, this research also showed ways to assess reading comprehension in a non traditional way and still get valid results

Black Mirror: Cartografias da identidade na era multiscreen

Las nuevas tecnologías de la comunicación y la información han dado lugar a un orden global en el que nada parece quedar fuera del tejido-red digitalizado que define a la era multipantalla. En este escenario, la serie televisiva Black Mirror nos interpela como espectadores sobre las radicales transformaciones que la mediación tecnológica ha introducido en la conformación de nuestra identidad como sujetos sociales, desde la percepción del propio yo a las dinámicas sociales de interacción colectiva. Nosedive, el capítulo que da inicio a la que, hasta la fecha, es su última temporada, traza una incisiva cartografía de esas mutaciones, confrontándonos con los límites de un universo digital en el que toda nuestra existencia y nuestra relación con el mundo rinde culto absoluto a lo visual espectacularizado y se construye en una multitud creciente e interconectada de pantallas e interfaces. Así, el cristal negro y quebrado con el que Black Mirror inicia cada uno de sus episodios reclama que situemos nuestra mirada allí donde la luz de esas pantallas muestra su parte de sombra: allí donde, apagadas, se hacen espejo y nos muestran el reflejo en negativo de nuestro propio mundo.New information and communication technologies have given birth to a global order in which nothing seems to fall outside the digitalised tissue-network that is at the core of the multiscreen era. In this framework, the television series Black Mirror questions us, as viewers, about the radical transformations that technological mediation has introduced in the conformation of our identity as social subjects, from the perception of self to the social dynamics of collective interaction. Nosedive, the first chapter of the third and last season of the series to date, draws an incisive cartography of these mutations, facing us with the limits of a digital universe in which our entire existence and our relationship with the world pay absolute tribute to the new spectacle of the visual, and merge with a growing and interconnected multitude of screens and interfaces. Thus, the black, broken glass at the beginning of each episode of Black Mirror calls for our gaze to fall on there where the light of the screens show its shadowy part: there where, switched off, the screens become a mirror and give us back, as a negative, the reflection of our own world.As novas tecnologias da comunicação e informação têm levado a uma ordem global em que nada parece estar fora da rede do tecido digitalizado que define a era multi-screen. Neste cenário, a série de TV Black Mirror desafia-nos como espectadores sobre as transformações radicais que a mediação tecnológica tem introduzido na formação da nossa identidade como sujeitos sociais, desde a percepção da propia pessoa até as dinâmicas sociais de interação coletiva. Nosedive, o capítulo que começa aquela que, até à data, é sua última temporada, desenha uma cartografia incisiva dessas mutações,confrontando-nos com os limites de um universo digital, onde toda a nossa existência e nossa relação com o mundo rende culto ao visual espetacularizado, e é construído em uma multidão crescente e interconectada de ecrans e interfaces. Assim, o vidro preto e quebrado con o qual Black Mirror começa cada um dos seus episódios exige que o nosso olhar incida onde a luz desses ecrans exibe sua parte de sombra: là onde, apagadas, fazemse espelhos e nos mostram o reflexo em negativo do nosso próprio mundo

Caracterización de los estudiantes de educación media de las instituciones educativas distritales ubicadas en la Troncal Del Caribe, Sector Rural De Santa Marta; D.C.T.H.

El propósito del presente trabajo investigativo es caracterizar desde los aspectos demográficos, familiares, académicos, socio-económicos, afectivos y ambientales, a los estudiantes de educación media de tres instituciones educativas oficiales de la zona rural del Distrito de Santa Marta, sector Troncal del Caribe, esto se logró dentro de un diseño transaccional descriptivo. Es así como desde la aplicación de un cuestionario validado por la Asociación Colombiana de Universidades (ASCUN) y adaptado por los autores de la presente investigación, se analiza dicha información dando rasgos y características específicas de la población sujeto de investigación, generando una caracterización integral en la cual se describen aspectos relevantes en el avance investigativo en el ámbito educativo. Los resultados obtenidos con este estudio logran proporcionar información de gran valor para investigaciones de tipo curricular en cuanto a la pertinencia, y además, rediseñar políticas educativas sobre temas de inclusión, deserción y vinculación a la educación superior y posterior ingreso al mercado laboral

Estudio de técnicas de planificación dinámica de planes de ocio

Este proyecto, 'Olétrip', es la continuación de una versión anterior cuyos autores fueron Raquel Álvarez Hernández, Qiang Sun y YanYan Cheng. Nuestro objetivo en el proyecto es mejorar las recomendaciones de un sistema de planes de ocio usando diferentes algoritmos para calcular las rutas más óptimas con la ayuda de un validador personalizado. Los algoritmos nuevos implementados en la aplicación son los siguientes: • Algoritmo aleatorio: se implementó para ayudarnos a familiarizarnos con el código heredado del proyecto anterior, y posteriormente resultó útil para la implementación del algoritmo genético. • Algoritmo de primero el mejor (BFS): se usa para la búsqueda de la ruta más corta después de que el usuario haya especificado todos los detalles del viaje. • Algoritmo genético: este algoritmo se realizó con la idea de construir un plan óptimo, a pesar de saber que requiere de bastante tiempo y consumo de recursos... pero finalmente se optó por ese algoritmo para los viajeros que saben a qué ciudad quieren ir pero que no saben qué visitar. Se explicará las ventajas y desventajas que nos supone optar por un algoritmo u otro, el cómo se ha implementado cada uno de ellos y los cambios que han sido necesarios abordar con respecto a la anterior versión del proyecto. Incorporaremos a Olétrip un validador de planes que se encargará en la parte del backend de considerar la eficiencia que tiene un plan partiendo de unos requisitos que hemos definido. Será de gran importancia esta nueva funcionalidad de validación ya que los algoritmos implementados manejan una cantidad importante de planes y de esta manera nos ayuda a evaluar qué planes son más eficientes. La interfaz utilizada será la misma que en su anterior versión, incorporando una interfaz nueva que sirve para el recomendar de planes a los usuarios indecisos. También hemos incorporado un simulador de planes para los usuarios Admin que ayuda a la hora de implementar alguna funcionalidad nueva en la aplicación. De esta manera realizaremos una serie de evaluaciones con el usuario realizando un estudio de los distintos algoritmos, analizando así los resultados obtenidos y la satisfacción del usuario

Osteomielite crônica aguda da maxila. Apresentação de um caso pediátrico

A nine-year old female patient presented with a history of trauma to the upper central incisors. She received treatment for apicoforming with calcium hydroxide for a prolonged period, who after root canal obturation presented acute inflammation of the upper lip and buccal vestibule. Treatment included antimicrobial therapy, extensive surgical debridement under general anesthesia, apicoectomy of both incisors, and direct visual obturation of the canals and apical sealing of the teeth with gutta-percha. The anatomopathologic diagnosis was acute chronic osteomyelitis of the maxilla. One and a half years later, clinical absence of inflammatory signs and adequate healing of the bone tissue were observed. It was concluded that, although reports concerning chronic osteomyelitis of the maxillary bone are rare events, this type of infection should be always present at the time of the differential diagnosis for evaluating pediatric patients with a history of dentoalveolar trauma and inflammatory processes in the maxillofacial region.Se presentó el caso de una paciente femenina de 9 años con historia de traumatismo a nivel de incisivos centrales superiores, por lo cual recibió tratamiento para apicoformación con hidróxido de calcio durante un periodo prolongado, que luego de realizarle la obturación de los conductos radiculares presentó un cuadro de inflamación aguda en labio superior y vestíbulo bucal. El tratamiento incluyó terapia antimicrobiana, desbridamiento quirúrgico amplio bajo anestesia general, apicectomía de ambos incisivos, obturación a visión directa de los conductos y sellado apical de los dientes con gutapercha. El diagnóstico anatomopatológico fue el de osteomielitis crónica agudizada del maxilar. Año y medio después se observó ausencia clínica de signos inflamatorios y adecuada cicatrización del tejido óseo. Se concluyó que, aunque los reportes de osteomielitis crónica del hueso maxilar son escasos, debe estar presente dentro del diagnóstico diferencial cuando se evalúan pacientes en edad pediátrica con historia de traumatismo dentoalveolar y procesos inflamatorios en la región maxilofacial.Apresentamos o caso de uma paciente feminina de 9 anos de idade com histórico de trauma nos incisivos centrais superiores, para a qual ela recebeu tratamento para apicoformação com hidróxido de cálcio por um período prolongado, que após a obturação do canal radicular apresentou inflamação aguda do lábio superior e vestíbulo vestibular. O tratamento incluiu terapia antimicrobiana, desbridamento cirúrgico extensivo sob anestesia geral, apicoectomia de ambos os incisivos, obturação visual direta dos canais e vedação apical dos dentes com guta-percha. O diagnóstico patológico foi uma osteomielite crônica aguda da maxila. Um ano e meio depois, houve uma ausência clínica de sinais inflamatórios e uma cicatrização adequada do tecido ósseo. Concluiu-se que, embora os relatos de osteomielite crônica do osso maxilar sejam escassos, ela deveria estar presente no diagnóstico diferencial ao avaliar pacientes pediátricos com histórico de trauma dentoalveolar e processos inflamatórios na região maxilofacial

Parallel JavaScript Execution in Web Navigation Sequences

© 2015 IEEE. This version of the paper has been accepted for publication. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. The final published paper is available online at: https://doi.org/0.1109/WI-IAT.2015.165.[Abstract]: Web automation applications are widely used for different purposes such as B2B integration and automated testing of web applications. Most current systems build the automatic web navigation component by using the APIs of conventional browsers. This approach suffers performance problems for intensive web automation tasks which require real time responses. Other systems use the approach of creating custom browsers specially designed for web automation. Those browsers can develop some improvements based in the peculiarities of the web automation tasks. In this paper, we present a novel optimization technique that allows the parallel execution of the JavaScript while the navigation component loads the web page. This technique is based in the analysis of the interactions between the scripts during the first loading of the web page, generating some useful information that will be saved and used in the next executions. The tests executed with real web sources show that the scripts contained in the HTML documents can be evaluated concurrently and the navigation component loads the web pages faster when the scripts are executed in parallel

A Custom Browser Architecture to Execute Web Navigation Sequences

This version of the article has been accepted for publication, after peer review and is subject to Springer Nature’s AM terms of use, but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: https://doi.org/10.1007/978-3-319-26187-4_11.[Abstract]: Web automation applications are widely used for different purposes such as B2B integration and automated testing of web applications. Most current systems build the automatic web navigation component by using the APIs of conventional browsers. This approach suffers performance problems for intensive web automation tasks which require real time responses and/or a high degree of parallelism. Other systems use the approach of creating custom browsers to avoid some of the tasks of conventional browsers, but they work like them, when building the internal representation of the web pages. In this paper, we present a complete architecture for a custom browser able to efficiently execute web navigation sequences. The proposed architecture supports some novel automatic optimization techniques that can be applied when loading and building the internal representation of the pages. The tests performed using real web sources show that the reference implementation of the proposed architecture runs significantly faster than other navigation components

AwarNS: A framework for developing context-aware reactive mobile applications for health and mental health

In recent years, interest and investment in health and mental health smartphone apps have grown significantly. However, this growth has not been followed by an increase in quality and the incorporation of more advanced features in such applications. This can be explained by an expanding fragmentation of existing mobile platforms along with more restrictive privacy and battery consumption policies, with a consequent higher complexity of developing such smartphone applications. To help overcome these barriers, there is a need for robust, well-designed software development frameworks which are designed to be reliable, power-efficient and ethical with respect to data collection practices, and which support the sense-analyse-act paradigm typically employed in reactive mHealth applications. In this article, we present the AwarNS Framework, a context-aware modular software development framework for Android smartphones, which facilitates transparent, reliable, passive and active data sampling running in the background (sense), on-device and server-side data analysis (analyse), and context-aware just-in-time offline and online intervention capabilities (act). It is based on the principles of versatility, reliability, privacy, reusability, and testability. It offers built-in modules for capturing smartphone and associated wearable sensor data (e.g. IMU sensors, geolocation, Wi-Fi and Bluetooth scans, physical activity, battery level, heart rate), analysis modules for data transformation, selection and filtering, performing geofencing analysis and machine learning regression and classification, and act modules for persistence and various notification deliveries. We describe the framework’s design principles and architecture design, explain its capabilities and implementation, and demonstrate its use at the hand of real-life case studies implementing various mobile interventions for different mental disorders used in clinical practice

Etapas históricas do processo de formação na especialidade de estomatologia geral abrangente na província de Guantánamo

Introduction: throughout its history, the training of stomatologists in Cuba has been going through different study plans, but there is no doubt that the most radical changes are generated after the triumph of the Cuban Revolution, when there is a democratization of access to careers, the development of postgraduate education, especially the specialization and the gradual transition of the conception of the health disease process. Objective: to present the consolidation of the training process in the specialty of General Comprehensive Stomatology in Guantanamo province. Development: a historical analysis of the training process of the Specialty of General Comprehensive Stomatology in Guantánamo was carried out considering the relevance of this specialty in the dental care system in Cuba. The following indicators are taken into account: training model, form of entry into the training process, training scenario and stomatological care model. In the article the historical milestones were established that allowed to delimit three stages of the formative process in the specialty of Integral General Dentistry, the historical regularities and description of each stage and, finally, the historical tendency that prevailed in the process was raised. Conclusions: by comprehensively analyzing the stages of the training process in the specialty of EGI was established as a historical trend: the training process in the specialty of General Comprehensive Stomatology has gone from a biologicist and curative model, a fragmented care practice, and a selective entrance of the stomatologists, towards a biopsychosocial model, based on health promotion and disease prevention, but it has maintained in its study plans the traditional approach with the objectives as governing categories.Introducción: a lo largo de su historia la formación de estomatólogos en Cuba transita por diferentes planes de estudios pero no hay dudas que los cambios más radicales se generan a partir del triunfo de la Revolución Cubana, cuando se produce una democratización del acceso a la carrera, el desarrollo de la educación de posgrado, sobre todo de la especialización y el tránsito gradual de la concepción del proceso salud enfermedad. Objetivo: exponer la consolidación del proceso de formación en la especialidad de Estomatología General Integral en provincia Guantánamo. Desarrollo: se realizó un análisis histórico del proceso formativo de la Especialidad de Estomatología General Integral en Guantánamo considerando la relevancia que tiene esa especialidad en el sistema de atención estomatológica en Cuba. Se tienen en cuenta los siguientes indicadores: modelo formativo, forma de ingreso al proceso formativo, escenario de formación y modelo de atención estomatológica. Resultados: en el artículo se establecieron los hitos históricos que permitieron delimitar tres etapas del proceso formativo en la especialidad de Estomatología General Integral, las regularidades históricas y descripción de cada etapa y, finalmente, se planteó la tendencia histórica que prevaleció en el proceso. Conclusiones: al analizar de manera integral las etapas del proceso de formación en la especialidad de EGI se estableció como tendencia histórica: el proceso de formación en la especialidad de Estomatología General Integral ha transitado desde un modelo biologicista y curativo, de una práctica asistencial fragmentada, y un ingreso selectivo de los estomatólogos, hacia un modelo biopsicosocial, basado en la promoción de salud y la prevención de enfermedades, pero ha mantenido en sus planes de estudio el enfoque tradicional con los objetivos como categorías rectoras.Introdução: Ao longo de sua história a formação de odontologia em Cuba passa por currículos diferentes, mas não há dúvida de que as mudanças mais radicais são gerados a partir do triunfo da Revolução Cubana, quando um acesso democratização ocorre para a corrida , o desenvolvimento do ensino de pós-graduação, especialmente a especialização e a transição gradual da concepção do processo de doença em saúde. Objetivo: apresentar a consolidação do processo de formação na especialidade de Estomatologia Geral Geral na província de Guantánamo. Desenvolvimento: uma análise histórica do processo de formação da especialidade de estomatologia geral abrangente em Guantánamo foi realizada considerando a relevância desta especialidade no sistema de atendimento odontológico em Cuba. Os seguintes indicadores são levados em consideração: modelo de treinamento, forma de entrada no processo de treinamento, cenário de treinamento e modelo de atendimento estomatológico. No artigo, os marcos históricos que ajudaram a determinar três etapas do processo educativo na especialidade de Estomatologia Integral Geral resolvido, regularidades históricas e descrição de cada fase e, finalmente, a tendência histórica que prevaleceu no processo foi levantada. Conclusões: para analisar de forma abrangente os estágios de formação na especialidade de EGI foi estabelecida como uma tendência histórica: o processo de formação na especialidade de Integral Odontologia geral passou de biologicista e modelo curativo da prática do cuidado fragmentado, e uma entrada seletiva dos estomatologistas, em direção a um modelo biopsicossocial, baseado na promoção da saúde e na prevenção de doenças, mas manteve em seus planos de estudo a abordagem tradicional com os objetivos como categorias reguladoras