Semidefinite programming relaxations for quantum correlations

Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices. Over the last two decades, they have become an indispensable tool in quantum information science. Many otherwise intractable fundamental and applied problems can be successfully approached by means of relaxation to a semidefinite program. Here, we review such methodology in the context of quantum correlations. We discuss how the core idea of semidefinite relaxations can be adapted for a variety of research topics in quantum correlations, including nonlocality, quantum communication, quantum networks, entanglement, and quantum cryptography.Comment: To be submitted to Reviews of Modern Physic

Perceptions of ICT use in rural Brazil: Factors that impact appropriation among marginalized communities

This study of digital inclusion among the rural poor examines how residents of remote mountain communities in Brazil perceive the use of information and communication technologies (ICTs). It analyzes social factors that impact ICT appropriation and the behaviors and attitudes that advance digital literacy among marginalized rural populations. The authors conducted factor analysis and logistic regressions to survey data collected. Results confirm the presence of a gender divide in ICT adoption. Women were more likely to perceive that ICT use brings social benefits to the community, and considered that ICTs provide better opportunities for the young.Este estudio sobre inclusión digital entre los pobres en comunidades rurales examina cómo es que los residentes de comunidades serranas remotas en Brasil perciben el uso de la las tecnologías de la información y comunicación (TICs). Analiza los factores sociales que impactan la apropiación de TIC, así como el comportamiento y las actitudes que permiten el avance de la alfabetización digital en poblaciones rurales marginalizadas. Los autores realizaron un análisis factorial y regresiones logísticas de la información recolectada a través de encuestas. Los resultados confirman la presencia de una brecha de género en la adopción de TIC. Las mujeres son más propensas a percibir que el uso de ICT trae beneficios sociales para la comunidad, y también consideraron que las TICs proporcionan mejores oportunidades para los jóvenes

Test driven development :fortalezas y debilidades

Test Driven Development (Desarrollo Dirigido por Pruebas) es una disciplina de diseño y programación, donde cada nueva línea de código que escribe un programador es en respuesta a una prueba que ha fallado, también escrita por el programador. Sin ser definida como una metodología de pruebas se apoya fuertemente en las pruebas unitarias y también en pruebas de aceptación, basándose en prácticas formalizadas por Extreme Programming. Ha despertado gran interés tanto en ámbitos académicos como de la industria, encontrándose en la literatura investigaciones sobre su aplicación, aunque aún en limitado número, ya sea mediante experimentos controlados o reportes acerca de su práctica en la industria. En el presente artículo se abordará Test Driven Development en general, el dominio de su aplicación y se analizarán ventajas y desventajas de su adopción

Diseño de un programa de estudio para curso optativo en Biotecnología vegetal para estudiantes de preuniversitario

To introduce the plant biotechnology in the curriculum of Vocational Pre-university Institutes of Sciences (IPVCE), increase the culture of the students in this specialty and motivate them to related careers, this study aimed to design a curriculum for the elective course in plant biotechnology. Starting from a diagnostic process, the methodology for program design was based primarily on the principle of conscious assimilation of creative dialectical form and implementation of participatory techniques and independent work as dialectical foundation rector. Formative objectives were defined and the forming of research skills in students is pursued. A program for the elective course in plant biotechnology comprising theoretical and practical activities as well as components of research methodology was designed. Students transiting through six levels at which they acquire skills from investigative work in the tissue culture laboratory (Biofactory). In this, a coherent system for the production, teaching and research as well as a methodology able to stay motivation and assimilation of the basic theory for biotechnology from the knowledge of other courses is established. The results of the implementation of the program have been satisfactory. Key words: biology, electives courses, research skillsLos Institutos Preuniversitarios Vocacionales de Ciencias Exactas (IPVCE) son centros escolares de la enseñanza preuniversitaria. Para introducir la Biotecnología vegetal en el programa de estudio de los estudiantes, aumentar la cultura sobre esta especialidad y motivarlos hacia carreras relacionadas este trabajo tuvo como objetivo diseñar un programa para el curso optativo en Biotecnología vegetal. A partir de un proceso de diagnóstico, la metodología para el diseño del programa se basó fundamentalmente en el principio de la asimilación consciente de forma dialéctico creativa así como la aplicación de técnicas participativas y de trabajo independiente como fundamento dialéctico rector. Se definieron objetivos formativos y se persiguió la formación de habilidades investigativas en los alumnos. Se diseñó un programa para el curso optativo en Biotecnología vegetal que comprende actividades teóricas y prácticas así como componentes de metodología de la investigación. Los estudiantes transitan por seis niveles en los cuales adquieren habilidades investigativas a partir del trabajo en el laboratorio de cultivo de tejidos (Biofábrica). En este se establece un sistema coherente para la producción, la docencia y la investigación así como una metodología de trabajo capaz de mantener la motivación y la asimilación de la teoría básica para la biotecnología a partir de los conocimientos de otras asignaturas. Los resultados de la aplicación del programa han sido satisfactorios. Palabras clave: biología, cursos optativos habilidades investigativa

Especificación de un marco de pruebas asociado a Genexus. con adaptación de funcionalidades de FIT

El software presenta una vertiginosa tendencia hacia la ubicuidad. En la medida que los sistemas informáticos adquieren un rol cada vez más relevante se ha vuelto imprescindible que posean la máxima calidad, así como la habilidad de cumplir los requerimientos que se les hubieran establecido. Para obtener confianza en que el software trabajará como es debido se lo debe evaluar. Esta evaluación, especialmente dificultosa debido a que el software es discreto, intangible, invisible e interdependiente, se ha convertido en una disciplina crítica dentro de la Ingeniería de Software y es parte esencial de cualquier proceso de desarrollo; debiendo realizarse con la mayor eficacia (para detectar el mayor número de problemas) y con la mayor eficiencia (para disminuir su costo). Una parte importante del software creado en nuestro medio se desarrolla conGeneXus, herramienta de especificación de sistemas de información que permite generar y mantener bases de datos y código, apoyada en una metodología incremental e iterativa. GeneXus captura los requerimientos a partir de las visiones de los usuarios, modelando la realidad mediante un conjunto de instancias de objetos tipos que almacena en una base de conocimiento. Provee los mecanismos de síntesis e inferencia capaces de construir y mantener bases de datos óptimas y los programas de aplicación, minimizando el impacto de los cambios. Sin embargo, en el área de pruebas, GeneXus no brinda actualmente funcionalidades específicas. El Framework for Integrated Tests (FIT), por otra parte, propone una metodología para mejorar la comunicación de los requerimientos, mediante ejemplos representados de forma tabular que simultáneamente pueden utilizarse para probar el software. Sin embargo, sus ventajas se diluyen rápidamente al crecer la cantidad de requerimientos y ante el impacto de los cambios.En este trabajo se realiza un estudio del estado del arte en lo referente a las pruebas, procesos de pruebas en las metodologías ágiles, automatización de las pruebas unitarias (XUnit), FIT y GeneXus, con el fin de elaborar la especificación inicial de un marco de pruebas unitarias asociado a GeneXus para probar los programas producidos por instancias de sus objetos tipo, utilizando funcionalidades inspiradas en aquellas ofrecidas por FIT. El marco para pruebas que se propone se apoya en GeneXus para asegurar la portabilidad de los casos de prueba, minimizar el impacto de los cambios y crear el código necesario para ejecutar las pruebas en el lenguaje de destino. Brinda un marcode definición y ejecución de pruebas unitarias automatizadas, en un ámbito donde no existe actualmente tal posibilidad y otorga un mecanismo que posibilita la aplicación práctica de funcionalidades de FIT

Extended-spectrum β-lactamases, transferable quinolone resistance, and virulotyping in extra-intestinal E. coli in Uruguay

Introduction: To characterize extended-spectrum β-lactamases (ESBLs) and plasmid-mediated quinolone resistance (PMQR) genes in Escherichia coli isolates obtained from extra-intestinal samples in three Uruguayan hospitals. Methodology: Fifty-five ESBL-producing E. coli isolates were studied. Virulence genes, ESBLs, and PMQR genes were detected by polymerase chain reaction. ESBL-producing isolates were compared by pulsed-field gel electrophoresis. Multi-locus sequence typing was also performed on 13 selected isolates. Results: Thirty-seven isolates harbored blaCTX-M-15 (67.3%), eight blaCTX-M-2 (14.6%), five blaCTX-M-14 (9.1%), three carried both blaCTX-M-2 and blaCTX-M-14, one blaCTX-M-9, and one blaCTX-M-8. Among the CTX-M-15 producers, 92% belonged to sequence types ST131 and ST405, and carried aac(6’)Ib-cr as well. Isolates harboring blaCTX-M-2, blaCTX-M-14, blaCTX-M-9, or blaCTX-M-8 were found to be genetically unrelated. Conclusions: The successful dissemination of CTX-M-15-producing E.coli isolates seems to be linked to the spreading of high-risk clones and horizontal gene transfer. A trade-off between carrying more antibiotic resistance and less virulence-related genes could partially account for the evolutionary advantages featured by successful clones.Fil: Vignoli, Rafael. Universidad de la República; UruguayFil: García Fulgueiras, Virginia. Universidad de la República; UruguayFil: Cordeiro, Nicolás F.. Universidad de la República; UruguayFil: Bado, Inés. Universidad de la República; UruguayFil: Seija, Verónica. Universidad de la República; Uruguay. Hospital Pasteur de Montevideo; UruguayFil: Aguerrebere, Paula. Universidad de la República; UruguayFil: Laguna, Gabriel. Universidad de la República; UruguayFil: Araújo, Lucía. Universidad de la República; UruguayFil: Bazet, Cristina. Universidad de la República; UruguayFil: Gutkind, Gabriel Osvaldo. Universidad de Buenos Aires. Facultad de Farmacia y Bioquímica; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay; ArgentinaFil: Chabalgoity Rodríguez, José Alejandro. Universidad de la República; Urugua

Proyecto GxUnit

El objetivo del proyecto GxUnit es la construcción de una herramienta para la automatización de pruebas unitarias asociada a GeneXus. En este informe se expone acerca de dicho proyecto y de los productos resultantes de dos procesos de desarrollo independientes y paralelos que dieron lugar a las versiones iniciales de la herramienta, llevados adelante por dos grupos de estudiantes del curso “Proyecto de Ingeniería de Software 2007”, de la Facultad de Ingeniería de la Universidad de la República del Uruguay, para los cuales los autores de este informe actuamos en el rol de Clientes. Dichas versiones se distinguen con las denominaciones GxUnit1 y GxUnit2The goal of GxUnit project is the construction of an automatization tool for unit proofs associated to GeneXus. Such project is exposed in this paper, also the products obtained from independent and paralel development processes that correspond to the initial versions of the tool, made by two student groups attendees of the “Software Engineering Project 2007” dictated by Facultad de Ingeniería de la Universidad de la República del Uruguay, where the authors played de Customer role. Both versions are distinguished by the denominations of GxUnit1 and GxUnit2.Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Proyecto GxUnit

El objetivo del proyecto GxUnit es la construcción de una herramienta para la automatización de pruebas unitarias asociada a GeneXus. En este informe se expone acerca de dicho proyecto y de los productos resultantes de dos procesos de desarrollo independientes y paralelos que dieron lugar a las versiones iniciales de la herramienta, llevados adelante por dos grupos de estudiantes del curso “Proyecto de Ingeniería de Software 2007”, de la Facultad de Ingeniería de la Universidad de la República del Uruguay, para los cuales los autores de este informe actuamos en el rol de Clientes. Dichas versiones se distinguen con las denominaciones GxUnit1 y GxUnit2The goal of GxUnit project is the construction of an automatization tool for unit proofs associated to GeneXus. Such project is exposed in this paper, also the products obtained from independent and paralel development processes that correspond to the initial versions of the tool, made by two student groups attendees of the “Software Engineering Project 2007” dictated by Facultad de Ingeniería de la Universidad de la República del Uruguay, where the authors played de Customer role. Both versions are distinguished by the denominations of GxUnit1 and GxUnit2.Workshop de Ingeniería de Software y Bases de Datos (WISBD)Red de Universidades con Carreras en Informática (RedUNCI

Climatological Behavior of Precipitating Clouds in the Northeast Region of Brazil

This study aims to analyze the climatological classification of precipitating clouds in the Northeast of Brazil using the radar on board the Tropical Rainfall Measuring Mission (TRMM) satellite. Thus, for this research a time series of 15 years of satellite data (period 1998–2012) was analyzed in order to identify what types of clouds produce precipitation estimated by Precipitation Radar (PR) and how often these clouds occur. From the results of this work it was possible to estimate the average relative frequency of each type of cloud present in weather systems that influence the Northeast of Brazil. In general, the stratiform clouds and shallow convective clouds are the most frequent in this region, but the associated rainfall is not as abundant as precipitation caused by deep convective clouds. It is also seen that a strong signal of shallow convective clouds modulates rainfall over the coastal areas of Northeast of Brazil and adjacent ocean. In this scenario, the main objective of this study is to contribute to a better understanding of the patterns of cloud types associated with precipitation and building a climatological analysis from the classification of clouds