The Impacts Of Dimensionality, Diffusion, And Directedness On Intrinsic Cross-Model Simulation In Tile-Based Self-Assembly,
2024
University of Arkansas, Fayetteville
The Impacts Of Dimensionality, Diffusion, And Directedness On Intrinsic Cross-Model Simulation In Tile-Based Self-Assembly, Daniel Hader, Matthew J. Patitz
Computer Science and Computer Engineering Faculty Publications and Presentations
Motivated by applications in DNA-nanotechnology, theoretical investigations in algorithmic tile-assembly have blossomed into a mature theory. In addition to computational universality, the abstract Tile Assembly Model (aTAM) was shown to be intrinsically universal (FOCS 2012), a strong notion of completeness where a single tile set is capable of simulating the full dynamics of all systems within the model; however, this construction fundamentally required non-deterministic tile attachments. This was confirmed necessary when it was shown that the class of directed aTAM systems, those where all possible sequences of tile attachments result in the same terminal assembly, is not intrinsically universal (FOCS …
Reproducibility Debt: Challenges And Future Pathways,
2024
Singapore Management University
Reproducibility Debt: Challenges And Future Pathways, Zara Hassan, Christoph Treude, Michael Norrish, Graham Williams, Alex Potanin
Research Collection School Of Computing and Information Systems
Reproducibility of scientic computation is a critical factor in validating its underlying process, but it is often elusive. Complexity and continuous evolution in software systems have introduced new challenges for reproducibility across a myriad of computational sciences, resulting in growing debt. This requires a comprehensive domain-agnostic study to dene and asses Reproducibility Debt (RpD) in scientic software, thus uncovering and classifying all underlying factors attributed towards its emergence and identication i.e., causes and eects. Moreover, an organised map of prevention strategies is imperative to guide researchers for its proactive management. This vision paper highlights the challenges that hinder eective management …
On The Sustainability Of Deep Learning Projects: Maintainers' Perspective,
2024
Hangzhou City University
On The Sustainability Of Deep Learning Projects: Maintainers' Perspective, Junxiao Han, Jiakun Liu, David Lo, Chen Zhi, Yishan Chen, Shuiguang Deng
Research Collection School Of Computing and Information Systems
Deep learning (DL) techniques have grown in leaps and bounds in both academia and industry over the past few years. Despite the growth of DL projects, there has been little study on how DL projects evolve, whether maintainers in this domain encounter a dramatic increase in workload and whether or not existing maintainers can guarantee the sustained development of projects. To address this gap, we perform an empirical study to investigate the sustainability of DL projects, understand maintainers' workloads and workloads growth in DL projects, and compare them with traditional open-source software (OSS) projects. In this regard, we first investigate …
Toward Effective Secure Code Reviews: An Empirical Study Of Security-Related Coding Weaknesses,
2024
Singapore Management University
Toward Effective Secure Code Reviews: An Empirical Study Of Security-Related Coding Weaknesses, Wachiraphan Charoenwet, Patanamon Thongtanunam, Thuan Pham, Christoph Treude
Research Collection School Of Computing and Information Systems
Identifying security issues early is encouraged to reduce the latent negative impacts on software systems. Code review is a widely-used method that allows developers to manually inspect modified code, catching security issues during a software development cycle. However, existing code review studies often focus on known vulnerabilities, neglecting coding weaknesses, which can introduce real-world security issues that are more visible through code review. The practices of code reviews in identifying such coding weaknesses are not yet fully investigated. To better understand this, we conducted an empirical case study in two large open-source projects, OpenSSL and PHP. Based on 135,560 code …
Generative Ai For Pull Request Descriptions: Adoption, Impact, And Developer Interventions,
2024
Singapore Management University
Generative Ai For Pull Request Descriptions: Adoption, Impact, And Developer Interventions, Tao Xiao, Hideaki Hata, Christoph Treude, Kenichi Matsumoto
Research Collection School Of Computing and Information Systems
GitHub's Copilot for Pull Requests (PRs) is a promising service aiming to automate various developer tasks related to PRs, such as generating summaries of changes or providing complete walkthroughs with links to the relevant code. As this innovative technology gains traction in the Open Source Software (OSS) community, it is crucial to examine its early adoption and its impact on the development process. Additionally, it offers a unique opportunity to observe how developers respond when they disagree with the generated content. In our study, we employ a mixed-methods approach, blending quantitative analysis with qualitative insights, to examine 18,256 PRs in …
Certified Robust Accuracy Of Neural Networks Are Bounded Due To Bayes Errors,
2024
Singapore Management University
Certified Robust Accuracy Of Neural Networks Are Bounded Due To Bayes Errors, Ruihan Zhang, Jun Sun
Research Collection School Of Computing and Information Systems
Adversarial examples pose a security threat to many critical systems built on neural networks. While certified training improves robustness, it also decreases accuracy noticeably. Despite various proposals for addressing this issue, the significant accuracy drop remains. More importantly, it is not clear whether there is a certain fundamental limit on achieving robustness whilst maintaining accuracy. In this work, we offer a novel perspective based on Bayes errors. By adopting Bayes error to robustness analysis, we investigate the limit of certified robust accuracy, taking into account data distribution uncertainties. We first show that the accuracy inevitably decreases in the pursuit of …
Partial Solution Based Constraint Solving Cache In Symbolic Execution,
2024
Singapore Management University
Partial Solution Based Constraint Solving Cache In Symbolic Execution, Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
Research Collection School Of Computing and Information Systems
Constraint solving is one of the main challenges for symbolic execution. Caching is an effective mechanism to reduce the number of the solver invocations in symbolic execution and is adopted by many mainstream symbolic execution engines. However, caching can not perform well on all programs. How to improve caching’s effectiveness is challenging in general. In this work, we propose a partial solution-based caching method for improving caching’s effectiveness. Our key idea is to utilize the partial solutions inside the constraint solving to generate more cache entries. A partial solution may satisfy other constraints of symbolic execution. Hence, our partial solution-based …
Prioritising Github Priority Labels,
2024
Singapore Management University
Prioritising Github Priority Labels, James Caddy, Christoph Treude
Research Collection School Of Computing and Information Systems
Communities on GitHub often use issue labels as a way of triaging issues by assigning them priority ratings based on how urgently they should be addressed. The labels used are determined by the repository contributors and notstandardisedbyGitHub.Thismakes it difficult for priority-related reasoning across repositories for both researchers and contributors. Previous work shows interest in how issues are labelled and what the consequences for those labels are. For instance, some previous work has used clustering models and natural language processing to categorise labels without a particular emphasis on priority. With this publication, we introduce a unique data set of 812 manually …
Transformer Models With Explainability For It Telemetry And Business Events,
2024
Singapore Management University
Transformer Models With Explainability For It Telemetry And Business Events, Shiau Hong Lim, Laura Wynter
Research Collection School Of Computing and Information Systems
Temporal event data are commonly encountered in software applications across a wide range of domains, from IT telemetry and system logs to business process automation. Temporal event data in software applications carry information in various forms: both structured and unstructured, and with both regular and irregular occurrence frequency, making the representation of temporal event data challenging. Further chal-lenges come from the diversity in terms of the scale and volume of events that need to be summarized by the representation. We propose a general and unified approach to handle temporal event data for the purpose of learning a predictive transformer model. …
Hierarchical Damage Correlations For Old Photo Restoration,
2024
Singapore Management University
Hierarchical Damage Correlations For Old Photo Restoration, Weiwei Cai, Xuemiao Xu, Jiajia Xu, Huaidong Zhang, Haoxin Yang, Kun Zhang, Shengfeng He
Research Collection School Of Computing and Information Systems
Restoring old photographs can preserve cherished memories. Previous methods handled diverse damages within the same network structure, which proved impractical. In addition, these methods cannot exploit correlations among artifacts, especially in scratches versus patch-misses issues. Hence, a tailored network is particularly crucial. In light of this, we propose a unified framework consisting of two key components: ScratchNet and PatchNet. In detail, ScratchNet employs the parallel Multi-scale Partial Convolution Module to effectively repair scratches, learning from multi-scale local receptive fields. In contrast, the patch-misses necessitate the network to emphasize global information. To this end, we incorporate a transformer-based encoder and decoder …
Microkarta: Visualising Microservice Architectures,
2024
Singapore Management University
Microkarta: Visualising Microservice Architectures, Oscar Manglaras, Alex Farkas, Peter Fule, Christoph Treude, Markus Wagner
Research Collection School Of Computing and Information Systems
Conceptualising and debugging a microservice architecture can be a challenge for developers due to the complex topology of inter-service communication, which may only apparent when viewing the architecture as a whole. In this paper, we present MicroKarta, a dashboard containing three types of network diagram that visualise complex microservice architectures, and that are designed to address problems faced by developers of these architectures. Initial feedback from industry developers has been positive. This dashboard can be used by developers to explore and debug microservice architectures, and can be used to compare the effectiveness of different types of network visualisation for assisting …
How Do Preservice Teachers Learn To Teach Integrated Computational Thinking?: Evidence From Planning, Enactment, And Reflection,
2024
University of California, Santa Cruz
How Do Preservice Teachers Learn To Teach Integrated Computational Thinking?: Evidence From Planning, Enactment, And Reflection, Rachael Dektor, Samuel Severance, Kip Téllez
Journal of Computer Science Integration
This study examines pre-service teachers’ (PSTs) beliefs and understandings about computational thinking (CT) integration and lesson implementation over time. Utilizing a design-based research approach, 3 PSTs led the co-design of integrated CT lessons with support from researchers and enacted these CT integrated lessons with K-5 students. All PSTs participated in a whole-group CT workshop and engaged in one-on-one lesson design sessions with a researcher. We utilized a grounded theory approach to qualitatively analyze pre-surveys, semi-structured interviews, and video data of three PSTs enacting their lessons. We found that PSTs’ initial beliefs about CT instruction – including the importance of it …
Henna Chatbot Capstone Review,
2024
Portland State University
Henna Chatbot Capstone Review, Kobe Norcross
University Honors Theses
This thesis reviews the development of the Henna Chatbot, an AI-powered DEI consultant designed to provide personalized feedback to organizations. Sponsored by DEI consultant Arsh Haque, the project aims to address gaps in current DEI software, which often lacks team-specific feedback. The Henna Chatbot leverages GPT-3.5 Turbo to create an affordable SaaS platform where organizations can train Henna with their DEI values, and Henna will help organizations stay aligned with those values. The project spanned twenty weeks and was completed by a team of eight computer science students at Portland State University. The development process followed Agile methodologies, emphasizing effective …
Trust, Transparency, And Transport: The Impact Of Privacy Protection On The Acceptance Of Last-Mile Drone Delivery,
2024
University of Denver
Trust, Transparency, And Transport: The Impact Of Privacy Protection On The Acceptance Of Last-Mile Drone Delivery, Jurgen Heinz Famula
Electronic Theses and Dissertations
A common set of problems commercial delivery companies face is finding ways to increase the efficiency and reliability of the “last mile” of a package’s journey, all while reducing operating costs. This need for efficiency has driven many companies to explore using unmanned aerial vehicles (UAVs), or drones, to get packages to their final destination. Although UAVs have great potential to help increase efficiency in commercial package delivery, this comes at a potential cost to the privacy of people who intersect the flight paths of these unmanned vehicles. This thesis explores the effect of a mobile phone application for commercial …
Evaluating The Effect Of Domain-Specific Large Language Models On Question And Response,
2024
University of Denver
Evaluating The Effect Of Domain-Specific Large Language Models On Question And Response, Phillip D. Crippen
Electronic Theses and Dissertations
Large Language Models have emerged to great fanfare in the Information Technology market. Business and Information Technology leaders are currently exploring ways to apply these models to assist their organizations in executing business processes and generating innovation. Software vendors, consultants, and academics promote various approaches to making Large Language Models work effectively for business. However, little academic literature is available today that quantifies the degree of improvement possible with these domain-specific approaches over the standard capabilities of generalized Large Language Models.
The study seeks to quantify the benefits of one approach, Retrieval Augmented Generation. The study uses a collection of …
The Institutional Challenges Of A Quantified Self Study: An Attempt To Ascertain How Data Collected From A Mobile Device Can Be An Indicator Of Personal Mental Health Over Time,
2024
Portland State University
The Institutional Challenges Of A Quantified Self Study: An Attempt To Ascertain How Data Collected From A Mobile Device Can Be An Indicator Of Personal Mental Health Over Time, Julian Lazaras
University Honors Theses
The adoption of an application of new technology always comes with a bias, this is never more true for the case of human behavioral analytics within higher education. While movements such as the quantified self movement make strides to reinterpret the realm of data analytics, psychology, and computer science, there are inevitably limitations to the adoption and application of such approaches within the standard realm of research. Herein is presented a case where an effort to evaluate the prospect of use of mobile phone data as secondary indicators of personal mental health through the lens of data analysis was put …
Cards With Class: Formalizing A Simplified Collectible Card Game,
2024
Portland State University
Cards With Class: Formalizing A Simplified Collectible Card Game, Dan Ha
University Honors Theses
Collectible card games (CCGs) have been a wildly popular game genre since the release of Wizards of the Coast's Magic: The Gathering. These games revolve around their thousands of cards and the hundreds of thousands of interactions they can create with their many effects. For designers, it is an incredibly demanding task to ensure that every single card works properly and that each card's text unambiguously conveys its intended behavior in all cases. The task only grows more difficult over time as the number of cards in the game grows and card effects become more complex or experimental. If the …
Editorial Preview,
2024
Multimedia University, Malaysia
Editorial Preview, Su-Cheng Haw
Journal of Informatics and Web Engineering
This editorial highlights all 18 papers in the June issue that deal with the practical aspects of Machine Learning (ML), Artificial Intelligence (AI), Data Mining (DM), the Internet of Things (IoT), Computer Vision, e-learning, and other topics in Computer Science. This issue also includes suggestions for several worthwhile works that deserve further research. With effective from our third volume first issue, we will be publishing triannually in February, June and October.
Facial Skin Analysis In Malaysians Using Yolov5: A Deep Learning Perspective,
2024
Public Mutual Berhad, Malaysia
Facial Skin Analysis In Malaysians Using Yolov5: A Deep Learning Perspective, Ying Huey Gan, Shih Yin Ooi, Ying Han Pang, Yi Hong Tay, Quan Fong Yeo
Journal of Informatics and Web Engineering
Nowadays, people are more concerned about their skin conditions and are more willing to spend money and time on facial care routines. The beauty sector market is increasing, and more skin type readers are being created to help people determine their skin type. While various skin type readers are in the market, each is invented and tested abroad. Those skin type readers in the beauty market are not applied well on Malaysian skin. Therefore, this paper proposes a facial skin analysis system tailored primarily for Malaysian skin. This paper integrated object detection and deep learning algorithms in developing skin-type readers. …
Classroom Environment Analysis Via Internet Of Things,
2024
Multimedia University, Malaysia
Classroom Environment Analysis Via Internet Of Things, Kai-Yuan Tan, Kok-Why Ng, Kanesaraj Ramasamy
Journal of Informatics and Web Engineering
In this era of rapid technological advancement, the potential of the digital age has opened up numerous possibilities for our society. However, despite these advancements, traditional classrooms still lack the necessary technology to create an optimal learning environment for students. Consequently, students may struggle to effectively acquire knowledge within classrooms. This paper aims to conduct a classroom environment analysis using Internet of Things technology to gather data and uncover valuable insights. The proposed solution involves an embedded system for controlling and monitoring the classroom environment, as well as exporting historical data for further research. By ensuring accurate data collection, this …
