Designing unimodular waveforms with a desired beampattern, spectral occupancy and orthogonality level is of vital importance in the next generation Multiple-Input Multiple-Output (MIMO) radar systems. Motivated by this fact, paper, we propose framework for shaping beampattern MIMO systems under constraints simultaneously ensuring unimodularity, designed waveform. In manner, proposed most compre...

Abstract The study of Gaussian Markov Random Fields has attracted the attention a large number scientific areas due to its increasing usage in several fields application. Here, we consider construction from graph and positive-definite matrix, which is closely related problem finding Maximum Likelihood Estimator covariance matrix underlying distribution. In particular, it simultaneously required...

Abstract This paper presents an algorithm for a non-standard logicminimization problem that arises in -valued propositional logic. The problem is motivated by the potential for obtaining better answers in applications that use -valued logic. An answer of or provides precise (definite) information; an answer of provides imprecise (indefinite) information. By replacing a formula with a “better” f...

In this paper we study strictly positive definite functions on the unit sphere of the m-dimensional Euclidean space. Such functions can be used for solving a scattered data interpolation problem on spheres. Since positive definite functions on the sphere were already characterized by Schoenberg some fifty years ago, the issue here is to determine what kind of positive definite functions are act...

We consider the problem minx(x−t)′A(x−t) subject to x′Bx+2b′x = k where A is positive definite or positive semidefinite. Commonly occurring statistical variants of this problem are discussed within the framework of a general unifying methodology. These include non-trivial considerations that arise when (i) A and/or B are not of full rank and (ii) t takes special forms (especially t = 0 which, u...

Referring to additive demand models, the Stochastic User Equilibrium can be formulated in the reduced space of travel alternative generalized costs as a fixed point problem defined on R , where n is the number of travel alternatives minus the number of user classes. Through the analysis of an equivalent non-linear program, a new sufficient condition for the uniqueness of the solution to a gener...

The sentential theory of propositional attitudes is very attractive to AI workers, but it is difficult to use such a theory to assign semantics to English sentences about attitudes. The problem is that a compositional semantics cannot easily build the logical forms that the theory requires. We present a new notation for a sentential theory, and a unification grammar that builds logical forms in...

The aim of this paper is to describe a technique for identifying the sources of several types of syntactic ambiguity in Arabic Sentences with a single parse only. Normally, any sentence with two or more structural representations is said to be syntactically ambiguous. However, Arabic sentences with only one structural representation may be ambiguous. Our technique for identifying Syntactic Ambi...