Search results for: Nicodemus M. J. Mbwambo
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 3

Search results for: Nicodemus M. J. Mbwambo

3 An Encapsulation of a Navigable Tree Position: Theory, Specification, and Verification

Authors: Nicodemus M. J. Mbwambo, Yu-Shan Sun, Murali Sitaraman, Joan Krone

Abstract:

This paper presents a generic data abstraction that captures a navigable tree position. The mathematical modeling of the abstraction encapsulates the current tree position, which can be used to navigate and modify the tree. The encapsulation of the tree position in the data abstraction specification avoids the use of explicit references and aliasing, thereby simplifying verification of (imperative) client code that uses the data abstraction. To ease the tasks of such specification and verification, a general tree theory, rich with mathematical notations and results, has been developed. The paper contains an example to illustrate automated verification ramifications. With sufficient tree theory development, automated proving seems plausible even in the absence of a special-purpose tree solver.

Keywords: automation, data abstraction, maps, specification, tree, verification

Procedia PDF Downloads 167
2 In vivo Anticandida Activity of Three Traditionally Used Medicinal Plants in East Africa

Authors: Daniel P. Kisangau, Ken M. Hosea, Herbert V. M. Lyaruu, Cosam C. Josep, Zakaria H. Mbwambo, Pax J. Masimba

Abstract:

Crude extracts of Dracaena steudneri bark (DSB), Sapium ellipticum bark (SEB) and Capparis erythrocarpos root (CER) were investigated for their antifungal activity in immunocompromised mice infected with Candida albicans in an in vivo mice infection model. The results revealed a substantial dose dependency in all treatments given, with mice survival to the end of the experiment correlating well to the dose levels. At a dose of 400 mg/kg, C. erythrocarpos was the most effective with mice survival of 60% and organ burden clearance ranging from 64.0%-99.9% (P<0.0001) in all treatments. At the same dose, the least effective plant was S. ellipticum which had a mice survival of 20% and organ burden clearance ranging from 78.0%-96.6 (P>0.05). Mice survival for D. steudneri was 30% with organ burden clearance ranging from 89.0%-99.9% (P<0.05). All mice receiving no active treatment died before ten days post infection. In all treatment groups, there was a steady decline in mean weights of mice immediately after immunosuppression followed by gradual recovery in some cases which appeared to be dose dependent a few days post infection. Thus, extracts of D. steudneri and C. erythrocarpos portrayed the most significant potential as sources of antifungal drugs.

Keywords: antifungal activity, medicinal plants, candida albicans, East Africa

Procedia PDF Downloads 507
1 The Competitive Power of Supply Chain Quality Management in Manufacturing Companies in Cameroon

Authors: Nicodemus Tiendem, Arrey Mbayong Napoleon

Abstract:

The heightening of competition and the quest for market share has left business persons and research communities re-examining and reinventing their competitive practices. A case in point is Porter’s generic strategy which has received a lot of criticism lately regarding its inability to maintain a company’s competitive power. This is because it focuses more on the organisation and ignores her external partners, who have a strong bearing on the company’s performance. This paper, therefore, sought to examine Porter’s generic strategies alongside supply chain quality management practices in terms of their effectiveness in building the competitive power of manufacturing companies in Cameroon. This was done with the use of primary data captured from a survey study across the supply chains of 20 manufacturing companies in Cameroon using a five-point Likert scale questionnaire. For each company, four 1st tier suppliers and four 1st tier distributors were carefully chosen to participate in the study alongside the companies themselves. In each case, attention was directed to persons involved in the supply chains of the companies. This gave a total of 180 entities comprising the supply chains of the 20 manufacturing companies involved in the study, making a total of 900 participants. The data was analysed using three multiple regression models to assess the effect of Porter’s generic strategy and supply chain quality management on the marketing performance of the companies. The findings proved that in such a competitive atmosphere, supply chain quality management is a better tool for marketing performance over Porter’s generic strategies and hence building the competitive power of the companies at all levels of the study. Although the study made use of convenience sampling, where sample selectivity biases the results, the findings aligned with many other recent developments in line with building the competitive power of manufacturing companies and thereby made the findings suitable for generalisation.

Keywords: supply chain quality management, Porter’s generic strategies, competitive power, marketing performance, manufacturing companies, Cameroon

Procedia PDF Downloads 88