Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 3
Search results for: Oris Tom-Lawyer
3 Using the Weakest Precondition to Achieve Self-Stabilization in Critical Networks
Authors: Antonio Pizzarello, Oris Friesen
Abstract:
Networks, such as the electric power grid, must demonstrate exemplary performance and integrity. Integrity depends on the quality of both the system design model and the deployed software. Integrity of the deployed software is key, for both the original versions and the many that occur throughout numerous maintenance activity. Current software engineering technology and practice do not produce adequate integrity. Distributed systems utilize networks where each node is an independent computer system. The connections between them is realized via a network that is normally redundantly connected to guarantee the presence of a path between two nodes in the case of failure of some branch. Furthermore, at each node, there is software which may fail. Self-stabilizing protocols are usually present that recognize failure in the network and perform a repair action that will bring the node back to a correct state. These protocols first introduced by E. W. Dijkstra are currently present in almost all Ethernets. Super stabilization protocols capable of reacting to a change in the network topology due to the removal or addition of a branch in the network are less common but are theoretically defined and available. This paper describes how to use the Software Integrity Assessment (SIA) methodology to analyze self-stabilizing software. SIA is based on the UNITY formalism for parallel and distributed programming, which allows the analysis of code for verifying the progress property p leads-to q that describes the progress of all computations starting in a state satisfying p to a state satisfying q via the execution of one or more system modules. As opposed to demonstrably inadequate test and evaluation methods SIA allows the analysis and verification of any network self-stabilizing software as well as any other software that is designed to recover from failure without external intervention of maintenance personnel. The model to be analyzed is obtained by automatic translation of the system code to a transition system that is based on the use of the weakest precondition.Keywords: network, power grid, self-stabilization, software integrity assessment, UNITY, weakest precondition
Procedia PDF Downloads 2232 Enhancing Root Canal Therapy with MTA and Tetracycline-Loaded Nanochitosan: An Approach for Infected Root Canal Treatment in Dogs (in-vivo Animal Study)
Authors: Rania Hanafi Mahmoud Said, Rasha Mohamed Taha
Abstract:
Background: A recent study has explored the potential of an approach to treating infected root canals using a combination of Mineral Trioxide Aggregate (MTA) and Tetracycline-loaded Nanochitosan. Material and methods: Forty dogs were included in the study, with infected periapical areas induced by leaving access openings in their teeth for four months. Bacteriological samples from the infected root canals were collected and managed anaerobically to identify and count the different microorganisms present. The most common microorganisms detected were Prevotella oris, Fusobacterium nucleatum, Streptococcus viridans, Enterococcus faecalis, Clostridium subterminale, Porphyromonas gingivalis, and Peptostreptococcus anaerobius. The dogs were divided into four groups based on the sealant used to treat the infected periapical areas: Group I: Negative control (no treatment) Group II: Positive control (MTA only) Group III: MTA + tetracycline Group IV: MTA + tetracycline loaded on nanochitosan Results: Periapical areas in Group IV showed significantly more bone healing than those in Groups I, II, and III. The newly formed bone was evaluated radiographically, histologically, and immunohistochemically using Osteopontin (OSP) antibodies. Data collected was statistically analysed using SPSS software at a 0.05 significance level. Conclusion: The study concluded that the combined use of Tetracycline-loaded Nanochitosan and MTA presents a promising approach for the treatment of infected root canals. The potent antimicrobial activity of Tetracycline-loaded Nanochitosan, along with the biocompatibility and desirable properties of MTA, may synergistically contribute to improved clinical outcomes in endodontic therapy. This study has important implications for the clinical management of infected root canals. The combination of Tetracycline-loaded Nanochitosan and MTA could provide a more effective and efficient means of treating these challenging cases. Further research is needed to confirm these findings in humans and to optimize the treatment protocol.Keywords: mineral trioxide aggregate, tetracycline-loaded nanochitosan, periapical infection, osteopontine
Procedia PDF Downloads 581 Re-Evaluating the Hegemony of English Language in West Africa: A Meta-Analysis Review of the Research, 2003-2018
Authors: Oris Tom-Lawyer, Michael Thomas
Abstract:
This paper seeks to analyse the hegemony of the English language in Western Africa through the lens of educational policies and the socio-economic functions of the language. It is based on the premise that there is a positive link between the English language and development contexts. The study aims to fill a gap in the research literature by examining the usefulness of hegemony as a concept to explain the role of English language in the region, thus countering the negative connotations that often accompany it. The study identified four main research questions: i. What are the socio-economic functions of English in Francophone/lusophone countries? ii. What factors promote the hegemony of English in anglophone countries? iii. To what extent is the hegemony of English in West Africa? iv. What are the implications of the non-hegemony of English in Western Africa? Based on a meta-analysis of the research literature between 2003 and 2018, the findings of the study revealed that in francophone/lusophone countries, English functions in the following socio-economic domains; they are peace keeping missions, regional organisations, commercial and industrial sectors, as an unofficial international language and as a foreign language. The factors that promote linguistic hegemony of English in anglophone countries are English as an official language, a medium of instruction, lingua franca, cultural language, language of politics, language of commerce, channel of development and English for media and entertainment. In addition, the extent of the hegemony of English in West Africa can be viewed from the factors that contribute to the non-hegemony of English in the region; they are French language, Portuguese language, the French culture, neo-colonialism, level of poverty, and economic ties of French to its former colonies. Finally, the implications of the non-hegemony of English language in West Africa are industrial backwardness, poverty rate, lack of social mobility, drop out of school rate, growing interest in English, access to limited internet information and lack of extensive career opportunities. The paper concludes that the hegemony of English has resulted in the development of anglophone countries in Western Africa, while in the francophone/lusophone regions of the continent, industrial backwardness and low literacy rates have been consequences of English language marginalisation. In conclusion, the paper makes several recommendations, including the need for the early introduction of English into French curricula as part of a potential solution.Keywords: developmental tool, English language, linguistic hegemony, West Africa
Procedia PDF Downloads 140