Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Visualisation of Integrated Patient-Centric Data as Pathways: Enhancing Electronic Medical Records in Clinical Practice

Routinely collected data in hospital Electronic Medical Records (EMR) is rich and abundant but often not linked or analysed for purposes other than direct patient care. We have created a methodology to integrate patient-centric data from different EMR systems into clinical pathways that represent the history of all patient interactions with the hospital during the course of a disease and beyond. In this paper, the literature in the area of data visualisation in healthcare is reviewed and a method for visualising the journeys that patients take through care is discussed. Examples of the hidden knowledge that could be discovered using this approach are explored and the main application areas of visualisation tools are identified. This paper also highlights the challenges of collecting and analysing such data and making the visualisations extensively used in the medical domain. This paper starts by presenting the state-of-the-art in visualisation of clinical and other health related data. Then, it describes an example clinical problem and discusses the visualisation tools and techniques created for the utilisation of these data by clinicians and researchers. Finally, we look at the open problems in this area of research and discuss future challenges

TRADITIONAL MEDICINE: PAST, PRESENT AND FUTURE RESEARCH AND DEVELOPMENT PROSPECTS AND INTEGRATION IN THE NATIONAL HEALTH SYSTEM OF CAMEROON.

Traditional medicine refers to health practices, approaches, knowledge and beliefs incorporating plant, animal and mineral based medicines, spiritual therapies, manual techniques and exercises, applied singularly or in combination to treat, diagnose and prevent illnesses or maintain well-being. In the last decade traditional medicine has become very popular in Cameroon, partly due to the long unsustainable economic situation in the country. The high cost of drugs and increase in drug resistance to common diseases like malaria, bacteria infections and other sexually transmitted diseases has caused the therapeutic approach to alternative traditional medicine as an option for concerted search for new chemical entities (NCE). The World Health Organisation (WHO) in collaboration with the Cameroon Government has put in place a strategic platform for the practice and development of TM in Cameroon. This platform aims at harmonizing the traditional medicine practice in the country, create a synergy between TM and modern medicine and to institutionalize a more harmonized integrated TM practices by the year 2012 in Cameroon. An overview of the practice of TM past, present and future perspectives that underpins the role in sustainable poverty alleviation has been discussed. This study gives an insight into the strategic plan and road map set up by the Government of Cameroon for the organisational framework and research platform for the practice and development of TM, and the global partnership involving the management of TM in the country

Diurnal and seasonal cycles of cloud occurrences, types and radiative impact over West Africa

This study focuses on the occurrence and type of clouds observed in West Africa, a subject which has neither been much documented nor quantified. It takes advantage of data collected above Niamey in 2006 with the ARM mobile facility. A survey of cloud characteristics inferred from ground measurements is presented with a focus on their seasonal evolution and diurnal cycle. Four types of clouds are distinguished: high-level clouds, deep convective clouds, shallow convective clouds and mid-level clouds. A frequent occurrence of the latter clouds located at the top of the Saharan Air Layer is highlighted. High-level clouds are ubiquitous throughout the period whereas shallow convective clouds are mainly noticeable during the core of the monsoon. The diurnal cycle of each cloud category and its seasonal evolution is investigated. CloudSat and CALIPSO data are used in order to demonstrate that these four cloud types (in addition to stratocumulus clouds over the ocean) are not a particularity of the Niamey region and that mid-level clouds are present over the Sahara during most of the Monsoon season. Moreover, using complementary data sets, the radiative impact of each type of clouds at the surface level has been quantified in the shortwave and longwave domain. Mid-level clouds and anvil clouds have the largest impact respectively in longwave (about 15 W m−2) and the shortwave (about 150 W m−2). Furthermore, mid-level clouds exert a strong radiative forcing in Spring at a time when the other cloud types are less numerous

Effect of fortification with baobab (Adansonia digitata L.) pulp flour on sensorial acceptability and nutrient composition of rice cookies

In order to fight malnutrition, functional cookies fortified with baobab pulp flour at partial substitution rates of 10, 20 and 30% were evaluated for consumer acceptability and nutritional quality. Consumer acceptability was evaluated in terms of taste, aroma, color and texture (hedonic characteristics) while nutritional quality was evaluated in terms of macro- and micro-nutrient compositions. Results showed that composite flours exhibited good functional properties. Twenty percent fortification cookies produced the most acceptable cookies which were rich in calories (490.24 kcal per 100 g), total fibre (8.65%), and total fat (27.52% DM). According to the National Agency of Sanitary Security recommendations concerning the contribution of each macromolecule to the total energy, crude protein intake was lower, polysaccharide intake was within the recommended value, while total fat intake was largely beyond that value. Mineral profile showed that cookies enriched with 20% of baobab pulp flour were rich in iron (15.6 mg/100 g), calcium (30 mg/100 g), magnesium (20 mg/100 g), potassium (930 mg/100 g), and vitamin C (60 mg/100 g). Thus, incorporation of baobab pulp flour at 20% improved sensory and nutritional qualities of rice cookies. Baobab fortified cookies can therefore be an alternative non costly and accessible snack to alleviate malnutrition in general and micronutrient deficiencies in particular. Keywords: Rice cookies, Baobab pulp flour, Nutritional properties, Sensorial qualit

Traditional Medicine: Past, Present And Future Research And Development Prospects And Integration In The National Health System Of Cameroon

Traditional medicine refers to health practices, approaches, knowledge and beliefs incorporating plant, animal and mineral based medicines, spiritual therapies, manual techniques and exercises, applied singularly or in combination to treat, diagnose and prevent illnesses or maintain well-being. In the last decade traditional medicine has become very popular in Cameroon, partly due to the long unsustainable economic situation in the country. The high cost of drugs and increase in drug resistance to common diseases like malaria, bacteria infections and other sexually transmitted diseases has caused the therapeutic approach to alternative traditional medicine as an option for concerted search for new chemical entities (NCE). The World Health Organisation (WHO) in collaboration with the Cameroon Government has put in place a strategic platform for the practice and development of TM in Cameroon. This platform aims at harmonizing the traditional medicine practice in the country, create a synergy between TM and modern medicine and to institutionalize a more harmonized integrated TM practices by the year 2012 in Cameroon. An overview of the practice of TM past, present and future perspectives that underpins the role in sustainable poverty alleviation has been discussed. This study gives an insight into the strategic plan and road map set up by the Government of Cameroon for the organisational framework and research platform for the practice and development of TM, and the global partnership involving the management of TM in the country

Characterization of Leishmania parasites isolated from naturally infected mammals

Simple Summary Leishmaniasis is a group of parasitic diseases that affect humans and animals. Climate change and increased travel and migration have contributed to the spread of leishmaniasis in Europe, which may allow the introduction of new exotic Leishmania species or change the profile of known strains. Therefore, it is a priority to continue isolating and characterizing Leishmania strains from hosts. In this study, we analyzed and characterized two Leishmania isolates (NAV and TDL) obtained from naturally infected mammals (dogs). We identified Leishmania infantum parasites, the main agents responsible for the disease in Spain and Europe. We focused on the analysis of growth rate, treatment response, infection capacity, and gene expression, comparing these isolates with the widely studied strain L. infantum BCN 150. Considering that these isolates showed different profiles, both NAV and TDL could be useful for in vitro and in vivo assays that might shed some light on the biology of the parasite. Leishmaniasis is spreading in Europe, especially in endemic countries such as Italy and Spain, in part due to ongoing climate change and the increase in travel and migration. Although Leishmania infantum is the main agent responsible for this disease in humans and animals, other species and hybrids have been detected. This highlights the need to continue isolating and characterizing Leishmania strains from biological samples of infected hosts. In this study, we characterized the recently isolated parasites L. infantum NAV and L. infantum TDL, obtained from naturally infected mammals (dogs), and we compared them with the widely distributed and studied strain L. infantum BCN 150. Both NAV and TDL promastigotes showed a slower growth rate than BCN 150 and were significantly more sensitive to amphotericin B and miltefosine. Furthermore, the expression of the CYCA gene (involved in cell cycle and proliferation) was significantly downregulated in NAV and TDL isolates. On the other hand, CYC6 (implicated in treatment resistance) and APG9 (related to the recycling of protein under stress conditions and/or while undergoing a differentiation process and treatment resistance) levels were upregulated, compared to those measured in BCN 150. Both isolates displayed a higher infection capacity (>3 amastigotes per macrophage and >70% of infected macrophages) compared to controls (<2 amastigotes/cells and <50% of infected macrophages). Finally, a higher susceptibility to miltefosine treatment was observed in intracellular NAV and TDL amastigotes. In conclusion, TDL and NAV are novel Leishmania isolates that might be useful for in vitro and in vivo assays that will allow a better understanding of the parasite biology in Mediterranean areas