This is a survey on trace constructions on various operator algebras with an emphasis on regularized traces on algebras of pseudodifferential operators. For motivation our point of departure is the classical Hilbert space trace which is the unique semifinite normal trace on the algebra of bounded operators on a separable Hilbert space. Dropping the normality assumption leads to the celebrated D...

background and objectives: with regard to the hazards of nitrite, application of natural preservatives in order to reduce the microbial load of meat and meat products is increasing. owing to their anti-bacterial properties, red barberry and the dried residue of red grape could be suitable replacers for nitrite. materials and methods: agar dilution method was employed in order to determine the m...

in this paper, a new method is introduced for improving the efficiency of the residue number system, which uses both binary and residue representations in order to represent a number. a residue number system uses the remainder of the division in several different modules. conversion of a number to smaller ones and carrying out parallel calculations on these numbers greatly increase the speed of...

Background and Objectives: With regard to the hazards of nitrite, application of natural preservatives in order to reduce the microbial load of meat and meat products is increasing. Owing to their anti-bacterial properties, red barberry and the dried residue of red grape could be suitable replacers for nitrite. Materials and Methods: Agar dilution method was employed in order to determine th...

The-calculus is a-calculus with a local operator closely related to normal-isation procedures in classical logic and control operators in functional programming. We introduce exp, an explicit substitution calculus for , show it preserves strong normali-sation and that its simply typed version is strongly normalising. Interestingly, exp is the rst example for which the decency method of showing ...