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)

“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;

Witten's perturbation on strata with general adapted metrics

Let $M$ be a stratum of a compact stratified space $A$. It is equipped with a general adapted metric $g$, which is slightly more general than the adapted metrics of Nagase and Brasselet-Hector-Saralegi. In particular, $g$ has a general type, which is an extension of the type of an adapted metric. A restriction on this general type is assumed, and then $g$ is called good. We consider the maximum/minimun ideal boundary condition, $d_{\text{\rm max/min}}$, of the compactly supported de~Rham complex on $M$, in the sense of Br\"uning-Lesch. Let $H^*_{\text{\rm max/min}}(M)$ and $\Delta_{\text{\rm max/min}}$ denote the cohomology and Laplacian of $d_{\text{\rm max/min}}$. The first main theorem states that $\Delta_{\text{\rm max/min}}$ has a discrete spectrum satisfying a weak form of the Weyl's asymptotic formula. The second main theorem is a version of Morse inequalities using $H_{\text{\rm max/min}}^*(M)$ and what we call rel-Morse functions. An ingredient of the proofs of both theorems is a version for $d_{\text{\rm max/min}}$ of the Witten's perturbation of the de~Rham complex. Another ingredient is certain perturbation of the Dunkl harmonic oscillator previously studied by the authors using classical perturbation theory. Assume that $A$ is a stratified pseudomanifold, and consider its intersection homology $I^{\bar p}H_*(A)$ with perversity $\bar p$; in particular, the lower and upper middle perversities are denoted by $\bar m$ and $\bar n$, respectively. Then, for any perversity $\bar p\le\bar m$, there is an associated good adapted metric on $M$ satisfying the Nagase isomorphism $H^r_{\text{\rm max}}(M)\cong I^{\bar p}H_r(A)^*$ ($r\in\N$). If $M$ is oriented and $\bar p\ge\bar n$, we also get $H^r_{\text{\rm min}}(M)\cong I^{\bar p}H_r(A)$. Thus our version of the Morse inequalities can be described in terms of $I^{\bar p}H_*(A)$.Comment: 46 pages. A few minor corrections were mad

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

Orden Constitucional Municipal en Colombia. Siglo XIX. Una Mirada desde la Historia y la Política. El caso de la región de Santander

La realidad histórica de Colombia, en la segunda mitad del siglo XIX, estaba matizada por los conflictos de orden ideológico, que a su vez reflejaban el espíritu de las ideas que en el ámbito político traducían los defensores del federalismo y del centralismo, en la configuración del incipiente Estado - Nación, que se fraguaba alrededor de las luchas y guerras civiles a lo largo y ancho de la geografía nacional. No obstante, en este contexto, las ideas liberales radicales propiciaron cambios significativos en la política nacional y regional. Su incidencia se evidencia en los diversos acontecimientos que acaecieron en el momento, al destacar su influencia y participación en la realización de un orden constitucional de nivel municipal. Así, este artículo pretende ilustrar, en forma descriptiva, la dinámica de dicho proceso, enfocándose en aspectos de carácter nacional, indagando en particular el caso de Santander, como una región significativa que evidencia esta dinámica de índole constitucional

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