La Terapia Cognitivo Conductual reduce los síntomas tanto de depresión como ansiedad a un nivel más rápido que cualquier otra terapia (Malkinson, 2010). El sujeto a participar en este estudio de caso es una mujer que cumple con los criterios…

As a part of a taxonomic revision of Ethesia Raf., a new species, E. tanquana Mart.-Azorín & M.B.Crespo, is described from the Tanqua Karoo in South Africa. This new species is at first sight similar to E. haalenbergensis (U.Müll.-Doblies &…

Clustering of short texts is an important research area because of its applicability in information retrieval and text mining. To this end was proposed CLUDIPSO, a discrete Particle Swarm Optimization algorithm to cluster short texts. Initial results showed that CLUDIPSO…

Framework comprehension is a very limiting factor to take full advantage of the benefits that frameworks offer to increase quality and productivity in software development. In this paper, a reverse engineering approach to framework comprehension using the MetaExplorer tool is…

The genus Acroleucus Stål from México is revised. Two new species A. calvatus and A. tensus are described and illustrated. New distribution records are presented, as well as comments on the host plants for some of the species. A revised…

Worldwide, there is a well-documented crisis for bees and other pollinators which represent a fundamental biotic capital for wild life conservation, ecosystem function, and crop production. Among all pollinators of the world, bees (Hymenoptera: Apoidea) constitute the major group in…

Faunistic data of 64 species of Phygadeuontini from Bulgaria are reported. Of them, 27 species are new records for Bulgarian fauna. Zoogeographical considerations about all listed species are given., En el presente artículo se ofrecen nuevos datos faunísticos sobre 64…

A review of the North American (Mexico and the United States of America) species Frankliniella aurea Moulton, 1948, was carry out herein. It is now recognized as a "species complex", since its adults show three color forms; new data about…

Electronic Government initiatives, such as seamless public services delivered at one-stop government portals, require establishing collaborative networks among public- and private-sector organizations. However, semantic interoperability problems emerge as these organizations may differ in the terms and meanings they use to…

Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…