The problem of representing the spatial structure of images, which arises in visual object processing, is commonly described using terminology borrowed from propositional theories of cognition, notably, the concept of compositionality. The classical propositional stance mandates representations composed of symbols, which stand for atomic or composite entities and enter into arbitrarily nested r...

We will prove that a closed connected set S in ET whose points of local nonconvexity can be decomposed into a finite number of convex parts also possesses a simple type of polygonal connectedness. Furthermore, if S has a finite number of points of local nonconvexity, we obtain another result. In order to describe this situation easily we use the notation of Ln set used by Horn and Valentine [l ...

abstract the present research was done to evaluate proline, proteins and sugars of flower buds of pistachio trees during phonological stages. this study was conducted using a split-plot design with three replications considered time as main factor (5 stages) and cultivars (ahmad-aghaee, ouhadi, kaleh-ghochi and akbari) as secondary factor. the experiment was conducted at ferdowsi university of ...

drought is the most restricting factor in agricultural production in arid and semi-arid regions. this research was conducted on 19 facultative and winter wheat genotypes grown under normal irrigation (n), early post-anthesis (s1), and late post-anthesis (s2) drought stress conditions. the experiments were conducted at karadj, arak, and jolgehrokh agricultural research stations in iran, during 2...

This paper presents logical foundations for the most important object-oriented language features, including abstract types, dynamic binding, subtyping, and inheritance. These foundations are introduced along with an object-oriented kernel language. We show how object environments of such languages can be formalized in an algebraic way. Based on this foundation, we develop a Hoare-style logic fo...

Given lines Lj , j = 1, 2, 3, 4, in the plane, such that no three of the lines are parallel or are concurrent, we want to find the locus of centers of ellipses tangent to the Lj . In the case when the lines form the boundary of a four sided convex polygon R, let M1 and M2 be the midpoints of the diagonals of R. Let L be the line thru M1 and M2, let Z be the open line segment connecting M1 and M...

We deene an extension of Casl, the standard language for algebraic speciication, with a late binding mechanism. More precisely, we introduce a special kind of functions called methods, for which, diierently to what happens for usual functions, overloading resolution is delayed at evaluation time and not required to be conservative. The extension consists, at the semantic level, in the deenition...

Two 3d-4f hetero-metal pentanuclear complexes with the formula {[CrIII2LnIII3L10(OH)6(H2O)2]Et3NH} [Ln=Tb (1), Dy (2); HL=pivalic acid, Et3N=triethylamine] have been produced. The metal core of each cluster is made up of a trigonal bipyramid with three LnIII ions (plane) and two CrIII ions (above and below) held together by six μ3-OH bridges. Also reported with this series is the diamagnetic Cr...

Traditionally, service orchestrations utilize services according to a choreography where they are a part of. The orchestrations as well as the choreographies describe pre-defined sequences of behavior. This paper investigates if a given orchestration can be enacted without deadlocks, i.e. is interaction sound, inside an environment made up of different services. In contrast to existing approach...

Recent work in blind human subjects has confirmed the presence of a non-visual ocular photoreceptive mechanism similar to that described in blind mice. This system appears to subserve circadian photic entrainment, the pupillary light response, and a number of other aspects of neurophysiology and behavior.