We study conditions on a C∗-dynamical system (A,G,α) under which induction of primitive ideals (resp. irreducible representations) from stabilizers for the action of G on the primitive ideal space Prim(A) give primitive ideals (resp. irreducible representations) of the crossed product A⋊α G. The results build on earlier results of Sauvageot [17] and others, and will correct a (possibly overly o...

primitive neuroectodermal tumor (pnet) is usually an aggressive, rapidly progressing and metastasizing tumor. occurrence of this type of tumor in the kidney is considered as unusual and few cases have been reported so far. we present a metastatic pnet arising probably from the kidney in a 17-year-old female patient with local invasion and metastasis to the stomach. pnet should be considered as ...

the primitive neuroectodermal tumor (pnet) belongs to a group of highly malignant tumors and is composed of small round cells of a neuroectodermal origin. categorized in the same tumor family as ewing sarcoma, the pnet is most likely to occur in bones and soft tissues. however, a small number of pnet cases arising in the pelvis have been reported as well. we present three cases of pelvic pnet: ...

The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Łukasiewicz infinite-valued logic [CDM99], [MMM07], [Mun94], [P95]. As a notably application of the theory, the elements of the free n-generated MV-algebra, that constitutes the algebraic semantics of the n-variate fragment of Łukasiewicz logic, are obtained as (t-c...

IT was Sir Winston Churchill who remarked in 1944, when addressing the Royal College of Physicians, that "the longer you can look back, the further you can look forward." Probably in no field is this more true than in the biological sciences. An understanding of their evolution in a historical sense at once provides a perspective and a background to knowledge which illuminates the path to furth...

Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen at random in {a, b}∗, according to a probability distribution defined via a finite automaton equipped with positive real weights. We determine the local limit distribution of such a quantity under the hypothesis that ...

We explore an axiomatized nominal approach to variable binding in Coq, using an untyped lambda-calculus as our test case. In our nominal approach, alpha-equality of lambda terms coincides with Coq’s builtin equality. Our axiomatization includes a nominal induction principle and functions for calculating free variables and substitution. These axioms are collected in a module signature and proved...

We show how to mechanise equational proofs about higher-order languages by using the primitive proof principles of first-order abstract syntax over one-sorted variable names. We illustrate the method here by proving (in Isabelle/HOL) a technical property which makes the method widely applicable for the λ-calculus: the residual theory of β is renaming-free up-to an initiality condition akin to t...

In recent years one of the most active research areas in applied cryptography is the study of techniques for creating a group signature, a cryptographic primitive that can be used to implement anonymous authentication. Some variants of group signature, such as traceable signature, and authentication with variable anonymity in a trusted computing platform, have also been proposed. In this paper ...