Extended Finite State Machines or EFSMs are considered very powerful tools in modelling various applications, including communication and reactive systems. It is, as a result, important to thoroughly test such machines. Nevertheless, such a process can be quite expensive and timeconsuming. Therefore, finding high quality test suites to do the task is very crucial. For this purpose, this paper compares the fault coverage of AllUses test suites derived from EFSM specifications and AllUses test suites derived from the (Java) code implementations of these specifications. Fault coverage is determined using mutation and coverage length scores of the test suites with respect to the code mutants. The results acquired show that codebased AllUses test suites achieved 63.7% and 64.2 in terms of the mutation score and coverage length score, respectively, allowing it to slightly outperform modelbased AllUses test suites, which attained the scores 58.7% and 58.6, correspondingly.
Hepatocellular carcinoma (HCC) treatment is quite challenging. OSU2S a nonimmunosuppressive FTY720 analogue was developed to serve as a new promising option for HCC treatment through its ability to activate PKC?dependent apoptosis. The drug design group at Sharjah Institute for Medical Research (SIMR), has recently developed 18 compounds using OSU2S as a scaffold aiming to improve its activity and safety. SIMRcompounds showed promising anticancer activity on all tested cell lines (Hep3B, HepG2, A549 and HT29) with high safety on normal cells. The enhanced activity of caspase3/ 7 and catalytic cleavage of PKC? indicated that the novel compounds maintained the major mechanism of action of OSU2S. Moreover, SIMRcompounds affected the cell cycle progression and the cells migration rate. Finally, SIMRcompounds synergistically enhanced the antiproliferative effects of sorafenib. In conclusion, SIMRcompounds represent a promising therapeutically relevant approach for the treatment of HCC. However, further studies are necessary to validate their antitumor activity in vivo.
Stress urinary incontinence (SUI) is defined as urine leakage during bladder filling due to failure in the urethral closure mechanism. This global health challenge is estimated to affect 167 million male and female patients in 2018. Conservative and drug therapies are used as first line treatment, although implantation of an artificial urinary sphincter (AUS) is typically required for severe SUI cases. The gold standard AUS is the AMS 800, however, urethral atrophy commonly results from the high constant pressure which is exerted by AUS cuff on the urethra. To minimize urethral atrophy, an electromechanical AUS prototype was fabricated. Importantly, the concept of a closed loop control system for the produced AUS prototype with the integration of an implantable bladder volume sensor is introduced in this work. To test the bionic AUS prototype, an in vitro simulator system was built which consists of a ureter, a bladder and a urethra.
Heartrate variability (HRV) is a unique parameter in that it allows monitoring of activity of autonomic nervous system (ANS). The aim of this study is to investigate how ANS activity changes from daytime to nighttime by using 24 h ECG recordings. In this study we collected ECG and acceleration data for a healthy patient over 24 h. We then filtered the data by decomposing the signal and observing fluctuations that match with daily activities. We applied power law and detrended fluctuation analyses to look at the difference between daytime and night time HRV.
Type 2 diabetes mellitus (T2DM) is a metabolic condition associated with increased risk of multiple organ complications. Genetic variation such as rs5219 (KCNJ11) is shown to be linked to T2DM in many ethnic groups. The objective of this study was to investigate the possible association of this Single nucleotide polymorphism (SNP) with the susceptibility of T2DM among Emirati population. The study included 264 unrelated diabetic patients and 153 unrelated healthy controls from Emirati population. DNA was extracted from participants' saliva samples and genotyped for the SNP rs5219 (KCNJ11) using TaqMan? realTime PCR assays. No significant association was observed between the genotype distribution of the considered variants and T2DM. A significant association was observed between rs5219T and two anthropometric parameters, body mass index (p=0.033) and diastolic blood pressure (p=0.041) The findings demonstrate that rs5219 variant is not directly related to T2DM incidence among the UAE population. However, it can act as a risk factor that affect the disease related clinical traits.
DNA Profiling and DNA Databases are a powerful tool that can be used to identify individuals that have committed crimes or terrorist attacks. The research will examine the feasibility of a collaboration between GCC countries in efforts to combat terrorism through a DNA Database Portal to share and exchange DNA Data. The feasibility study will examine the proposed DNA portal framework and apply it on the current agreements between GCC countries. The results will show that the proposed framework for the portal would fill in gap and be feasible to stand up.
Efforts were put in illustrating theoretical ground and tools in terminology to produce standardised terms. Nevertheless, this work has mainly focused on different fields like computing, automation, technology, and science overshadowing arts. Modern Arabicization has failed to contribute to pushing art terminology in the Arab world. This paper examines the problems of standardisation and Arabicization of art terminology taking ten terms from the art field for examination and analysis.
This paper aims to explore the feature of intertextuality in Simultaneous Interpreting (SI) and how it was handled by a group of student interpreters at the MATI program (Master of Translation and Interpreting from English to Arabic and Vise Versa) at AUS (The American University of Sharjah). The Study included instances of intertextuality and cultural references that occurred during inclass exercises conducted by the professor, and were interpreted by the study subjects into English or Arabic depending on the Source Text (ST) handled. The results have shown that MATI students were capable of handling cultural references and intertextuality effectively especially in adopting the strategy of reformulation and explications which rendered correct and faithful simultaneous interpreting.
Billboards, is one of the outdoor mediums profusely found and used in the United Arab Emirates. Billboards in Dubai have made great progress all these years and created its own mark compared with television, internet and print media. This medium is expensive but offers excellent branding opportunities. The location, printing resources and the idea itself sets the business apart from challengers.To the author knowledge, there has been no independent study conducted in Dubai on billboard advertisements. Moreover, public perception of billboard advertisements and its effectiveness has yet to be discovered. The main aim of my report is to study the public perception of the effectiveness of billboard ads in Dubai and explore the local market behavior towards the billboard ads.This report conducts a primary quantitative research method among Dubai respondents to critically evaluate and provide insights with respect to the effectiveness of billboard ads based on previous academic literatures
Space missions require onboard sensors for computing inputs for control applications spanning orbit determination? guidance, navigation, and control? rendezvous and grappling? and determination of relative pose and angular rates. To achieve high performance Satellite applications, a detailed knowledge regarding the orientation of sensor packages relative to the core Satellite is required. An initial calibration of the sensing systems is performed onground to minimize the error sources in the signal processing that allows the sensor systems to recover mission critical data in real time. This work presents recent experimental work performed at Khalifa University Spacecraft Platform for Astronautic and Celestial Emulation (SPACE) Laboratory for calibrating hardware sensor platforms in an operationally relevant groundbased environment. Gaussian nonlinear differential correction is used to recover the critical system parameters.
