State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools

Sobre las Obligationes de Robert Fland. Antiqua et nova responsio.

Sin resume

Savoirs et développement rural : Le dialogue au coeur de l'innovation

Face à l'échec avéré de l'aide publique au développement à réduire les inégalités et la faim, notamment en Afrique, un large consensus a été atteint sur la nécessité d'adopter une approche nouvelle afin d'améliorer la production agricole. Les initiatives africaines décrites dans ce livre illustrent des méthodologies de développement novatrices où le dialogue, la participation active des communautés et la prise en compte des savoirs locaux forment les principes de base

Knowledge and rural development: Dialogue at the heart of innovation

Faced with the clear failure of public development aid to reduce inequalities and hunger, especially in Africa, wide consensus has been reached on the need for a new approach to improve agricultural production. The African initiatives described in this book illustrate innovative development methodologies where dialogue, the active participation of communities and consideration of local knowledge are the basic principles

A decision support system for elective surgery scheduling under uncertain durations

The operation room (OR) is one of the most expensive material resources in hospitals. Additionally, the demand for surgical service is increasing due to the aging population, while the number of surgical interventions performed is stagnated because of budget reasons. In this context, the importance of improving the efficiency of the surgical service is accentuated. The main objective of this work is to propose and to evaluate a Decision Support System (DSS) for helping medical staff in the automatic scheduling of elective patients, improving the efficiency of medical teams'' work. First, the scheduling criteria are fixed and then the scheduling problem of elective patients is approached by a mathematical programming model. A heuristic algorithm is proposed and included in the DSS. Moreover, other different features are implemented in a software tool with a friendly user interface, called CIPLAN. Considering realistic data, a simulation comparison of the scheduling obtained using the approach presented in this paper and other similar approaches in the bibliography is shown and analyzed. On the other hand, a case study considering real data provided by the Orthopedic Surgical Department (OSD) of the "Lozano Blesa" hospital in Zaragoza (HCU) is proposed. The simulation results show that the approach presented here obtains similar occupation rates and similar confidence levels of not exceeding the available time than approaches in the bibliography. However, from the point of view of respecting the order of the patients in the waiting list, the approach in this paper obtains scheduling much more ordered. In the case of the Orthopedic Surgical Department of the "Lozano Blesa" hospital in Zaragoza, the occupation rate may be increased by 2.83%, which represents a saving of 110, 000 euros per year. Moreover, medical doctors (who use this tool) consider CIPLAN as an intuitive, rapid and efficient software solution that can make easier the corresponding task

The challenges of rehabilitating denuded patches of a semi-arid environment in Kenya

Land degradation is a major problem in the semi-arid environments of Sub-Saharan Africa. Fighting land degradation is essential to ensure the sustainable and long-term productivity of the habited semiarid lands. In Kenya, grass reseeding technology has been used to combat land degradation. However, despite the use of locally adapted perennial grass species namely Cenchrus ciliaris (African foxtail grass), Eragrostis superba (Maasai love grass) and Enteropogon macrostachyus (Bush rye) failure still abound. Therefore, more land is still being degraded. The aim of this study was to determine the main factors which contribute to failures in rehabilitating denuded patches in semi-arid lands of Kenya. A questionnaire was administered to capture farmer perceptions on failures on rangeland rehabilitation using grass reseeding technology. Rainfall data was collected during the study period. Moreover, rehabilitation trials using the three grasses were done under natural rainfall. Results from this study show that climatic factors mainly low amounts of rainfall to be the main contributor to rehabilitation failures. 92% of the respondents asserted that reseeding fails because of low rainfall amounts received in the area. The study area received a total of 324 mm of rainfall which was low compared to the average annual mean of 600mm. Reseeded trial plots also failed to establish due to the low amounts of rainfall received. This showed how low rainfall is unreliable for reseeding. Other factors namely destruction by the grazing animals, pests and rodents, flush floods, poor sowing time, poor seed quality, lack of enough seed and weeds also contribute to rehabilitation failures in semi-arid lands of Keny

Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify and analyse a prominent example of adaptive system: robot swarms equipped with obstacle-avoidance self-assembly strategies. The analysis exploits the statistical model checker PVesta

Dry matter yields and hydrological properties of three perennial grasses of a semi-arid environment in East Africa

Enteropogon macrostachyus (Bush rye), Cenchrus ciliaris L. (African foxtail grass) and Eragrostis superba Peyr (Maasai love grass) are important perennial rangeland grasses in Kenya. They provide an important source of forage for domestic livestock and wild ungulates. These grasses have been used extensively to rehabilitate denuded patches in semi-arid environment of Kenya. This study investigated the dry matter yields and hydrological properties of the three grasses under simulated rainfall at three phenological stages; early growth, elongation and reproduction. Laboratory seed viability tests were also done. Hydrological properties of the three grasses were estimated using a Kamphorst rainfall simulator. Results showed that there was a significant difference (p > 0.05) in dry matter yields and soil hydrological properties at the different grass phenological stages. Generally, all the three grasses improved the soil hydrological properties with an increase in grass stubble height. C. ciliaris gave the best soil hydrological properties followed by E. macrostachyus and E. superba, respectively. E. macrostachyus recorded the highest seed viability percentage. C. ciliaris and E. superba were ranked second and third, respectively. C. ciliaris yielded the highest biomass production at the reproductive stage followed by E. superba and E. macrostachyus, respectively. Key words: Cenchrus ciliaris, Enteropogon macrostachyus, Eragrostis superba, rangeland

Effects of legume cover crop and sub-soiling on soil properties and Maize (Zea mays L) growth in semi arid area of Machakos district, Kenya = Efecto del cultivo de cobertua y el subsolado sobre las propiedades del suelo y crecimiento de maiz (Zea mays L.) en la region semi arida de Machakos, Kenia

Low crop yields in the semi arid areas of Kenya have been attributed to, among other factors, low soil fertility, low farm inputs, labour constraints and inappropriate tillage practices that lead to pulverized soils. The aim of this study was to determine the effects of legume cover crops (LCC) on soil properties and maize growth in the semi arid area of Machakos District, Kenya. The study was undertaken in farmers’ fields. The field experiments were carried out in a RCBD with four treatments each replicated four times during the 2008 long (LR) and short rain (SR) seasons. The treatments were T1 = maize + dolichos (Lablab purpureus) + subsoiling; T2 = maize + dolichos + no subsoiling; T3 = maize alone + no subsoiling; T4 = maize alone with subsoiling). Results from the field experiments showed that rainfall amount and its distribution affected the growth and yield of dolichos and maize. There were significant differences in ground cover between the treatments at P = 0.05 in all the different weeks after planting when measurements were taken. The penetration resistance in all the plots ranged from 3.83 - 4.18 kg cm-2 with treatment T4 having the highest and treatment T1 lowest penetration resistance. There were also siginificant changes in soil N in plots which were under dolichos compared to plots without dolichos. The results obtained in this study also indicated that subsoiling in combination with dolichos had the greatest potential of improving soil properties and crop yields in semi arid environments of Kenya