oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

9 ( 1 )

2020 ( 95 )

2019 ( 372 )

2018 ( 400 )

Custom range...

Search Results: 1 - 10 of 126730 matches for " Mohamed T. Kimour "
All listed articles are free for downloading (OA Articles)
Page 1 /126730
Display every page Item
Model Transformation for Requirements Verification in Embedded Systems
Rachid Boudour,Mohamed T. Kimour
Asian Journal of Information Technology , 2012,
Abstract: In embedded systems, use cases have become increasingly popular as a means of requirements specification and drive all the development activities,particularly in validation ones. However, they are usually written in informal text form describing the interactions between the environment and the system. This prevents using formal methods in requirements verification. Though, they are becoming a practical means to ensure the correctness of system models, formal methods still are not commonplace in embedded systems especially in the requirements validation. In this study presenst an approach to model transformation for requirements verification in embedded systems. It firstly consists of transforming the use case structured-text style into an UML activity diagram, which may be reused in the subsequent development steps and secondly we transform this diagram into Pres, a formal notation capable of capturing relevant features of embedded systems. In addition to the offered formal verification framework, we argue that our approach enables enriching the use case model and producing more precise and complete requirements.
Multi-view Metamodeling of Software Architecture Behavior
Ammar Bessam,Mohamed Tahar Kimour
Journal of Software , 2009, DOI: 10.4304/jsw.4.5.478-486
Abstract: Component based development is recognized now as a powerful tool to manage actual systems’ technological complexity. The success key factor of this discipline is the high level abstracting of systems’ structural and behavioral constituents. On the other hand, enhancing software architectures simplicity and clarity by separating several concerns is a useful technique to manage complexity. In order to have a complete system specification, a rigorous behavior description is needed. Behavioral concepts and their use in architectural specification are in a fast evolution and have become so numerous, so it becomes difficult to elicit and manage them. For these purposes, we present in this paper, a generalized meta-model of behavioral aspects, that indexes the various architectural behavior concepts in classes, in a generic way. To enable more sophisticated and consistent analysis of architecture behavior we have separated behavioral concepts into packages basing on four functional perspectives: interface, static behavior, dynamic behavior, and interaction protocols. We show that our proposed meta-model allows having a general, a unified and an adaptable view of behavioral concepts required in software architecture description from all functional viewpoints.
SYMTC: Towards a Symbolic Model Checking for the Codesign
R. Boudour,M.T. Kimour
Asian Journal of Information Technology , 2012,
Abstract: The verification of finite-state systems by model-checking often requires to generate (a large part of) the state space of the system under analysis. In this study, we aim at improving the performances of state space construction by using an efficient method to avoid state explosion problem in model checking through the use of-DBM (Difference Bounded Matrices) and on the fly strategy. This approach requires at any time, only the needed states to be in memory and allows for checking several properties, especially, safety, bounded liveness and temporal correctness, which are the most important ones in reactive systems. The specifications are expressed in timed automata and TCTL for the system and properties respectively. The effectiveness of our approach has been demonstrated on many academic examples. The results obtained demonstrate that it is able to verify several properties that could not be checked by other state-of-the-art tools.
SYMTC: An Efficient Symbolic Model Checker for Embedded Systems
R. Boudour,M.T. Laskri,M.T. Kimour
Information Technology Journal , 2006,
Abstract: In this study, we aimed at improving the performances of state space construction by using an efficient method to avoid state explosion problem in model checking through the use of-DBM (Difference Bounded Matrices) and on the fly strategy. This approach requires at any time, only the needed states to be in memory and allows for checking several properties, especially, safety, bounded liveness and temporal correctness, which are the most important ones in reactive systems. The specifications are expressed in timed automata and TCTL for the system and properties, respectively. The effectiveness of our approach has been demonstrated on many academic examples. The results obtained demonstrate that it is able to verify several properties that could not be checked by other state-of-the-art tools.
Current and emerging “at-site” pain medications: a review
Rao PPN, Mohamed T
Journal of Pain Research , 2011, DOI: http://dx.doi.org/10.2147/JPR.S11308
Abstract: rrent and emerging “at-site” pain medications: a review Review (4655) Total Article Views Authors: Rao PPN, Mohamed T Published Date September 2011 Volume 2011:4 Pages 279 - 286 DOI: http://dx.doi.org/10.2147/JPR.S11308 Praveen PN Rao, Tarek Mohamed School of Pharmacy, Health Sciences Campus, University of Waterloo, Waterloo, ON, Canada Abstract: The myriad pain pathophysiology has intrigued and challenged humanity for centuries. In this regard, the traditional pain therapies such as opioids and nonsteroidal anti-inflammatory drugs have been highly successful in treating acute and chronic pain. However, their drawback includes adverse events such as psychotropic effects, addiction potential, and gastrointestinal toxicities, to mention a few. These factors combined with the likelihood of an increase in chronic pain conditions due to an aging population calls for the development of novel mechanism-based or “site-specific” agents to target novel pain pathways. In this regard, rapid progress has been made in understanding the molecular mechanisms of novel pain targets such as cannabinoid receptors, fatty acid hydrolase, voltage-gated and ligand-gated ion channels such as P2 receptors, transient receptor potential channels and glial cell modulators. Accordingly, preclinical studies indicate that the site-specific/selective agents exhibit sufficient efficacy and reduced side effects such as lack of psychotropic effects indicating their clinical potential. This review provides a brief summary of some “at-site” pain targets and their role in the pain pathophysiology, and describes the efforts in developing some small molecules as novel pain therapeutics.
Current and emerging “at-site” pain medications: a review
Rao PPN,Mohamed T
Journal of Pain Research , 2011,
Abstract: Praveen PN Rao, Tarek MohamedSchool of Pharmacy, Health Sciences Campus, University of Waterloo, Waterloo, ON, CanadaAbstract: The myriad pain pathophysiology has intrigued and challenged humanity for centuries. In this regard, the traditional pain therapies such as opioids and nonsteroidal anti-inflammatory drugs have been highly successful in treating acute and chronic pain. However, their drawback includes adverse events such as psychotropic effects, addiction potential, and gastrointestinal toxicities, to mention a few. These factors combined with the likelihood of an increase in chronic pain conditions due to an aging population calls for the development of novel mechanism-based or “site-specific” agents to target novel pain pathways. In this regard, rapid progress has been made in understanding the molecular mechanisms of novel pain targets such as cannabinoid receptors, fatty acid hydrolase, voltage-gated and ligand-gated ion channels such as P2 receptors, transient receptor potential channels and glial cell modulators. Accordingly, preclinical studies indicate that the site-specific/selective agents exhibit sufficient efficacy and reduced side effects such as lack of psychotropic effects indicating their clinical potential. This review provides a brief summary of some “at-site” pain targets and their role in the pain pathophysiology, and describes the efforts in developing some small molecules as novel pain therapeutics.Keywords: opioids, nonsteroidal anti-inflammatory drugs, cannabinoid receptors, P2X receptors, transient receptor potential channels, glial cells
Identification of various Biomphalaria alexandrina strains collected from five Egyptian governorates using RAPD and species-specific PCR techniques  [PDF]
A. M. Mohamed, A. T. Sharaf El-Din, A. H. Mohamed, M. R. Habib
American Journal of Molecular Biology (AJMB) , 2011, DOI: 10.4236/ajmb.2011.11003
Abstract: The first generation of Biomphalaria snails collected from five Egyptian governorates (Giza, Fayoum, Kafr El-Sheikh, Ismailia and Damietta) were sub-jected to species-specific PCR assays and the results showed that snails collected from the field were B. alexandrina, and there was no evidence for the pres-ence of B. glabrata. The snails were subjected also to RAPD- PCR technique. The results showed that dif-ferent fingerprints with each B. alexandrina strain were produced with varying numbers of bands rang-ing in size from 123.6 to 796.6 bp depending on the snail strain and the primer used. Many specific bands were obtained with the four primers in each strain. Primer OPA-1 amplified the highest number of spe-cific bands (26 bands) and gave the highest poly-morphism among the primers used (100% polymor-phism). The estimated similarity coefficients among B. alexandrina strains based on the RAPD-PCR pro-files ranged from 0.56 to 0.72. The highest similarity coefficient (0.72) was recorded between the strains of Ismailia and Kafr El-Sheikh, while the lowest coeffi-cient (0.56) was reported between the strains of SPSC and Ismailia.
Effect of a 12-Week Dietary Intervention with Folic Acid or Folate-Enhanced Foods on Folate Status in Healthy Egyptian Women  [PDF]
Mohammed E. Hefni, Mohamed T. Shalaby, Rasha A. Mohamed, Ahmad M. Elwa, Cornelia M. Witth?ft
Food and Nutrition Sciences (FNS) , 2016, DOI: 10.4236/fns.2016.714122
Abstract: The Egyptian government introduced wheat-flour fortification with iron and folic acid to reduce the incidence of neural tube defects, but suspended it for technical reasons. We previously developed novel legume foods with enhanced folate content. In this study, we investigated the efficacy of 12-week intervention with folate-enhanced foods versus folic acid supplement in improving folate status in Egyptian women. A randomized, parallel intervention trial with two active groups (n = 19, n = 18) and one blinded control group (n = 20) was executed over 12 weeks. Volunteers received either germinated legume foods and orange juice (≈250 μg/d folate) or folic acid supplement (500 μg/d) or apple juice (0 μg/d folate). Folate status was assessed by erythrocyte and plasma folate and total homocysteine (tHcy) at day 0, and after 8 and 12 weeks of intervention. After 12 weeks, mean plasma folate increased by 14 (P < 0.0001) and 12 (P < 0.0001) nmoL in the folic acid and food group, respectively. Erythrocyte folate concentration increased in the folic acid group from 614 to 912 (P < 0.0001) and in the food group from 631 to 914 nmoL (P < 0.0001). After 12 weeks, 90% of subjects in the folic acid group and 70% in the food group had erythrocyte folate concentrations exceeding 906 nmol/L. tHcy concentration was decreased by 20% (P = 0.007) and 18% (P = 0.006) in the folic acid and food group, respectively, but remained unchanged in the control group during intervention. Folate-enhanced foods effectively improve folate status in women of reproductive age. These foods could be used as a complement to folic acid fortification.
Inflammatory breast cancer: high incidence of detection of mixed human cytomegalovirus genotypes associated with disease pathogenesis
Hossam T. Mohamed,Mohamed El-Shinawi,Mona M. Mohamed
Frontiers in Oncology , 2014, DOI: 10.3389/fonc.2014.00246
Abstract: Inflammatory breast cancer (IBC) is highly metastatic, aggressive and fatal form of breast cancer. Patients presenting with IBC are characterized by a high number of axillary lymph node metastases. Recently, we found that IBC carcinoma tissues contain significantly higher levels of human cytomegalovirus (HCMV) DNA compared to other breast cancer tissues, that may regulate cell signaling pathways. In fact, HCMV pathogenesis and clinical outcome can be statistically associated with multiple HCMV genotypes within IBC. Thus, in the present study, we established the incidence and types of HCMV genotypes present in carcinoma tissues of infected non-IBC versus IBC patients. We also assessed the correlation between mixed detection of different HCMV genotypes and disease progression. Genotyping of HCMV in carcinoma tissues revealed that gB1 and gN1 were the most prevalent HCMV genotypes in both non-IBC and IBC patients with no significant difference between patients groups. IBC carcinoma tissues however, showed statistically significant higher incidence of detection of the gN-3b genotype compared to non-IBC patients. The incidence of mixed detection of different gB genotypes showed that gB1+gB3 was statistically significantly higher in IBC than non-IBC patients. Similarly, the incidence of mixed detection of different gN genotypes showed that gN-1+gN-3b and gN3+gN-4b/c were statistically significant higher in the carcinoma tissues of IBC than non- IBC. Mixed presence of HCMV different genotypes was found to be significantly correlated with the number of metastatic lymph nodes in non-IBC but not in IBC patients. In IBC, mixed detection of different HCMV genotypes significantly correlates with lymphovascular invasion and formation of dermal lymphatic emboli, which was not found in non-IBC patients.
Extraction of Copper from Waste Solution Using Liquid Emulsion Membrane  [PDF]
Y.T. Mohamed, Ahmed M. H. Ibrahim
Journal of Environmental Protection (JEP) , 2012, DOI: 10.4236/jep.2012.31016
Abstract: The extraction of copper from acidic medium using Liquid Emulsion Membrane LEM as contactors was studied. b diketone LIX 54 as an extractant ,sesqueoleate which is nonionic surfactant with HLB value 3.7 and 0.1 M H2SO4 as stripping solution were used. The influence of initial concentration of copper in the aqueous feed phase, pH of external and internal aqueous phase, stirring speed, and concentration of extractant on the extraction rate was examined. The results obtained showed that practically all the copper content was removed from the acidic feed solution. The recovery of copper attained 96–100% and concentration ratios of about 40-fold could be achieved.
Page 1 /126730
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.