Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 2341 - 2370 of 13822

Full-Text Articles in Entire DC Network

Factors Influencing The Retention Of Millennial Software Developers In South African Companies, Kim Fouche, Maureen Tanner Sep 2023

Factors Influencing The Retention Of Millennial Software Developers In South African Companies, Kim Fouche, Maureen Tanner

African Conference on Information Systems and Technology

South Africa has an Information Technology skills shortage leading to high turnover of Information Technology professionals. Not only do companies face significant costs in replacing software developers, but high mobility also affects staff morale. Millennials are known to be more loyal to their own needs and do not tend to stay at companies for long, increasing the complexities of retention. This study explores the factors that influence the retention of millennial software developers in South African companies. The qualitative study was carried out using online semi-structured interviews. The study found that work environment, lifestyle, and management style, play a key …


An Assessment Of The Consistency Gap In Developing Countries: A Case Of Zimbabwe’S Ict Regulatory Framework, Casper Chigwedere Sep 2023

An Assessment Of The Consistency Gap In Developing Countries: A Case Of Zimbabwe’S Ict Regulatory Framework, Casper Chigwedere

African Conference on Information Systems and Technology

An effective Information and Communications Technology (ICT) regulatory system is expected to advance regulatory consistency, independence, pro-competitiveness, consistency, competency, and accountability. These qualities will inspire investor confidence, sectoral growth, and customer satisfaction. Since we considered regulatory independence elsewhere, this paper investigates the level of regulatory consistency in developing countries. This is done using data from Zimbabwe a developing country in Sub-Saharan Africa. The study employs a Qualitative methodology, and Heeks’ (2002) Design Reality Gap (DRG) model under an interpretivist paradigm. Data collection employed in-depth interviews with purposively selected stakeholders and the analysed using Nvivo (release 1.6.1 (1136)) and thematic analysis …


Aira: An Intelligent Recommendation Agent Application For Movies, Ayesha Anees Zaveri, Ramsha Mashood, Sarama Shehmir, Misbah Parveen, Naveera Sami, Mobeen Nazar Sep 2023

Aira: An Intelligent Recommendation Agent Application For Movies, Ayesha Anees Zaveri, Ramsha Mashood, Sarama Shehmir, Misbah Parveen, Naveera Sami, Mobeen Nazar

Journal of Informatics and Web Engineering

An intelligent Recommendation App has been developed to assist caregivers. This project's primary objective is to assist parents in determining whether a particular movie/cartoon/drama is adequate for their children by providing ratings that will assist them in identifying age-appropriate content. This application will provide reliable evaluations, reviews, and recommendations to parents. Each rating and review are based on fundamental, essential child development principles. Intelligent Recommendation Agent aids families in making intelligent media selections. It provides the most extensive and reliable database of learning ratings, age recommendations, and content evaluations for films, television series, and dramas. In addition, there will be …


Ensuring Privacy And Security On Banking Websites In Malaysia: A Cookies Scanner Solution, Yi Hong Tay, Shih Yin Ooi, Ying Han Pang, Ying Huey Gan, Sook Ling Lew Sep 2023

Ensuring Privacy And Security On Banking Websites In Malaysia: A Cookies Scanner Solution, Yi Hong Tay, Shih Yin Ooi, Ying Han Pang, Ying Huey Gan, Sook Ling Lew

Journal of Informatics and Web Engineering

In this new era of science and technology, data can be said to be an extremely valuable asset for individuals, corporations, and even countries. Different parties attempt to obtain users' data occasionally, and the collection of web cookies is a prominent example. When users use a computer network, their data will be saved by the web server as cookies, including their private information. As people with bad intentions obtain this information, they can use it to commit cybercrimes and cause losses to the information owners. Thus, cookies management is vital for web users to protect their data. This paper proposes …


Enhancing Migraine Management System Through Weather Forecasting For A Better Daily Life, Wen-Xuan Ong, Sin-Ban Ho, Chuie-Hong Tan Sep 2023

Enhancing Migraine Management System Through Weather Forecasting For A Better Daily Life, Wen-Xuan Ong, Sin-Ban Ho, Chuie-Hong Tan

Journal of Informatics and Web Engineering

A migraine is a severe, throbbing, or pulsing headache that typically affects one side of the head. A migraine attack can be so painful that it interferes with daily activities and can last for hours or even days. Migraine is a common health issue that affects approximately 1 in every 5 women and 1 in every 15 men. Additionally, millions of people worldwide suffer from migraine attacks due to the inability to anticipate or adapt to their environment. In today's globalized world, mobile phones have become a necessity for the general public, enabling communication, internet shopping, food purchases, and even …


Multi-Label Classification With Deep Learning For Retail Recommendation, Zhi Yuan Poo, Choo Yee Ting, Yuen Peng Loh, Khairil Imran Ghauth Sep 2023

Multi-Label Classification With Deep Learning For Retail Recommendation, Zhi Yuan Poo, Choo Yee Ting, Yuen Peng Loh, Khairil Imran Ghauth

Journal of Informatics and Web Engineering

Selecting the right retail business for a location is crucial for the success of a business because it determines the likelihood of favourable return on investment. One common approach used in retail recommendation is multi-class classification, where retail businesses are categorized into different classes or categories based on various features or attributes. Existing research in the field of retail recommendation has extensively proposed and evaluated different algorithms, techniques, and approaches for multi-class classification in the context of retail recommendation, however, limited work has been focusing on formulating retail recommendation as a multi-label problem. This is because in retail recommendation, one …


Engaging Learning Experience: Enhancing Productivity Software Lessons With Screencast Videos, Usha Vellappan, Lim Liyen, Lim Su Yin Sep 2023

Engaging Learning Experience: Enhancing Productivity Software Lessons With Screencast Videos, Usha Vellappan, Lim Liyen, Lim Su Yin

Journal of Informatics and Web Engineering

The use of screencast videos can improve the effectiveness of the teaching and learning process, whether it is face-to-face or online. Screencast videos are digital resources that capture the computer screen and create an audio-visual experience, and they can be shared online to aid the learning process. It eliminates the need for educators to repeat information multiple times and creates an uninterrupted personalised learning environment for the students. This method of learning gives students a more personalised sense, as if they were given one-on-one guidance from the educator, with students having access to the educator and receiving immediate feedback during …


A Comparative Analysis Of Proactive And Reactive Methods For Privacy-Aware Interleaved Dnn Offloading, Jamie Cotter Sep 2023

A Comparative Analysis Of Proactive And Reactive Methods For Privacy-Aware Interleaved Dnn Offloading, Jamie Cotter

Department of Computer Science Publications

Deep Neural Networks (DNNs) are increasingly used on the edge in mobile and other resource-constrained devices for inference tasks ranging from object detection and image recognition to video processing. Many of these tasks have low latency requirements that cannot be satisfied if they are processed locally due to their high computational complexity. Offloading computation to the edge and cloud offers a way to alleviate this computational latency. Doing so introduces communication delays, which makes offloading a balancing act between the benefits of reduced processing time and the communication delays incurred. Existing algorithms for DNN offloading based on DNN partitioning are …


Pura Vida Neutrosophic Algebra, Ranulfo Paiva Barbosa (Sobrinho), Florentin Smarandache Sep 2023

Pura Vida Neutrosophic Algebra, Ranulfo Paiva Barbosa (Sobrinho), Florentin Smarandache

Neutrosophic Systems with Applications

We introduce Pura Vida Neutrosophic Algebra, an algebraic structure consisting of neutrosophic numbers equipped with two binary operations namely addition and multiplication. The addition can be calculated sometimes with the function min and other times with the max function. The multiplication operation is the usual sum between numbers. Pura Vida Neutrosophic Algebra is an extension of both Tropical Algebra (also known as Min-Plus, or Min-Algebra) and Max-Plus Algebra (also known as Max-algebra). Tropical and Max-Plus algebras are algebraic structures included in semirings and their operations can be used in matrices and vectors. Pura Vida Neutrosophic Algebra is included in Neutrosophic …


A Study On Feature Selection Using Multi-Domain Feature Extraction For Automated K-Complex Detection, Yabing Li, Xinglong Dong, Kun Song, Xiangyun Bai, Hongye Li, Fakhreddine Karray Sep 2023

A Study On Feature Selection Using Multi-Domain Feature Extraction For Automated K-Complex Detection, Yabing Li, Xinglong Dong, Kun Song, Xiangyun Bai, Hongye Li, Fakhreddine Karray

Machine Learning Faculty Publications

Background: K-complex detection plays a significant role in the field of sleep research. However, manual annotation for electroencephalography (EEG) recordings by visual inspection from experts is time-consuming and subjective. Therefore, there is a necessity to implement automatic detection methods based on classical machine learning algorithms. However, due to the complexity of EEG signal, current feature extraction methods always produce low relevance to k-complex detection, which leads to a great performance loss for the detection. Hence, finding compact yet effective integrated feature vectors becomes a crucially core task in k-complex detection. Method: In this paper, we first extract multi-domain features based …


Gamerfit-Asd Beta Test: Adapting An Evidence-Based Exergaming And Telehealth Coaching Intervention For Autistic Youth, Daniel P. Hatfield, Aviva Must, Winston Kennedy, Amanda E. Staiano, James Slavet, Rachael A. Sabelli, Carol Curtin, Linda G. Bandini, Phillip Nauta, Christopher Stuetzle, April Bowling Sep 2023

Gamerfit-Asd Beta Test: Adapting An Evidence-Based Exergaming And Telehealth Coaching Intervention For Autistic Youth, Daniel P. Hatfield, Aviva Must, Winston Kennedy, Amanda E. Staiano, James Slavet, Rachael A. Sabelli, Carol Curtin, Linda G. Bandini, Phillip Nauta, Christopher Stuetzle, April Bowling

Computer and Data Science Faculty Publications

Background: Health disparities faced by autistic youth are exacerbated by inadequate physical activity (PA) and sleep, whereas healthy PA and sleep may improve mood and function. Adaptive Game Squad (AGS) is an evidence-based telehealth coaching and exergaming intervention to improve PA and sleep for adolescents with diverse neurodevelopmental and psychiatric conditions. This study aimed to adapt AGS for autistic youth ages 10–15 years; beta-test the modified intervention for feasibility, accessibility, and engagement; and further refine the intervention for a larger planned demonstration pilot.

Methods: Interdisciplinary experts adapted AGS to create GamerFit-ASD, a 12-week intervention that included a progressive exergame schedule, …


Frank At Checkthat! 2023: Detecting The Political Bias Of News Articles And News Media Notebook For The Checkthat! Lab At Clef 2023, Dilshod Azizov, Preslav Nakov, Shangsong Liang Sep 2023

Frank At Checkthat! 2023: Detecting The Political Bias Of News Articles And News Media Notebook For The Checkthat! Lab At Clef 2023, Dilshod Azizov, Preslav Nakov, Shangsong Liang

Machine Learning Faculty Publications

This paper addresses the challenge of detecting political bias in news articles and media outlets from CheckThat!lab Task 3 [1, 2] by proposing an automated method for classifying these as left, center, or right-leaning. As mass media consumption continues to grow, the capability to identify bias in news reporting is crucial due to the potential societal impact of unaddressed political bias. To tackle this issue, we present a comprehensive approach employing machine learning techniques to detect political leaning in news media and articles. Our model, CatBoost, is evaluated on a diverse dataset comprising over 55,000 news articles sourced from AllSides1 …


Neutrosophic Adaptive Lsb And Deep Learning Hybrid Framework For Ecg Signal Classification, Abdallah Rezk, Ahmed S. Sakr, H. M. Abdulkader Sep 2023

Neutrosophic Adaptive Lsb And Deep Learning Hybrid Framework For Ecg Signal Classification, Abdallah Rezk, Ahmed S. Sakr, H. M. Abdulkader

Applied Mathematics & Information Sciences

This paper proposes a novel hybrid framework for ECG signal classification and privacy preservation. The framework includes two phases: the first phase uses LSTM+CNN with attention gate for ECG classification, while the second phase utilizes adaptive least signal bit with neutrosophic for hiding important data during transmission. The proposed framework converts data into three sets of degrees (true, false, and intermediate) using neutrosophic and passes them to an embedding layer. In the sender part, the framework hides important data in ECG signal as true and false degrees, using the intermediate set as a shared dynamic key between sender and receiver. …


The Effect Of System Quality And User Quality Of Information Technology On Internal Audit Effectiveness In Jordan, And The Moderating Effect Of Management Support, Ahmad Yahiya Ahmad Bani Ahmad (Ayassrah), Anas Ahmad Mahmoud Bani Atta, Hanan Ali Alawawdeh, Nawaf Abdallah Aljundi, Amer Morshed, Saleh Amin Dahbour Sep 2023

The Effect Of System Quality And User Quality Of Information Technology On Internal Audit Effectiveness In Jordan, And The Moderating Effect Of Management Support, Ahmad Yahiya Ahmad Bani Ahmad (Ayassrah), Anas Ahmad Mahmoud Bani Atta, Hanan Ali Alawawdeh, Nawaf Abdallah Aljundi, Amer Morshed, Saleh Amin Dahbour

Applied Mathematics & Information Sciences

The goal of this study is to ascertain the moderating role that management support has in internal audit effectiveness in Jordan, as well as the impact of system quality and user quality of information technology. There were 172 responders in all, and they were split across Jordanian auditors. In the data analysis process, the quantitative analysis test— which consists of the validity test, reliability test, test of conventional assumptions, and hypothesis test—is applied. Information technology system and user quality are independent variables in this study. The dependent variable in this study is internal audit effectiveness, and the moderating variable is …


Assessing The Moderating Effect Of Innovation On The Relationship Between Information Technology And Supply Chain Management: An Empirical Examination, Heba Hatamlah, Mahmoud Allahham, Ibrahim A. Abu-Alsondos, Alaa S. Mushtaha, Ghadeer M. Al-Anati, Mustafa Al-Shaikh Sep 2023

Assessing The Moderating Effect Of Innovation On The Relationship Between Information Technology And Supply Chain Management: An Empirical Examination, Heba Hatamlah, Mahmoud Allahham, Ibrahim A. Abu-Alsondos, Alaa S. Mushtaha, Ghadeer M. Al-Anati, Mustafa Al-Shaikh

Applied Mathematics & Information Sciences

This study examines how innovation (INN) influences the relationship between supply chain management and information technology in Jordan. 211 employees of Jordanian industrial enterprises who work in the Operations Department provided information for the study, which examines this subject. The findings indicate a close connection between information technology and supply chain management. Innovation also dramatically modifies the interaction between supply chain management and information technology. Management help may be the subject of future research.


The Role Of Business Intelligence Adoption As A Mediator Of Big Data Analytics In The Management Of Outsourced Reverse Supply Chain Operations, Heba Hatamlah, Mahmoud Allahham, Ibrahim A. Abu-Alsondos, Alaa Al-Junaidi, Ghadeer M. Al-Anati, Mustafa Al-Shaikh Sep 2023

The Role Of Business Intelligence Adoption As A Mediator Of Big Data Analytics In The Management Of Outsourced Reverse Supply Chain Operations, Heba Hatamlah, Mahmoud Allahham, Ibrahim A. Abu-Alsondos, Alaa Al-Junaidi, Ghadeer M. Al-Anati, Mustafa Al-Shaikh

Applied Mathematics & Information Sciences

The fluctuating and disorganized state of todays global markets is the result of several factors. COVID-19 is an illustration. Supply chain managers should re-evaluate their competitive strategy and leverage big data analytics in light of the rising volatility in demand and supply, rivalry among supply chain partners, and the requirement to deliver tailored goods and services (BDA). Supply chain firms require sophisticated BDA processes and procedures to provide useful insights from big data to better decision-making and supply chain operations, as many leaders in the sector have acknowledged the necessity for improving with data" (SCO). This research gives theoretical justification …


Applications Of The Ara-Residual Power Series Technique To Physical Phenomena, Aliaa Burqan Sep 2023

Applications Of The Ara-Residual Power Series Technique To Physical Phenomena, Aliaa Burqan

Applied Mathematics & Information Sciences

In this paper, a new analytical method called the ARA-Residual power series method (ARA- RPSM) is implemented to solve some fractional physical equations. The methodology of the proposed method based on applying the ARA-transform to the given fractional differential equations, followed by the creation of approximate series solutions using Taylor’s expansion. Then the series solution is transformed using the inverse of the ARA-transform to get the solution in the original space. Accuracy, effectiveness, and validity of the suggested method are demonstrated through the discussion of three attractive applications. The solution obtained using ARA-RPSM demonstrates good agreement when compared to the …


Overview Of The Clef-2023 Checkthat! Lab Task 1 On Check-Worthiness Of Multimodal And Multigenre Content, Firoj Alam, Alberto Barrón-Cedeño, Gullal S. Cheema, Gautam Kishore Shahi, Sherzod Hakimov, Maram Hasanain, Chengkai Li, Rubén Míguez, Hamdy Mubarak, Wajdi Zaghouani, Preslav Nakov Sep 2023

Overview Of The Clef-2023 Checkthat! Lab Task 1 On Check-Worthiness Of Multimodal And Multigenre Content, Firoj Alam, Alberto Barrón-Cedeño, Gullal S. Cheema, Gautam Kishore Shahi, Sherzod Hakimov, Maram Hasanain, Chengkai Li, Rubén Míguez, Hamdy Mubarak, Wajdi Zaghouani, Preslav Nakov

Natural Language Processing Faculty Publications

We present an overview of CheckThat! Lab’s 2023 Task 1, which is part of CLEF-2023. Task 1 asks to determine whether a text item, or a text coupled with an image, is check-worthy. This task places a special emphasis on COVID-19, political debates and transcriptions, and it is conducted in three languages: Arabic, English, and Spanish. A total of 15 teams participated, and most submissions managed to achieve significant improvements over the baselines using Transformer-based models. Out of these, seven teams participated in the multimodal subtask (1A), and 12 teams participated in the Multigenre subtask (1B), collectively submitting 155 official …


Gpachov At Checkthat! 2023: A Diverse Multi-Approach Ensemble For Subjectivity Detection In News Articles, Georgi Pachov, Dimitar Dimitrov, Ivan Koychev, Preslav Nakov Sep 2023

Gpachov At Checkthat! 2023: A Diverse Multi-Approach Ensemble For Subjectivity Detection In News Articles, Georgi Pachov, Dimitar Dimitrov, Ivan Koychev, Preslav Nakov

Natural Language Processing Faculty Publications

The wide-spread use of social networks has given rise to subjective, misleading, and even false information on the Internet. Thus, subjectivity detection can play an important role in ensuring the objectiveness and the quality of a piece of information. This paper presents the solution built by the Gpachov team for the CLEF-2023 CheckThat! lab Task 2 on subjectivity detection. Three different research directions are explored. The first one is based on fine-tuning a sentence embeddings encoder model and dimensionality reduction. The second one explores a sample-efficient few-shot learning model. The third one evaluates fine-tuning a multilingual transformer on an altered …


Enriched Pre-Trained Transformers For Joint Slot Filling And Intent Detection, Momchil Hardalov, Ivan Koychev, Preslav Nakov Sep 2023

Enriched Pre-Trained Transformers For Joint Slot Filling And Intent Detection, Momchil Hardalov, Ivan Koychev, Preslav Nakov

Natural Language Processing Faculty Publications

Detecting the user's intent and finding the corresponding slots among the utterance's words are important tasks in natural language understanding. Their interconnected nature makes their joint modeling a standard part of training such models. Moreover, data scarceness and specialized vocabularies pose additional challenges. Recently, the advances in pre-trained language models, namely contextualized models such as ELMo and BERT have revolutionized the field by tapping the potential of training very large models with just a few steps of fine-tuning on a task-specific dataset. Here, we leverage such models, and we design a novel architecture on top of them. Moreover, we propose …


Grammatical Error Correction: A Survey Of The State Of The Art, Christopher Bryant, Zheng Yuan, Muhammad Reza Qorib, Hannan Cao, Hwee Tou Ng, Ted Briscoe Sep 2023

Grammatical Error Correction: A Survey Of The State Of The Art, Christopher Bryant, Zheng Yuan, Muhammad Reza Qorib, Hannan Cao, Hwee Tou Ng, Ted Briscoe

Natural Language Processing Faculty Publications

Grammatical Error Correction (GEC) is the task of automatically detecting and correcting errors in text. The task not only includes the correction of grammatical errors, such as missing prepositions and mismatched subject–verb agreement, but also orthographic and semantic errors, such as misspellings and word choice errors, respectively. The field has seen significant progress in the last decade, motivated in part by a series of five shared tasks, which drove the development of rule-based methods, statistical classifiers, statistical machine translation, and finally neural machine translation systems, which represent the current dominant state of the art. In this survey paper, we condense …


The Power Of Identity Cues In Text-Based Customer Service: Evidence From Twitter, Yang Gao, Huaxia Rui, Shujing Sun Sep 2023

The Power Of Identity Cues In Text-Based Customer Service: Evidence From Twitter, Yang Gao, Huaxia Rui, Shujing Sun

Research Collection School Of Computing and Information Systems

Text-based customer service is emerging as an important channel through which companies can assist customers. However, the use of few identity cues may cause customers to feel limited social presence and even suspect the human identity of agents, especially in the current age of advanced algorithms. Does such a lack of social presence affect service interactions? We studied this timely question by evaluating the impact of customers’ perceived social presence on service outcomes and customers’ attitudes toward agents. Our identification strategy hinged on Southwest Airlines’ sudden requirement to include a first name in response to service requests on Twitter, which …


Graph-Level Anomaly Detection Via Hierarchical Memory Networks, Chaoxi Niu, Guansong Pang, Ling Chen Sep 2023

Graph-Level Anomaly Detection Via Hierarchical Memory Networks, Chaoxi Niu, Guansong Pang, Ling Chen

Research Collection School Of Computing and Information Systems

Graph-level anomaly detection aims to identify abnormal graphs that exhibit deviant structures and node attributes compared to the majority in a graph set. One primary challenge is to learn normal patterns manifested in both fine-grained and holistic views of graphs for identifying graphs that are abnormal in part or in whole. To tackle this challenge, we propose a novel approach called Hierarchical Memory Networks (HimNet), which learns hierarchical memory modules---node and graph memory modules---via a graph autoencoder network architecture. The node-level memory module is trained to model fine-grained, internal graph interactions among nodes for detecting locally abnormal graphs, while the …


U.S. Parents’ Intentions To Use Anti-Bullying Apps: Insights From A Comprehensive Model, Brittany Wheeler, Katie Baumel, Deborah Hall, Yasin N. Silva Sep 2023

U.S. Parents’ Intentions To Use Anti-Bullying Apps: Insights From A Comprehensive Model, Brittany Wheeler, Katie Baumel, Deborah Hall, Yasin N. Silva

Computer Science: Faculty Publications and Other Works

Cyberbullying has become a prominent risk for youth and an increasing concern for parents. To help parents reduce their child’s cyberbullying risk, anti-bullying apps (ABAs)—mobile applications for identifying and preventing instances of cyberbullying—have been developed in recent years. Given that ABAs are an emerging technology, limited research has been conducted to understand the factors predicting parents’ intentions to use them. Drawing on three interdisciplinary theoretical frameworks, a sample of parents in the U.S. recruited through Amazon Mechanical Turk completed an online survey to assess parents’ knowledge of, attitudes about, and intentions to use ABAs. Participants also rated the importance of …


What Is The Best Way To Develop A Website?, Nahomy Julieta Calderon Lopez Sep 2023

What Is The Best Way To Develop A Website?, Nahomy Julieta Calderon Lopez

Theses

This project is centered around empowering individuals with the knowledge and resources necessary for effective website development. The culmination of Thesis/Directed Project II is a user-friendly website designed to distill and present the insights gathered during Thesis/Directed Project I. This website features an engaging interactive quiz, aimed to help the users identify what is the best way, for them, to develop a website. The quiz has multiple questions, each with three distinct response options, the quiz guides users towards one of three key approaches for website development: Website Builders, Content Management System platforms, or Coding. Upon receiving their quiz results, …


An Activity System-Based Perspective Of Generative Ai: Challenges And Research Directions, Fiona Fui-Hoon Nah, Jingyuan Cai, Ruilin Zheng, Natalie Pang Sep 2023

An Activity System-Based Perspective Of Generative Ai: Challenges And Research Directions, Fiona Fui-Hoon Nah, Jingyuan Cai, Ruilin Zheng, Natalie Pang

Research Collection School Of Computing and Information Systems

With its remarkable ability to generate content, generative artificial intelligence (GAI) has been recognized as a milestone in the development of artificial general intelligence. To understand the challenges, potential impact, and implications associated with GAI, we adopt a socio-technical perspective to analyze them. First, we identify the key characteristics of GAI, which include content generation, generalization ability, and reinforcement learning based on human feedback. Next, we address technological, ethical, societal, economic, regulatory, and governance challenges. Finally, we deploy activity theory to explore research directions in GAI. Research questions that warrant further investigation include how GAI may impact the future of …


K-St: A Formal Executable Semantics Of The Structured Text Language For Plcs, Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng Sep 2023

K-St: A Formal Executable Semantics Of The Structured Text Language For Plcs, Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng

Research Collection School Of Computing and Information Systems

Programmable Logic Controllers (PLCs) are responsible for automating process control in many industrial systems (e.g. in manufacturing and public infrastructure), and thus it is critical to ensure that they operate correctly and safely. The majority of PLCs are programmed in languages such as Structured Text (ST). However, a lack of formal semantics makes it difficult to ascertain the correctness of their translators and compilers, which vary from vendor-to-vendor. In this work, we develop K-ST, a formal executable semantics for ST in the K framework. Defined with respect to the IEC 61131-3 standard and PLC vendor manuals, K-ST is a high-level …


Grasp Solution Approach For The E-Waste Collection Problem, Aldy Gunawan, Dang Viet Anh Nguyen, Pham Kien Minh Nguyen, Pieter Vansteenwegen Sep 2023

Grasp Solution Approach For The E-Waste Collection Problem, Aldy Gunawan, Dang Viet Anh Nguyen, Pham Kien Minh Nguyen, Pieter Vansteenwegen

Research Collection School Of Computing and Information Systems

The digital economy has brought significant advancements in electronic devices, increasing convenience and comfort in people’s lives. However, this progress has also led to a shorter life cycle for these devices due to rapid advancements in hardware and software technology. As a result, e-waste collection and recycling have become vital for protecting the environment and people’s health. From the operations research perspective, the e-waste collection problem can be modeled as the Heterogeneous Vehicle Routing Problem with Multiple Time Windows (HVRP-MTW). This study proposes a metaheuristic based on the Greedy Randomized Adaptive Search Procedure complemented by Path Relinking (GRASP-PR) to solve …


A Learning‑Based Approach For Estimating Inertial Properties Of Unknown Objects From Encoder Discrepancies, Zizhou Lao, Yuanfeng Han, Yunshan Ma, Gregory S. Chirikjian Sep 2023

A Learning‑Based Approach For Estimating Inertial Properties Of Unknown Objects From Encoder Discrepancies, Zizhou Lao, Yuanfeng Han, Yunshan Ma, Gregory S. Chirikjian

Research Collection School Of Computing and Information Systems

Many robots utilize commercial force/torque sensors to identify inertial properties of unknown objects. However, such sensors can be difficult to apply to small-sized robots due to their weight, size, and cost. In this letter, we propose a learning-based approach for estimating the mass and center of mass (COM) of unknown objects without using force/torque sensors at the end effector or on the joints. In our method, a robot arm carries an unknown object as it moves through multiple discrete configurations. Measurements are collected when the robot reaches each discrete configuration and stops. A neural network then estimates joint torques from …


Benewind: An Adaptive Benefit Win–Win Platform With Distributed Virtual Emotion Foundation, Hyunbum Kim, Jalel Ben-Othman Sep 2023

Benewind: An Adaptive Benefit Win–Win Platform With Distributed Virtual Emotion Foundation, Hyunbum Kim, Jalel Ben-Othman

All Works

In recent decades, online platforms that use Web 3.0 have tremendously expanded their goods, services, and values to numerous applications thanks to its inherent advantages of convenience, service speed, connectivity, etc. Although online commerce and other relevant platforms have clear merits, offline-based commerce and payments are indispensable and should be activated continuously, because offline systems have intrinsic value for people. With the theme of benefiting all humankind, we propose a new adaptive benefit platform, called BeneWinD, which is endowed with strengths of online and offline platforms. Furthermore, a new currency for integrated benefits, the win–win digital currency, is used in …