In this paper we settle a logical semantics for the class CC of concurrent constraint programming languages and for its extension LCC based on linear constraint systems. Besides the characterization in intuitionistic logic of the stores of CC computations, we show that both the stores and the successes of LCC computations can be characterized in intuitionistic linear logic. We illustrate the us...

Differential phase and its range derivative KDP are of interest to several hydrological applications from weather radar systems. Despite the attractive qualities of polarimetric differential phase measurements, the usefulness of these radar measurements is potentially undermined as a consequence of measurement fluctuations and physical or beam geometry artifacts. This paper presents an applicat...

The resolution of linear system with positive integer variables is a basic yet difficult computational problem with many applications. We consider sparse uncorrelated random systems parametrised by the density c and the ratio α = N/M between number of variables N and number of constraints M . By means of ensemble calculations we show that the space of feasible solutions endows a VanDer-Waals ph...

The general factorization of a linear-phase paraunitary filter bank (LPPUFB) is revisited and we introduce a class of lapped orthogonal transforms with extended overlap (GenLOT). In this formulation, the discrete cosine transform (DCT) is the order-l GenLOT, the lapped orthogonal transform is the order-:! GenLOT, and so on, for any filter length which is an integer multiple of the block size. A...

The two-dimensional least mean square ( 2 0 LMS) adaptive filters have been recently used in the image processing applications for reducing the noise. I n this paper, a new two-dimensional LMS algorithm is proposed. For the special desires to the linear phase constraint during filtering the images, a n additional linear phase constraint is added to the existing 2 0 LMS algorithms. Compare with ...

This paper describes a linear phase digital filter with novel linear phase condition. A conventional linear phase digital filter is an FIR filter with coefficients of oddor even –symmetry and whose group delay NTs/2 where N is the number of the FIR filter taps and Ts is the sampling period; its group delay time resolution is Ts/2. We have generalized the linear phase condition, and with our nov...

When a rat crosses the place field of a hippocampal pyramidal cell, this cell typically fires a series of spikes. Spike phases, measured with respect to theta oscillations of the local field potential, on average decrease as a function of the spatial distance traveled. This relation between phase and position of spikes might be a neural basis for encoding and is called phase precession. The deg...

A very low voltage 9th order linear phase baseband switched capacitor (SC) filter has been designed to be used as part of a cellular GSM (Global System Mobile) receiver. A Gaussian-to-6dB filter of the order of seven is chosen and a second order function is added to reduce the group delay variations around. The filter uses a fully differential topology to increase the dynamic range and reduce t...

Control charts are powerful tools to monitor quality characteristics of services or production processes. However, in some processes, the performance of process or product cannot be controlled by monitoring a characteristic; instead, they require to be controlled by a function that usually refers as a profile. This study suggests employing exponentially weighted moving average (EWMA) and range ...

Light linear logic 1] is a reenement of the propositions-as-types paradigm to polynomial-time computation. A semantic setting for the underlying logical system is introduced here in terms of bred phase spaces. Strong completeness is established, with a purely semantic proof of cut elimination as a consequence. A number of mathematical examples of bred phase spaces are presented that illustrate ...