Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

705 results for “Framework”
Set a search alert
Research ArticleOpen accessIn the abstractFormalizing Relations in Type TheoryFarida KachapovaTypetheory plays an important role in the foundations of mathematics as a frameworkfor formalizing mathematics and a base for proof assistants providingsemi-automatic proof checking and construction. Derivation of each theorem intype theory results in a formal term encapsulating the whole proof process.This study uses a variant of type theory, namely the Calculus of Constructionswith Definitions, to formalize the standardtheory of … …Journal of Mathematics and Statistics, Vol. 18, Issue 1 · 29 Oct 2022 · 5,778 accessesView PDFCite
Research ArticleOpen accessIn the abstractEvaluation of the Water Quality of Dakhla Bay (South Morocco): Qualification and Classification According to the European MethodologyZohra Saad, Orbi Abdellatif, El Khattat Mahmoud, Oudra BrahimDakhlabay has become a center of socio-economic interest in southern Morocco due toits geographical location and its biological richness. During the last decade,several projects have been installed and the exploitation of this ecologicalniche has increased. Faced with this situation, it was necessary to assess thequality of the waters of Dakhla bay and determine its current ecologicalstatus. To do this, the … …American Journal of Environmental Sciences, Vol. 18, Issue 4 · 28 Sep 2022 · 6,808 accessesView PDFCite
Research ArticleOpen accessIn the abstractDigital Maturity Assessment – A Case StudyFadwa Zaoui, Nissrine SouissiThe digital transformation is in progress; thisexercise is very agile in the sense that it requires the adoption of one of thekey precepts of agility and that supposes to include the digital transformationin an iterative and incremental logic. This can only be achieved if there isevaluation and adjustment accordingly. This is the focus of this study, theassessment of digital maturity, … …Journal of Computer Science, Vol. 18, Issue 8 · 24 Aug 2022 · 7,514 accessesView PDFCite
Review ArticleOpen accessIn the abstractA Systematic Literature Review of Software Defect Prediction Using Deep LearningAhmed Bahaa, Enas Mohamed Fathy, Ahmed Sharaf Eldin et al.The approaches associated with software defect prediction are used to reduce the time and cost of discovering software defects in source code and to improve the software quality in the organizations. There are two approaches to reveal the software defects in the source code. The first approach is concentrated on the traditional features such as lines of code, code complexity, … …Journal of Computer Science, Vol. 17, Issue 5 · 22 May 2021 · 10,967 accessesView PDFCite
Research ArticleOpen accessIn the abstractGeneral Approach for Formulating a Digital Transformation StrategyZineb Korachi, Bouchaib BounabatTo take advantage of information technologies, organizations need to define a clear strategy. Numerous works have provided definitions and phases of digital strategies. Some of these strategies are context-specific, while others deal with the common elements of digital strategies regardless of the digital transformation context. However, these works do not address a holistic approach. This raises ambiguity regarding digital strategy … …Journal of Computer Science, Vol. 16, Issue 4 · 27 Apr 2020 · 10,874 accessesView PDFCite
Research ArticleOpen accessIn the abstractStudy and Analysis of Prediction Model for Heart Disease Data Using Machine Learning TechniquesB. Santhi, K. RenukaHeart disease is the number one cause of death for all communities of individuals in advanced countries and a major problem for emerging nations too. Doctors’ availability to care for the general population could not catch up with the present demand for healthcare. So, there is a severe need for a support system to assist save individuals. With novel ML … …Journal of Computer Science, Vol. 16, Issue 3 · 26 Mar 2020 · 7,784 accessesView PDFCite
Literature ReviewOpen accessIn the abstractA Systematic Mapping Study of Cross-Platform Mobile AppsTasnim Zohud, Samer ZeinCross-platform frameworks for mobile Application (app) development allow developers to deploy solutions on a range of platforms such as iOS and Android. With the increased use of such frameworks, it is of utmost importance to understand the contributions and challenges in this emergent field. Although there have been many studies in this area of research, there is a lack of … …Journal of Computer Science, Vol. 15, Issue 4 · 24 Apr 2019 · 8,924 accessesView PDFCite
Review ArticleOpen accessIn the abstractService Delivery Innovation in Health Care for Patient Satisfaction at Primary and Secondary LevelHarpreet Kaur Grang, Moshiur Bhuiyan, P.W.C. Prasad et al.The purpose of this research is to identify and address the service delivery issues faced by patients in hospitals including emergency departments. It illustrates the available solutions and determines the one that best fits the solution among service delivery methods in hospitals to provide quick and quality care with better efficiency. There are various software tools that are used to … …American Journal of Applied Sciences, Vol. 16, Issue 2 · 7 Mar 2019 · 7,666 accessesView PDFCite
Research ArticleOpen accessIn the abstractAn Investigation into Information Security Threats from Insiders and how to Mitigate them: A Case Study of Zambian Public SectorMelissa K. Chinyemba, Jackson PhiriInsider attacks are security breaches posed by an existing or former organizational stakeholder with unrestricted access rights to the resources who, with or without intent, compromises the confidentiality, integrity and availability of organizational data. Zambian public organizations are vulnerable to insider attacks due to a number of factors that include; technology complexity, understaffing, financial gains, lack of security policies and … …Journal of Computer Science, Vol. 14, Issue 10 · 29 Oct 2018 · 8,249 accessesView PDFCite
Research ArticleOpen accessIn the abstractPerformance Evaluation of Apache Spark Vs MPI: A Practical Case Study on Twitter Sentiment AnalysisDeepa S Kumar, M Abdul RahmanThe advent of various processing frameworks which happens under big data technologies is due to tremendous dataset size and its complexity. The speed of execution was much higher with High Performance computing frameworks rather than big data processing frameworks. As majority of the jobs under big data are mostly data intensive rather than computation intensive, the High Performance Computing paradigms … …Journal of Computer Science, Vol. 13, Issue 12 · 23 Dec 2017 · 8,070 accessesView PDFCite