in this paper the author considers a general method, based on time domain samples for spectral manipulation of time limited signals. first, the original signal is divided into some frames in the time domain. then, by presenting a suitable theoretical and computational algorithm, and using a method for improving the speed of convergence, we find the local bandwidth of each frame; thereby, each f...

Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation. The problem is particularly delicate in the case of programs using pointers or referen...

The generalization of p-frame in Banach spaces is considered in this paper. The concepts of an $tilde{X}$-frame and a system conjugate to $tilde{X}$-frame were introduced. Analogues of the results on the existence of conjugate system were obtained. The stability of $tilde{X}$-frame having a conjugate system is studied.

this question has always been put forward in the mind of curious people why some countries have developed termed in spite of very few natural resources and facilities while other countries have not developed in spite of having more suitable resources and facilities. various factors such as economy, culture, geography, etc. are perhaps a background to answer this question, but there is a more im...

Modelling the Developing Mind: From Structure to Change This paper presents a theory of cognitive change. The theory assumes that the fundamental causes of cognitive change reside in the architecture of mind. Thus, the architecture of mind as specified by the theory is described first. It is assumed that the mind is a three-level universe involving (1) a processing system that constrains proces...

In this paper a new reference image approach for real world surveillance applications is presented. The presented algorithm is composed of two steps. In the first step, A statistical test is performed between a reference and a current image, and a decision is made whether there is a change at a given pixel position. In the second decision step, the possibility to update a reference frame is pro...

Supervenience is a concept borrowed from moral philosophy by philosophy of mind to solve the mind-body problem. The mind-body problem is actually a set of problems, among which the major ones are the Consciousness problem (Illustrative instance: how can physical states have felt qualities?) and the Intentionality Problem (Illustrative instance: How can physical states be about something, or be ...

partial frames provide a rich context in which to do pointfree structured and unstructured topology. a small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. these axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $ka...

abstract to resist lateral loads in concrete buildings, usually systems such as flexural frame, shear wall or their combinations are used. using x form of cable bracing in order to strengthen concrete buildings is a new method. this system is more economical compared with the other systems due to cables low weight, high tensile resistance, easy performance and less maintenance problems. in this...

in this paper we introduce and study besselian $g$-frames. we show that the kernel of associated synthesis operator for a besselian $g$-frame is finite dimensional. we also introduce $alpha$-dual of a $g$-frame and we get some results when we use the hilbert-schmidt norm for the members of a $g$-frame in a finite dimensional hilbert space.