Mophoua : Lenguaje de Programación Orientado al Contexto del Objeto

En la Universitat de Guadalajara es desenvolupa un projecte d'investigació que contempla la creació d'un model de programació que s'ha denominat Context Object Oriented Programming (COOP). En ell s'integren els enfocaments Orientats a Objectes, Orientats a Rols i Programació Dirigida per Esdeveniments. El present projecte consisteix desenvolupar el llenguatge de programació Mophoua que soporta aquest modelo.

Folner sequences and finite operators

This article analyzes Folner sequences of projections for bounded linear operators and their relationship to the class of finite operators introduced by Williams in the 70ies. We prove that each essentially hyponormal operator has a proper Folner sequence (i.e. a Folner sequence of projections strongly converging to 1). In particular, any quasinormal, any subnormal, any hyponormal and any essentially normal operator has a proper Folner sequence. Moreover, we show that an operator is finite if and only if it has a proper Folner sequence or if it has a non-trivial finite dimensional reducing subspace. We also analyze the structure of operators which have no Folner sequence and give examples of them. For this analysis we introduce the notion of strongly non-Folner operators, which are far from finite block reducible operators, in some uniform sense, and show that this class coincides with the class of non-finite operators.

The choice of titling system in land

This paper analyzes the choice of the socially optimal titling systemassuming rational individual choices about recording, assurance andregistration decisions. It focuses on the enforcement of propertyrights on land under private titling and the two existing publictitling systems, recording and registration. When the reduction in theexpected costs of eviction compensates the higher cost of initialregistration, it is more efficient to introduce a registration systemrather than a recording system. The development of private "titleassurance" improves the standing of recording as compared toregistration. This improvement depends, however, on the efficiency ofthe assurance technology and, also, on corrective taxation that isneeded to align individual optimization, which disregards the transferelement in eviction, with social objectives.