Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

Descripción completa.

Este artículo se refiere a un producto, la Stevia, capaz de revolucionar el mercado de los endulzantes, debido a sus
propiedades totalmente naturales que lo convierten en perfecto sustituto del azúcar y los edulcorantes artificiales. La
Stevia se analiza desde…

Descripción completa.

Considérées comme des moyens incontournables de participation à la société, les technologies de l’information et de la communication (TIC) constituent une piste de solution prometteuse pour l’enseignement et l’apprentissage auprès des élèves qui ont des incapacités intellectuelles. Toutefois, plusieurs auteurs…

In this text a look at the research is presented as to the importance of the edaphic-environmental knowledge and monitoring of the soil-water management and natural resources conservtion practices, seeking to the water recharge. Furthermore, this chapter contains preliminary results…

Published in Greek by the Research Institute of Urban Environment and Human Resources (UEHR), Panteion University, Athens, Greece., The traditional Western model of the university, characterised by collegiality and the autonomy, has been challenged by agencies of the U.K. central…

Vécue comme l’une des plus grandes crises qu’a connue notre génération, la propagation du virus du SIDA est une urgence mondiale sans précédent, notamment en Afrique sub-saharienne où vivent la grande majorité des individus séropositifs. Dans un contexte où aucun…

The supervision of postgraduate Master's Degree dissertations has attracted little attention in the
academic literature and is an under researched area of supervisory activity. This research was a
response to generate new knowledge concerning the praxis of supervisors who supervise…

L’explosion du nombre de séquences permet à la phylogénomique, c’est-à-dire l’étude des liens de parenté entre espèces à partir de grands alignements multi-gènes, de prendre son essor. C’est incontestablement un moyen de pallier aux erreurs stochastiques des phylogénies simple gène,…