For a given base scheme, a correspondence is established between a class of sheaves on curves over this base scheme and certain points of infinite Grassmannians. This equivalence extends to a characterization of commutative algebras of ordinary differential operators with coefficients in the ring of formal power series over a given kalgebra. Our construction generalizes the approach of M.Mulase...

On both empirical and theoretical grounds we find that a particular form of social hierarchy, here characterized as ‘pathogenic’, can, from the earliest phases of life, exert a formal analog to evolutionary selection pressure, literally writing a permanent image of itself ∗Address correspondence to Rodrick Wallace, PISCS Inc., 549 W 123 St., Suite 16F, New York, NY, 10027. Telephone (212) 865-4...

Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicit formal properties. Such a description relates to the semantic interpretation of the sentences , and to the surface text. As the formalism is implemented in a broad-coverage syntactic parser, we concentrate on issues that must be resolved by any practica...

In the preceding paper, the structure and thermodynamics of a given quantum system was represented by a corresponding classical system having an effective temperature, local chemical potential, and pair potential. Here, that formal correspondence is implemented approximately for applications to two quantum systems. The first is the electron gas (jellium) over a range of temperatures and densiti...

Methods Forest fragments were surveyed for their abundance in herbaceous plant species. All plant species where clustered into Emergent Groups (EG) by means of a formal classification based on 14 life-history traits. Within each EG, the local, regional and historical factors were related to the community composition using partial Canonical Correspondence Analyses (pCCA) and to the species richn...

In the current review paper, we provide an overview of how mainstream argumentation semantics can be interpreted in terms of structured discussion. The idea is that an argument is justified according to a particular argumentation semantics iff it is possible to win a discussion of a particular type. Hence, different argumentation semantics correspond to different types of discussion. Our aim is...

In the Romanian penitentiary establishments and those of other European countries one talks about the formal and informal education. Since the correspondence education system, important steps have been made towards the e-learning didactics which are reflected by the modern teaching methods (through ICT) used even by the penitentiary system. The Moodle platform, the web site with certain specifi...

This paper shows how the correspondence between a unordered dependency tree and a sentence that expresses it can be achieved by transforming the tree into a string where each linear precedence link corresponds to one specific syntactic relation. We propose a formal grammar with a distributed architecture that can be used for both synthesis and analysis. We argue for the introduction of a topolo...

In formal concept analysis, it is well-known that the number of concepts can be exponential in worst case. To analyze average case, we introduce a probabilistic model for random contexts and prove has superpolynomial asymptotic lower bound.