Digital Commons Network^™

Icebar: Feedback-Driven Iterative Repair Of Alloy Specifications, Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, Thanhvu Nguyen, Nazareno Aguirre, Marcelo Frias

School of Computing: Faculty Publications

Automated program repair (APR) techniques have shown great success in automatically finding fixes for programs in programming languages such as C or Java. In this work, we focus on repairing formal specifications, in particular for the Alloy specification language. As opposed to most APR tools, our approach to repair Alloy specifications, named ICEBAR, does not use test-based oracles for patch assessment. Instead, ICEBAR relies on the use of property-based oracles, commonly found in Alloy specifications as predicates and assertions. These property-based oracles define stronger conditions for patch assessment, thus reducing the notorious overfitting issue caused by using test-based oracles, …

The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed By The Compiler, Khushboo Chitre, Piyus Kedia, Rahul Purandare

School of Computing: Faculty Publications

Context-sensitive inter-procedural alias analyses are more precise than intra-procedural alias analyses. However, context-sensitive inter-procedural alias analyses are not scalable. As a consequence, most of the production compilers sacrifice precision for scalability and implement intra-procedural alias analysis. The alias analysis is used by many compiler optimizations, including loop transformations. Due to the imprecision of alias analysis, the program’s performance may suffer, especially in the presence of loops.

Previous work proposed a general approach based on code-versioning with dynamic checks to disambiguate pointers at runtime. However, the overhead of dynamic checks in this approach is 𝑂(𝑙𝑜𝑔 𝑛), which is substantially high to …

Determining Optimal Transportation Allocation Using Linear Programming Methods, Tengku Mohd Hazimi Tuan Hassan, Maslin Masrom

Malaysian Journal of Computing (MJoC)

The transportation problem is a subset of the broader linear programming (L.P.) technique developed to assist managers in making decisions. It has been used in real-life applications to minimise total transportation costs by satisfying destination and source requirements. The study aimed to minimise the delivery of items from the plant to the dealer's location by determining the optimal allocation of inventory from suppliers to dealers in the Malaysian cities of Seremban, Johor Bahru, Kuala Lumpur/Selangor and Penang. Meanwhile, the specific objectives of the study were: (i) to formulate transportation problems using the L.P., (ii) to identify a basic feasible solution …

A Dynamic Sir Model For The Spread Of Novel Coronavirus Disease 2019 (Covid-19) In Malaysia, Nur Aziean Mohd Idris, Siti Khadijah Mohtar, Zaileha Md Ali, Khadijah Abdul Hamid

Malaysian Journal of Computing (MJoC)

The emergence of the first coronavirus disease 2019 (COVID-19) case in Malaysia has increased the number of infected cases. Hence, this study proposes a Susceptible-Infected-Recovery (SIR) epidemiological model of the COVID-19 epidemic to portray the outbreak's situation. The SIR model is numerically solved using the Fourth-order Runge-Kutta (RK4) method in Matlab®. The Euler method verifies that the graphical results of the SIR model are reliable and valid. In addition, this study analyses the stability of disease-free and endemic equilibriums of the SIR model by the Jacobian matrix. The results show the outbreak for phase 1 occurs in the first 100 …

The Effectiveness Of Movement Control Order (Mco) Phases Implementation In Malaysia, Hezlin Aryani Abd Rahman, Muhammad Akram Rahman, ‘Ain Najihah Rozaimi, Irfan Bihar Zulnahar

Malaysian Journal of Computing (MJoC)

The COVID-19 cases have taken its strike since December 2019 in Wuhan, China and then has spread to other countries. Malaysia was not excluded from this pandemic, in which the first case of COVID-19 was discovered on 25th January 2020. The disease has caused a pandemic outbreak ever since, driving many countries to close international gateways and implement lockdowns and many studies have been trying to model and forecast the rising number of Covid-19 cases worldwide. This study aimed to prove the effectiveness of Movement Control Order (MCO) phases implemented in Malaysia. From 8 MCO phases implemented in Malaysia, 5 …

The Hybridization Of Analytic Hierarchy Process And Graph Theory Matrix Approach (Ahp-Gtma) To Solve Solid Waste Transshipment Site Selection Problem, Wan Nurdini Mior Abd Halim, Ilyana Farhin Mohd Hanafi, Nurul Izzati Johari, Nor Faradilah Mahad

Malaysian Journal of Computing (MJoC)

Proper selection of solid waste facilities is a complex issue and requires a broad assessment measure. Hence, the selection of these sites is a multiple criteria decision-making issue. This study proposed a hybridization of the Analytic Hierarchy Process and Graph Theory Matrix Approach (AHP-GTMA) method in selecting the best solid waste transshipment site. The objectives of this study are to apply the AHP-GTMA method to solve the solid waste transshipment site selection problem, and to determine the best solid waste transshipment site. Real-life empirical data about the solid waste transshipment site selection in Istanbul were used to demonstrate the application …

Prediction Of Life Expectancy For Asian Population Using Machine Learning Algorithms, Nurul Shahira Pisal, Shuzlina Abdul-Rahman, Mastura Hanafiah, Saidatul Izyanie Kamarudin

Malaysian Journal of Computing (MJoC)

Predicting life expectancy has become more important nowadays as life has become more vulnerable due to many factors, including social, economic, environmental, education, lifestyle, and health condition. A lot of studies on life expectancy have been carried out. However, studies focusing on the Asian population are limited. This study presents machine learning algorithms for life expectancy based on the Asian population dataset. Comparisons are made between tree classifier models, namely, J48, Random Tree, and Random Forest. Cross validations with 10 and 20 folds are used. Results show that the highest accuracy is obtained with Random Forest with 84% accuracy with …

Prediction Of Malaysian Women Divorce Using Machine Learning Techniques, Nazim Aimran, Adzhar Rambli, Asyraf Afthanorhan, Adzmel Mahmud, Azlin Sapri, Airena Aireen

Malaysian Journal of Computing (MJoC)

This paper discusses the performance of three machine learning techniques namely Decision Tree, Logistic Regression and Artificial Neural Network for predicting divorce among Malaysian women. Secondary data were obtained from the Fifth Malaysia Population and Family Survey (MPFS-5) conducted by the National Population and Family Development Board (LPPKN). The total number of instances in the dataset was 7,644 ever married Malaysian women aged 15 to 59 years old. Divorce is currently a serious problem among the Malaysian community due to various reasons. In 2019, the divorce rate in Malaysia rose by 12% from the previous year. During the first three …

Comparative Analysis Of Logical Acquisition Using Wondershare Dr. Fone, Mobiledit Forensic, And Fonepaw On Android Phones, Nuraimi Farhana Salimi, Nor Bakiah Abd Warif, Nor-Syahidatul N Ismail

Malaysian Journal of Computing (MJoC)

The increasing number of mobile phone usage in storing confidential information, such as mobile online transactions has led to the growing number of research in mobile forensic. There are lot of crimes may happen through mobile phones, such as smishing, bluejacking, and malware attacks. Mobile forensic is a way of collecting any digital evidence on the mobile phone. Logical acquisition is one of the methods for mobile forensic. The methodology for logical acquisition consists of identification, isolation, acquisition, analysis, and documentation. This research aims to study, perform and analyze logical acquisition using Wondershare Dr. Fone for Android, MOBILedit Forensic, and …

Heuristic Evaluation Of E-Commerce Marketplace, Maslina Abdul Aziz, Muhammad Hafizul Sani, Hanif Baharin, Suzana Zambri, Nur Idlan Jiman, Ida Normaya Mohd Nasir

Malaysian Journal of Computing (MJoC)

This paper adapts one of the most popular heuristic evaluation techniques to effectively assess the design of an e-commerce marketplace. Heuristic evaluation for the e-commerce marketplace with a detailed explanation is presented as a guideline for the e-commerce marketplace. This research involved usability evaluation that analyses the e-commerce marketplace using a set of design characteristics (usability heuristics). The process of discovering usability problems is one of the three objectives of this project. The selected set of heuristics could significantly influence the results (usability findings) of performed heuristic evaluations. Based on the evaluators' evaluation, a set of heuristics was produced. This …

Psycaria - Emotion Detector For A Psychiatrist, Ayesha Anees Zaveri, Mobeen Nazar, Nabiha Faisal, Sarama Shehmir, Misbah Parveen, Naveera Sami

Malaysian Journal of Computing (MJoC)

Every person will experience stress around the world, some healthy, called EUSTRESS and some unpleasant, named DISTRESS. Good pressure and stress promote success. Stress damages people's lives and health and causes various diseases. On the other hand, psychiatrists have a hard time treating their patients owing to a lack of time. They need innovative and intelligent equipment to treat their patients. We prepared a device that can detect a person's POSITIVE and NEGATIVE emotions through a smartwatch and a gadget that can sense body temperature, respiration, and heart rate. After witnessing these parameters, it can store the results on a …

Big Data Analytics For Summit Group Hospital Using Enterprise Architecture As Strategic Approach, Kholijah Norbib, Nur Nesa Nashuha Ismail, Nur Azaliah Abu Bakar, Surya Sumarni Hussein

Malaysian Journal of Computing (MJoC)

Healthcare is known for being a highly intensive engagement with a complex organisation, and it involves numerous levels of stakeholders. A big data analytics solution is required to simplify and improve the process’s overall data efficacy and flow. However, there are many challenges in implementing big data analytics in a healthcare organisation, as evidenced in some situations. The difficulties that must be addressed are high costs, time-consuming processes in establishing strategic management, and becoming a patient-centred organisation with optimal coordination. As a result, certain studies that have been conducted are suggested a feasible approach for big data analytics is by …

Antenatal Dexamethasone For Improving Preterm Newborn Outcomes In Low-Resource Countries: A Cost-Effectiveness Analysis Of The Who Action-I Trial, Who Action Trial Collaborators, Katherine E. Eddy, Joshua P. Vogel, Nick Scott, Dagnachew Fetene, Shabina Ariff, Sajid Bashir Soofi, Lumaan Sheikh, Farrukh Raza, Almas Aamir

Department of Paediatrics and Child Health

Background: After considerable debate, there is now unequivocal evidence that use of antenatal corticosteroids improves outcomes in preterm neonates when used in women at risk of early preterm birth in reasonably equipped hospitals in low-resource countries. We aimed to evaluate the cost-effectiveness of dexamethasone administration in the management of preterm birth in a cohort of pregnant women from five low-resource countries.
Methods: We performed a cost-effectiveness analysis using data from 2828 women (and 3051 babies) who participated in the WHO ACTION-I trial, a multicentre, randomised, placebo-controlled trial that assessed the safety and efficacy of dexamethasone in pregnant women at risk …

The Role Of Internalized Homophobia On Conflict Resolution In Same-Sex Couples, Micaela Dawn Magee

Theses and Dissertations

A majority of LGBTQ+ members experience sexual minority stress on a near daily basis (Sue et al., 2007). These stressors may foster higher rates of internalized shame towards one’s sexual orientation, commonly known as internalized homophobia (Frost & Meyer, 2009; Khaddouma et al., 2015; Meyer, 2013). Internalized homophobia has been found to negatively impact both mental health outcomes and relationship satisfaction in same-sex couples (Frost & Meyer, 2009; Totenhagen et al., 2018). Higher rates of internalized shame about one’s sexuality may in turn increase relational conflict (Frost & Meyer, 2009; Mohr & Fassinger, 2006). Despite the growing amount of research …

Application Of Lamport Digital Signature Scheme Into The Station-To-Station Protocol, Md Nizam Udin, Farah Azaliney Mohd Amin, Nor Ainaa Mat Abu, Siti Nurfazliana Mohamad Sarif, Nur Athirah Mohammad Zuki

Malaysian Journal of Computing (MJoC)

In cryptography, the key exchange protocol is very important before starting secure communication. Both parties will use an asymmetric key algorithm to exchange their keys for encryption and decryption. One of the methods to securely exchange the keys is Diffie-Hellman Key Exchange (DHKE) protocol. DHKE allows both parties to exchange their keys over the insecure public channel safely. However, DHKE protocol does not authenticate the message, making it easily exposed to third-party interruptions like Man-in-the-Middle (MitM) attack. Therefore, Station to Station (STS) protocols was introduced after modifying the DHKE protocol and adding authentication elements. Thus, this paper proposes to provide …

The Relationship Between Socioeconomic Factors With Fertility Rate In Malaysia, Ahmad Muadz Zulqarnain, Mazlynda Md Yusuf

Malaysian Journal of Computing (MJoC)

The issue of an ageing population is on the rise globally, and Malaysia is not excluded from facing this issue. Past literature has recognized that the declining fertility rate is one of the main factors that lead to this problem. However, along with the declining fertility rate in Malaysia over time, there are also changes in social and economic factors such as increment in female labor participation, higher house income and consumption expenditure, increasing inflation and changes in the demographic of the population. The study has become a concern since these factors could affect the declining fertility rate. Hence, this …

Predicting Defects In Laser Powder Bed Fusion Using In-Situ Thermal Imaging Data And Machine Learning, Sina Malakpour Estalaki, Cody S. Lough, Robert G. Landers, Edward C. Kinzel, Tengfei Luo

Mechanical and Aerospace Engineering Faculty Research & Creative Works

Variation in the local thermal history during the Laser Powder Bed Fusion (LPBF) process in Additive Manufacturing (AM) can cause micropore defects, which add to the uncertainty of the mechanical properties (e.g., fatigue life, tensile strength) of the built materials. In-situ sensing has been proposed for monitoring the AM process to minimize defects, but successful minimization requires establishing a quantitative relationship between the sensing data and the porosity, which is particularly challenging with a large number of variables (e.g., laser speed, power, scan path, powder property). Physics-based modeling can simulate such an in-situ sensing-porosity relationship, but it is computationally costly. …

Detecting Female Students Transforming Entrepreneurial Competency, Mindset, And Intention Into Sustainable Entrepreneurship, Angel Chang, Dian Fu Chang, Tien Li Chen

Faculty Research, Scholarly, and Creative Activity

Entrepreneurship has been viewed as an opportunity for economic development and changing economic scenario in global markets. Women are viewed as a reservoir of entrepreneurial talents, so they can be growth engines in novel markets. Previous studies have considered entrepreneurship as the most effective way towards the economic empowerment of women. Female students engaged in entrepreneurial education have been addressed persistently, while what transforms them in an education process is still unclear. Considering the transforming global economy and its influence on higher education, this study aims to detect female students transforming entrepreneurial competency, mindset, and intention into sustainable entrepreneurship. Using …

Serving Behind The Screen: Practical Recommendations For Best Practices On Social Media For Government Practitioners, Livianette Cabrera

Student Theses and Dissertations

The usage and importance of social media continues to grow in our everyday life, however, governments lag on using the platforms to the fullest extent. This study aimed at learning what best practices should government practitioners exercise to meet constituents needs and provide services and information online. Through oral histories conducted with a small pool of participants, four themes emerged which helped to answer the research question. Findings illustrated four main traits/themes were essential if social media managers wanted to excel at their job: Competent Strategic Senior Management, Effective Community Management, Mission and Value Alignment, and Customized Curation. Through an …

Kentucky Traffic Collision Facts 2021 Report, Paul Ross, Eric Green, Christopher Blackden, Michael Fields, Kenneth Agent, Christopher Van Dyke, Ed Harding

Kentucky Transportation Center Research Report

Each year the Kentucky Transportation Center publishes the Traffic Collision Facts report in collaboration with the Commonwealth of Kentucky, Kentucky State Police, and Kentucky Transportation Cabinet. This is the fiscal year 2022 report, which covers collisions reported during calendar year 2021. For the year, 734 fatal crashes, 20,117 nonfatal crashes, and 88,440 property damage only crashes occurred on the state’s roadways. Overall, 109,291 crashes were reported in calendar year 2021, a 8.4 percent increase over calendar year 2020.

Characterizing And Modeling The Coupled Hydro-Mechanical Cyclic Behavior Of Unsaturated Soils Using Constant Water Content Oedometer And Direct Shear Tests, Beshoy Riad, Xiong Zhang

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

Most transportation infrastructures are constructed on compacted soils that are typically unsaturated above the groundwater table. The soils are subjected to cyclic traffic loadings and seasonal wetting–drying cycles. Although problems associated with unsaturated soils are ubiquitous in the US, coupled hydro-mechanical analysis is rarely included in the design/analysis of transportation geosystems. This can be attributed to two main reasons: (a) there are no simple devices/methods which can be used to rapidly characterize stress–strain behavior for unsaturated soils, and (b) there is a lack of a constitutive model to study coupled hydro-mechanical cyclic behavior for unsaturated soils in a consistent way. …

Spiral Deployment Of Optical Fiber Sensors For Distributed Strain Measurement In Seven-Wire Twisted Steel Cables, Post-Tensioned Against Precast Concrete Bars, Yanping Zhu, Genda Chen

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

On-time monitoring and condition assessments of steel cables provide mission-critical data for informed decision making, ensuring the structural safety of post-tensioned concrete structures. This study aimed to develop a spiral deployment scheme of distributed fiber optic sensors (DFOS) and to monitor/assess the post-tensioned force in seven-wire twisted steel cables, based on the pulse-pre-pump Brillouin optical time domain analysis. Each DFOS was placed in a spiral shape between two surface wires of a steel cable and glued to the steel cable by epoxy. Image observations were conducted to investigate the entireness and bonding condition between the optical fiber and the steel …

Benefits And Drawbacks Of Using Multiple Shrinkage Mitigating Strategies On Performance Of Fiber-Reinforced Mortar, Kamran Aghaee, Kamal Khayat

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

Shrinkage mitigating strategies have been successfully used to prevent concrete cracking. Numerous studies have demonstrated the efficiency of shrinkage mitigating materials (SMM), such as expansive agent (EA), shrinkage reducing admixture (SRA), and superabsorbent polymer (SAP) on reducing shrinkage and cracking; however, few studies have addressed the limitations of using these materials. In addition, the mechanism of negative effect on microstructure and mechanical properties when these materials are used at high contents or in combinations is not well defined. This study investigates the effect of CaO-based EA, SRA, and SAP on compressive strength development, fiber pull-out strength, and shrinkage of fiber-reinforced …

Synergistic Effect Of Shrinkage Mitigating Materials On Rheological Properties Of Flowable And Thixotropic Cement Paste, Kamran Aghaee, Ricarda Sposito, Kamal Khayat

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

This study investigates the effect of individual and combined additions of CaO-based expansive agent (EA), shrinkage reducing admixture (SRA), and super absorbent polymer (SAP) on key characteristics of flowable cement paste mixtures proportioned with a water-to-cement ratio of 0.40. Of special interest is the effectiveness of these admixtures to mitigate shrinkage of cementitious materials for 3D printing. Static and dynamic yield stress, plastic and apparent viscosities, and thixotropy were evaluated at 20-min intervals up to 90 min. Compressive strength development and autogenous shrinkage were also determined. A factorial design approach was developed to evaluate the synergetic effects of the shrinkage …

Assessment Of Iso-Ahola’S Theory Of Tourism Motivation On Willingness To Fly As A Point-To-Point Suborbital Space Tourist, Brian T. Musselman

Doctoral Dissertations and Master's Theses

Suborbital space tourism involves flight in an air vehicle to an altitude exceeding 100 kilometers (62 miles). This altitude is referred to as the Karman Line and the edge of space. Point-to-point space travel is transportation in an air vehicle where the vehicle flies around the earth in space to decrease the time to travel from one point on the earth’s surface to another point on the earth’s surface. The commercial space flight industry has a vision for point-to-point space travel.

The study aimed to assess the influence of the four dimensions of Iso-Ahola’s (1982) theory of tourism motivation on …

Dynamics Of Atmospheric Gravity Wave Breaking In The Mesopause Region, Fan Yang

Doctoral Dissertations and Master's Theses

GWs significantly impact the Mesosphere and Lower Thermosphere (MLT), and as a consequence of GW breaking, atmospheric turbulence plays an essential role in the mixing and transport of momentum, mass, and chemical materials in MLT. The main focus of this research for the fulfillment of the proposed Ph.D. dissertation is to improve the understanding of the dynamic process of wave breaking and their effects in the mesopause region above Andes Lidar Observatory (30.2◦ S, 70.7◦ W). A few scientific topics related to GW break- ing are addressed. What are the probabilities of the atmosphere becoming convectively or dynamically unstable in …

Public Acceptance Of Medical Screening Recommendations, Safety Risks, And Implied Liabilities Requirements For Space Flight Participation, Cory J. Trunkhill

Doctoral Dissertations and Master's Theses

The space tourism industry is preparing to send space flight participants on orbital and suborbital flights. Space flight participants are not professional astronauts and are not subject to the rules and guidelines covering space flight crewmembers. This research addresses public acceptance of current Federal Aviation Administration guidance and regulations as designated for civil participation in human space flight.

The research utilized an ordinal linear regression analysis of survey data to explore the public acceptance of the current medical screening recommended guidance and the regulations for safety risk and implied liability for space flight participation. Independent variables constituted participant demographic representations …

Deep Learning Prediction Models For Runway Configuration Selection And Taxi Times Based On Surface Weather, Shlok Misra

Doctoral Dissertations and Master's Theses

Growth in air traffic demand in the United States has led to an increase in ground delays at major airports in the nation. Ground delays, including taxi time delays, directly impacts the block time and block fuel for flights which affects the airlines operationally and financially. Additionally, runway configuration selection at an airport significantly impacts the airport capacity, throughput, and delays as it is vital in directing the flow of air traffic in and out of an airport. Runway configuration selection is based on interrelated factors, including weather variables such as wind and visibility, airport facilities such as instrument approach …

Effect Of Passive Clean Air Injection Into The Wake Region Of A Moving Ground Vehicle, Angelos Kaminis

Doctoral Dissertations and Master's Theses

The wake region on a moving ground vehicle is responsible for 70% of the aerodynamic drag when the speed of 90km/h is achieved. The topic of wake region manipulation has been revisited multiple times and with varying techniques. When manipulating the flow utilizing a fully passive method, pressure drag can be reduced, increasing the overall performance of the vehicle. To ensure high velocity fluid injection, a venturi shaped roof was implemented with an inlet size of 352mm x 12.7mm, and 2 outlets of size 88.011mm x 25.4mm resulting in an area of 4,470.959 for both inlet and outlet to maintain …

A Data Driven Modeling Approach For Store Distributed Load And Trajectory Prediction, Nicholas Peters

Doctoral Dissertations and Master's Theses

The task of achieving successful store separation from aircraft and spacecraft has historically been and continues to be, a critical issue for the aerospace industry. Whether it be from store-on-store wake interactions, store-parent body interactions or free stream turbulence, a failed case of store separation poses a serious risk to aircraft operators. Cases of failed store separation do not simply imply missing an intended target, but also bring the risk of collision with, and destruction of, the parent body vehicle. Given this risk, numerous well-tested procedures have been developed to help analyze store separation within the safe confines of wind …