Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2019 ( 4 )

2018 ( 2 )

2016 ( 6 )

2015 ( 10 )

Custom range...

Search Results: 1 - 10 of 515 matches for " Hana Elmansouri "
All listed articles are free for downloading (OA Articles)
Page 1 /515
Display every page Item
Pseudo Papillary and Solid Pancreatic Tumor (PPSPT): A Diagnosis Not to Miss in Child  [PDF]
Hana Elmansouri, Kenza Elatiqi, Sara Dehbi, Salma Amouzoune, Hanane Rais, Ibtissam Zouita, Dounia Basraoui, Hicham Jalal
Open Access Library Journal (OALib Journal) , 2019, DOI: 10.4236/oalib.1105343
Pseudo papillary and solid pancreatic tumor (PPSPT) is a rare tumor that occurs almost exclusively in adolescents and young women. Radiological ex-ploration is mainly based on ultrasound and CT, which can often guide the diagnosis. We report the case of a 12-year-old girl, who was referred for suspicion of a hydatid cyst of the liver. Abdominal ultrasound showed a large solid-cystic mass, in contact with the hepatic hilum. Abdominal CT allowed a better study of the localization and the anatomical relationships of the mass. It was pancreatic head tumor encasing the portal vein and compressing the common biliary duct. The CT features suggest more a PPSPT or a pancreat-oblastoma. The pathological study after surgery confirmed the diagnosis of PPSPT.
Post Traumatic Hemobilia: Three Case Reports  [PDF]
Hicham Jalal, Hana Elmansouri, Sofia El Fakir, Leila Berghalout, I. Zouita, Najat Cherif Idrissi El Ganouni, Youssef Narjiss, Khalid Rabbani
Open Access Library Journal (OALib Journal) , 2019, DOI: 10.4236/oalib.1105102
The authors report three cases of post-traumatic hemobilia. Hemobilia complicates about 0.5% to 2% of liver injuries. The diagnosis can be difficult because of its possible delay of appearance. The ultrasound and CT scan performed urgently are of great help in both positive diagnosis and monitoring of this pathology. Once the diagnosis is made—immediatly or a while after the trauma—a diagnostic and therapeutic arteriography must be carried out quickly.
Attenuation in a Cylindrical Left Handed Material (LHM) Wave-Guide Structure  [PDF]
Hana Mohammed Mousa
Optics and Photonics Journal (OPJ) , 2012, DOI: 10.4236/opj.2012.21007
Abstract: This paper tackles the wave attenuation along with a cylindrical waveguides composed of a left Handed material (LHM), surrounded by a superconducting or metal wall. I used the transcendental equations for both TE and TM waves. I found out that the waveguide supports backward TE and backward TM waves since both permittivity and magnetic permeability of LHM are negative. I also illustrated the dependence of the TE and TM wave attenuation on the wave frequency and the reduced temperature of the superconducting wall (T/Tc). Attenuation constant increases by increasing the wave frequency and it shows higher values at higher T/Tc. Lowest wave attenuation and the best confinement are achieved for the thickest TE waveguide. LHM-superconductor waveguide shows lower wave attenuation than LHM-metal waveguide.
Stability of Nonlinear Te Surface Waves along the Boundary of Left-Handed Material  [PDF]
Hana Mohammed Mousa
Optics and Photonics Journal (OPJ) , 2012, DOI: 10.4236/opj.2012.22017
Abstract: This paper is concerned with the stability characteristics of nonlinear surface waves propagating along a left-handed substrate (LHM) and a non-linear dielectric cover. These characteristics have been simulated numerically by using the perturbation method. The growth rate of perturbation is computed by solving the dispersion equation of perturbation. I found that the stability of nonlinear surface waves is affected by the frequency dependence of the electric permittivity εh and magnetic permeability μh of the LHM. The spatial evolution of the steady state field amplitude is determined by using computer simulation method. The calculations show that with increasing the effective refractive index nx at fixed saturation parameter μp, the field distribution is sharpened and concentrated in the nonlinear medium. The waves are stable of forward and backward behavior. At higher values of nx, attenuated backward waves are observed.
Special Educational Needs and the Study at the Field of Medicine  [PDF]
Hana Sochorova, Ivona Zavacka
Creative Education (CE) , 2018, DOI: 10.4236/ce.2018.98094
Abstract: The study and the profession at the field of medicine involve high demands on mental and physical capabilities. The objective of this study is the following issue:?in what ways mainly healthy students evaluate opportunities of students with special educational needs (SEN) to study medicine. It is based primarily on their experience of the studies and on their medical practice. To meet the above objective, a questionnaire survey method has been used. The results of the survey could be concluded with general recommendations: the study of general medicine is fully manageable for students with certain SEN such as slight visual or hearing impairments, specific learning disabilities, and internal diseases, while it is manageable in a limited way for students with physical disability of legs. The study of students with SEN such as severe visual or hearing impairment, locomotor disability of the upper limbs and disability of fine motoric skills and mental illness, will be very difficult and complicated even if the university considerably adapts to these conditions. In the case of students with SEN, making the decision regarding future profession in health care should always be realistic and based on individuals and with respect to their future employability.
On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars
Karima Mahdi,Raida Elmansouri,Allaoua Chaoui
International Journal of Information Technology and Computer Science , 2013,
Abstract: In this work we present an approach and a tool for transforming business patterns to labelled Petri nets. This transformation is justified by the fact that Petri nets have efficient analysis techniques. We specify first, business patterns and labelled Petri nets Meta-Models in UML Class Diagram formalism with the Meta-Modelling tool Atom3, and then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar which transforms Business Patterns models to Labelled Petri Nets model for analysis purposes. The approach is illustrated with examples.
From UML Activity Diagrams to CSP Expressions-A Graph Transformation Approach using Atom3 Tool
Raida Elmansouri,Houda Hamrouche,Allaoua Chaoui
International Journal of Computer Science Issues , 2011,
Abstract: The Unified Modeling Language (UML) has become a widely accepted standard in the object oriented software development industry. However, the UML is a semi-formal language which lacks precisely defined constructs. On the other hand, CSP language is a formal specification language. So, UML and CSP have complementary features: UML can be used for modeling while CSP can be used for analysis. In this paper we propose an approach and a tool to transform UML activity diagrams to CSP. Our approach is based on graph transformation and uses ATOM3 tool. The purpose of this transformation is to provide some verification of properties ranging from simple deadlock verification to more specific properties.
Web Services modeling and composition approach using Objects-Oriented Petri Nets
Sofiane Chemaa,Raida Elmansouri,Allaoua Chaoui
International Journal of Computer Science Issues , 2012,
Abstract: Nowadays, with the emergence and the evolution of new technologies, such as e-business, a large number of companies are connected to Internet, and have proposed web services to trade. Web services as presented, are conceptually limited components to relatively simple functionalities. Generally, a single service does not satisfy the users needs that are more and more complex. Therefore, services must be made able to be composed to offer added value services. In this paper, a web services composition approach, modelled by Objects-Oriented Petri nets, is presented. In his context, an expressive algebra, which successfully solves the web services complex composition problem, is proposed. A java tool that allows automating this approach; based on a definite algebra and a G-nets meta-model, proposed by us, is developed.
Mouna Bouarioua,Allaoua Chaoui,Raida Elmansouri
International Journal of New Computer Architectures and their Applications , 2012,
Abstract: UML provides standard abstractions to simplify the documentation, understanding, and maintenance of object oriented complex software systems. UML sequence diagrams are used to describe the behaviors of systems. However, UML is a semi-formal language that lacks tools for analysis and validation of user requirements. In other hand, Petri Nets models are tools for the validation and performance analysis of distributed systems. In this paper we present an approach for transforming UML sequence diagrams to labeled generalized stochastic Petri nets. By this transformation we aim to bridge the gap between the semiformal notation (UML) and the formal notations (Petri nets) for analysis and validation purposes. UML is used for modeling and Petri nets are used for analysis. The approach is based on the combined use of Meta-Modeling and graph grammars. Since the input and the output models are graphs, we use Java based graph transformation to perform this process automatically. The approach is illustrated through an example from e-entrepreneurship domain.
Model Checking and Code Generation for UML Diagrams Using Graph Transformation
Wafa Chama,Raida Elmansouri,Allaoua Chaoui
International Journal of Software Engineering & Applications , 2012,
Abstract: UML is considered as the standard for object-oriented modelling language adopted by the ObjectManagement Group. However, UML has been criticized due to the lack of formal semantics and theambiguity of its models. In other hands, UML models can be mathematically verified and checked by usingits equivalent formal representation. So, in this paper, we propose an approach and a tool based on graphtransformation to perform an automatic mapping for verification purposes. This transformation aims tobridge the gap between informal and formal notations and allows a formal verification of concurrent UMLmodels using Maude language. We consider both static (Class Diagram) and dynamic (StateChart andCommunication Diagrams) features of concurrent object-oriented system. Then, we use Maude LTL ModelChecker to verify the formal model obtained (Automatic Code Generation Maude). The meta-modellingAToM3 tool is used. A case study is presented to illustrate our approach.
Page 1 /515
Display every page Item

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