We construct an algebra of generalized functions endowed with a canoni­ cal embedding of the space of Schwartz distributions. We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau’s solution. We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring ...

Continuing previous work, a model independent analysis of the solar neutrino anomaly is performed in terms of neutrino oscillations, allowing a comparison with the predictions of the Standard Solar Model. SMA and LMA solutions emerge also in this case, although somewhat different from the standard ones. The significance of the NC/CC double ratio measurable in SNO is illustrated in this context.

Possible non-standard couplings which could contribute to the t → bW process are studied based on the effective-Lagrangian approach. The corresponding effective Lagrangian consists of four kinds of dimension-6 effective operators, each of which has an independent coupling constant. In this analysis, all those couplings are treated as complex numbers and constraints on them are estimated by usin...

The Bayesian approach to cluster analysis is presented. We assume that all data stem from a …nite mixture model, where each component corresponds to one cluster and is given by a multivariate normal distribution with unknown mean and variance. The method produces posterior distributions of all cluster parameters and proportions as well as associated cluster probabilities for all objects. We ext...

Reduced products are generalizations of ultraproducts where the filter used need not be an ultrafilter. With a suitable choice of filter, we can then get a more constructive model of non-standard analysis. We study properties of such reduced products and investigate what classical results are still valid in a constructive setting. A boundedness principle BD, not derivable in pure constructive m...

In recent years many techniques have been developed for automatically verifying concurrent systems and most of them are based on the representation of the concurrent system by means of a transition system. State explosion is one of the most serious problems of this approach: often the prohibitive number of states renders the veriication ineecient and, in some cases, impossible. We propose a met...

When Newton and Leibnitz practiced calculus, they used infinitesimals, which were supposed to be like real numbers, yet of smaller magnitude than any other type of postive real number. In the 19th century, mathematicians realized they could not justify the use of infinitesimals according to their sense of rigor, so they began using definitions involving ’s and δ’s. Then, in the early 1960’s, th...

FPGAs and GPUs are increasingly used in a range of high performance computing applications. When implementing numerical algorithms on either platform, we can choose to represent operands with different levels of accuracy. A trade-off exists between the numerical accuracy of arithmetic operators and the resources needed to implement them. Where algorithmic requirements for numerical stability ar...

This article introduces a corpus-based method for improving the process of automatic morphological analysis of a non-standard text variety. More precisely, our paper is concerned with the morphological analysis of Estonian chatroom texts. First, the morphological analyzer designed for the standard written Estonian is used for the analysis of chatroom texts. On the basis of output error analysis...

Non-failure analysis aims at inferring that predicate calls in a program will never fail. This type of information has many applications in functional/logic programming. It is essential for determining lower bounds on the computational cost of calls, useful in the context of program parallelization, instrumental in partial evaluation and other program transformations, and has also been used in ...