Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Artificial Intelligence and Robotics (1401)
- Engineering (792)
- Computer Engineering (430)
- Numerical Analysis and Scientific Computing (329)
- Operations Research, Systems Engineering and Industrial Engineering (302)
-
- Social and Behavioral Sciences (271)
- Systems Science (254)
- Software Engineering (232)
- Information Security (205)
- Medicine and Health Sciences (205)
- Databases and Information Systems (199)
- Data Science (187)
- Cybersecurity (181)
- Graphics and Human Computer Interfaces (179)
- Education (165)
- Electrical and Computer Engineering (155)
- Theory and Algorithms (134)
- Business (129)
- Life Sciences (125)
- Other Computer Sciences (117)
- Programming Languages and Compilers (110)
- Arts and Humanities (96)
- Physics (92)
- Mathematics (87)
- Applied Mathematics (73)
- Statistics and Probability (72)
- Educational Technology (62)
- OS and Networks (61)
- Institution
-
- Singapore Management University (641)
- China Simulation Federation (248)
- Old Dominion University (242)
- Kennesaw State University (220)
- Missouri University of Science and Technology (108)
-
- Zayed University (87)
- Neutrosophic Systems with Applications (81)
- Edith Cowan University (54)
- Chapman University (51)
- University of Arkansas, Fayetteville (45)
- Karbala International Journal of Modern Science (44)
- University of Texas at El Paso (43)
- Air Force Institute of Technology (42)
- City University of New York (CUNY) (42)
- Michigan Technological University (41)
- University of Nebraska - Lincoln (41)
- Dartmouth College (38)
- Portland State University (37)
- Utah State University (34)
- Indian Statistical Institute (33)
- University of Texas Rio Grande Valley (32)
- Embry-Riddle Aeronautical University (31)
- University of South Carolina (30)
- Chulalongkorn University (29)
- United Arab Emirates University (29)
- Mesopotamian Academic Press (28)
- Marquette University (26)
- TÜBİTAK (26)
- University of South Alabama (26)
- Wright State University (26)
- Keyword
-
- Artificial intelligence (178)
- Machine learning (178)
- Deep learning (107)
- Artificial Intelligence (93)
- Machine Learning (93)
-
- AI (80)
- Cybersecurity (77)
- Large language models (65)
- Deep Learning (59)
- Generative AI (56)
- Large Language Models (54)
- Computer Science (40)
- Large language model (35)
- Natural language processing (35)
- Computer vision (31)
- Reinforcement learning (29)
- Security (28)
- ChatGPT (26)
- Humans (25)
- Path planning (25)
- Computer Vision (24)
- Generative artificial intelligence (24)
- Higher education (24)
- Natural Language Processing (24)
- Computer science (23)
- Deep reinforcement learning (23)
- LLM (23)
- Neural networks (23)
- Simulation (22)
- Training (22)
- Publication
-
- Research Collection School Of Computing and Information Systems (571)
- Journal of System Simulation (248)
- C-Day Computing Showcase (183)
- Theses and Dissertations (118)
- All Works (87)
-
- Neutrosophic Systems with Applications (81)
- Computer Science Faculty Research & Creative Works (70)
- Computer Science Faculty Publications (64)
- Research outputs 2022 to 2026 (45)
- Karbala International Journal of Modern Science (44)
- Michigan Tech Publications (31)
- Dissertations and Theses Collection (Open Access) (30)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (29)
- Faculty Publications (28)
- Faculty Scholarship (28)
- Mesopotamian Journal of Computer Science (28)
- Open Access Theses & Dissertations (27)
- Turkish Journal of Electrical Engineering and Computer Sciences (26)
- Electrical & Computer Engineering Faculty Publications (25)
- Master's Theses (25)
- Master’s Dissertations (25)
- Graduate Theses and Dissertations (24)
- Journal of Cybersecurity Education, Research and Practice (23)
- Cybersecurity Undergraduate Research Showcase (22)
- Computer Science Faculty Publications and Presentations (21)
- McKelvey School of Engineering Graduate Student Theses & Dissertations (21)
- Computer Science Faculty Research and Publications (20)
- Honors Theses (20)
- Theses (20)
- Tanzania Journal of Engineering and Technology (TJET) (19)
- Publication Type
- File Type
Articles 1891 - 1920 of 3497
Full-Text Articles in Computer Sciences
Greening Intelligence: Why Ai Infrastructure And Governance Must Evolve Together, Heng Wang, Poh Seng Lee
Greening Intelligence: Why Ai Infrastructure And Governance Must Evolve Together, Heng Wang, Poh Seng Lee
Research Collection Yong Pung How School Of Law
AI infrastructure is evolving faster than the regulation and governance needed to ensure it serves public and planetary interests.
Disambiguart: A Neural-Based Inference Model For Knowledge Graph Disambiguation, Budhitama Subagdja, D. Shanthoshigaa, Ah-Hwee Tan
Disambiguart: A Neural-Based Inference Model For Knowledge Graph Disambiguation, Budhitama Subagdja, D. Shanthoshigaa, Ah-Hwee Tan
Research Collection School Of Computing and Information Systems
One main challenge in constructing a knowledge graph (KG) is to deal with ambiguity. Specifically, an entity in the graph can be assigned with multiple meanings while two or more entities considered to have different meanings may actually be the same. Assigning an entity with the correct meaning may involve re-evaluation of its relevant contexts. This costly operation typically involves searching for other similar entities within the KG such that the context can be determined. In this paper, a new model called DisambiguART is proposed leveraging multi-channel matching and inference in a self-organizing neural network for sense disambiguation in knowledge …
Enhancing Deliberativeness: Evaluating The Impact Of Multimodal Reflection Nudges, Shun Yi Yeo, Zhuoqun Jiang, Anthony Tang, Simon Tangi Perrault
Enhancing Deliberativeness: Evaluating The Impact Of Multimodal Reflection Nudges, Shun Yi Yeo, Zhuoqun Jiang, Anthony Tang, Simon Tangi Perrault
Research Collection School Of Computing and Information Systems
Nudging participants with text-based reflective nudges enhances deliberation quality on online deliberation platforms. The effectiveness of multimodal reflective nudges, however, remains largely unexplored. Given the multi-sensory nature of human perception, incorporating diverse modalities into self-reflection mechanisms has the potential to better support various reflective styles. This paper explores how presenting reflective nudges of different types (direct: persona and indirect: storytelling) in different modalities (text, image, video and audio) affects deliberation quality. We conducted two user studies with 20 and 200 participants respectively. The first study identifies the preferred modality for each type of reflective nudges, revealing that text is most …
Query Understanding In Llm-Based Conversational Information Seeking, Yifei Yuan, Zahra Abbasiantaeb, Yang Deng, Mohammad Aliannejadi
Query Understanding In Llm-Based Conversational Information Seeking, Yifei Yuan, Zahra Abbasiantaeb, Yang Deng, Mohammad Aliannejadi
Research Collection School Of Computing and Information Systems
Query understanding in Conversational Information Seeking (CIS) involves accurately interpreting user intent through context-aware interactions. This includes resolving ambiguities, refining queries, and adapting to evolving information needs. Large Language Models (LLMs) enhance this process by interpreting nuanced language and adapting dynamically, improving the relevance and precision of search results in real-time. In this tutorial, we explore advanced techniques to enhance query understanding in LLM-based CIS systems. We delve into LLM-driven methods for developing robust evaluation metrics to assess query understanding quality in multiturn interactions, strategies for building more interactive systems, and applications like proactive query management and query reformulation. We …
Acccred: Improved Accountable Anonymous Credentials With Dynamic Triple-Hiding Committees, Sijiang Xie, Rui Shi, Yang Yang, Huiqin Xie, Yingjiu Li, Robert H. Deng
Acccred: Improved Accountable Anonymous Credentials With Dynamic Triple-Hiding Committees, Sijiang Xie, Rui Shi, Yang Yang, Huiqin Xie, Yingjiu Li, Robert H. Deng
Research Collection School Of Computing and Information Systems
Accountable anonymous credentials protect user privacy while holding the accountability of ill-intentioned individuals, which is a critical feature for applications such as online payments and other financial services. Existing accountable anonymous credentials rely on a public committee of trustworthy members who are assumed not to collude and are well protected to perform privacy revocation. However, this assumption is unsound in blockchain-based cryptocurrency systems because the selected committees may involve nodes with significant stakes, and public nodes serving as committee members are vulnerable against targeted attacks from high-computing power adversaries. In this paper, we propose an improved accountable anonymous credential called …
Shipnavisim: Data-Driven Simulation For Real-World Maritime Navigation, Quang Anh Pham, Janaka Chathuranga Brahmanage, Akshat Kumar
Shipnavisim: Data-Driven Simulation For Real-World Maritime Navigation, Quang Anh Pham, Janaka Chathuranga Brahmanage, Akshat Kumar
Research Collection School Of Computing and Information Systems
Maritime traffic management in busy ports faces growing challenges due to increased vessel traffic and complex waterway interactions. Strategies such as e-navigation by the International Maritime Organization aim to enhance navigation safety through traffic digitization. Maritime traffic simulation is essential for these systems, offering a virtual environment to model, analyze, and optimize traffic flows. Unlike road traffic, there are few simulators for maritime traffic, and they often lack realism and multi-ship interactions. In this paper, we (a) present ShipNaviSim, a data-driven maritime traffic simulator that utilizes a large-scale dataset over 2 years and electronic navigation charts to model vessel movements …
Few-Shot Learning On Graphs: From Meta-Learning To Llm-Empowered Pre-Training And Beyond, Yuan Fang, Yuxia Wu, Xingtong Yu, Shirui Pan
Few-Shot Learning On Graphs: From Meta-Learning To Llm-Empowered Pre-Training And Beyond, Yuan Fang, Yuxia Wu, Xingtong Yu, Shirui Pan
Research Collection School Of Computing and Information Systems
Graph representation learning has become central to many graph-based tasks, driving advancements in various domains such as web search, recommendation systems, and social network analysis. Traditionally, these methods rely on end-to-end supervised learning paradigms that require abundant labeled data, which can be costly and difficult to obtain. To address this limitation, few-shot learning on graphs has emerged as a promising approach, allowing models to generalize with minimal supervision and overcome data scarcity in real-world applications. This tutorial offers an in-depth exploration of recent advancements in few-shot learning for graphs, providing a comparative analysis of state-of-the-art methods and identifying future research …
Flexfl: Flexible And Effective Fault Localization With Open-Source Large Language Models, Chuyang Xu, Zhongxin Liu, Xiaoxue Ren, Gehao Zhang, Ming Liang, David Lo
Flexfl: Flexible And Effective Fault Localization With Open-Source Large Language Models, Chuyang Xu, Zhongxin Liu, Xiaoxue Ren, Gehao Zhang, Ming Liang, David Lo
Research Collection School Of Computing and Information Systems
Fault localization (FL) targets identifying bug locations within a software system, which can enhance debugging efficiency and improve software quality. Due to the impressive code comprehension ability of Large Language Models (LLMs), a few studies have proposed to leverage LLMs to locate bugs, i.e., LLM-based FL, and demonstrated promising performance. However, first, these methods are limited in flexibility. They rely on bug-triggering test cases to perform FL and cannot make use of other available bug-related information, e.g., bug reports. Second, they are built upon proprietary LLMs, which are, although powerful, confronted with risks in data privacy. To address these limitations, …
The Efficacy Of Incorporating Artificial Intelligence (Ai) Chatbots In Brief Gratitude And Self-Affirmation Interventions: Evidence From Two Exploratory Experiments, Jing Wen Hung, Andree Hartanto, Adalia Y.H. Goh, Zoey K.Y. Eun, K. T. A. Sandeeshwara Kasturiratna, Zhi Xuan Lee, Nadyanna M. Majeed
The Efficacy Of Incorporating Artificial Intelligence (Ai) Chatbots In Brief Gratitude And Self-Affirmation Interventions: Evidence From Two Exploratory Experiments, Jing Wen Hung, Andree Hartanto, Adalia Y.H. Goh, Zoey K.Y. Eun, K. T. A. Sandeeshwara Kasturiratna, Zhi Xuan Lee, Nadyanna M. Majeed
Research Collection School of Social Sciences
Numerous studies have demonstrated that positive psychology interventions, including brief interventions, can significantly improve well-being outcomes. These findings are particularly important given that many of these interventions are brief and self-administered, making them both accessible and scalable for large populations. However, the efficacy of positive psychology interventions is often constrained by small effect sizes. In light of advancements in generative Artificial Intelligence (AI), this study explored whether integrating AI chatbots into positive psychology interventions could enhance their efficacy compared to traditional self-administered approaches. Study 1 examined the efficacy of a gratitude intervention delivered through Snapchat's My AI, while Study 2 …
Fairness And Robustness In Decentralized Federated Learning, Kaichuang Zhang
Fairness And Robustness In Decentralized Federated Learning, Kaichuang Zhang
Theses and Dissertations
Federated Learning (FL) has emerged as a privacy-preserving paradigm that allows multiple clients to collaboratively train a machine learning model without sharing raw data. However, traditional FL relies on a central server for model aggregation, which introduces a single point of failure and makes the system vulnerable to server-side attacks or breakdowns. To address these limitations, Decentralized Federated Learning (DFL) has been proposed, eliminating the need for a central server and enhancing system resilience. Despite these advantages, DFL faces critical challenges related to fairness and robustness, especially under non-i.i.d. data distributions and adversarial conditions. In this thesis, we propose a …
Artificial Intelligence In Modern Game Development, Karan Raval
Artificial Intelligence In Modern Game Development, Karan Raval
ART 108: Introduction to Games Studies
Artificial intelligence has transformed the landscape of game development in ways early pioneers could only imagine. In my project I explore four major phases of AI evolution: classical AI methods, the rise of machine learning, the advent of transformer architectures, and a spirited debate about whether transformers truly think. To illustrate these shifts I use examples like MYCIN, which helped doctors decide treatments, and Deep Blue, which beat a world chess champion. You’ve probably lost track of time exploring an open world that adapts to your choices, right? That sense of immersion is powered by AI behind the scenes. From …
Learning Through Online Participation: From Breakout Rooms To Discord, Makayla Moster
Learning Through Online Participation: From Breakout Rooms To Discord, Makayla Moster
All Dissertations
For software development teams, teamwork is an essential part of their day-to-day lives. However, due to the aftermath of the COVID-19 pandemic, more companies have allowed employees to have more hybrid and remote work options than before. As more companies are adopting hybrid and remote workstyles, we need to ensure that we are preparing the next batch of young software developers to conduct teamwork in remote and hybrid settings. In this dissertation, I address the tools students use for teamwork and how to improve their teamwork inside and outside of the classroom. I present my research on improving student experiences …
A System And Method For Measuring Spatially Varying Surface Appearances With A Study Of Feathers, Jessica Baron-Lis
A System And Method For Measuring Spatially Varying Surface Appearances With A Study Of Feathers, Jessica Baron-Lis
All Dissertations
Real-world materials, particularly biological structures such as feathers exhibit complex appearances that vary spatially across their surfaces. The field of computer graphics provides a means of understanding such surfaces through material modeling which uses both analytical models and data acquired from light-surface interactions. There are many efforts within the past decade in measuring materials for graphics, but common limitations in these works include not accounting for spatially varying properties and reliance on neural networks and synthetic datasets.
Feathers from modern birds present diverse appearances due to how light interacts with their unique hierarchical microstructures. Variations in those structures lead to …
A Systemic Approach To Maximize Heterogeneous System Performance, Thomas L. Randall
A Systemic Approach To Maximize Heterogeneous System Performance, Thomas L. Randall
All Dissertations
Continuous increases in high performance computing (HPC) throughput have served as catalysts for industry and scientific advancement in countless manners that have fundamentally shaped our modern world. Our demands on compute resources continue to scale, but the limitations of Ahmdal’s law and Dennard scaling have proven increasingly difficult to overcome when approached solely through hardware or software design. Furthermore, many HPC applications fail to utilize the collective system’s performance, even on the most advanced supercomputers.
However, the resurgence of AI in the industry has promoted an explosion of hardware and software codesign that have fueled massive improvements in GPU design …
Building Toward A Text-Based Intervention For Parents Of Suicidal Adolescents Seeking Emergency Department Care: A Pilot Randomized Controlled Trial., Ewa Czyz, Inbal Nahum-Shani, Cynthia Ewell Foster, Valerie Micol, Amanda Jiang, Nadia Al-Dajani, Alejandra Arango, Maureen Walton, Victor Hong, Sheikh Iqbal Ahamed, Cheryl King
Building Toward A Text-Based Intervention For Parents Of Suicidal Adolescents Seeking Emergency Department Care: A Pilot Randomized Controlled Trial., Ewa Czyz, Inbal Nahum-Shani, Cynthia Ewell Foster, Valerie Micol, Amanda Jiang, Nadia Al-Dajani, Alejandra Arango, Maureen Walton, Victor Hong, Sheikh Iqbal Ahamed, Cheryl King
Computer Science Faculty Research and Publications
Objective: The growing demand for emergency department (ED) care for suicidal ideation and attempts in adolescents calls for effective interventions preventing post-ED recurrence of suicidal crises. Parents are tasked with implementing postdischarge suicide prevention recommendations, often with little support. To address this need, this study examined a parent-facing texting intervention targeting parental engagement in suicide prevention activities to lower youth suicide risk after discharge. Method: A pilot randomized controlled trial was conducted with 120 parents (83.3% mothers) and their adolescents (ages 13–17, 65.8% female, 75.0% White) presenting to an ED with suicide risk concerns. Parents were randomized to a control …
Towards Explainable And Robust Nlp: Neutrosophic Probability Augmentation In Text Classification, Nabil M. Abdel-Aziz, Mahmoud Ibrahim, Khalid A. Eldrandaly
Towards Explainable And Robust Nlp: Neutrosophic Probability Augmentation In Text Classification, Nabil M. Abdel-Aziz, Mahmoud Ibrahim, Khalid A. Eldrandaly
Neutrosophic Systems with Applications
The rapid growth of textual data necessitates advanced text classification models. However, traditional methods struggle with ambiguity and uncertainty in natural language, reducing classification reliability. To address this, we integrate neutrosophic logic, which explicitly models truth, indeterminacy, and falsity, into a DistilBERT-based text classification framework. Additionally, we employ data augmentation using synonym replacement to enhance generalization. Our approach is evaluated on the AG News dataset, classifying articles into four categories: World, Sports, Business, and Science/Technology. By incorporating neutrosophic attributes, the proposed framework assesses text quality, mitigates uncertainty, and improves robustness against ambiguous inputs. Experimental results demonstrate an accuracy of 94.10%, …
Single Valued Neutrosophic Hypersoft Set Based On Merec-Moosra Mcdm Methods For Evolution Of Sustainable Strategies For The Circular Supply Chain Based On The Beverage Industry, Alaa Salem, Rayan Hussein, Ahmed Abdelmouty, Mohamed Abouhawwash
Single Valued Neutrosophic Hypersoft Set Based On Merec-Moosra Mcdm Methods For Evolution Of Sustainable Strategies For The Circular Supply Chain Based On The Beverage Industry, Alaa Salem, Rayan Hussein, Ahmed Abdelmouty, Mohamed Abouhawwash
Neutrosophic Systems with Applications
Corporate enterprises around the world are facing increasing pressure to operate sustainably due to rising environmental concerns such as climate change, resource scarcity, and ecological degradation. In response, circular supply chain (CSC) practices have emerged as a promising solution, especially within the manufacturing and beverage sectors. CSC focuses on reusing materials, minimizing waste, and creating value from products that have reached the end of their lifecycle. This study investigates the challenges and opportunities of applying circular supply chain management (CSCM) in the beverage industry, which is known for generating significant waste due to high production volumes. The research identifies key …
Oculomics: Current Concepts And Evidence, Zhuoting Zhu, Yueye Wang, Ziyi Qi, Wenyi Hu, Xiayin Zhang, Siegfried K Wagner, Yujie Wang, An Ran Ran, Joshua Ong, Ethan Waisberg, Mouayad Masalkhi, Alex Suh, Yih Chung Tham, Carol Y Cheung, Xiaohong Yang, Honghua Yu, Zongyuan Ge, Wei Wang, Bin Sheng, Yun Liu, Andrew G Lee, Alastair K Denniston, Peter Van Wijngaarden, Pearse A Keane, Ching-Yu Cheng, Mingguang He, Tien Yin Wong
Oculomics: Current Concepts And Evidence, Zhuoting Zhu, Yueye Wang, Ziyi Qi, Wenyi Hu, Xiayin Zhang, Siegfried K Wagner, Yujie Wang, An Ran Ran, Joshua Ong, Ethan Waisberg, Mouayad Masalkhi, Alex Suh, Yih Chung Tham, Carol Y Cheung, Xiaohong Yang, Honghua Yu, Zongyuan Ge, Wei Wang, Bin Sheng, Yun Liu, Andrew G Lee, Alastair K Denniston, Peter Van Wijngaarden, Pearse A Keane, Ching-Yu Cheng, Mingguang He, Tien Yin Wong
Faculty, Staff and Student Publications
The eye provides novel insights into general health, as well as pathogenesis and development of systemic diseases. In the past decade, growing evidence has demonstrated that the eye's structure and function mirror multiple systemic health conditions, especially in cardiovascular diseases, neurodegenerative disorders, and kidney impairments. This has given rise to the field of oculomics-the application of ophthalmic biomarkers to understand mechanisms, detect and predict disease. The development of this field has been accelerated by three major advances: 1) the availability and widespread clinical adoption of high-resolution and non-invasive ophthalmic imaging ("hardware"); 2) the availability of large studies to interrogate associations …
The Role Of Ai In Enhancing Teamwork, Resilience And Decision-Making: Review Of Recent Developments, Satyadhar Joshi
The Role Of Ai In Enhancing Teamwork, Resilience And Decision-Making: Review Of Recent Developments, Satyadhar Joshi
Harrisburg University Other Works
This paper explores the transformative impact of artificial intelligence (AI) on organizational teamwork, decision-making, and resilience. This paper furthur reviews recent literature on the integration of Artificial Intelligence (AI) in various organizational functions, focusing on its impact on innovation management, leadership paradigms, and organizational resilience. We provide groundwork required to enhance frameworks that can integrate cognitive scaffolding with antifragile team dynamics, employing behavioral economics and neurocognitive principles. We introduce methodologies for enhancing team resilience through adaptive AI systems, cross-training interventions, and pre-mortem simulation techniques. The framework addresses key challenges in confirmation bias mitigation, cultural dimension alignment, and vigilance decrement prevention. …
Towards Advancing Streamflow And Peak Flow Prediction With Machine Learning: Identifying Infrastructure At Risk, Sudan Pokharel
Towards Advancing Streamflow And Peak Flow Prediction With Machine Learning: Identifying Infrastructure At Risk, Sudan Pokharel
Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–
Due to climate change and its impact, the need for adaptive strategies for natural disaster mitigation and resource management has never been more urgent. Central to this is water resource management, which is essential for sustainable human activities, ecological balance, and the mitigation of natural hazards like floods. Streamflow is a crucial element of water resource management and plays a vital role in planning and building water infrastructure, implementing emergency response plans, supporting flood mitigation initiatives, and regulating agricultural and industrial use. However, accurate prediction of streamflow still remains a challenge due to the complex non-linear and non-stationary interaction between …
Robot-Integrated 4d Building Information Modeling (4d Bim): Framework For Planning Safe Autonomous Construction Operations In Dynamic Environments, Hafiz Oyedimeji Oyediran
Robot-Integrated 4d Building Information Modeling (4d Bim): Framework For Planning Safe Autonomous Construction Operations In Dynamic Environments, Hafiz Oyedimeji Oyediran
Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–
In the construction industry, the use of autonomous robots is considered a solution to overcome the heavy reliance on human workers to perform repetitive, strenuous, and hazardous tasks. While these robots offer the advantage of autonomous operation, ensuring their safe and efficient integration within construction sites requires precise planning. Such planning must account for the varying project complexities such as scope, site layout, tasks, timelines, existence of human workers, and other spatiotemporal conditions of the construction site. Currently, there are no methods to safely plan autonomous robot operations considering these factors within the overarching construction planning process. Thus, autonomous robots …
Iot In Sustainability And Iot In The Ai And Metaverse Age, Yuzhou Qian, Keng Siau
Iot In Sustainability And Iot In The Ai And Metaverse Age, Yuzhou Qian, Keng Siau
Research Collection School Of Computing and Information Systems
The Internet of Things (IoT) is a modern technology that has gained large popularity and is still developing. Connecting heterogeneous devices, such as phones, vehicles, and household appliances, IoT has brought convenience to our lives. Further, IoT plays a significant role in enhancing environmental sustainability. It provides timely data about different devices and enables users and managers to directly control the objects. IoT can optimize the existing energy systems and promote the usage of renewable technologies. In this paper, we discuss how IoT supports green initiatives (i.e., how it is applied in different sectors), how it can be "green" itself …
Specgen: Automated Generation Of Formal Program Specifications Via Large Language Models, Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
Specgen: Automated Generation Of Formal Program Specifications Via Large Language Models, Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
Research Collection School Of Computing and Information Systems
In the software development process, formal program specifications play a crucial role in various stages, including requirement analysis, software testing, and verification. However, manually crafting formal program specifications is rather difficult, making the job time-consuming and labor-intensive. Moreover, it is even more challenging to write specifications that correctly and comprehensively describe the semantics of complex programs. To reduce the burden on software developers, automated specification generation methods have emerged. However, existing methods usually rely on predefined templates or grammar, making them struggle to accurately describe the behavior and functionality of complex real-world programs. To tackle this challenge, we introduce SpecGen, …
Behind The Screen: Understanding The Human Firewall In Cybersecurity, Arun Venkitanarayanan
Behind The Screen: Understanding The Human Firewall In Cybersecurity, Arun Venkitanarayanan
Emergency Preparedness, Homeland Security, and Cybersecurity
No abstract provided.
Assessing Perceived Safety Of Non Motorized Travel With Virtual Reality, Vahid Balali, Sahand Fathi
Assessing Perceived Safety Of Non Motorized Travel With Virtual Reality, Vahid Balali, Sahand Fathi
Mineta Transportation Institute
Cycling is increasingly advocated as a healthier and more sustainable mode of transportation, as reflected in both scholarly literature and policy initiatives. Nonetheless, the escalation in bicyclist crash fatalities underscores deficiencies in extant roadway designs that inadequately safeguard these vulnerable users. A persistent challenge in the examination of bicyclist safety, behavior, and comfort is the paucity of comprehensive cycling data. To enhance understanding of cyclists' behavioral and physiological responses safely and efficiently, this investigation utilizes a bicycle simulator within an immersive virtual environment (IVE). Off-the-shelf sensors are employed to evaluate cyclists' performance metrics (speed and lane position) and physiological responses …
Sigscope: Detecting And Understanding Off‑Chain Message Signing‑Related Vulnerabilities In Decentralized Applications, Sajad Meisami, Hugo Dabadie, Song Li, Yuzhe Tang, Yue Duan
Sigscope: Detecting And Understanding Off‑Chain Message Signing‑Related Vulnerabilities In Decentralized Applications, Sajad Meisami, Hugo Dabadie, Song Li, Yuzhe Tang, Yue Duan
Research Collection School Of Computing and Information Systems
In Web 3.0, an emerging paradigm of building decentralized applications or DApps is off-chain message signing, which has advantages in performance, cost efficiency, and usability compared to conventional transaction-signing schemes. However, message signing burdens DApp developers with extra coding complexity and message designing, leading to new security risks.This paper presents the first systematic study to uncover and characterize the security issues in off-chain message signing schemes and the DApps built atop them. We present a holistic static-analysis framework, SigScope, that uniquely combines the insights extracted from DApp front-end code (HTML and Javascript) off-chain and back-end smart contracts on-chain. We evaluate …
Real-Time Rectifying Flight Control Misconfiguration Using Intelligent Agent, Ruidong Han, Shangzhi Xu, Juanru Li, Elisa Bertino, David Lo, Jianfeng Ma, Siqi Ma
Real-Time Rectifying Flight Control Misconfiguration Using Intelligent Agent, Ruidong Han, Shangzhi Xu, Juanru Li, Elisa Bertino, David Lo, Jianfeng Ma, Siqi Ma
Research Collection School Of Computing and Information Systems
Configurations are supported by most flight control systems, allowing users to control a flying drone adapted to complexities such as environmental changes or mission alterations. Such an advanced functionality also introduces a significant problem—misconfiguration settings. It may cause drone instability, threaten drone safety, and potentially lead to substantial financial loss. However, detecting and rectifying misconfigurations across different flight control systems is challenging because (1) (mis)configuration-related code snippets might be syntactically correct and thus hard to identify through traditional code analysis; (2) the response to each configuration varies under different flying scenarios.In this article, we propose and implement a novel rectification …
Hierarchical Frameworks For Scaling-Up Multi-Agent Coordination, Minghong Geng
Hierarchical Frameworks For Scaling-Up Multi-Agent Coordination, Minghong Geng
Research Collection School Of Computing and Information Systems
Multi-agent reinforcement learning has emerged as a powerful framework for developing collaborative behaviors in autonomous systems. However, existing MARL methods often struggle with scalability in terms of both the number of agents and decision-making horizons. My research focuses on developing hierarchicalapproaches to scale up MARL systems through two complementary directions: structural scaling by increasing the number of coordinated agents and temporal scaling by extending planning horizons. My initial work introduced HiSOMA, a hierarchical framework integrating self-organizing neural networks with MARL forlong-horizon planning, and MOSMAC, a benchmark for evaluating MARL methods on multi-objective MARL scenarios. Building on these foundations, my recent …
Relation Prediction In Knowledge Graphs: A Self-Organizing Neural Network Approach, Budhitama Subagdja, Shanthoshigaa D, Ah-Hwee Tan
Relation Prediction In Knowledge Graphs: A Self-Organizing Neural Network Approach, Budhitama Subagdja, Shanthoshigaa D, Ah-Hwee Tan
Research Collection School Of Computing and Information Systems
Knowledge graphs (KGs) in specialized domains frequently suffer from incomplete information. While current relation prediction methods for KG completion typically rely on neural network-based representation learning, we present KG2ART---a novel self-organizing neural network that employs a fundamentally different approach. Instead of learning distributed representations, KG2ART encodes relation triples of knowledge graphs explicitly and performs parallel inference over the graph structure through bidirectional interactions between bottom-up activations and top-down pattern matching. Our comprehensive evaluation across five diverse KGs (Nations, UMLS, Kinship, CoDEx-M, and a jet engine technical KG) demonstrates that KG2ART consistently outperforms state-of-the-art baselines (TuckER, ComplEX, RESCAL, ConvE, CompGCN) in …
Guest Editorial: When Multimedia Meets Food: Multimedia Computing For Food Data Analysis And Applications, Weiqing Min, Shuqiang Jiang, Petia Radeva, Vladimir Pavlovic, Chong-Wah Ngo, Kiyoharu Aizawa, Wanqing Li
Guest Editorial: When Multimedia Meets Food: Multimedia Computing For Food Data Analysis And Applications, Weiqing Min, Shuqiang Jiang, Petia Radeva, Vladimir Pavlovic, Chong-Wah Ngo, Kiyoharu Aizawa, Wanqing Li
Research Collection School Of Computing and Information Systems
Food is central in our life for its fundamental role in our survival, health, mood and culture. The deployment of various networks (e.g., IoT and mobile networks), devices (e.g., hyperspectral imaging devices, electronic nose/tongue), databases (e.g., nutrition tables and food compositional databases), recipe-sharing websites (e.g., Yummly and Meishijie) and social media (e.g., Twitter and Weibo) has generated unprecedented volumes of multi-modal food data. Such multi-source multi-modal food data provides new perspectives to analyze and understand food consumption via multimedia computing. Riding on the wave of AI, food-oriented multimedia computing integrates AI, multimedia technology and food science to enable a wide …