Coinduction up to in a fibrational setting

Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the soundness of such techniques in a fibrational setting, building on the seminal work of Hermida and Jacobs. This allows us to systematically obtain up-to techniques not only for bisimilarity but for a large class of coinductive predicates modelled as coalgebras. By tuning the parameters of our framework, we obtain novel techniques for unary predicates and nominal automata, a variant of the GSOS rule format for similarity, and a new categorical treatment of weak bisimilarity

De situ Graccurris: desde el siglo XVI hasta las excavaciones inéditas de 1969

La primera parte del trabajo trata de la historia de la reducción de Graccurris desde el siglo XVI hasta su localización aproximada cerca de Alfaro (La Rioja) en 1918. Seguidamente se analizan críticamente el descubrimiento (1932) del mosaico sepulcral de Ursicino, en la Azucarera de Alfaro, y la excavación subsiguiente, corrigiendo datos aceptados y aportando otros nuevos. Se revisan luego las prospecciones de 1965 que condujeron a la localización definitiva de Graccurris (fundada, 179 a.C, por T. Sempronio Gracco) en Alfaro, añadiendo ciertas cuestiones sobre su extensión, motivos y papel de la fundación, etc. Por último se presentan los resultados de la excavación inédita, de 1969, en la Azucarera, con los dos cementerios supuestos y el descubrimientro de armas de tipología La Téne, más unas cuestiones sobre Ilurcis y acerca de la desaparición de Graccurris

Small but long koch fractal monopole

A small but long wire fractal antenna based on the Koch curve is presented. Experimental and numerical results show that the antenna improves the features of a common linear monopole. The radiation resistance is increased and the Q is reduced at each fractal iteration, approaching the fundamental limit on small antennas.Peer ReviewedPostprint (published version

Contribución al conocimiento de la fotolumniscencia de la celestina, bajo la excitación ultravioleta

Se lleva a cabo el estudio de la fluorescencia de 13 muestras de celestina, recogidas en los yacimientos de la Plana de Vic (Barcelona). Se han utilizado como radiaciones de excitación, la azul-violeta y la ultravioleta fuerte. En lo que concierne a la gama de longitudes de onda del espectro de Auorescencia, se observa que: A) cuando el espectro de la radiación de excitación se desplaza hacia la región de las ondas cortas, es decir, cuando aumenta la energía de sus fotones, aumenta asimismo la anchura de la gama del espectro de fluorescencia; B) el ensanchamiento de la gama del espectro de fluorescencia se produce casi totalmente en la regióndel violeta; C) estos resultados concuerdan con los hallados por nosotros operando con fluorita, calcita, dolomita y baritina

Catálogo de los sulfuros metálicos de Cataluña existentes en museos y colecciones de la región

Se presenta una recopilación de los ejemplares de sulfuros metálicos de Cataluña que se encuentran en museos y colecciones de la región. Consta de tres listas ordenadas, respectivamente, por museos y colecciones, especies minerales y localidades. Entrando por cualquiera de las tres se encuentra la correspondiente referencia a las otras dos, de tal manera quepuede hallarse fácilmente cualquier dato que se busque

Mineralogénesis del yacimiento de Osor (Gerona)

[ES] Basándose en todo el conjun.to de datos que se poseen en la actualidad, se establecen las sucesivas fases y los diferentes mecanismos que han tenido lugar durante la mineralogénesis del yacimiento de fluorita y sulfuros metálicos de Osor (Gerona).[FR] En se basant sur tout l'ensemble des données qu'on a actuellment, on établit les succesives phases et les different mécanismes qui se sont produits pendant la minéralogenese du gite à fluorite et sulphures métalliques d'Osor (Gerona).Trabajo realizado gracias a la financiación de la Fundación "Juan March" y en parte con la Ayuda para el Fomento de la Investigacidn en la Universidad.Peer reviewe

Mineralogénesis del yacimiento de Osor (Gerona)

[ES] Basándose en todo el conjun.to de datos que se poseen en la actualidad, se establecen las sucesivas fases y los diferentes mecanismos que han tenido lugar durante la mineralogénesis del yacimiento de fluorita y sulfuros metálicos de Osor (Gerona).[FR] En se basant sur tout l'ensemble des données qu'on a actuellment, on établit les succesives phases et les different mécanismes qui se sont produits pendant la minéralogenese du gite à fluorite et sulphures métalliques d'Osor (Gerona).Trabajo realizado gracias a la financiación de la Fundación "Juan March" y en parte con la Ayuda para el Fomento de la Investigacidn en la Universidad.Peer reviewe

Sobre la presencia de gahnita ferrífera en Bossost (Vall D'Aran, Lérida)

[ES] Identificacióa de la gahnita ferrífera (creitonita) (Al, Fe)2 O4 (Zn, Fe, Mg), en mina "Victoria", (Vall d'Aran, Lérida).[FR] Sur la decouverte de le gahnite ferrifere (creitonite)(Al, Fe)2 O4 (Zn, Fe, Mg), dans la gîte "Mina Victoria", (Vall d'Aran, Lérida).Trabajo realizado, en parte, gracias a la ayuda para Fomento de la Investigación en la Universidad.Peer reviewe

Estudio, mediante luz reflejada, de las maclas de calcopiritas metamórficas procedentes de mina "Saubader" (Vall D'Aran, Lérida)

Se describe la morfologia de las maclas observadas en calcopiritasmetamórficas procedentes de la Vall d'Arán (Lérida, España). Las maclas son de dos tipos: 1. Maclas lineales engendradas por un mecanismo de deformación; 2. Maclas irregulares debidas a la aparición de una fase polimórfica de la calcopirita. Se lleva a cabo su interpretación en relacióncon los procesos metamórficos

Estudio morfológico, mediante luz reflejada, de piritas procedentes de la mina "Solitaria" (arres, Vall D'Aran, Lérida)

Se lleva a cabo el estudio y la interpretación de los diferentes tipos de cristales de pirita que se encuentran en el yacimiento Mina "Solitaria" (Arrés, Vall d'Aran) Lérida