Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (293675)
- Education (91660)
- Engineering (79967)
- Computer Sciences (63499)
- Social and Behavioral Sciences (60983)
-
- Earth Sciences (59467)
- Environmental Sciences (52590)
- Life Sciences (52478)
- Arts and Humanities (37413)
- Physics (34146)
- Chemistry (33264)
- Geology (29982)
- Mathematics (27196)
- Law (25251)
- Higher Education (25219)
- Medicine and Health Sciences (23195)
- Science and Mathematics Education (19299)
- Business (18123)
- Electrical and Computer Engineering (18062)
- Computer Engineering (17464)
- History (15384)
- Plant Sciences (14959)
- Soil Science (14405)
- Oceanography and Atmospheric Sciences and Meteorology (14045)
- Mechanical Engineering (13102)
- Statistics and Probability (12852)
- Artificial Intelligence and Robotics (11508)
- Agronomy and Crop Sciences (11030)
- Curriculum and Instruction (10722)
- Civil and Environmental Engineering (10531)
- Institution
-
- University of Nebraska - Lincoln (32988)
- Western Michigan University (24912)
- University of Kentucky (17270)
- Missouri University of Science and Technology (13207)
- Utah State University (13048)
-
- TÜBİTAK (12072)
- University of South Florida (10792)
- University of New Mexico (10600)
- Singapore Management University (10474)
- Old Dominion University (10143)
- Louisiana State University (9857)
- California Polytechnic State University, San Luis Obispo (9531)
- University of Montana (9095)
- University of Northern Iowa (9064)
- University of Mississippi (8905)
- Purdue University (8613)
- Brigham Young University (8047)
- University of Central Florida (7694)
- Wright State University (7018)
- San Jose State University (6912)
- Portland State University (6891)
- City University of New York (CUNY) (6781)
- University of New Hampshire (6101)
- New Jersey Institute of Technology (6003)
- University of Nevada, Las Vegas (5885)
- Nova Southeastern University (5788)
- Clemson University (5675)
- Georgia Southern University (5675)
- Air Force Institute of Technology (5600)
- University of Texas Rio Grande Valley (5240)
- Keyword
-
- Newspaper (7372)
- Education (6709)
- Mathematics (5282)
- Student newspaper (3689)
- Machine learning (3287)
-
- Faculty (3186)
- Higher education (3024)
- Undergraduate (2743)
- Students (2702)
- Bowling Green State University (2659)
- History (2232)
- Spartan Daily (2144)
- Newsletter (2094)
- Engineering (2079)
- Western Australia (2053)
- EIU (2020)
- Climate change (2010)
- Physics (1948)
- Eastern Illinois University (1913)
- Student life (1908)
- Pennsylvania (1896)
- Student newspapers (1878)
- Periodicals (1841)
- Artificial intelligence (1810)
- Collegeville (1809)
- Curriculum (1795)
- Alumni (1780)
- Daily Eastern News (1780)
- College student newspapers and periodicals (1767)
- Humans (1766)
- Publication Year
-
- 2026 (17058)
- 2025 (25520)
- 2024 (27052)
- 2023 (27084)
- 2022 (31305)
-
- 2021 (42405)
- 2020 (28852)
- 2019 (26915)
- 2018 (25686)
- 2017 (24666)
- 2016 (24391)
- 2015 (22270)
- 2014 (21835)
- 2013 (20110)
- 2012 (19374)
- 2011 (17310)
- 2010 (16046)
- 2009 (14009)
- 2008 (13174)
- 2007 (12474)
- 2006 (11371)
- 2005 (10378)
- 2004 (9478)
- 2003 (8167)
- 2002 (7458)
- 2001 (6943)
- 2000 (6604)
- 1999 (6123)
- 1998 (6048)
- 1997 (5735)
- Publication
-
- Theses and Dissertations (22385)
- Legacy Scout Tickets from Pure Oil Company (11044)
- Electronic Theses and Dissertations (9775)
- IGC Proceedings (1977-2023) (9261)
- Faculty Publications (9043)
-
- Research Collection School Of Computing and Information Systems (8567)
- Dissertations (6771)
- Thin Sections (6677)
- Theses (6602)
- Masters Theses (4904)
- Journal of System Simulation (3880)
- Graduate Theses and Dissertations (3736)
- USF Tampa Graduate Theses and Dissertations (3574)
- Nebraska Tractor Tests (3402)
- Walden Dissertations and Doctoral Studies (3383)
- Master's Theses (3188)
- Turkish Journal of Electrical Engineering and Computer Sciences (3152)
- Doctoral Dissertations (2978)
- Articles (2927)
- Graduate Theses, Dissertations, and Problem Reports (ETD) (2868)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (2807)
- Turkish Journal of Chemistry (2806)
- Turkish Journal of Mathematics (2781)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (2669)
- Neutrosophic Sets and Systems (2551)
- Commencement Programs (2405)
- Publications and Research (2397)
- Journal of Electrochemistry (2393)
- Publications (2389)
- Applied Mathematics & Information Sciences (2320)
- Publication Type
Articles 28921 - 28950 of 715038
Full-Text Articles in Entire DC Network
On-Site Water Management Field Sampling Plan (Fsp), 2025 Update, Mark Thompson, Rampart Solutions
On-Site Water Management Field Sampling Plan (Fsp), 2025 Update, Mark Thompson, Rampart Solutions
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
An Eco-Epidemiological Model For Malaria With Microsporidia Mb As Bio-Control Agent, Charlène N.T. Mfangnia, Henri E.Z. Tonnang, Berge Tsanou, Jeremy Keith Herren
An Eco-Epidemiological Model For Malaria With Microsporidia Mb As Bio-Control Agent, Charlène N.T. Mfangnia, Henri E.Z. Tonnang, Berge Tsanou, Jeremy Keith Herren
All Peer-Reviewed Publications
Microsporidia MB is an endosymbiont which naturally infects Anopheles mosquitoes. Due to its ability to block Plasmodium transmission, it shows potential as a bio-based agent for the control of malaria. Its self-sustainability is promising, as it can spread through both vertical and horizontal transmissions. However, its low prevalence in mosquito populations remains a challenge. We develop an eco-epidemiological mathematical model describing the co-dynamics of Microsporidia MB (within mosquito population) and malaria (within human population). The model is used to assess the potential of Microsporidia MB-infected mosquitoes on the control of malaria infection. The results on the basic reproduction numbers, the …
Building Narratives And Probing Concepts: Preparing Materials For Co-Design With Autistic Livestreamers, Terrance Mok, Tyson Hartley, Anthony Tang, Adam Mccrimmon, Lora Oehlberg
Building Narratives And Probing Concepts: Preparing Materials For Co-Design With Autistic Livestreamers, Terrance Mok, Tyson Hartley, Anthony Tang, Adam Mccrimmon, Lora Oehlberg
Research Collection School Of Computing and Information Systems
Based on ten semi-structured interviews with autistic Twitch streamers, we introduce a series of scenario-based design narratives coupled with technology design concepts as a starting point for co-design discussion about autistic streaming. This work builds on prior thematic analysis of the unique intersection between autism and livestreaming. Our user-centered scenarios highlight the needs, goals, and challenges of autistic individuals in livestreaming contexts. By using evocative narratives, the scenarios serve to facilitate empathy and deeper engagement with the needs of autistic users, and help facilitate and support co-creative dialogues and discussions about new technology designs. We contribute this starting point for …
Meta-Learning Hyperparameters For Foundation Model Adaptation In Remote-Sensing Imagery, Zichen Tian, Yaoyao Liu, Qianru Sun
Meta-Learning Hyperparameters For Foundation Model Adaptation In Remote-Sensing Imagery, Zichen Tian, Yaoyao Liu, Qianru Sun
Research Collection School Of Computing and Information Systems
Training large foundation models of remote-sensing (RS) images is almost impossible due to the limited and long-tailed data problems. Fine-tuning natural image pre-trained models on RS images is a straightforward solution. To reduce computational costs and improve performance on tail classes, existing methods apply parameter-efficient fine-tuning (PEFT) techniques, such as LoRA and AdaptFormer. However, we observe that fixed hyperparameters -- such as intra-layer positions, layer depth, and scaling factors, can considerably hinder PEFT performance, as fine-tuning on RS images proves highly sensitive to these settings. To address this, we propose MetaPEFT, a method incorporating adaptive scalers that dynamically adjust module …
Chatgpt’S Performance Evaluation In Spreadsheets Modeling To Inform Assessments Redesign, Michelle L. F. Cheong
Chatgpt’S Performance Evaluation In Spreadsheets Modeling To Inform Assessments Redesign, Michelle L. F. Cheong
Research Collection School Of Computing and Information Systems
Background: Increasingly, students are using ChatGPT to assist them in learning and even completing their assessments, raising concerns of academic integrity and loss of critical thinking skills. Many articles suggested educators to redesign assessments which are more “Generative-AI-resistant” and to focus on assessing students on higher order thinking skills. However, there is a lack of articles that attempt to quantify assessments at different cognitive levels to provide empirical study insights on ChatGPT’s performance at different levels, which will affect how educators redesign their assessments.Objectives: Educators need new information on how well ChatGPT performs to redesign future assessments to assess their …
Linear Systems Over Pura Vida Neutrosophic Algebra, Rayyanu Abdullahi Muhammad, Abdulhadi Aminu
Linear Systems Over Pura Vida Neutrosophic Algebra, Rayyanu Abdullahi Muhammad, Abdulhadi Aminu
Neutrosophic Systems with Applications
Neutrosophic numbers offers a strong foundation for representing uncertainty, indeterminacy, and imprecision within mathematical systems. Pura Vida Neutrosophic Algebra (PVNA) expands upon max-plus algebra (also known as tropical algebra or path algebra) using neutrosophic numbers. In this study, we propose a novel extension of the Pura Vida Neutrosophic Algebra (PVNA) by formulating and analyzing linear systems within this algebraic context–an area that, to the best of our knowledge, has not been previously examined. Specifically, we introduce the concept of Neutrosophic Max-Plus Linear Systems, develop an algebraic methodology for their representation, and establish the necessary and sufficient conditions for the existence …
Evaluating Disaster Relief In Supply Chains Using A Neutrosophic Mcdm Approach, Nada A. Nabeeh
Evaluating Disaster Relief In Supply Chains Using A Neutrosophic Mcdm Approach, Nada A. Nabeeh
Neutrosophic Systems with Applications
Disaster-prone regions and affected areas encounter persistent challenges in maintaining supply chain continuity due to environmental uncertainties and infrastructure disruptions. Effective supply chain disaster management (SCDM) is essential for relief disaster disruptions, specifically in upstream processes and functions within the humanitarian supply chain. The integration of advanced technologies like the metaverse and Multiple-Criteria Decision-Making (MCDM) methods supports strategic planning and enhances resilience. This study presents a multi-criteria decision-making (MCDM) proposed approach for disaster relief evaluation in supply chain management. The proposed model integrates Interval-Valued Neutrosophic Numbers (IVNNs) to manage uncertainty and ambiguity inherent in disaster various criteria which are often …
Outperforming The Best With Minimal Effort: Algorithm Selection For Constrained Multi-Objective Optimization, Mustafa Misir, Aldy Gunawan
Outperforming The Best With Minimal Effort: Algorithm Selection For Constrained Multi-Objective Optimization, Mustafa Misir, Aldy Gunawan
Research Collection School Of Computing and Information Systems
The present study performs algorithm selection on a suite of optimization algorithms targeting the constrained multi-objective optimization problems. The idea is to utilize the existing, relevant algorithmic experience in the literature to deliver an improved solver with limited effort. The reason being that algorithm development, in general, is a challenging and time-consuming process, especially with the goal of outperforming the existing methods from varying perspectives such as performance, speed, and robustness. Concerning the multi-objective optimization problems, the required development efforts happen to be even harder than addressing the single-objective ones. Furthermore, referring to the fact that the number of candidate …
Alayadb: The Data Foundation For Efficient And Effective Long-Context Llm Inference, Yangshen Deng, Zhengxin You, Long Xiang, Qilong Li, Peiqi Yuan, Zhaoyang Hong, Yitao Zheng, Wanting Li, Runzhong Li, Haotian Liu, Kyriakos Mouratidis, Man Lung Yiu, Huan Li, Qiaomu Shen, Rui Mao, Bo Tang
Alayadb: The Data Foundation For Efficient And Effective Long-Context Llm Inference, Yangshen Deng, Zhengxin You, Long Xiang, Qilong Li, Peiqi Yuan, Zhaoyang Hong, Yitao Zheng, Wanting Li, Runzhong Li, Haotian Liu, Kyriakos Mouratidis, Man Lung Yiu, Huan Li, Qiaomu Shen, Rui Mao, Bo Tang
Research Collection School Of Computing and Information Systems
AlayaDB is a cutting-edge vector database system natively architected for efficient and effective long-context inference for Large Language Models (LLMs) at AlayaDB AI. Specifically, it decouples the KV cache and attention computation from the LLM inference systems, and encapsulates them into a novel vector database system. For the Model as a Service providers (MaaS), AlayaDB consumes fewer hardware resources and offers higher generation quality for various workloads with different kinds of Service Level Objectives (SLOs), when compared with the existing alternative solutions (e.g., KV cache disaggregation, retrieval-based sparse attention). The crux of AlayaDB is that it abstracts the attention computation …
Reaccept: Automated Co-Evolution Of Production And Test Code Based On Dynamic Validation And Large Language Models, Jianlei Chi, Xiaotian Wang, Yuhan Huang, Lechen Yu, Di Cui, Jianguo Sun, Jun Sun
Reaccept: Automated Co-Evolution Of Production And Test Code Based On Dynamic Validation And Large Language Models, Jianlei Chi, Xiaotian Wang, Yuhan Huang, Lechen Yu, Di Cui, Jianguo Sun, Jun Sun
Research Collection School Of Computing and Information Systems
Synchronizing production and test code, known as PT co-evolution, is critical for software quality. Given the significant manual effort involved, researchers have tried automating PT co-evolution using predefined heuristics and machine learning models. However, existing solutions are still incomplete. Most approaches only detect and flag obsolete test cases, leaving developers to manually update them. Meanwhile, existing solutions may suffer from low accuracy, especially when applied to real-world software projects. In this paper, we propose ReAccept, a novel approach leveraging large language models (LLMs), retrievalaugmented generation (RAG), and dynamic validation to fully automate PT co-evolution with high accuracy. ReAccept employs an …
De-Duplicating Silent Compiler Bugs Via Deep Semantic Representation, Junjie Chen, Xingyu Fan, Chen Yang, Shuang Liu, Jun Sun
De-Duplicating Silent Compiler Bugs Via Deep Semantic Representation, Junjie Chen, Xingyu Fan, Chen Yang, Shuang Liu, Jun Sun
Research Collection School Of Computing and Information Systems
The compiler bug duplication problem (where many test failures are caused by the same compiler bug) can lead to huge waste of time and resource in diagnosing test failures produced by compiler testing. It is particularly challenging with regard to the silent compiler bugs that do not produce any error messages. To address this problem, multiple white-box techniques were proposed, but they are inapplicable in many practical scenarios. Black-box techniques are more practical, but the existing ones are less effective as they often rely on irrelevant syntactic information. To bridge this gap, we propose a novel black-box technique (BLADE), which …
A Comprehensive Study Of Oop-Related Bugs In C++ Compilers, Bo Wang, Chong Chen, Junjie Chen, Bowen Xu, Chen Ye, Youfang Lin, Guoliang Dong, Jun Sun
A Comprehensive Study Of Oop-Related Bugs In C++ Compilers, Bo Wang, Chong Chen, Junjie Chen, Bowen Xu, Chen Ye, Youfang Lin, Guoliang Dong, Jun Sun
Research Collection School Of Computing and Information Systems
Modern C++, a programming language characterized by its extensive use of object-oriented programming (OOP) features, is widely used for system programming. However, C++ compilers often struggle to correctly handle these sophisticated OOP features, resulting in numerous high-profile compiler bugs that can lead to crashes or miscompilation. Despite the significance of OOP-related bugs, existing studies largely overlook OOP features, hindering their ability to discover such bugs. To assist both compiler fuzzer designers and compiler developers, we conduct a comprehensive study of the compiler bugs caused by incorrectly handling C++ OOP-related features. First, we systematically extract 788 OOP-related C++ compiler bugs from …
Hd-Epic: A Highly-Detailed Egocentric Video Dataset, Toby Perrett, Ahmad Darkhalil, Saptarshi Sinha, Omar Emara, Sam Pollard, Kranti Kumar Parida, Kaiting Liu, Prajwal Gatti, Siddhant Bansal, Kevin Flanagan, Jacob Chalk, Zhifan Zhu, Rhodri Guerrier, Fahd Abdelazim, Bin Zhu, Davide Moltisanti, Michael Wray, Hazel Doughty, Dima Damen
Hd-Epic: A Highly-Detailed Egocentric Video Dataset, Toby Perrett, Ahmad Darkhalil, Saptarshi Sinha, Omar Emara, Sam Pollard, Kranti Kumar Parida, Kaiting Liu, Prajwal Gatti, Siddhant Bansal, Kevin Flanagan, Jacob Chalk, Zhifan Zhu, Rhodri Guerrier, Fahd Abdelazim, Bin Zhu, Davide Moltisanti, Michael Wray, Hazel Doughty, Dima Damen
Research Collection School Of Computing and Information Systems
We present a validation dataset of newly-collected kitchenbased egocentric videos, manually annotated with highly detailed and interconnected ground-truth labels covering: recipe steps, fine-grained actions, ingredients with nutritional values, moving objects, and audio annotations. Importantly, all annotations are grounded in 3D through digital twinning of the scene, fixtures, object locations, and primed with gaze. Footage is collected from unscripted recordings in diverse home environments, making HDEPIC the first dataset collected in-the-wild but with detailed annotations matching those in controlled lab environments. We show the potential of our highly-detailed annotations through a challenging VQA benchmark of 26K questions assessing the capability to …
Dupin: A Parallel Framework For Densest Subgraph Discovery In Fraud Detection On Massive Graphs, Jiaxin Jiang, Siyuan Yao, Yuchen Li, Qiange Wang, Bingsheng He, Min Chen
Dupin: A Parallel Framework For Densest Subgraph Discovery In Fraud Detection On Massive Graphs, Jiaxin Jiang, Siyuan Yao, Yuchen Li, Qiange Wang, Bingsheng He, Min Chen
Research Collection School Of Computing and Information Systems
Detecting fraudulent activities in financial and e-commerce transaction networks is crucial. One effective method for this is Densest Subgraph Discovery (DSD). However, deploying DSD methods in production systems faces substantial scalability challenges due to the predominantly sequential nature of existing methods, which impedes their ability to handle large-scale transaction networks and results in significant detection delays. To address these challenges, we introduce Dupin, a novel parallel processing framework designed for efficient DSD processing in billion-scale graphs. Dupin is powered by a processing engine that exploits the unique properties of the peeling process, with theoretical guarantees on detection quality and efficiency. …
Community Detection In Heterogeneous Information Networks Without Materialization, Jiaxin Jiang, Siyuan Yao, Yuhang Chen, Bingsheng He, Yudong Niu, Yuchen Li, Shixuan Sun, Yongchao Liu
Community Detection In Heterogeneous Information Networks Without Materialization, Jiaxin Jiang, Siyuan Yao, Yuhang Chen, Bingsheng He, Yudong Niu, Yuchen Li, Shixuan Sun, Yongchao Liu
Research Collection School Of Computing and Information Systems
Community detection in heterogeneous information networks (HINs) poses significant challenges due to the diversity of entity types and the complexity of their interrelations. While traditional algorithms may perform adequately in some scenarios, many struggle with the high memory usage and computational demands of large-scale HINs. To address these challenges, we introduce a novel framework, SCAR, which efficiently uncovers community structures in HINs without requiring network materialization. SCAR leverages insights from meta-paths to interpret multi-relational data through compact vertex-based sketches, significantly reducing computational overhead and materialization overhead. We propose a sketch-based technique for estimating changes in modularity, improving both the precision …
Large Language Model For Vulnerability Detection And Repair: Literature Review And The Road Ahead, Xin Zhou, Sicong Cao, Xiaobing Sun, David Lo
Large Language Model For Vulnerability Detection And Repair: Literature Review And The Road Ahead, Xin Zhou, Sicong Cao, Xiaobing Sun, David Lo
Research Collection School Of Computing and Information Systems
The significant advancements in Large Language Models (LLMs) have resulted in their widespread adoption across various tasks within Software Engineering (SE), including vulnerability detection and repair. Numerous studies have investigated the application of LLMs to enhance vulnerability detection and repair tasks. Despite the increasing research interest, there is currently no existing survey that focuses on the utilization of LLMs for vulnerability detection and repair. In this paper, we aim to bridge this gap by offering a systematic literature review of approaches aimed at improving vulnerability detection and repair through the utilization of LLMs. The review encompasses research work from leading …
Keep The Balance: A Parameter-Efficient Symmetrical Framework For Rgb+X Semantic Segmentation, Jiaxin Cai, Jingze Su, Qi Li, Wenjie Yang, Shu Wang, Tiesong Zhao, Shengfeng He, Wenxi Liu
Keep The Balance: A Parameter-Efficient Symmetrical Framework For Rgb+X Semantic Segmentation, Jiaxin Cai, Jingze Su, Qi Li, Wenjie Yang, Shu Wang, Tiesong Zhao, Shengfeng He, Wenxi Liu
Research Collection School Of Computing and Information Systems
Multimodal semantic segmentation is a critical challenge in computer vision, with early methods suffering from high computational costs and limited transferability due to full fine-tuning of RGB-based pre-trained parameters. Recent studies, while leveraging additional modalities as supplementary prompts to RGB, still predominantly rely on RGB, which restricts the full potential of other modalities. To address these issues, we propose a novel symmetric parameter-efficient fine-tuning framework for multimodal segmentation, featuring with a modality-aware prompting and adaptation scheme, to simultaneously adapt the capabilities of a powerful pre-trained model to both RGB and X modalities. Furthermore, prevalent approaches use the global cross-modality correlations …
Learning Spatio-Temporal Dynamics For Trajectory Recovery Via Time-Aware Transformer, Tian Sun, Yuqi Chen, Baihua Zheng, Weiwei Sun
Learning Spatio-Temporal Dynamics For Trajectory Recovery Via Time-Aware Transformer, Tian Sun, Yuqi Chen, Baihua Zheng, Weiwei Sun
Research Collection School Of Computing and Information Systems
In real-world applications, GPS trajectories often suffer from low sampling rates, with large and irregular intervals between consecutive GPS points. This sparse characteristic presents challenges for their direct use in GPS-based systems. This paper addresses the task of map-constrained trajectory recovery, aiming to enhance trajectory sampling rates of GPS trajectories. Previous studies commonly adopt a sequence-to-sequence framework, where an encoder captures the trajectory patterns and a decoder reconstructs the target trajectory. Within this framework, effectively representing the road network and extracting relevant trajectory features are crucial for overall performance. Despite advancements in these models, they fail to fully leverage the …
Towards Uncertainty Aware Task Delegation And Human-Ai Collaborative Decision-Making, Min Hun Lee, Martyn Zhe Yu Tok
Towards Uncertainty Aware Task Delegation And Human-Ai Collaborative Decision-Making, Min Hun Lee, Martyn Zhe Yu Tok
Research Collection School Of Computing and Information Systems
Despite the growing promise of artificial intelligence (AI) in supporting decision-making across domains, fostering appropriate human reliance on AI remains a critical challenge. In this paper, we investigate the utility of exploring distance-based uncertainty scores for task delegation to AI and describe how these scores can be visualized through embedding representations for human-AI decision-making. After developing an AI-based system for physical stroke rehabilitation assessment, we conducted a study with 19 health professionals and 10 students in medicine/health to understand the effect of exploring distance-based uncertainty scores on users’ reliance on AI. Our findings showed that distance-based uncertainty scores outperformed traditional …
Event-Based Eye Tracking: Event-Based Vision Workshop 2025, Qinyu Chen, Et. Al.
Event-Based Eye Tracking: Event-Based Vision Workshop 2025, Qinyu Chen, Et. Al.
Research Collection School Of Computing and Information Systems
No abstract provided.
On Lexicographic Proof Rules For Probabilistic Termination, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevucký, Dorde Zikelic
On Lexicographic Proof Rules For Probabilistic Termination, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevucký, Dorde Zikelic
Research Collection School Of Computing and Information Systems
We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous work have a limitation that impedes their automation: all of their components have to be non-negative in all reachable states. This might result in a LexRSM not existing even for simple terminating programs. Our contributions are twofold. First, we introduce a generalization of LexRSMs that allows for some …
Human-Computer Interaction And Artificial Intelligence For Ageing Population, Keng Siau, Hailiang Wang, Fiona Fui-Hoon Nah, Runyu Wang, Ruitong Che, Can Liu
Human-Computer Interaction And Artificial Intelligence For Ageing Population, Keng Siau, Hailiang Wang, Fiona Fui-Hoon Nah, Runyu Wang, Ruitong Che, Can Liu
Research Collection School Of Computing and Information Systems
As the global population ages rapidly, the field of human-computer interaction (HCI) is in urgent need of innovation, redesign, and reengineering to meet the evolving needs of older adults. The older demographic faces a range of challenges—including physical limitations, cognitive decline, reduced social in-tegration, and varying levels of technological literacy—that can hinder effective engagement with digital technologies. In response to these challenges, research-ers and designers are using inclusive and adaptive approaches to enhance acces-sibility, usability, and emotional well-being. This paper reviews key design prin-ciples in HCI for the ageing population and discusses how artificial intelligence (AI) tools, such as voice …
Unlocking The Power Of Socio-Knowledge Association For Enterprise Risk Identification In Stock Market, Zhenghao Liu, Keng Siau, Shaochen Yang, Feicheng Ma
Unlocking The Power Of Socio-Knowledge Association For Enterprise Risk Identification In Stock Market, Zhenghao Liu, Keng Siau, Shaochen Yang, Feicheng Ma
Research Collection School Of Computing and Information Systems
Potential risk signals reflected in supply chain and equity connections between enterprises and social connections between investors are becoming crucial to identifying enterprise risks in addition to basic financial indicators. Traditional risk management systems face challenges in adapting to these complexities, highlighting the need for a proactive paradigm shift in risk management. Leveraging graph models such as social networks and knowledge graphs offers a promising approach to identifying and managing potential associated risks effectively. To bridge existing research gaps, a novel risk identification framework driven by social-knowledge graphs has been proposed, integrating graph deep learning and reinforcement learning techniques guided …
Large Language Models For Logical Fallacy Detection, Nicole Anne Hui-Ying Teo, Donghao Huang, Erik Cambria, Zhaoxia Wang
Large Language Models For Logical Fallacy Detection, Nicole Anne Hui-Ying Teo, Donghao Huang, Erik Cambria, Zhaoxia Wang
Research Collection School Of Computing and Information Systems
Identifying logical fallacies is essential for maintaining log-ical reasoning and reducing false information in a variety of domains, such as the media, law, and education. We present an extensive study on the use of large language models (LLMs) for logical fallacy detection and provide a comparative overview of model performance across various fallacy classes. We evaluate the logical fallacy detection capabilities of multiple state-of-the-art models (LLaMA, Qwen, Gemma, Phi) utilizing accuracy, precision, recall, and F1-score as assessment measures. Accord-ing to our findings, our models do well on simple fallacies like “circular reasoning,” but they have trouble with more interpretive reasoning …
Does Third Party Litigation Funding Need Regulations On Consumer Protection, Ronen Avraham, Eric Schuller, Anthony J. Sebok
Does Third Party Litigation Funding Need Regulations On Consumer Protection, Ronen Avraham, Eric Schuller, Anthony J. Sebok
Articles
Transcript of a roundtable discussion during the Third-Party Litigation Symposium at the S.J. Quinney College of Law.
The Right To Exit Religion, Zalman Rothschild
The Right To Exit Religion, Zalman Rothschild
Articles
This Article argues that just over fifty years ago, in Wisconsin v. Yoder, the Supreme Court recognized what might be called a right to exit religion. In this decision, the Court expressed appreciation for preserving insular religious communities, while simultaneously articulating the principle that accommodations for such communities must not unduly restrict community members’ ability to exit should they wish to do so. Yet courts and scholars have largely overlooked Yoder’s recognition of a right to exit religion. To make this “right” more concrete, the Article examines impediments to it through a case study of one large insular religious community—the …
The Right Answer For The Wrong Reason: Preservice Science And Mathematics Teacher Preferences And Explanations Of Inquiry-Based Teaching, Elizabeth R. Goldberg, Taylor K. Darwin
The Right Answer For The Wrong Reason: Preservice Science And Mathematics Teacher Preferences And Explanations Of Inquiry-Based Teaching, Elizabeth R. Goldberg, Taylor K. Darwin
School of Integrative Biological & Chemical Sciences Faculty Publications
Inquiry in science and mathematics education has a long and established history within the student-centered teaching movement because it can positively impact student learning, retention, and engagement. Yet few teachers have embraced these practices in the classroom. Potential reasons include misalignment of teachers’ attitudes about inquiry and a lack of understanding of what inquiry is and how to implement it in the classroom. This mixed-methods study compares these claims by examining preservice teachers’ attitudes and knowledge about inquiry-based teaching. Eighty-seven discussion posts were analyzed on preservice science and math teachers’ preferences for inquiry-based versus teacher-centered instruction at the beginning and …
Thriving In The Age Of Ai: Navigating Ai Identity Threat Through Ai Job Crafting, Yuming He
Thriving In The Age Of Ai: Navigating Ai Identity Threat Through Ai Job Crafting, Yuming He
Theses and Dissertations in Business Administration
As artificial intelligence (AI) technologies like GenAI tools increasingly reshape the workplace, employees increasingly face threats to their work identity. Grounded in the identity threat response model and job crafting theory, this study investigates how AI identity threat influences employee AI job crafting behaviors and how these behaviors, in turn, affect vitality and learning. Using survey data from 521 full-time employees who actively engage with AI tools, the results indicate that AI identity threat stimulates both AI approach job crafting and AI avoidance job crafting. AI approach crafting enhances both vitality and learning, while AI avoidance crafting only supports vitality. …
Specialization Or Diversification? Creators’ Strategies On User-Generated Content Platforms, Ziwei Ye
Specialization Or Diversification? Creators’ Strategies On User-Generated Content Platforms, Ziwei Ye
Theses and Dissertations in Business Administration
Recent advancements in digital platforms have reshaped content creation and distribution. User-generated content (UGC), created and shared by internet users, is transforming entertainment, communication, and information sharing. The rise of UGC has fueled the growth of the "creator economy"—an ecosystem of creators, users, and advertisers facilitated by platforms such as YouTube and TikTok. While prior research has primarily explored how UGC platforms incentivize content quantity and quality, this study advances the literature by examining how creators' content strategies influence consumer attention and how platform mechanisms shape this relationship, offering new insights into the interplay between creator behavior and platform design. …
Property Testing Ai: An Efficient Frontier, Paul Sopher Lintilhac
Property Testing Ai: An Efficient Frontier, Paul Sopher Lintilhac
Dartmouth College Ph.D Dissertations
In this dissertation, we take a step towards addressing the major problem of a lack of standardized and rigorous approaches to testing and evaluation of AI systems. Taking inspiration from both the fields of Property Testing and Property Based Testing (for programs), we develop a novel taxonomy of partially overlapping classes of properties of AI systems, including simple properties, compound properties, higher order properties, data relation properties, and architecture-utility properties. We argue that this taxonomy categorizes a diverse set of AI traits -- including accuracy, fairness, robustness, monotonicity, point-wise and global privacy properties, sensitivity, and more -- according to the …