Skills of Employing Mobile Learning Applications Required for Faculty of Education Students in Light of their Training Needs

هدف البحث الحالي إلى تحديد مهارات استخدام وتوظيف تطبيقات التعلم النقال اللازمة لطلاب كلية التربية في ضوء احتياجاتهم التدريبية، وذلك لمحاولة تحسين كفاءة وآداء الطلاب المعلمين أثناء الإعداد بكليات التربية فيما يتعلق بمجال توظيف التكنولوجيا في التعليم، ولتحقيق هدف البحث تم الاعتماد على المنهج الوصفي التحليلي، وإعداد قائمة عامة بمهارات استخدام وتوظيف تطبيقات التعلم النقال الواجب توافرها لدى طلاب كليات التربية، كذلك تم إعداد استبيان لتحديد احتياجات طلاب كلية التربية من مهارات توظيف تطبيقات التعلم النقال واللازم تنميتها لديهم، وبتحليل النتائج تم التوصل إلى قائمة بمهارات توظيف تطبيقات التعلم النقال تضمنت (9) مهارات رئيسية، و(64) مهارة فرعية مطلوب تنميتها لدى طلاب كلية التربية، وفي ضوء هذه النتيجة تم تقديم مجموعة من التوصيات البحثية.The current research aimed to identify the skills of using and employing the mobile learning applications required for the Faculty of Education students in light of their training needs. In order to improving the efficiency and performance of the teachers during the preparation in faculties of education regarding the field of employing technology in education. To achieve the research objective, the researcher was used the descriptive analytical methodology, and prepared a general skills list included the skills of employing m-learning applications. A questionnaire was also prepared to identify the students' needs from the skills of employing m-learning applications. After analyzing the results, a skills list of employing m-learning applications was obtained and included (9) main skills and (64) sub-skills required for Faculty of Education students. In light of this results, researcher presented some research recommendations

A case oriented study: Whole genome sequencing (WGS) on a wild urease negative Proteus mirabilis isolated from deep surgical site infection (SSI) at El Hussein University Hospital, Al Azhar University Cairo, Egypt

Background: Proteus mirabilias  ( P. mirabilis) strains are motile Gram negativerods that colonize the humangastrointestinal tract and could be a source of nosocomial infections especially in immune compromised cancer patients. Proteus mirabilis is identified by its urease production as a major bacterial virulence especially in urinary tract infections. Aim: This study aimed to characterize a case of a urease negative P. mirabilis isolated from a cancer patient suffering from deep surgical site infection.  Methods: Conventional biochemical tests performed on swarming bacterial growth cultures were characteristic of P. mirabilis except for urease production. Identification was confirmed by Vitek-2 compact system and Vitek- MS. Dienes test proved the isolate is antigenically different from other urease positive P. mirabilis. Whole genome sequencing (WGS) identified this P. mirabilis strain with the seven encoding urease genes ureABCDEFG as well as their positive regulator gene UreR. Results: Mutations were found within amino acid sequences of UreB, UreE, UreF and UreG and UreR. Antibiotic sensitivity as well as WGS identified resistance genes to multiple classes of antibiotics.  Conclusion: This is the first report of a wildly existed urease negative P. mirabilis due to mutations in the urease gene cluster (UreABC) as well as the regulator UreR. Questions are raised towards the urease enzyme as a key virulence factor to P. mirabilis. Other virulence factors that allow this species to cause other severe infections should be considered. The rate of isolation of urease negative P. mirabilis should be monitored and assessed in the future

Experimental and numerical evaluation of compression confinement techniques for HSC beams reinforced with different ratios of high strength steel reinforcement

This work presents experimental and numerical research to evaluate the compression confinement techniques of HSC beams reinforced with different ratios of high-strength steel reinforcement. Twelve specimens of high-strength reinforced concrete beams with two different compression confinement techniques were tested experimentally. The first method is used carbon fiber reinforced polymers sheets (CFRPs) around the compression zone, CF, and the steel fibers reinforced concrete is used in the compression zone by 1% of volume fraction, SF, in the second case. A 3-D finite element analysis was done; using the ANSYS program to simulate and idealize all experimental specimens. The numerical and experimental results of the RC beams were validated and compared in this work. The results showed that there is a good idealization using 3-D finite element models with the experimental specimens. Also, it was found that using the suggested techniques can increase the strength ratio and increase the ductility index depending on the tensile reinforcement ratios. Moreover, the energy absorption and the mode of failure were enhanced

Performance improvement of existing three phase synchronous reluctance machine : stator upgrading to 5-phase with combined star-pentagon winding

This paper investigates the performance of 3-phase synchronous reluctance machines (SynRMs) when upgrading their stator to 5-phase, keeping the same rotor. The design of the 5-phase stator has been optimized to select the optimal dimensions of the slots and teeth. Moreover, a combined star-pentagon winding is employed to further improve the machine performance. Different winding configurations have been studied and compared using 2D Ansys Maxwell transient simulations. It is observed that at optimal current angle and rated current, the average torque is increased by 17.41% when changing the 3-phase stator with the proposed 5-phase one. In addition, the efficiency of the 5-phase SynRM is increased by about 0.8% compared to 3-phase SynRM. At 3 times the rated speed, the torque and efficiency are significantly increased by around 33% and 3.5% respectively. Moreover, the 5-phase SynRM shows a superior performance in the faulty case with one phase opened. It works at 98.84% of the rated torque of the healthy 3-phase machine, whereas the 3-phase machine works at only 43.35% with huge torque ripple (228%). Finally, an experimental validation using the reference 3-phase machine has been done

Model Checking Real-Time Conditional Commitment Logic using Transformation

A new logical language for real-time conditional commitments called RTCTLcc has been developed by extending the CTL logic with interval bounded until modalities, conditional commitment modalities, and fulfillment modalities. RTCTLcc allows us to express qualitative and quantitative commitment requirements in a convenient way. These requirements can be used to model multi-agent systems (MASs) employed in environments that react properly and timely to events occurring at time instants or within time intervals. However, the timing requirements and behaviors of MASs need an appropriate way to scale and bundle and should be carefully analyzed to ensure their correctness, especially when agents are autonomous. In this paper, we develop transformation algorithms that are fully implemented in a new Java toolkit for automatically transforming the problem of model checking RTCTLcc into the problem of model checking RTCTL (real-time CTL). The toolkit engine is built on top of the NuSMV tool, effectively used to automatically verify and analyze the correctness of real-time distributed systems. We analyzed the time and space computational complexity of the RTCTLcc model checking problem. We proved the soundness and completeness of the transformation technique and experimentally evaluated the validity of the toolkit using a set of business scenarios. Moreover, we added a capability in the toolkit to automatically scale MASs and to bundle requirements in a parametric form. We experimentally evaluated the scalability aspect of our approach using the standard ordering protocol. We further validated the approach using an industrial case study

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*

Social commitments have been extensively and effectively used to represent and model business contracts among autonomous agents having competing objectives in a variety of areas (e.g., modeling business processes and commitment-based protocols). However, the formal verification of social commitments and their fulfillment is still an active research topic. This paper presents CTLC+ that modifies CTLC, a temporal logic of commitments for agent communication that extends computation tree logic (CTL) logic to allow reasoning about communicating commitments and their fulfillment. The verification technique is based on reducing the problem of model checking CTLC+ into the problem of model checking ARCTL (the combination of CTL with action formulae) and the problem of model checking GCTL* (a generalized version of CTL* with action formulae) in order to respectively use the extended NuSMV symbolic model checker and the CWB-NC automata-based model checker as a benchmark. We also prove that the reduction techniques are sound and the complexity of model checking CTLC+ for concurrent programs with respect to the size of the components of these programs and the length of the formula is PSPACE-complete. This matches the complexity of model checking CTL for concurrent programs as shown by Kupferman et al. We finally provide two case studies taken from business domain along with their respective implementations and experimental results to illustrate the effectiveness and efficiency of the proposed technique. The first one is about the NetBill protocol and the second one considers the Contract Net protocol

Refurbishing three‑phase synchronous reluctance machines to multiphase machines

Refurbishing electrical machines to have a higher performance and/or reliability is a clear trend in the circular economy. This paper investigates the gain in efficiency, torque density and reliability with replacing the windings and the iron of the stator of existing three-phase synchronous reluctance machines (SynRMs), resulting in a multiphase machine. The stator housing, shaft, bearings and the rotor are not changed, to keep the cost of refurbishing low. As the housing and rotor are kept, logical constraints are to have the same inner and/or outer stator diameters, air gap length and axial length. In the new windings, an identical copper volume is considered as a constraint. An optimization technique is coupled to 2D finite element method to select the optimal slot dimensions. Case studies showed that it is possible to replace the stator of existing three-phase SynRMs with a better performance multiphase one. It is found that the average torque, efficiency and power factor of the five-phase SynRM are increased by 11.78%, 0.72% and 5.54%, respectively, compared to a three-phase SynRM at rated conditions. At higher speeds (three times rated value), the efficiency and average torque are greatly improved by about 3.64% and 33.67%, respectively, compared to the three-phase SynRM. Moreover, a faulty case of one phase opened is also investigated. The five-phase SynRM works at 75.45% of the healthy rated torque of the three-phase SynRM, whereas the three-phase SynRM works at only 43%. Measurements on an existing 5.5-kW, three-phase SynRM confirm the observed results

Expression of MDM2 mRNA, MDM2, P53 and P16 Proteins in Urothelial Lesions in the View of the WHO 4th Edition Guidelines as A Molecular Insight towards Personalized Medicine

AIM: Here we imposed a multimarker molecular panel composed of P53, MDM2 protein & mRNA & P16 with the identification of sensitive and specific cut offs among the Egyptian urothelial carcinomas bilharzial or not emphasize the pathological and molecular classifications, pathways and prognosis as a privilege for adjuvant therapy.METHODS: Three hundred and ten urothelial lesions were pathologically evaluated and grouped as follows: 50 chronic cystitis as benign, 240 urothelial carcinomas and 20 normal bladder tissue as a control. Immunohistochemistry for MDM Protein, P16 & p53 and In Situ Hybridization for MDM2mRNA were done.RESULTS: MDM2mRNA overexpression correlated with low grade low stage non invasive tumors, while P53 > 40% & p16 < 10% cut offs correlated with high grade high stage invasive carcinomas & bilharzial tumors (P=0.000).CONCLUSION: MDM2mRNA overexpression vs. P53 > 40% & P16 < 10% constitutes a multimarker molecular panel with significant cut offs, proved to distinguish low grade, low stage non invasive urothelial carcinomas (MDM2mRNA overexpression, P53 < 40%, P16 > 10%) from high grade, high stage invasive urothelial carcinomas (with p53 > 40, p16 < 10% & absent MDM2mRNA overexpression). Combined P53 > 40 & p16 < 10%, together with the histopathological features can distinguish in situ urothelial lesions from dysplastic and atypical lesions

Novel Fas-TNFR chimeras that prevent Fas ligand-mediated kill and signal synergistically to enhance CAR T cell efficacy

The hostile tumor microenvironment limits the efficacy of adoptive cell therapies. Activation of the Fas death receptor initiates apoptosis and disrupting these receptors could be key to increasing CAR T cell efficacy. We screened a library of Fas-TNFR proteins identifying several novel chimeras that not only prevented Fas ligand-mediated kill, but also enhanced CAR T cell efficacy by signaling synergistically with the CAR. Upon binding Fas ligand, Fas-CD40 activated the NF-κB pathway, inducing greatest proliferation and IFN-γ release out of all Fas-TNFRs tested. Fas-CD40 induced profound transcriptional modifications, particularly genes relating to the cell cycle, metabolism, and chemokine signaling. Co-expression of Fas-CD40 with either 4-1BB- or CD28-containing CARs increased in vitro efficacy by augmenting CAR T cell proliferation and cancer target cytotoxicity, and enhanced tumor killing and overall mouse survival in vivo. Functional activity of the Fas-TNFRs were dependent on the co-stimulatory domain within the CAR, highlighting crosstalk between signaling pathways. Furthermore, we show that a major source for Fas-TNFR activation derives from CAR T cells themselves via activation-induced Fas ligand upregulation, highlighting a universal role of Fas-TNFRs in augmenting CAR T cell responses. We have identified Fas-CD40 as the optimal chimera for overcoming Fas ligand-mediated kill and enhancing CAR T cell efficacy

Latitudinal clines of the human vitamin D receptor and skin color genes

The well-documented latitudinal clines of genes affecting human skin color presumably arise from the need for protection from intense ultraviolet radiation (UVR) vs. the need to use UVR for vitamin D synthesis. Sampling 751 subjects from a broad range of latitudes and skin colors, we investigated possible multilocus correlated adaptation of skin color genes with the vitamin D receptor gene (VDR), using a vector correlation metric and network method called BlocBuster. We discovered two multilocus networks involving VDR promoter and skin color genes that display strong latitudinal clines as multilocus networks, even though many of their single gene components do not. Considered one by one, the VDR components of these networks show diverse patterns: no cline, a weak declining latitudinal cline outside of Africa, and a strong in- vs. out-of-Africa frequency pattern. We confirmed these results with independent data from HapMap. Standard linkage disequilibrium analyses did not detect these networks. We applied BlocBuster across the entire genome, showing that our networks are significant outliers for interchromosomal disequilibrium that overlap with environmental variation relevant to the genes\u27 functions. These results suggest that these multilocus correlations most likely arose from a combination of parallel selective responses to a common environmental variable and coadaptation, given the known Mendelian epistasis among VDR and the skin color genes