in this paper, we propose space-time block codes based on constituent intersectant orthogonal designs. after channel model is formulated, we studied the space-time block codes from constituent intersectant orthogonal designs. at last we made simulations for the space-time block codes from complex orthogonal design and the space-time block codes from constituent intersectant orthogonal design to...

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program’s transition relation and then show that the relational abstraction is wellfounded. The focus of current tools has been on developing sophisticated techniques for constructing the abstractions while relying on known decidable logics (such as linear a...

This paper is an attempt to examine the main theorems of social choice theory from the viewpoint of constructive mathematics. We examine the Gibbard–Satterthwaite theorem [A.F. Gibbard, Manipulation of voting schemes: a general result, Econometrica 41 (1973) 587–601; M.A. Satterthwaite, Strategyproofness and Arrow’s conditions: existence and correspondence theorems for voting procedures and soc...

This qualitative research examines propinquity across two grocery shopping situations – real (in-store) and virtual (online). Examining how the same consumers shop for the same or similar commodities provides quasi-experimental conditions to examine differences in shopping behaviour. Convergent interviews with 15 respondents identified that consumer reasons – expectations of convenience, trust ...

We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed The semantics of the logic is given with respect to sym bolic transition systems Several motivational examples are included The reader is assumed to have passing familiarity with LOTOS

Near-perfect atttomatic accent assignment is attainable,for citation-s~le speech, but better computational models art, needed to predict accent in extended, spontaneous discourses. This paper presents an empirically motivated theory of the discourse ]bcttsing nature of accent in spontaneous speech. Hypotheses based on this theory lead to a new approach to accent prediction, in which patterns o ...