Projeto Eternizar-te: arte na prevenção

Anais do 35º Seminário de Extensão Universitária da Região Sul - Área temática: SaúdeConsiderando a atual condição de saúde da população brasileira, verificada pela Pesquisa Nacional de Saúde em 2013, entende-se a necessidade de atuação em relação as doenças crônicas não transmissíveis – pois também possuem influência de fatores de saúde modificáveis. Por isso, o Projeto de Extensão Eternizar-te, da Universidade Federal da Integração Latino Americana (UNILA), procura influenciar nesse cenário através da promoção de saúde e prevenção de doenças cardiovasculares entre crianças e adolescentes, baseados em uma metodologia ativa e técnica de ​ clown ​ . O projeto incentiva, através da brincadeira, a adoção de um estilo de vida e hábitos salutogênicos, como com a prática de exercícios físicos e alimentação equilibrada. Assim, através das crianças, as famílias e comunidades podem aperfeiçoar o seu bem-estar físico, social e menta

Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

Designing scalable concurrent objects, which can be efficiently used on multicore processors, often requires one to abandon standard specification techniques, such as linearizability, in favor of more relaxed consistency requirements. However, the variety of alternative correctness conditions makes it difficult to choose which one to employ in a particular case, and to compose them when using objects whose behaviors are specified via different criteria. The lack of syntactic verification methods for most of these criteria poses challenges in their systematic adoption and application. In this paper, we argue for using Hoare-style program logics as an alternative and uniform approach for specification and compositional formal verification of safety properties for concurrent objects and their client programs. Through a series of case studies, we demonstrate how an existing program logic for concurrency can be employed off-the-shelf to capture important state and history invariants, allowing one to explicitly quantify over interference of environment threads and provide intuitive and expressive Hoare-style specifications for several non-linearizable concurrent objects that were previously specified only via dedicated correctness criteria. We illustrate the adequacy of our specifications by verifying a number of concurrent client scenarios, that make use of the previously specified concurrent objects, capturing the essence of such correctness conditions as concurrency-aware linearizability, quiescent, and quantitative quiescent consistency. All examples described in this paper are verified mechanically in Coq.Comment: 18 page

Cocoa Yield Development of Different Sites, Varieties, Production Systems and Years, in Alto Beni, Bolivia

One of the most essential limiting factors of cocoa (Theobroma cacao L.) productivity worldwide is pests and diseases. Each of the major production regions has its specific pests and diseases. Reported yield losses range from minor to almost 100 per cent. In Alto Beni, located in the Amazonian watershed of the department La Paz, Bolivia, the Research Institute of Organic Agriculture (FiBL) and its local partners are addressing several problems of cocoa producers using a participatory technology development approach. Problems were identified in a participatory way and are, in order of priority, i) to reduce the incidence of pests and diseases, mainly the cocoa mirid (Monalonion dissimulatum) and Frosty Pod Rot (Moniliophthora roreri); ii) to evaluate the productivity of different cocoa varieties (local selections, introduced clones), and iii) to document the management practices and plantation layouts of high yielding cocoa farmers. In order to develop novel biological pest control measures, both the knowledge of cocoa yield development in the course of the harvest period, as well as the dynamics of pests and diseases are of great interest. Data from three different research activities of the mentioned project are analysed for yield development, the appearance, and the incidence of pests and diseases, where available. The research data are from: a) On-farm trials in multiple locations which were established in 2004. The performance of 16 cocoa varieties has been assessed for 3 years (2010–2012). b) Four high yielding cocoa farmers’ fields (2012 only). c) A long-term field experiment assessing the sustainability of five cocoa production systems (2011 and 2012). The trial investigates the influence of monocultures and different agroforestry systems under organic and conventional management on the yield development, among other agronomic, economic and environmental parameters

Openness and Total Factor Productivity: Test of Temporal Coincidence of the Structural Breaks for Latin America and the Caribbean

We study the existence of structural break in TFP and in several indicators of openness for a sample of 20 Latin American and Caribbean economies for the period 1960-2005. For this purpose, it has been used the test of Zivot and Andrews (1992) on series of TFP computed from a development accounting exercise (Hsieh and Klenow, 2010) and alternative measures of openness with different characters: openness policies, openness as result, and measure of deviation (Wacziarg, 2001). The accumulation of cases, both potential and significant breaks in TFP are in line with the Oil Crisis of 1973/4 and 1979/80, and the Mexican Crisis of 1982. The cases of breaks on TFP during the consolidation process of openness in the region (1985-95) are not significant. Shocks in openness seem to have effects on the rate of growth of TFPApertura, Productividad Total de los Factores, America Latina y el Caribe

Sistemas de Garantía participativo en Bogotá

In Colombia, there are several organizations developing agro-ecological processes within the framework of territorial ownership, food sovereignty, fair trade and environmental and cultural heritage conservation. The goal of these rural, indigenous and urban farmers' organizations is to provide good quality food, as well as other products, both for local consumption and for consumption in urban centers. The text it's a quick view of the status of the PGS in colombia

A tight MIP formulation of the unit commitment problem with start-up and shut-down constraints

This paper provides the convex hull description of the single thermal Unit Commitment (UC) problem with the following basic operating constraints: (1) generation limits, (2) start-up and shut-down capabilities, and (3) minimum up and down times. The proposed constraints can be used as the core of any unit commitment formulation to strengthen the lower bound in enumerative approaches. We provide evidence that dramatic improvements in computational time are obtained by solving the self-UC problem and the network-constrained UC problem with the new inequalities for different case studies

Students emotions in the ELT classroom

During our practice and observations carried out in Colegio Técnico y Académico Celestin Freinet, we were able to identify the difficulties that the students encounter at the moment of presenting an oral production activity in front of the class, reducing the amount of speaking and the quality of it, making more difficult for the students and the teacher to share their ideas, increasing the frustration that the students might feel. This proposal emerged after the experience that one of the researchers had in a previous school in which some of the students from tenth grade felt overwhelmed by their emotions and were not able to complete their oral presentations in front of the class. The students let the teachers know that fear and shame were behind the way they felt and how the previously mentioned emotions and feelings prevented them from speaking in front of the class

Dengue Virus Genome Uncoating Requires Ubiquitination

The process of genome release or uncoating after viral entry is one of the least-studied steps in the flavivirus life cycle. Flaviviruses are mainly arthropod-borne viruses, including emerging and reemerging pathogens such as dengue, Zika, and West Nile viruses. Currently, dengue virus is one of the most significant human viral pathogens transmitted by mosquitoes and is responsible for about 390 million infections every year around the world. Here, we examined for the first time molecular aspects of dengue virus genome uncoating. We followed the fate of the capsid protein and RNA genome early during infection and found that capsid is degraded after viral internalization by the host ubiquitin-proteasome system. However, proteasome activity and capsid degradation were not necessary to free the genome for initial viral translation. Unexpectedly, genome uncoating was blocked by inhibiting ubiquitination. Using different assays to bypass entry and evaluate the first rounds of viral translation, a narrow window of time during infection that requires ubiquitination but not proteasome activity was identified. In this regard, ubiquitin E1-activating enzyme inhibition was sufficient to stabilize the incoming viral genome in the cytoplasm of infected cells, causing its retention in either endosomes or nucleocapsids. Our data support a model in which dengue virus genome uncoating requires a nondegradative ubiquitination step, providing new insights into this crucial but understudied viral process. IMPORTANCE: Dengue is the most significant arthropod-borne viral infection in humans. Although the number of cases increases every year, there are no approved therapeutics available for the treatment of dengue infection, and many basic aspects of the viral biology remain elusive. After entry, the viral membrane must fuse with the endosomal membrane to deliver the viral genome into the cytoplasm for translation and replication. A great deal of information has been obtained in the last decade regarding molecular aspects of the fusion step, but little is known about the events that follow this process, which leads to viral RNA release from the nucleocapsid. Here, we investigated the fate of nucleocapsid components (capsid protein and viral genome) during the infection process and found that capsid is degraded by the ubiquitin-proteasome system. However, in contrast to that observed for other RNA and DNA viruses, dengue virus capsid degradation was not responsible for genome uncoating. Interestingly, we found that dengue virus genome release requires a nondegradative ubiquitination step. These results provide the first insights into dengue virus uncoating and present new opportunities for antiviral intervention.Fil: Byk, Laura Andrea. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Iglesias, Nestor Gabriel. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: de Maio, Federico Andres. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Gebhard, Leopoldo German. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; ArgentinaFil: Rossi, Mario. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigación en Biomedicina de Buenos Aires - Instituto Partner de la Sociedad Max Planck; ArgentinaFil: Gamarnik, Andrea Vanesa. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; Argentin

Reflexão sobre os antecedentes e desafios da orientação escolar na Colombia

This article of reflection intends to describe the main historical events that gave rise to school guidance in Colombia, it’s functions, the competencies it must have and the main challenges it currently faces, such as: the high number of students it must attend and the complexity of students’ problems that school counselors must address within your work. To respond to these challenges, a proposal is proposed to improve the coverage of school guidance service that includes the development of a new school guidance class and the gathering of an interdisciplinary school guidance team in each educative institution.El presente artículo de reflexión busca describir los principales acontecimientos históricos que dieron origen a la orientación escolar en Colombia, sus funciones, las competencias que debe tener y los principales retos que tiene en la actualidad como son: el elevado número de estudiantes que debe atender y la complejidad de los problemas que debe abordar dentro de su labor. Para dar respuesta a estos retos se plantea una propuesta para mejorar la cobertura del servicio que incluye el desarrollo de una nueva asignatura de orientación escolar y la conformación de equipos de orientación escolar interdisciplinarios en cada institución educativa.Este artigo de reflexão procura descrever os principais acontecimentos históricos que deram origem à orientação escolar na Colômbia, suas funções, as competências que deve ter e os principais desafios que enfrenta atualmente, tais como: o elevado número de alunos que deve frequentar e a complexidade dos problemas que você deve abordar em seu trabalho. Para responder a estes desafios, propõe-se a melhoria da cobertura do serviço que inclui o desenvolvimento de uma nova disciplina de aconselhamento escolar e a formação de equipas interdisciplinares de aconselhamento escolar em cada instituição de ensino

Propuesta un plan de mejoramiento continuo para el proceso de producción de agua de la empresa distribuciones brisas del libertador por medio de la identificación de puntos de control críticos y de la aplicación de una herramienta estadística

Distribuciones Brisas del Libertador es una empresa pequeña dedicada a la producción y comercialización de bebidas no alcohólicas, que pretende crecer y afianzarse en el mercado, el cual exige a las organizaciones ser competitivas, y la única manera de lograrlo es satisfaciendo las necesidades y demandas de su entorno ofreciendo productos de calidad, para lo cual se hace importante establecer metas que le permitan controlar las condiciones en las cuales elabora sus productos, lo que al final conduce al mejoramiento continuo de la organización. En la empresa la mayor parte de las ventas provienen del proceso de elaboración de agua, en donde se producen bolsas de aguas aptas para el consumo humano en sus diferentes presentaciones (300 c.c., 600 c.c. y 5 lts.). Ésta cuenta con un ritmo de producción alto, se producen en promedio 640 pacas de 300 c.c., 738 pacas de 600 c.c. y 565 pacas de 5 lts.2, datos considerables dada la estructura del proceso, el cual es su mayoría es manual y son pocas las estaciones en las que se realiza; una estación por cada producto. En virtud de lo anterior el plan de mejora es una herramienta que le permite a la organización identificar los problemas presentados, consiguiendo con esto mejorar la relación con sus clientes y por ente conseguir mayores beneficios para la empresa. De igual forma, con la implementación de un plan de mejora continua se podrán controlar los procedimientos del proceso de producción de agua mediante el monitoreo continuo, en base a herramientas estadísticas, lo cual permitirá generar nuevas estrategias para la búsqueda de soluciones a los problemas e inconvenientes que se puedan presentar y prevenir los problemas futuros, así como tener un mayor control de los productos no conformes y por ende de los costos generados (ver tablas 1 y 2), y además generar mayores beneficios para la empresa. Mediante el desarrollo de este proyecto de investigación se quiere lograr un mejor desempeño de la empresa Distribuciones Brisas Del Libertador, reduciendo costos y fortaleciendo las ventajas competitivas, permitiendo de esta manera incrementar la confianza y satisfacción de los clientes y asegurando la permanencia de la empresa en el mercado. Es así como la realización y éxito del presente estudio permitirá la acumulación de conocimientos que benefician a la universidad, la región y el entorno en la medida en que se busca generar soluciones a los problemas de las empresas de la región, lo cual genera una integración con el entorno puesto que se refleja el interés y las ganas por el desarrollo económico y social del mismo y de la región, dándole credibilidad a la misión y visión tanto de la Universidad como del programa de Ingeniería Industrial, sin dejar de lado que se da a conocer también la calidad de profesionales que se forman en dicha institución