Towards a Unified Framework for Declarative Structured Communications

We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language for structured communications proposed by Honda, Vasconcelos, and Kubo. Distinguishing features of our approach are: the possibility of including partial information (constraints) in the session model; the use of explicit time for reasoning about session duration and expiration; a tight correspondence with logic, which formally relates session execution and linear-time temporal logic formulas

A note on representation of references

We consider a class of relations which includes irreflexive preference relations and interdependent preferences. For this class, we obtain necessary and sufficient conditions for representation of the relation by two numerical functions in the sense of a < x if and only if u(a) < v(x)

Zero-thickness interface model with chemical degradation by acid attack

Carbon dioxide (CO2) storage in abandoned oil/gas reservoirs is considered a viable alternative to reduce greenhouse gas emissions to the atmosphere. An important element of the risk associated with long-term CO2 storage is the loss of integrity of the cement seals of the abandoned wells in the reservoir. Among others, one possible cause of loss of integrity is the degradation of the oil-well cement due to the acid attack of the carbonated brine in the reservoir. In previous studies, the authors have developed a diffusion-reaction model for simulating this degradation process. In order to study possible coupled Chemo-Mechanical (CM) mechanisms, this model will be coupled with an existing mechanical model. For this purpose, in this paper, an existing constitutive law for zero-thickness interface, based on the theory of elasto-plasticity with concepts of fracture mechanics, is modified to incorporate the effect of chemical degradation on the mechanical strength parameters. Preliminary results obtained with this new constitutive law are presented, in order to illustrate the main aspects of the proposed constitutive law, as well as a possible C-M degradation mechanism that should be considered in the long-term safety assessment of CO2 geological storage projects

“Zombie attack” a new way to teach Chemistry

The Higher Education requires new models which allow training people able to adapt and survive in changing environments. It is based on the use of technologies and the adaptation of knowledge to people. It is about an education according to circumstances, which is adapted to context and virtual behaviour of people. One of the main difficulties that lecturers find in the classroom is how to maintain students' attention and interest in their subject, especially when students also think that the subject is not important for their training. In order to motivate these students, innovation in educational techniques and methodologies, such as experiential learning, are progressively being imposed to and/or coordinated with the traditional ones. Escape Room is a very modern concept in education, based on the development of mental skills for the solution of enigmas and problems. It is a tool to develop the cooperative, cognitive, deductive and logical reasoning skills of the students. In this work, an educational gamification experience based on the escape room concept is presented. The students have 1 hour and 30 minutes to carry out this activity. They will have to solve four puzzles and enigmas that will give them the key to open a treasure chest and finally let them escape from the classroom. Logic, ingenuity and teamwork will allow participants to develop not only chemical competence, but also other basic skills. The story that is told throughout the escape room is a zombie attack: the city has been infected (with a virus) and only the occupants of the room where the activity takes place have not been infected. In addition, they can all protect themselves if they are able to open the chest where the antidote is located. The aim of this activity is to enhance the knowledge acquired throughout the semester as well as the development of skills.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tec

A note on representation of references.

We consider a class of relations which includes irreflexive preference relations and interdependent preferences. For this class, we obtain necessary and sufficient conditions for representation of the relation by two numerical functions in the sense of aPreference; Continuous representation; Pseudotransitivity; Biorders;

Identidades políticas del socialismo en Colombia. 1920-1925

En Colombia, con la fundación del Partido socialista en agosto de 1919 en Bogotá, se instalan en forma organizada las orientaciones y la ideología socialistas que por el momento escandalizaban a los gobiernos conservadores e inquietaban las toldas del liberalismo, de tal manera que líderes del bipartidismo se empezaron a preocupar por las ideas del llamado bolcheviquismo que pretendía expandirse por el país y por América Latina. Se trataba de la aparición en el escenario político del socialismo, representado por el Partido socialista. Este artículo presenta algunos rasgos de identidad política que se fueron configurando en la forma de hacer política en la naciente agrupación partidista. Sus retóricas y narrativas políticas permiten colegir el tipo de imaginarios políticos que se fueron gestando alrededor de la naciente izquierda en la década de los años veinte del siglo pasado

3D-Mesomechanical analysis of external sulfate attack in concrete

The present study focuses on degradation of concrete by external sulfate attack. The numerical model developed by the MECMAT/UPC group, incorporates coupled C-M analysis using a meso-mechanical approach with discrete cracking, using the MEF and zero thickness interface elements with a constitutive law based on nonlinear fracture mechanics concepts. Examples of application are run on 2D and 3D samples, with geometries and FE meshes generated with a code developed also in-house. The numerical analysis is carried out using two independent codes and a “staggered” procedure. The first code performs the mechanical analysis and the second the diffusive/reaction chemical problem. 2D uncoupled and coupled analysis are presented and discussed. Preliminary coupled 3D results are also presented and compared with equivalent 2D results, and the differences are detected and analyzed