Leibnizian, Robinsonian, and Boolean Valued Monads

This is an overview of the present-day versions of monadology with some applications to vector lattices and linear inequalities.Comment: This is a talk prepared for the 20th St. Petersburg Summer Meeting in Mathematical Analysis, June 24-29, 201

Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

A Practical View on Renaming

We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed core representation is introduced, upon which a concept of prenaming is built. Prenaming formalizes the intuitive practice of renaming terms by just considering the necessary bindings, where now some passive "bindings" x/x may be necessary as well. As an application, a constructive version of variant lemma for implemented Horn clause logic has been obtained. There, prenamings made it possible to incrementally handle new (local) variables.Comment: In Proceedings WLP'15/'16/WFLP'16, arXiv:1701.0014

Generic Traces and Constraints, GenTra4CP revisited

The generic trace format GenTra4CP has been defined in 2004 with the goal of becoming a standard trace format for the observation of constraint solvers over finite domains. It has not been used since. This paper defines the concept of generic trace formally, based on simple transformations of traces. It then analyzes, and occasionally corrects, shortcomings of the proposed initial format and shows the interest that a generic tracer may bring to develop portable applications or to standardization efforts, in particular in the field of constraints

A note on testing the covariance matrix for large dimension

We consider the problem of testing hypotheses regarding the covariance matrix of multivariate normal data, if the sample size s and dimension n satisfy lim [n,s→∞] n/s = y. Recently, several tests have been proposed in the case, where the sample size and dimension are of the same order, that is y ∈ (0,∞). In this paper we consider the cases y = 0 and y = ∞. It is demonstrated that standard techniques are not applicable to deal with these cases. A new technique is introduced, which is of its own interest, and is used to derive the asymptotic distribution of the test statistics in the extreme cases y = 0 and y = ∞. --sphericity test,random matrices,Wishart distribution