In this article, we discuss a Gröbner basis algorithm related to the stability of algebraic varieties in the sense of Geometric Invariant Theory. We implement the algorithm with Macaulay 2, and give some applications to the moduli theory of curves. Given an algebraic group G acting on a projective variety X linearized by a line bundle L, the stability of a point x ∈ X can be determined by exami...

This is the first in a series of papers giving a geometric and combinatorial variant of well–known constructions by Culler, Morgan and Shalen concerning the compactification of the character variety of a 3– manifold. The techniques involve normal surfaces, angle structures and hyperbolic geometry, and lend themselves to the study of surfaces and boundary curves associated to ideal points of the...

Recent debate over the empirical psychological presuppositions of virtue ethics has focused on reactive behavioural dispositions. But there are many character traits that cannot be understood properly in this way. Such traits are well described by attitude psychology. Moreover, the findings of attitude psychology support virtue ethics in three ways. First, they confirm the role of habituation i...

We use path integral methods and topological quantum field theory techniques to investigate a generic classical Hamiltonian system. In particular, we show that Floer’s instanton equation is related to a functional Euler character in the quantum cohomology defined by the topological nonlinear σ–model. This relation is an infinite dimensional analog of the relation between Poincaré–Hopf and Gauss...

Dendrimers and hyperbranched polymers represent a revolution in methodology for directed synthesis of monodisperse polymers with enormous possibility of novel architectures. They demonstrate ability to attain micelle-like structures with distinct internal and external character. Furthermore polyfunctional character of dendrimers allows varied response to environment and promise as selective sen...

ÐA robust system is proposed to automatically detect and extract text in images from different sources, including video, newspapers, advertisements, stock certificates, photographs, and checks. Text is first detected using multiscale texture segmentation and spatial cohesion constraints, then cleaned up and extracted using a histogram-based binarization algorithm. An automatic performance evalu...

A polynomial approximation to the likelihood function allows for marginalised estimates of model parameters to be obtained in the form of a Volterra series. The series can be applied directly to the observed data vector in an iterative fashion, to converge upon a set of parameter MAP estimates with low computational cost. A sample application towards OCR is used as an illustration.

This paper gives an overview of intersection type assignment for the Lambda Calculus, as well as compare in detail variants that have been defined in the past. It presents the essential intersection type assignment system, that will prove to be as powerful as the wellknown BCD-system. It is essential in the following sense: it is an almost syntax directed system that satisfies all major propert...

In [7], a naive set theory is introduced based on a polynomial time logical system, Light Linear Logic (LLL). Although it is reasonably claimed that the set theory inherits the intrinsically polytime character from the underlying logic LLL, the discussion there is largely informal, and a formal justification of the claim is not provided sufficiently. Moreover, the syntax is quite complicated in...