A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

Implantació d'un sistema de gestió integrada: ISO 9001:00, ISO 14001:04 i OHSAS 18001:07, en un centre d'estètica i perruqueria

En aquests últims anys, són moltes les empreses que han optat per la utilització de sistemes de gestió normalitzats, per a garantir la rendibilitat i fiabilitat dels resultats de la implantació del sistema de gestió en qüestió. A la dècada dels 90 va ser quan la implantació de sistemes de gestió va començar a ser important en la majoria de sectors econòmics. L’evolució en els sistemes de gestió a trets generals va iniciar-se primerament en l’àmbit de la qualitat, seguidament en la gestió ambiental i en última instància en la prevenció de riscos laborals. Aquests tres tipus de sistemes de gestió, en els últims anys s’han anat integrant, de manera que s’han reduït els recursos i els esforços emprats en la gestió, millorant significativament l’eficàcia i l’eficiència d’aquests sistemes. L’objectiu principal que persegueix aquest projecte, és definir un sistema de gestió que permeti a l’empresa conduir les seves activitats de forma simplificada i ordenada, i que alhora faciliti la informació necessària per a corregir i millorar les activitats. Un altre objectiu que pretén aconseguir aquest projecte, és el de dissenyar un SGI que aprofiti les sinèrgies generades en els diferents àmbits de la pròpia empresa i fomenti les interaccions entre els diferents nivells de l’organització. En conseqüència, millorarà de forma important els fluxos d’informació dins de l’empresa minimitzant els esforços i la pèrdua d’informació. El mètode escollit per a la implantació del SGI, ha estat la Gestió per Processos, la qual es basa en la definició i seguiment dels processos de l’empresa, partint de les necessitats del client i acabant quan aquestes estan satisfetes. En conclusió, a la finalització del present projecte s’obtindrà un SGI, amb tots els processos de l’empresa definits i implantats, que doni compliment a les normes UNEEN-ISO 9001:00, UNE-EN-ISO 14001:04 i OHSAS 18001:07. Aquest SGI, que s’ha realitzat des d’un punt de vista documental i teòric, suposarà una millora de l’eficàcia operativa dels processos i una important millora competitiva de l’empresa.

On the coincidence between the Shimomura's bargaining sets and the core

[cat] En l'article es dona una condició necessària per a que els conjunts de negociació definits per Shimomura (1997) i el nucli d'un joc cooperatiu amb utilitat transferible coincideixin. A tal efecte, s'introdueix el concepte de vectors de màxim pagament. La condició necessària consiteix a verificar que aquests vectors pertanyen al nucli del joc.

Mitologia i literatura a "Suddenly Last Summer" de Tennessee Williams: tot lluitant contra Venus i Èdip

The aim of this article is to analyze accurately the role played by two classical references, Venus and Oedipus, in Tennessee Williams¿s Suddenly Last Summer, in accordance with the usual nature of studies on Classical Tradition ¿Greek and Roman- and focusing in this case on the relationship between literature and mythology. It is thanks to Venus and Oedipus that the playwright succeeds in showing the magnitude of men¿s and women¿s tragedy, which from his point of view is simply that they have failed to see either kindness in the face of God or to feel his loving and fatherly providence.

Literature and Mythology in Tennessee Williams's "Suddenly Last Summer": Fighting against Venus and Oedipus

The aim of this article is to analyze accurately the role played by two classical references, Venus and Oedipus, in Tennessee Williams Suddenly Last Summer, in accordance with the usual nature of studies on Classical Tradition a Greek and Roman- and focusing in this case on the relationship between literature and mythology. It is thanks to Venus and Oedipus that the playwright succeeds in showing the magnitude of mens and womens tragedy, which from his point of view is simply that they have failed to see either kindness in the face of God or to feel his loving and fatherly providence.

Mitología y Literatura en "Suddenly Last Summer" de Tennessee Williams: luchando contra Venus y Edipo

The aim of this article is to analyze accurately the role played by two classical references, Venus and Oedipus, in Tennessee Williams's Suddenly Last Summer, in accordance with the usual nature of studies on Classical Tradition -Greek and Roman- and focusing in this case on the relationship between literature and mythology. It is thanks to Venus and Oedipus that the playwright succeeds in showing the magnitude of men¿s and women¿s tragedy, which from his point of view is simply that they have failed to see either kindness in the face of God or to feel his loving and fatherly providence.

Tennessee Williams's Cat on a hot tin roof or the dramatic aptitudes of the goddess Diana

The aim of this article is to show which are the dramatic "yields" of the inclusion of the reference to the goddess Diana in Tennessee Williams's Cat on a Hot tin Roof. In the author's opinion, it does not deal simply with a meaningful reference; on the contrary, the accurate analysis of Williams's text proves that it is a true nuclear and cohesive element of the whole drama.

Influence of the dipolar interactions in the magnetization reversal asymmetry of hard-soft magnetic ribbons

Partial crystallization of the metallic glass Co66Si16B12Fe4Mo2 was performed by annealing at temperatures between 500 and 540°C for 10-20 min, resulting in crystallite volume fractions of (0.7-5)×10¿3 and sizes of 50-100 nm. This two-phase alloy presents a remarkable feature: a hysteresis loop shift that can be tailored by simply premagnetizing the sample in the adequate magnetic field. Shifts as large as five times the coercive field have been obtained which make them interesting for application as magnetic cores in dc pulse transformers. The asymetrical magnetic reversal is explained in terms of the magnetic dipolar field interaction and the observed hysteresis loops have been satisfactorily simulated by a modification of Stoner-Wohlfarth¿s model of coherent rotations.

Stochastic semiclassical equations for weakly inhomogeneous cosmologies

Semiclassical Einstein-Langevin equations for arbitrary small metric perturbations conformally coupled to a massless quantum scalar field in a spatially flat cosmological background are derived. Use is made of the fact that for this problem the in-in or closed time path effective action is simply related to the Feynman-Vernon influence functional which describes the effect of the ``environment,'' the quantum field which is coarse grained here, on the ``system,'' the gravitational field which is the field of interest. This leads to identify the dissipation and noise kernels in the in-in effective action, and to derive a fluctuation-dissipation relation. A tensorial Gaussian stochastic source which couples to the Weyl tensor of the spacetime metric is seen to modify the usual semiclassical equations which can be veiwed now as mean field equsations. As a simple application we derive the correlation functions of the stochastic metric fluctuations produced in a flat spacetime with small metric perturbations due to the quantum fluctuations of the matter field coupled to these perturbations.

In defense of the "tunneling" wave function of the universe

The tunneling approach to the wave function of the Universe has been recently criticized by Bousso and Hawking who claim that it predicts a catastrophic instability of de Sitter space with respect to pair production of black holes. We show that this claim is unfounded. First, we argue that different horizon size regions in de Sitter space cannot be treated as independently created, as they contend. And second, the WKB tunneling wave function is not simply the inverse of the Hartle-Hawking one, except in very special cases. Applied to the related problem of pair production of massive particles, we argue that the tunneling wave function leads to a small constant production rate, and not to a catastrophe as the argument of Bousso and Hawking would suggest.

Random mixtures with orientational order, and the anisotropic resistivity tensor of high Tc superconductors

By generalizing effective-medium theory to the case of orientationally ordered but positionally disordered two component mixtures, it is shown that the anisotropic dielectric tensor of oxide superconductors can be extracted from microwave measurements on oriented crystallites of YBa2Cu3O7¿x embedded in epoxy. Surprisingly, this technique appears to be the only one which can access the resistivity perpendicular to the copper¿oxide planes in crystallites that are too small for depositing electrodes. This possibility arises in part because the real part of the dielectric constant of oxide superconductors has a large magnitude. The validity of the effective-medium approach for orientationally ordered mixtures is corroborated by simulations on two¿dimensional anisotropic random resistor networks. Analysis of the experimental data suggests that the zero-temperature limit of the finite frequency resistivity does not vanish along the c axis, a result which would simply the existence of states at the Fermi surface, even in the superconducting state

On the coincidence between the Shimomura's bargaining sets and the core

[cat] En l'article es dona una condició necessària per a que els conjunts de negociació definits per Shimomura (1997) i el nucli d'un joc cooperatiu amb utilitat transferible coincideixin. A tal efecte, s'introdueix el concepte de vectors de màxim pagament. La condició necessària consiteix a verificar que aquests vectors pertanyen al nucli del joc.

Multiple processes regulate long-term population dynamics of sea urchins on Mediterranean rocky reefs

We annually monitored the abundance and size structure of herbivorous sea urchin populations (Paracentrotus lividus and Arbacia lixula) inside and outside a marine reserve in the Northwestern Mediterranean on two distinct habitats (boulders and vertical walls) over a period of 20 years, with the aim of analyzing changes at different temporal scales in relation to biotic and abiotic drivers. P. lividus exhibited significant variability in density over time on boulder bottoms but not on vertical walls, and temporal trends were not significantly different between the protection levels. Differences in densities were caused primarily by variance in recruitment, which was less pronounced inside the MPA and was correlated with adult density, indicating density-dependent recruitment under high predation pressure, as well as some positive feedback mechanisms that may facilitate higher urchin abundances despite higher predator abundance. Populations within the reserve were less variable in abundance and did not exhibit the hyper-abundances observed outside the reserve, suggesting that predation effects maybe more subtle than simply lowering the numbers of urchins in reserves. A. lixula densities were an order of magnitude lower than P. lividus densities and varied within sites and over time on boulder bottoms but did not differ between protection levels. In December 2008, an exceptionally violent storm reduced sea urchin densities drastically (by 50% to 80%) on boulder substrates, resulting in the lowest values observed over the entire study period, which remained at that level for at least two years (up to the present). Our results also showed great variability in the biological and physical processes acting at different temporal scales. This study highlights the need for appropriate temporal scales for studies to fully understand ecosystem functioning, the concepts of which are fundamental to successful conservation and management.

Real-time monitoring of the silicidation process of tungsten filaments at high temperature used as catalysers for silane decomposition

The scope of this work is the systematic study of the silicidation process affecting tungsten filaments at high temperature (1900ºC) used for silane decomposition in the hot-wire chemical vapour deposition technique (HWCVD). The correlation between the electrical resistance evolution of the filaments, Rfil(t), and the different stages of the their silicidation process is exposed. Said stages correspond to: the rapid formation of two WSi2 fronts at the cold ends of the filaments and their further propagation towards the middle of the filaments; and, regarding the hot central portion of the filaments: a initial stage of silicon dissolution into the tungsten bulk, with a random duration for as-manufactured filaments, followed by the inhomogeneous nucleation of W5Si3 (which is later replaced by WSi2) and its further growth towards the filaments core. An electrical model is used to obtain real-time information about the current status of the filaments silicidation process by simply monitoring their Rfil(t) evolution during the HWCVD process. It is shown that implementing an annealing pre-treatment to the filaments leads to a clearly repetitive trend in the monitored Rfil(t) signatures. The influence of hydrogen dilution of silane on the filaments silicidation process is also discussed.

Disseny d'un sistema de control del consum d'aigua automàtic

Avui en dia s’ha convertit en una necessitat tenir cura del medi ambient i optimitzar els recursos naturals. En el camp per estalviar energia s’han fet grans progressos i disposem d’un gran ventall de dispositius que ens ajuden i ens faciliten l’optimització del consum d’energia. Però és una realitat que en l’estalvi del consum d’aigua el progrés ha estat molt menor i es limita molt a donar consells i repartir dosificadors d’aigua. Qui no ha vist carrers o jardins o cases inundades amb milers de litres d’aigua? Aquesta realitat m’ha portat a dissenyar i desenvolupar un prototip que em permeti tenir un millor control del consum d’aigua. El prototip, a trets principals, consta d’un sensor, una electrovàlvula i una placa Arduino Atmega. El sensor ens permet mesurar els litres consumits durant un cert període de temps. Passat aquest temps de mostreig es compara els litres consumits amb el consum habitual, en aquell període de temps. En cas de sobrepassar el volum programat es tancarà l’electrovàlvula de forma automàtica i rebrem un SMS al telèfon. L’activació de l’alarma es pot ajustar que sigui al igualar-se els dos valors, litres programats i litres consumits. També es pot programar el percentatge que cal sobrepassar de litres consumits per activar l’alarma, com el temps de mostreig. El fet de poder programar tots aquests valors ens permet fer un ajust ideal per a la instal·lació que es vol tenir controlada. A més, el prototip es pot utilitzar per enviar a la companyia d’aigua el valor del comptador de forma automàtica. D’aquesta forma la companyia d’aigua també optimitza recursos estalviant-se el desplaçament de personal a la instal·lació per fer la lectura corresponent. El prototip està basat amb un Arduino Atmega que ens permet el processament de les dades programades i capturades pel sensor. També s’ha incorporat una pantalla TFT Touch 2’8”, que permet visualitzar i programar els valors d’una forma molt més intuïtiva. Per enviar els SMS s’utilitza una placa d’Arduino Cel·lular Shield - SM5100B, a la qual només cal afegir una targeta SIM. A priori, el prototip té un elevat cost al fabricar una sola unitat i pot semblar poc útil. Però ens pot estalviar alguna sorpresa en les factures d’aigua si tenim una fuita i no ens n’adonem fins a veure el rebut de la companyia. Si es fabriqués a grans quantitats es podria abaratir el preu i fer-lo encara més engrescador.