Search

Cuadernos de Debate 18 Los impactos generados en el mundo por la pandemia, producto de la COVID-19, inducen a la permanente búsqueda de información actualizada y especializada, que pueda compartirse y debatirse entre los integrantes del Sistema Nacional de Ciencia, Tecnología e Innovación. En esta oportunidad, conversar sobre la política científica como temática de cierre de los foros del año 2020, se convierte no solo en un cierre, sino también en un reto. La política vista desde la necesaria participación de los gobiernos para dar respuesta oportuna en tiempos de pandemia, donde los dilemas son cada vez mayores y al mismo tiempo reconocer el trayecto por el que esta política ha debido pasar a lo largo de los años de la historia de la institucionalidad científica en Venezuela. El desafío es cada vez mayor, dada la dinámica social y política del país, su contexto económico y la pandemia amenazante. Formular una política científica en este momento particular de nuestro contexto nacional, es la meta que tenemos por delante los que mantenemos la mirada en una ciencia y tecnología orientada hacia la transformación de la sociedad venezolana. La apuesta por articular y generar los mecanismos para conectar necesidades y demandas, proyectos y soluciones, percepciones y aspiraciones en materia de ciencia, tecnología e innovación, es la gran tarea encomendada. Estos debates deben contribuir permanentemente a ello, continuemos así en el 2021 con la firmeza de divulgar, debatir e informar sobre estas temáticas que consideramos vitales para el desarrollo mismo de la ciencia, su renovación paradigmática y su consideración como área indispensable en el logro de los cambios sociales y económicos de los pueblos.

Tweedy’s Crab-eating Rat, Ichthyomys tweedii Anthony, 1921, was described based on just a few specimens, and many aspects of its biology remains unclear. The species has only been previously reported to occur in two geographically disjunct areas in Panama and Ecuador. We report a new record of this species for southern Costa Rica. Our new record is the first for this species and the genus for Costa Rica, as well as the northernmost expression of the genus.

RESUMEN Este artículo reflexiona sobre la experiencia de la Universidad de Aysén como subversidad. Para ello, analizamos cómo la Universidad ha traducido las políticas nacionales y las expectativas de la comunidad local en prácticas institucionales orientadas a concretar el proyecto territorial. Así, en primer lugar, exploramos la imposibilidad de la Universidad de convertirse en subversidad en función de las tensiones que derivan de las políticas de mercado. En segundo lugar, indagamos en la posibilidad de la subversidad a partir de la constitución del Consejo Social. Este análisis nos permite concluir que la Universidad contiene una promesa que descansa en la capacidad del Consejo Social de repensar los principios fundantes de la Universidad. ABSTRACT This article reflects on the experience of the Universidad de Aysén as subversity. In order to do that we analyze how the University has translated national policies and local community’s expectations into institutional practices aimed at materializing the territorial project. First, we explore the impossibility of the University become subversity in light of the tensions ensuing from market-oriented policies. Second, we delve into the possibility of the subversity through the analysis of the Social Council. This analysis leads us to conclude that the University has a promise that rests upon the Social Council’s capacity of rethinking the foundational principles of the University.

Equational unification and matching are fundamental mechanisms in many automated deduction applications. Supporting them efficiently for as wide as possible a class of equational theories, and in a typed manner supporting type hierarchies, benefits many applications; but this is both challenging and nontrivial. We present Maude 3.2’s efficient support of these features as well as of symbolic reachability analysis of infinite-state concurrent systems based on them.

Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM techniques, we need powerful model composition operators. Indeed, the composition of DSMLs is becoming increasingly relevant to the modelling community either because some DSMLs may share commonalities that we want to make reusable, or because we want to facilitate interoperability between DSMLs. In this paper, we propose a composition mechanism for structure and behaviour of multilevel modelling hierarchies. Our approach facilitates the inclusion of additional eatfures while keeping a clear separation of concerns that enhances modularity. We provide a formal semantics of the constructions based on category theory and graph transformations, and show their use in practice on a case study. publishedVersion

El presente artículo contiene la propuesta generada a partir de la investigación realizada para la mejora, diseño, desarrollo y gestión de los laboratorios de cómputo de la Universidad Estatal a Distancia; bajo el modelo descriptivo y mediante una pasantía a la Universidad Nacional Abierta y a Distancia de Colombia (UNAD). Este intercambio es un promotor con el que se obtiene una visión global, de tendencias foráneas que se analizan en comparativa con la situación institucional. Se describen la situación actual que contempla el espacio físico y de aplicaciones que contienen los laboratorios a lo largo del territorio nacional, indicando el inventario general que rige los mismos y el plano administrativo que los contempla. En el documento se realizan las recomendaciones a nivel de monitoreo, mantenimiento y conectividad, identificados a partir de la visión generada como producto de la pasantía en la UNAD de Colombia y al ser contrastada con la escena actual en la institución, con la intención de facilitar la toma de decisiones y propiciar indicadores para la mejora continua, en casos de diseños e implementaciones futuras y consideración actuales.

International audience; Business process optimization is a strategic activity in organizations because of its potential to increase profit margins and reduce operational costs. One of the main challenges in this activity is concerned with the problem of optimizing allocation and sharing of resources. Companies are continuously adjusting their resources to their needs following different strategies. However, the dynamic provisioning strategies are hard to compare. This paper proposes an automatic analysis technique to evaluate and compare the execution time and resource occupancy of a business process relative to a workload and a provisioning strategy. Four different strategies are presented, which are guided-respectively-by recent resource usage, recent resource request, predicted behavior, and a combination of available strategies. Such analysis is performed on models conforming to an extension of BPMN with quantitative information, including resource availability and constraints. Within this framework, the approach is fully mechanized using a formal and executable specification in the Maude rewriting logic framework, which relies on existing techniques and tools for simulating probabilistic and real-time specifications. The paper includes results on the extensive experimentation that has been carried out for validation purposes.

El siguiente texto tiene por objetivo mostrar los cambios experimentado por las sociedades del trabajo. Y cómo estos cambios han supuesto el paso de una sociedad que entendía el trabajo como un medio de integración y de liberación, que conllevaba asimismo una serie de sacrificios, a otra que lo contempla, como un medio de liberación no sacrificial, que invade cada vez más esferas de la vida colectiva. Las apelaciones que hace la nueva ética del trabajo a la liberación de esta actividad de las imposiciones sacrificiales de la etapa anterior fordista, no han suscitado sin embargo una fuerte oposición, ni siquiera entre quienes son especialmente críticos con las actuales formas de organización del trabajo. Imbuidos ellos también del imaginario moderno del trabajo, no son capaces de percibir otro modo de organizar la sociedad que no sea la que comienza y termina en el trabajo productivo. Cuáles son las posibilidades y las limitaciones que tiene el trabajo como medio de integración y de liberación individual y colectiva, y qué implicaciones tiene todo ello para la reproducción cultural de las sociedades, Son los interrogantes con los que concluirá el presente artículo.

International audience; The Internet of Things (IoT) is a network of physical devices and software entities that interact together for fulfilling an overall objective and thus providing added-value services. Designing such applications by selecting a set of candidate objects and defining how they interact with one another is a difficult and error-prone task. Moreover, IoT applications are not monolithic applications built once and for all. In contrast, they are constantly modified due to removal, replacement, or addition of new objects during the application's lifetime. In this paper, we present a tool built on top of the WebThings platform, which supports users when they want to dynamically change a running WebThings application. To do so, R-MOZART provides three components for (i) designing the new application using a user-friendly UI, (ii) verifying that this new application respects some consistency properties with respect to the current application, and (iii) deploying this new application in an automated manner. This tool was applied on several smart home applications for evaluation purposes. Video URL: https://youtu.be/bG4oiQUrWSQ

International audience; The Internet of Things (IoT) consists of devices and software interacting altogether in order to build powerful and added-value services. One of the main challenges in this context is to support end-users with simple, user-friendly, and automated techniques to design such applications. Given the dynamicity of IoT applications, these techniques should consider that these applications are in most cases not built once and for all. They can evolve over time and objects may be added or removed for several reasons (replacement, loss of connectivity, upgrade, failure, etc.). In this paper, we propose new techniques for supporting the reconfiguration of running IoT applications. These techniques compare two versions of the application (before and after reconfiguration) to check if several properties of interest from a reconfiguration perspective are preserved. The analysis techniques have been implemented using the Maude framework and integrated into the WebThings platform.

Weblog (Bitácora o Blog) es un concepto que, aunque fue creado en 1997, actualmente está cobrando especial interés en el ámbito educativo como herramienta de intercomunicación entre profesor y alumnos. En este artículo queremos definir claramente tanto esta terminología como otra relacionada con el mismo concepto, hacer un breve recorrido por la historia más reciente e importante del Blog, y terminar con un análisis comparativo de la experiencia realizada con algunos grupos de alumnos mediante un cuaderno de Bitácora y un Foro.