Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Artificial Intelligence and Robotics (87)
- Databases and Information Systems (60)
- Other Computer Sciences (58)
- Engineering (31)
- Graphics and Human Computer Interfaces (22)
-
- Programming Languages and Compilers (22)
- Information Security (18)
- Computer Engineering (17)
- Data Science (16)
- Social and Behavioral Sciences (15)
- Systems Architecture (13)
- Life Sciences (10)
- Medicine and Health Sciences (8)
- Agriculture (7)
- Arts and Humanities (7)
- Biosecurity (7)
- Education (7)
- Health Information Technology (7)
- OS and Networks (7)
- Plant Sciences (7)
- Theory and Algorithms (7)
- Weed Science (7)
- Computer and Systems Architecture (5)
- Operations Research, Systems Engineering and Industrial Engineering (5)
- Cybersecurity (4)
- Numerical Analysis and Scientific Computing (4)
- Other Computer Engineering (4)
- Institution
-
- Singapore Management University (145)
- MMU Press (39)
- United Arab Emirates University (10)
- Department of Primary Industries and Regional Development, Western Australia (7)
- Loyola University Chicago (7)
-
- Chapman University (6)
- Portland State University (6)
- University of Arkansas, Fayetteville (5)
- California Polytechnic State University, San Luis Obispo (4)
- City University of New York (CUNY) (4)
- Old Dominion University (4)
- University of Texas at Arlington (4)
- Michigan Technological University (3)
- University of Denver (3)
- Air Force Institute of Technology (2)
- Arkansas Tech University (2)
- Bridgewater College (2)
- Clemson University (2)
- Fort Hays State University (2)
- Seattle Pacific University (2)
- Southern Methodist University (2)
- The University of Akron (2)
- University of Connecticut (2)
- University of Kentucky (2)
- University of South Carolina (2)
- University of South Florida (2)
- West Virginia University (2)
- Western University (2)
- Association of Arab Universities (1)
- Case Western Reserve University (1)
- Keyword
-
- Machine Learning (14)
- Software engineering (10)
- Deep learning (9)
- Artificial Intelligence (7)
- Biosecurity (7)
-
- Deep Learning (7)
- Harvest (7)
- Weed Seed Wizard (7)
- Weed science (7)
- ChatGPT (6)
- Computer Science (6)
- Large Language Model (6)
- Natural Language Processing (6)
- Internet of Things (5)
- Large Language Models (5)
- Security (5)
- Software Engineering (5)
- Artificial intelligence (4)
- Codes (4)
- Computer Vision (4)
- Cybersecurity (4)
- Data Mining (4)
- Empirical study (4)
- Ethereum (4)
- GitHub (4)
- Machine learning (4)
- Software (4)
- Blockchain (3)
- Capstone (3)
- Code Review (3)
- Publication
-
- Research Collection School Of Computing and Information Systems (139)
- Journal of Informatics and Web Engineering (39)
- Biosecurity research reports (7)
- Computer Science: Faculty Publications and Other Works (7)
- Theses (7)
-
- University Honors Theses (6)
- Dissertations and Theses Collection (Open Access) (5)
- Electronic Theses and Dissertations (4)
- Theses and Dissertations (4)
- Thesis/ Dissertation Defenses (4)
- Computer Science and Computer Engineering Undergraduate Honors Theses (3)
- Honors Projects (3)
- Master's Theses (3)
- Student Scholar Symposium Abstracts and Posters (3)
- VMASC Publications (3)
- ATU Scholars Symposium (2)
- All Dissertations (2)
- College of Engineering Summer Undergraduate Research Program (2)
- Computer Science and Engineering Dissertations - Archive (2)
- Computer Science and Engineering Theses - Archive (2)
- Computer Science and Engineering Theses and Dissertations (2)
- Dissertations, Master's Theses and Master's Reports (2)
- Dissertations, Theses, and Capstone Projects (2)
- Electrical and Computer Engineering Publications (2)
- Graduate Theses, Dissertations, and Problem Reports (ETD) (2)
- Honors College Theses (2)
- Honors Scholar Theses (2)
- Journal of Computer Science Integration (2)
- Military Cyber Affairs (2)
- Publications and Research (2)
- Publication Type
- File Type
Articles 121 - 150 of 308
Full-Text Articles in Software Engineering
Temporal Climatic Shifts In Henan Province: A 16-Decades Perspective Through Regression, Sarima, And Nar Modeling, Lin Qing, Ang Ling Weay, Shao Yiyang, Sellappan Palaniappan
Temporal Climatic Shifts In Henan Province: A 16-Decades Perspective Through Regression, Sarima, And Nar Modeling, Lin Qing, Ang Ling Weay, Shao Yiyang, Sellappan Palaniappan
Journal of Informatics and Web Engineering
Global warming is having a significant impact on all aspects of human production and life. This study employs a cross-sectional analysis to investigate the temporal dynamics of average temperature changes in Henan Province, China, from 1851 to 2012. Utilizing the Berkeley Earth Surface Temperature Data and the Daily Meteorological Dataset of China National Surface Weather Station v3.0, we applied regression analysis, Seasonal Autoregressive Integrated Moving Average (SARIMA), and Nonlinear Autoregressive Network (NAR) models to predict temperature trends. Results indicate a significant warming trend over the 160-year period, with the models demonstrating strong predictive performance, albeit with some variability. The study …
Social Messaging Application With Translation And Speech-To-Text Transformation, Kang Qin Yip, Pey Yun Goh, Lee Ying Chong
Social Messaging Application With Translation And Speech-To-Text Transformation, Kang Qin Yip, Pey Yun Goh, Lee Ying Chong
Journal of Informatics and Web Engineering
Unlike traditional SMS or MMS, messaging apps offer a broader range of data transmission capabilities. The application utilizes a WIFI or internet connection and enables users to exchange information through various means such as text, voice, and multimedia files. However, popular messaging applications such as WeChat, Telegram, and WhatsApp have limitations in language translation and file uploading size. Thus, this project aims to address these limitations by developing a social messaging application that serves as a comprehensive communication tool. The application will facilitate both written and verbal communication by providing translation services for various languages, including voice messages. The proposed …
Development And Validation Of Autotronic Training Module For Automobile Technology Students In Polytechnics In Southern Nigeria, Saue, Baritule Prince, Chukuigwe, Ogbondah Nndameka, Bassey, Imaobong Sunday
Development And Validation Of Autotronic Training Module For Automobile Technology Students In Polytechnics In Southern Nigeria, Saue, Baritule Prince, Chukuigwe, Ogbondah Nndameka, Bassey, Imaobong Sunday
Journal of Informatics and Web Engineering
A research was carried out to create and verify an autotronic training module for students studying vehicle technology at polytechnics located in Southern Nigeria. The design used for the project was Research and Development (R&D). An observation has been made that the curriculum of polytechnics in Nigeria lacks sufficient substance on autotronics technology. As a result, lecturers have challenges in fully imparting the abilities that are essential for the professional world. Undoubtedly, there is now a disparity between the training that craftsmen receive and the skills that are demanded by industries. The research was carried out in the southern region …
Performance Evaluation Of Yolo Models In Plant Disease Detection, Usman Ali, Maizatul Akmar Ismail, Riyaz Ahamed Ariyaluran Habeeb, Syed Roshaan Ali Shah
Performance Evaluation Of Yolo Models In Plant Disease Detection, Usman Ali, Maizatul Akmar Ismail, Riyaz Ahamed Ariyaluran Habeeb, Syed Roshaan Ali Shah
Journal of Informatics and Web Engineering
Plant diseases significantly impact global agriculture, leading to substantial production losses and economic consequences. Timely disease detection can enhance crop yield, optimize resource utilization, reduce costs, and mitigate environmental effects, ultimately ensuring high-quality food production. Deep learning, specifically computer vision-based techniques, have proven invaluable in tasks like image classification, segmentation, and object detection. Deep Learning techniques such as You Only Look Once (YOLO) models are state of the art neural network algorithms used for accurate object detection. In this study, YOLOv5, YOLOv7 and YOLOv8 models were trained on CCL’20 dataset for citrus disease detection. Data augmentation techniques such as image …
Wix For Web Development And The Application Of The Waterfall Model And Project Based Learning For Project Completion: A Case Study, Mawar Madiah, Ng Kai Xuen, Tan Yew Wen, Tan Zhi Heng, Chong Zhi Tian, Chan Jia Xuan
Wix For Web Development And The Application Of The Waterfall Model And Project Based Learning For Project Completion: A Case Study, Mawar Madiah, Ng Kai Xuen, Tan Yew Wen, Tan Zhi Heng, Chong Zhi Tian, Chan Jia Xuan
Journal of Informatics and Web Engineering
Website development without prior knowledge of HTML or programming experience would be a significant challenge. This study aims to share the students' experiences developing a website using Wix, a user-friendly website builder. The website was assigned as a project-based assessment of one of the courses required to complete a Foundation programme. The course was delivered using a project-based learning (PBL) approach in this context. The students worked as a group to write a project proposal, plan activities, develop the website, write reports, and present the outcome. As for the website development process, the study demonstrates the completion of the project …
Ensemble-Smote: Mitigating Class Imbalance In Graduate On Time Detection, Theng-Jia Law, Choo-Yee Ting, Hu Ng, Hui-Ngo Goh, Albert Quek
Ensemble-Smote: Mitigating Class Imbalance In Graduate On Time Detection, Theng-Jia Law, Choo-Yee Ting, Hu Ng, Hui-Ngo Goh, Albert Quek
Journal of Informatics and Web Engineering
In education, detecting students graduating on time is difficult due to high data complexity. Researchers have employed various approaches in identifying on-time graduation with Machine Learning, but it remains a challenging task due to the class imbalance in the dataset. This study has aimed to (i) compare various class imbalance treatment methods with different sampling ratios, (ii) propose an ensemble class imbalance treatment method in mitigating the problem of class imbalance, and (iii) develop and evaluate predictive models in identifying the likelihood of students graduating on time during their studies in university. The dataset is collected from 4007 graduates of …
Empirical Analysis Of Ci/Cd Tools Usage In Github Actions Workflows, Adam Rafif Faqih, Alif Taufiqurrahman, Jati H. Husen, Mira Kania Sabariah
Empirical Analysis Of Ci/Cd Tools Usage In Github Actions Workflows, Adam Rafif Faqih, Alif Taufiqurrahman, Jati H. Husen, Mira Kania Sabariah
Journal of Informatics and Web Engineering
As software systems grow larger and more complex, with rapidly changing requirements, manually managing code integration, testing, and deployment becomes extremely challenging. Continuous Integration and Continuous Deployment (CI/CD) practices and tools have emerged to help automate these processes. This research explores the usage of different categories of CI/CD tools within GitHub Actions workflow configurations across GitHub repositories. The five-tool categories analyzed are Version Control Management, Static Code Analysis, Build Automation, Test Automation, and CI/CD Servers. The data used in this research is from a dataset of GitHub Actions workflow configuration files. From the data, the usage is extracted and the …
The Robot On The Hill, James Ryan
The Robot On The Hill, James Ryan
College of Computing and Digital Media Dissertations
“The Robot on the Hill” is a rogue-like autobattler that procedurally models the state of the individual in the information age. The game abruptly transitions between diverse framings - a hill, a bedroom, a pond, a chessboard, the void - in order to highlight the disjointedness that is present in the informationalizing of self and reality. It dialogues with Byung Chul Han and Heidegger to portray what Han describes as a ‘narrative crisis’ in modernity and the devaluation of experience. When the value of experience diminishes and disintegrates, “all that is left is bare life, a kind of survival.” …
Crime Prediction Using Agent-Based Modeling, Yifei Gong
Crime Prediction Using Agent-Based Modeling, Yifei Gong
Dissertations, Theses, and Capstone Projects
Crime risk evaluation and crime prediction using agent-based modeling (ABM) have gained popularity in the field of computational criminology in recent years. Traditionally, researchers rely on statistical methods and machine learning models to predict crimes using historical data. ABM generates macro-level crime patterns in a bottom-up fashion by simulating the daily behaviors of autonomous entities, such as citizens and offenders. ABM takes into consideration the non-linear interactions between agents under complex social contexts. Currently, the comprehensive usage of ABM for criminological theory testing and urban policy evaluations calls for a unified software framework. In this research, we introduce CARESim, an …
Communication Challenges In Underwater Wireless Networks: Mac Protocols And Software Solutions, Dmitrii Dugaev
Communication Challenges In Underwater Wireless Networks: Mac Protocols And Software Solutions, Dmitrii Dugaev
Dissertations, Theses, and Capstone Projects
Underwater wireless networks (UWNs) represent a diverse and intriguing research domain, encompassing a wide array of scientific and industrial applications. This dissertation delves into the communication challenges at the Medium Access Control (MAC) layer within UWNs, stemming from the distinctive signal propagation conditions and the harshness of the deployment environment. The manuscript provides comprehensive coverage of key aspects of UWNs, including potential applications, communication protocols, methodologies employed in such networks, and existing software solutions that facilitate simulation, emulation, and real testbed scenarios for underwater research endeavors. Furthermore, this research introduces innovative software and communication solutions designed to facilitate the seamless …
Accessible Real-Time Eye-Gaze Tracking For Neurocognitive Health Assessments, A Multimodal Web-Based Approach, Daniel C. Tisdale
Accessible Real-Time Eye-Gaze Tracking For Neurocognitive Health Assessments, A Multimodal Web-Based Approach, Daniel C. Tisdale
Master's Theses
We introduce a novel integration of real-time, predictive eye-gaze tracking models into a multimodal dialogue system tailored for remote health assessments. This system is designed to be highly accessible requiring only a conventional webcam for video input along with minimal cursor interaction and utilizes engaging gaze-based tasks that can be performed directly in a web browser. We have crafted dynamic subsystems that capture high-quality data efficiently and maintain quality through instances of user attrition and incomplete calls. Additionally, these subsystems are designed with the foresight to allow for future re-analysis using improved predictive models, as well as enable the creation …
Auditory Ace Mobile Application Capstone Review, Layla Smith
Auditory Ace Mobile Application Capstone Review, Layla Smith
University Honors Theses
This paper describes the development process and outcomes of my 2023-2024 Capstone Project, Auditory Ace, a self-directed auditory training mobile application for individuals with cochlear implants. Recognizing the limitations of current market offerings, Dr. Timothy Anderson created a Capstone project proposal to develop an accessible auditory training mobile application. The Capstone team that took on this proposal consisted of Darya Haines, Dustin Huynh, Jordan Nguyen, Nihar Koppolu, Scott Thorkelson, Sienna Day, and myself, Layla Smith. This paper is structured to follow the Agile software development methodology, which we used to develop Auditory Ace, reviewing in detail every major choice we …
Virtual Field Environments Capstone Software Review, Ashton Sawyer
Virtual Field Environments Capstone Software Review, Ashton Sawyer
University Honors Theses
This is a review of the Virtual Field Environments computer science capstone project, sponsored by geology professor Rick Hugo. The tool aims to create and render VFEs, interactable 360° environments hosted on the web that are used as virtual field trips for K-12 students. This essay discusses the development process, including understanding requirements, tool and technology selection, problem-solving, and decision-making strategies. It also highlights the differences between the capstone and the other core computer science courses, and how those differences help to prepare students for the workforce. The project was completed over the course of twenty weeks by a team …
Dappscan: Building Large-Scale Datasets For Smart Contract Weaknesses In Dapp Projects, Zibin Zheng, Jianzhong Su, Jiachi Chen, David Lo, Zhijie Zhong, Mingxi Ye
Dappscan: Building Large-Scale Datasets For Smart Contract Weaknesses In Dapp Projects, Zibin Zheng, Jianzhong Su, Jiachi Chen, David Lo, Zhijie Zhong, Mingxi Ye
Research Collection School Of Computing and Information Systems
The Smart Contract Weakness Classification Registry (SWC Registry) is a widely recognized list of smart contract weaknesses specific to the Ethereum platform. Despite the SWC Registry not being updated with new entries since 2020, the sustained development of smart contract analysis tools for detecting SWC-listed weaknesses highlights their ongoing significance in the field. However, evaluating these tools has proven challenging due to the absence of a large, unbiased, real-world dataset. To address this problem, we aim to build a large-scale SWC weakness dataset from real-world DApp projects. We recruited 22 participants and spent 44 person-months analyzing 1,199 open-source audit reports …
Applicability And Challenges Of Indoor Localization Using One-Sided Round Trip Time Measurements, Quang Hai Truong, Xi Kai Justin Lam, Guru Anand Anish, Rajesh Krishna Balan
Applicability And Challenges Of Indoor Localization Using One-Sided Round Trip Time Measurements, Quang Hai Truong, Xi Kai Justin Lam, Guru Anand Anish, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
Radio Frequency fingerprinting, based on WiFi or cellular signals, has been a popular approach for localization. However, adoptions in real-world applications have confronted with challenges due to low accuracy, especially in crowded environments. The received signal strength (RSS) could be easily interfered by a large number of other devices or strictly depends on physical surrounding environments, which may cause localization errors of a few meters. On the other hand, the fine time measurement (FTM) round-trip time (RTT) has shown compelling improvement in indoor localization with ~1-2 meter accuracy in both 2D and 3D environments [13]. This method relies on the …
Lang2views Capstone: The Importance Of A Conscientious Team Lead, Joseph Wornath
Lang2views Capstone: The Importance Of A Conscientious Team Lead, Joseph Wornath
University Honors Theses
This review essay reflects the Lang2views capstone project from the perspective of a team lead. The Lang2views capstone project was a web-based user interface designed to simplify how the Lang2views corporation localizes videos into other languages for their clients. Our capstone group was split into three subgroups: front-end, back-end, and DevOps. The strategy for completing the project went through a major change midway through development wherein we changed our software development methodology from a more rigid Waterfall-type approach to a more flexible Agile methodology. Because of this, many of the initially planned features had to be reevaluated as out of …
Exporting Sysml Designs To Simulink, Drew Q. Broadbent
Exporting Sysml Designs To Simulink, Drew Q. Broadbent
Theses and Dissertations
Various software systems have been developed to aid a systems engineer in evaluating system requirements, such as Dassault’s Magic System of Systems Architect (MSOSA) and MathWorks’ Simulink. Both software packages have different strengths; therefore, it is beneficial to export models from one software package to another. MSOSA provides a built-in tool that facilitates this transfer, built upon the Extension for Physical Interaction and Signal Flow Simulation (SysPhS) standard. However, the process is often unreliable and error prone and online documentation is largely lacking. This research used extensive trial and error to fill in the documentation gaps and create a method …
Enhancing Government Service Delivery: A Case Study Of Acqar Implementation And Lessons Learned From Chatgpt Integration In A Singapore Government Agency, Hui Shan Lee, Shankararaman, Venky, Eng Lieh Ouh
Enhancing Government Service Delivery: A Case Study Of Acqar Implementation And Lessons Learned From Chatgpt Integration In A Singapore Government Agency, Hui Shan Lee, Shankararaman, Venky, Eng Lieh Ouh
Research Collection Lee Kong Chian School Of Business
This paper presents the pilot implementation of AI Based Citizen Question-Answer Recommender (ACQAR) as an attempt to enhance citizen service delivery within a Singaporean government agency. Drawing insights from previous studies on the Empath library's use in Service Level Agreement (SLA) prediction and the implementation of the Citizen Question-Answer system (CQAS), we redesigned the pilot system, ACQAR. ACQAR integrates the outputs from Empath X SLA predictor and CQAS as essential inputs to the ChatGPT engine, creating contextually aware responses for customer service officers to use as responses to the citizens.Empath X SLA predictor anticipates the expected service response time based …
Ethical Considerations Toward Protestware, Marc Cheong, Raula Kula, Christoph Treude
Ethical Considerations Toward Protestware, Marc Cheong, Raula Kula, Christoph Treude
Research Collection School Of Computing and Information Systems
This article looks into possible scenarios where developers might consider turning their free and open source software into protestware. Using different frameworks commonly used in artificial intelligence (AI) ethics, we extend the applications of AI ethics to the study of protestware.
Smart Hpa: A Resource-Efficient Horizontal Pod Auto-Scaler For Microservice Architectures, Hussain Ahmad, Christoph Treude, Markus Wagner, Claudia Szabo
Smart Hpa: A Resource-Efficient Horizontal Pod Auto-Scaler For Microservice Architectures, Hussain Ahmad, Christoph Treude, Markus Wagner, Claudia Szabo
Research Collection School Of Computing and Information Systems
Microservice architectures have gained prominence in both academia and industry, offering enhanced agility, reusability, and scalability. To simplify scaling operations in microservice architectures, container orchestration platforms such as Kubernetes feature Horizontal Pod Auto-scalers (HPAs) designed to adjust the resources of microservices to accommodate fluctuating workloads. However, existing HPAs are not suitable for resourceconstrained environments, as they make scaling decisions based on the individual resource capacities of microservices, leading to service unavailability and performance degradation. Furthermore, HPA architectures exhibit several issues, including inefficient data processing and a lack of coordinated scaling operations. To address these concerns, we propose Smart HPA, a …
Detecting Foot Strikes During Running With Earbuds, Changshuo Hu, Thivya Kandappu, Jake Stuchbury-Wass, Yang Liu, Anthony Tang, Cecelia Mascolo, Dong Ma
Detecting Foot Strikes During Running With Earbuds, Changshuo Hu, Thivya Kandappu, Jake Stuchbury-Wass, Yang Liu, Anthony Tang, Cecelia Mascolo, Dong Ma
Research Collection School Of Computing and Information Systems
Running is a widely embraced form of aerobic exercise, offering various physical and mental benefits. However, improper running gaits (i.e., the way of foot landing) can pose safety risks and impact running efficiency. As many runners lack the knowledge or continuous attention to manage their foot strikes during running, in this work, we present a portable and non-invasive running gait monitoring system. Specifically, we leverage the in-ear microphone on wireless earbuds to capture the vibrations generated by foot strikes. Landing with different parts of the foot (e.g., forefoot and heel) generates distinct vibration patterns, and thus we utilize machine learning …
Criticality Aware Canvas-Based Visual Perception At The Edge, Ila Gokarn
Criticality Aware Canvas-Based Visual Perception At The Edge, Ila Gokarn
Research Collection School Of Computing and Information Systems
Efficient and effective machine perception remains a formidable challenge in sustaining high fidelity and high throughput of perception tasks on affordable edge devices. This is especially due to the continuing increase in resolution of sensor streams (e.g., video input streams generated by 4K/8K cameras and neuromorphic event cameras that produce ≥ 10 MEvents/second) and computational complexity of Deep Neural Network (DNN) models, which overwhelms edge platforms, adversely impacting machine perception efficiency. Given the insufficiency of the available computation resources, a question then arises on whether selected regions/components of the perception task can be prioritized (and executed preferentially) to achieve highest …
Refining Chatgpt-Generated Code: Characterizing And Mitigating Code Quality Issues, Yue Liu, Thanh Le-Cong, Ratnadira Widyasari, Chakkrit Kla Tantihamthavorn, Li Li, Xuan-Bach Dinh Le, David Lo
Refining Chatgpt-Generated Code: Characterizing And Mitigating Code Quality Issues, Yue Liu, Thanh Le-Cong, Ratnadira Widyasari, Chakkrit Kla Tantihamthavorn, Li Li, Xuan-Bach Dinh Le, David Lo
Research Collection School Of Computing and Information Systems
Since its introduction in November 2022, ChatGPT has rapidly gained popularity due to its remarkable ability in language understanding and human-like responses. ChatGPT, based on GPT-3.5 architecture, has shown great promise for revolutionizing various research fields, including code generation. However, the reliability and quality of code generated by ChatGPT remain unexplored, raising concerns about potential risks associated with the widespread use of ChatGPT-driven code generation.In this article, we systematically study the quality of 4,066 ChatGPT-generated programs of code implemented in two popular programming languages, i.e., Java and Python, for 2,033 programming tasks. The goal of this work is threefold. First, …
Fish-Eye Camera-Based Real-Time Pedestrian Crossing Predicting System, Mohammed Abdulla Almesafri
Fish-Eye Camera-Based Real-Time Pedestrian Crossing Predicting System, Mohammed Abdulla Almesafri
Theses
Fisheye cameras are widely used in traffic monitoring for their broad view, yet their distortion challenges deep-learning models in pedestrian detection and tracking. Despite available datasets like FishEye8K, collected in Hsinchu, Taiwan, and the availability of several studies that have delved into pedestrian prediction systems, a notable gap remains: the absence of datasets specifically designed for the cultural context of the UAE. This study aims to address this gap by introducing an in-house fisheye dataset tailored to enhance the prediction and tracking of pedestrians in fisheye footage within the UAE's environment. The present study addresses the development of a Graphical …
Empirical Exploration Of Software Testing, Samia Alblwi
Empirical Exploration Of Software Testing, Samia Alblwi
Dissertations
Despite several advances in software engineering research and development, the quality of software products remains a considerable challenge. For all its theoretical limitations, software testing remains the main method used in practice to control, enhance, and certify software quality. This doctoral work comprises several empirical studies aimed at analyzing and assessing common software testing approaches, methods, and assumptions. In particular, the concept of mutant subsumption is generalized by taking into account the possibility for a base program and its mutants to diverge for some inputs, demonstrating the impact of this generalization on how subsumption is defined. The problem of mutant …
A Survey Of Practical Haskell: Parsing, Interpreting, And Testing, Parker Landon
A Survey Of Practical Haskell: Parsing, Interpreting, And Testing, Parker Landon
Honors Projects
Strongly typed pure functional programming languages like Haskell have historically been confined to academia as vehicles for programming language research. While features of functional programming have greatly influenced mainstream programming languages, the imperative programming style remains pervasive in practical software development. This paper illustrates the practical utility of Haskell and pure functional programming by exploring “hson,” a scripting language for processing JSON developed in Haskell. After introducing the relevant features of Haskell to the unfamiliar reader, this paper reveals how hson leverages functional programming to implement parsing, interpreting, and testing. By showcasing how Haskell’s language features enable the creation of …
Analysis Of Green Data Center Efforts And Energy Usage, Dillon J. Goicoechea
Analysis Of Green Data Center Efforts And Energy Usage, Dillon J. Goicoechea
Honors Projects
This paper is an undergraduate level literature review and analysis of research surrounding the Green Data Center phenomenon. Review of work covering energy usage, data usage, usage predictions, and strategies for decreasing energy requirements is the main analysis of this work. The analysis shows that while data centers are becoming greener, the increase in usage of their capacities is negating those efficiency increases. The increase in the energy efficiency of data centers is crucial, however, there must be made efforts to lower computational and data usage to help achieve lower energy usage of data centers.
Program Analysis Of C For Conversion To Memory-Safe Rust, Dylan Cassidy
Program Analysis Of C For Conversion To Memory-Safe Rust, Dylan Cassidy
Honors Scholar Theses
C is a memory-unsafe language, which can cause software security issues. Rust is a more recent high-performance language that has memory-safe features, which motivates developers to move software to Rust. However, given the large existing C codebase, this is a tedious task, and current approaches result in memory-unsafe blocks of code remaining unsafe after conversion. We seek to use program analysis techniques to create software that identifies blocks of C code that could be safely converted to memory-safe Rust, despite using seemingly memory- unsafe access patterns. We performed manual translation of functions within the libGeoIP C library to Rust, ensuring …
Software Development And Market Research Process Of Plasma Software Distribution, Connor Moore
Software Development And Market Research Process Of Plasma Software Distribution, Connor Moore
Honors College Theses
When trying to find the right software for scientific research, one may have to comb through the internet to acquire a suitable tool. Much of the scientific software online is in mostly unknown web pages where the only way to find the software is to already know about it, be told about it, or find the software by pure chance. Even worse, with few verification systems in place they may try a new program only for it to turn out to be malware. The search for the right software takes time away from the scientists, slowing the overall pace of …
Machine Learning: Face Recognition, Mohammed E. Amin
Machine Learning: Face Recognition, Mohammed E. Amin
Publications and Research
This project explores the cutting-edge intersection of machine learning (ML) and face recognition (FR) technology, utilizing the OpenCV library to pioneer innovative applications in real-time security and user interface enhancement. By processing live video feeds, our system encodes visual inputs and employs advanced face recognition algorithms to accurately identify individuals from a database of photos. This integration of machine learning with OpenCV not only showcases the potential for bolstering security systems but also enriches user experiences across various technological platforms. Through a meticulous examination of unique facial features and the application of sophisticated ML algorithms and neural networks, our project …