In this paper, we present a refinement of the global Langlands correspondence for discrete symplectic motives of rank 2n over Q. To such a motive Langlands conjecturally associates a generic, automorphic representation π of the split orthogonal group SO2n+1 over Q, which appears with multiplicity one in the cuspidal spectrum. Using the local theory of generic representations of odd orthogonal g...

We present an abstract interpretation based approach to solve the coverability problem of well-structured transition systems. Our approach distinguishes from other attempts in that (1) we solve this problem for the whole class of well-structured transition systems using a forward algorithm. So, our algorithm has to deal with possibly infinite downward closed sets. (2) Whereas other approaches h...

In this paper, a matrix representation for the differential resultant of two generic ordinary differential polynomials f1 and f2 in the differential indeterminate y with order one and arbitrary degree is given. That is, a non-singular matrix is constructed such that its determinant contains the differential resultant as a factor. Furthermore, the algebraic sparse resultant of f1, f2, δf1, δf2 t...

Let K/F be a quadratic extension of p-adic fields, and n a positive integer. A smooth irreducible representation of the group GL(n, K) is said to be distinguished, if it admits on its space a nonzero GL(n, F )-invariant linear form. In the present work, we classify distinguished generic representations of the group GL(n, K) in terms of inducing quasi-square-integrable representations. This has ...

By and large, branding literature provides a view of global brands as primarily signifying, semiotic devices. This semiotization of brands is due to a cultural bias that favors the discursive world of signs over lived practices and experiences. Taking Best Western global brand and using Lefèbvre’s tripartite conceptualization—spatial practice, representation of space, and spaces of representati...

At the heart of all the techniques that have been proposed for exploring infinite state spaces, is a symbolic representation that can finitely represent infinite sets of states. In early work on the subject, this representation was domain specific, for example linear constraints for sets of real vectors. For several years now, the idea that a generic finite-automaton based representation could ...

This paper describes an experimental generic software engineering environment which provides support for textual documents and the diagrammatic representation of relational structures between and within such documents. We describe the generic software engineering environment, the relevant support tools and document structures for providing diagrammatic presentation of software.

This paper discusses methods for visualising the workspace of a generic robot using the colour space to indicate orientation and dexterity of the tool. A method is shown to convert Euler angles into a RGB colour representation. An alternative method for examining generic workspace quality based on dexiterity is also shown. These methods are then applied to selected examples.

Support for generic programming consists of three essential ingredients: support for overloaded functions, a run-time type representation, and a generic view on data. Different approaches to datatype-generic programming occupy different points in this design space. In this article, we revisit the “Scrap your boilerplate” approach and identify its location within the three-dimensional design spa...

Each matrix representation P: G —> GLn(K) of a finite Group G over a field K induces an action of G on the module A over the polynomial algebra A = K [ x 1 , . . . , xn]. The graded A-submodule M(P) of A generated by the orbit of (x1, ..., xn) is studied. A decomposition of MO) into generic modules is given. Relations between the numerical invariants of P and those of M(P), the latter being eff...