Diabetes mellitus is a syndrome which affects more and more people in all countries over the world. In México, it is commonly treated with herbal extracts. Such treatment may be of considerable benefit especially during the early stages of the illness. In this review, we discuss species commonly used in México in the treatment of diabetes. A total of 306 species have records of a popular use in...

In this paper, we propose a topological metaphor for computations: computing consists in moving through a path in a data space and making some elementary computations along this path. This idea underlies an experimental declarative programming language called mgs. mgs introduces the notion of topological collection: a set of values organized by a neighborhood relationship. The basic computation...

Case based reasoning (CBR) retrieval operations with partial ordering similarity measures have been implemented in LINDA to extract generic operations and identify potential parallelism in CBR. Mapping and reduction operations, and constraint matching versions of all retrieval operations were identified, then implemented in LINDA. Their operational semantics were expressed in terms of the CHAM ...

Retirement communities not only reflect, reproduce and emplace very specific ideas about how and where to enjoy retirement Laws 1995; McHugh 2000), but they are implicated in and are the products of the commodification of later life. As commodities, the effectiveness and therefore the content of advertise¬ ments used to attract potential residents play a crit¬ ical role in promoting the ameniti...

Abramsky's Linear Chemical Abstract Machine is a term calculus which corresponds to Linear Logic, via the Curry-Howard iso-morphism. We show that the typed-calculus is embedded into Linear Chemical Abstract Machine by Girard's embedding of Intuitionistic Logic into Linear Logic. Then we extend our result to a simple functional programming language obtained from the typed-calculus by adding cons...

This article recapitulates on the research done in self-organising assembly systems (SOAS) and presents the completed formal specifications and their simulation in Maude. SOAS are assembly systems that (1) participate in their own design by spontaneously organising themselves in the shop floor layout in response to the arrival of a product order and (2) manage themselves during production. The ...

A reappraisal is made of the Anthurium Schott species with palmately divided leaves with 3 or more segments free to the base (i.e. palmatisect leaves), previously recognized as section Dactylophyllium Schott (Engler), as well as those species with 5 or more segments united at the base (i.e. palmatifid leaves), formerly placed in section Schizoplacium Schott (Engler). New molecular data indicate...

U sing the expansion-cham ber m ethod, n inety p ro ton tracks are obtained from 850 pho to ­ graphs showing the d isintegration of nitrogen under bom bardm ent by slow a-particles. The num ber of disintegrations decreases as the energy of the a-particles is reduced, b u t the photographs show disintegrations occurring for energies less th an T7 MeV. The angular dis­ tr ibu tion is approxim ate...

Abstract. The exposed Variscan basement in central Europe is well-known for its complex structural and lithological architecture resulting from multiple deformation phases. We studied the southwestern margin of Bohemian Massif, which characterized by major long-lived shear zones, such as Pfahl Danube extending over > 100 km initiated during tectonics. integrated Bouguer gravity anomaly lidar...

We found distinct pelage characters in Finlayson’s squirrel (Callosciurus finlaysonii) population, which is endemic to Lao Island of the Cham Islands, located off coast central Vietnam. Among squirrels ‘C. erythraeus-finlaysonii complex’, consists all forms C. erythraeus and finlaysonii, mitochondrial cytochrome-b sequences show that a cluster with finlaysonii external flavimanus, defined previ...