We deene a type theory MLM, which has proof theoretical strength slightly greater then Rathjens theory KPM. This is achieved by replacing the universe in Martin-LL of's Type Theory by a new universe V, which has the property that for every function f, mapping families of sets in V to families of sets in V, there exists a universe closed under f. We show that the proof theoretical strength of ML...

Resource allocation approaches play a very important role in improving the performance of a communication system. Load matrix (LM) [3] is a resource allocation approach used in single carrier mobile communication systems in a multi-cell scenario to reduce the interference (both inter-cell and intra –cell) to increase the system throughput decrease the packet delay. In this paper a resource allo...

A procedure for estimating directional wave spectra from an array of wave probes based on the Maximum Entropy Method (MEM) is developed in the present paper. The MEM approach yields an angular spreading function at each frequency band consistent with the input crossspectral density matrix. The method is evaluated using numerical simulations of directional sea states. The MEM is also used to ana...

The theory of the goodness of fit procedures for multivariate normality based on spherical harmonics, introduced in [6], is extended to cover the context of the multivariate linear model (MLM). The limiting distribution of the statistics considered does depend on the distribution of the covariates in the MLM, and our results provide a complete description of the manner in which the covariate di...

A chaotic orbit generated by a nonlinear system is irregular, aperiodic, unpredictable and has sensitive dependence on initial conditions. However, the chaotic trajectory is still not well enough to be a crypto system in digital secure communication. Therefore, we propose a Modified Logistic Map (MLM) and give a theoretical proof to show that the MLM is a chaotic map according to Devaney’s defi...

| The problem of estimating the parameters of complex-valued sinusoidal signals (cisoids, for short) from data corrupted by colored noise occurs in many signal processing applications. We present a simple formula for the asymptotic (large-sample) Cram er-Rao bound (CRB) matrix associated with this problem. The maximum likelihood method (MLM), which estimates both the signal and noise parameters...

One of the most vexing challenges that has faced the behavioral sciences over the past century has been how to optimally measure, summarize, and predict individual variability in stability and change over time. It has long been known that a multitude of advantages are associated with the collection and analysis of repeated measures data; indeed, longitudinal data have become nearly requisite in...

Metadata is an emerging approach to organizing digital collections in order to enhance retrieval, preservation, and interoperability. The various issues confronting digital library projects that aspire to adopt metadata create the need for a systematic methodology. The Metadata Lifecycle Model (MLM), proposed in this paper, consists of ten steps: 1) acquiring basic metadata needs, 2) assessment...