in this paper we find sufficient conditions on primitive inverse topological semigroup s under which: the inversion inv : (h(s)) (h(s)) is continuous; we show that every topologically periodic countable compact primitive inverse topological semigroups with closed h-classes is topologically isomorphic to an orthogonal sum p i2= bi (gi) of topological brandt extensions bi (gi) of countably compac...

PRACTIONIST (PRACTIcal reasONIng sySTem) [1] is a suite of tools including (see figure 1): (i) a methodology, consisting of a UML-based modelling language (PAML) and an iterative and incremental development process, (ii) the PRACTIONIST runtime and framework (PRF), which defines and supports the execution logic and provides the builtin components according to such a logic to support the develop...

This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the interactions between the components, suitable for analysis ...

the main aim of this article is to study (v,k,λ)-symmetric designs admitting a flag-transitive and point-primitive automorphism group g whose socle is psl(3,q). we indeed show that the only possible design satisfying these conditions is a desarguesian projective plane pg(2,q) and g > psl(3,q).

Given a place ω of global function field K over finite field, with associated affine ring R and completion , the aim this paper is to give an effective joint equidistribution result for renormalized primitive lattice points (a,b)∈R 2 in plane solutions gcd equation ax+by=1. The main tools are techniques Gorodnik Nevo counting well-rounded families subsets. This gives sharper analog positive cha...

A process algebraic foundation is developed, for formal analysis of synchronous hardware designs using the commercially available hardware design language, ELLA. An underlying semantic foundation, based on input/output trace sets, is presented first through the use of state machines. Such a representation enables direct application of standard, fully automated, trace equivalence checking tools....

This paper describes the role of the Primitive Mobility (PrimMob) module within the Mobility Open Architecture Simulation and Tools(MOAST) environment. Descriptions are given of several alternative implementations of the module motivated by a desire to make MOAST more usable for an industrial Automated Guided Vehicle(AGV). A series of performance metrics is described as a series of tests that a...

The extended cyclic codes of length p” , p a prime, which are invariant under the aff ine-group acting on ffpm, are called affine-invariant codes. Following recent results of Berger, we present the formal expression of the permutat ion group of these codes. Afterwards we give several tools in order to determine effectively the group of a given code or of some infinite class of codes. W e next p...