title: Higher order congruences amongst hasse-weil L-values

authors: Delbourgo, Daniel

subjects: elliptic curves

abstract: For the (d+1)-dimensional Lie group G=Z×pZp⊕d we determine through the use of p-power congruences a necessary and sufficient set of conditions whereby a collection of abelian L-functions arises from an element in K₁Zp[G]. If E is a semistable elliptic curve over Q, these abelian L-functions already exist; therefore, one can obtain many new families of higher order p-adic congruences. The first layer congruences are then verified computationally in a variety of cases.

text: Higher order congruences amongst hasse-weil L-values For the (d+1)-dimensional Lie group G=Z×pZp⊕d we determine through the use of p-power congruences a necessary and sufficient set of conditions whereby a collection of abelian L-functions arises from an element in K₁Zp[G]. If E is a semistable elliptic curve over Q, these abelian L-functions already exist; therefore, one can obtain many new families of higher order p-adic congruences. The first layer congruences are then verified computationally in a variety of cases.

year: 2015-02-03

title: A process-algebraic semantics for generalised nonblocking.

authors: Ware, Simon

subjects: Compositional verification

abstract: Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking and proposes a semantic model that characterises generalised nonblocking equivalence. The model can be constructed from the transition structure of an automaton, and has a finite representation for every finite-state automaton. It is used to construct a unique automaton representation for all generalised nonblocking equivalent automata. This gives rise to effective decision procedures to verify generalised nonblocking equivalence and refinement, and to a method to simplify automata while preserving generalised nonblocking equivalence. The results of this paper provide for better understanding of nonblocking in a compositional framework, with possible applications in compositional verification.

text: A process-algebraic semantics for generalised nonblocking. Generalised nonblocking is a weak liveness property to express the ability of a system to terminate under given preconditions. This paper studies the notions of equivalence and refinement that preserve generalised nonblocking and proposes a semantic model that characterises generalised nonblocking equivalence. The model can be constructed from the transition structure of an automaton, and has a finite representation for every finite-state automaton. It is used to construct a unique automaton representation for all generalised nonblocking equivalent automata. This gives rise to effective decision procedures to verify generalised nonblocking equivalence and refinement, and to a method to simplify automata while preserving generalised nonblocking equivalence. The results of this paper provide for better understanding of nonblocking in a compositional framework, with possible applications in compositional verification.

year: 2012-01

title: Paremias xeocosmolóxicas de predición do tempo en galego e maorí (Geocosmologic paroemias of weather prediction in Galician and Maori)

authors: Lopez-Fernandez, Laura

abstract: This comparative study collects phraseological units -dictons- (Rodegem 1984 e Sevilla Muñoz 1988; 1992) related to the semantic field of weather forecast from two cultures, which have not been in contact, and which are located in the antipodes of the planet: Galician and Maori. The methodology used utilizes a diachronic analysis (although not diastratic), of geocosmological proverbs, that can be or not in use nowadays, which include dictons about atmospheric phenomena, observation of the stars and star lore, and weather forecast through observation of animals, especially birds. The dictons collected in Maori do not come from informants but from the few books and digital sources available at the moment and this represents only a fragment of their traditional oral culture, thought and legacy of the different iwis. The collected dictons in Galician have been collected from a variety of digital corpus and resources.

text: Paremias xeocosmolóxicas de predición do tempo en galego e maorí (Geocosmologic paroemias of weather prediction in Galician and Maori) This comparative study collects phraseological units -dictons- (Rodegem 1984 e Sevilla Muñoz 1988; 1992) related to the semantic field of weather forecast from two cultures, which have not been in contact, and which are located in the antipodes of the planet: Galician and Maori. The methodology used utilizes a diachronic analysis (although not diastratic), of geocosmological proverbs, that can be or not in use nowadays, which include dictons about atmospheric phenomena, observation of the stars and star lore, and weather forecast through observation of animals, especially birds. The dictons collected in Maori do not come from informants but from the few books and digital sources available at the moment and this represents only a fragment of their traditional oral culture, thought and legacy of the different iwis. The collected dictons in Galician have been collected from a variety of digital corpus and resources.

year: 2015