Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (17305)
- Computer Engineering (13034)
- Artificial Intelligence and Robotics (11140)
- Databases and Information Systems (7250)
- Numerical Analysis and Scientific Computing (6663)
-
- Electrical and Computer Engineering (5273)
- Social and Behavioral Sciences (4821)
- Operations Research, Systems Engineering and Industrial Engineering (4777)
- Information Security (4669)
- Software Engineering (4314)
- Systems Science (3920)
- Business (2515)
- Mathematics (2384)
- Graphics and Human Computer Interfaces (2371)
- Theory and Algorithms (2151)
- Education (2097)
- Life Sciences (2074)
- Programming Languages and Compilers (1844)
- Medicine and Health Sciences (1802)
- Other Computer Sciences (1793)
- OS and Networks (1759)
- Arts and Humanities (1455)
- Communication (1445)
- Law (1174)
- Data Science (1156)
- Applied Mathematics (1133)
- Statistics and Probability (1061)
- Bioinformatics (985)
- Institution
-
- Singapore Management University (9003)
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (2694)
- Purdue University (2077)
-
- Old Dominion University (1996)
- Missouri University of Science and Technology (1938)
- University of Nebraska - Lincoln (1739)
- Edith Cowan University (1285)
- Air Force Institute of Technology (1277)
- University of Texas at El Paso (1174)
- Kennesaw State University (1161)
- Dartmouth College (1102)
- San Jose State University (1053)
- City University of New York (CUNY) (956)
- Embry-Riddle Aeronautical University (949)
- Washington University in St. Louis (830)
- Brigham Young University (823)
- Technological University Dublin (816)
- California Polytechnic State University, San Luis Obispo (788)
- Zayed University (677)
- University of Texas at Arlington (666)
- University for Business and Technology in Kosovo (637)
- Portland State University (625)
- Chulalongkorn University (618)
- Nova Southeastern University (577)
- New Jersey Institute of Technology (571)
- Syracuse University (532)
- University of Nebraska at Omaha (497)
- University of Central Florida (490)
- Keyword
-
- Machine learning (1665)
- Artificial intelligence (1019)
- Deep learning (1003)
- Machine Learning (756)
- Computer Science (702)
-
- Security (648)
- Cybersecurity (557)
- Artificial Intelligence (484)
- Deep Learning (432)
- Computer science (412)
- Privacy (410)
- Simulation (391)
- Technical Reports (390)
- UTEP Computer Science Department (389)
- Classification (375)
- Algorithms (357)
- Optimization (352)
- Computer vision (349)
- Neural networks (345)
- Data mining (337)
- AI (299)
- Natural language processing (293)
- Department of Computer Science and Engineering (291)
- Engineering (269)
- Education (268)
- Reinforcement learning (259)
- Blockchain (255)
- Cloud computing (255)
- College for Professional Studies (253)
- Software engineering (252)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (8458)
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Theses and Dissertations (2733)
- Department of Computer Science Technical Reports (1721)
-
- Computer Science & Engineering Syllabi (1312)
- Computer Science Faculty Publications (928)
- Computer Science Faculty Research & Creative Works (919)
- Departmental Technical Reports (CS) (914)
- Master's Projects (859)
- Computer Science Technical Reports (772)
- The R Journal (708)
- All Computer Science and Engineering Research (683)
- All Works (675)
- Faculty Publications (663)
- C-Day Computing Showcase (653)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (618)
- Dissertations (568)
- Electronic Theses and Dissertations (567)
- Kno.e.sis Publications (542)
- Journal of Digital Forensics, Security and Law (536)
- CCAC Theses and Dissertations (512)
- Walden Dissertations and Doctoral Studies (469)
- Computer Science Faculty Publications and Presentations (404)
- Theses (403)
- USF Tampa Graduate Theses and Dissertations (378)
- Neutrosophic Systems with Applications (375)
- Computer Science and Engineering Theses - Archive (365)
- Computer Science: Faculty Publications (364)
- Browse all Theses and Dissertations (359)
- Publication Type
Articles 6541 - 6570 of 63010
Full-Text Articles in Computer Sciences
Detecting Anomalies In Blockchain Transactions Using Machine Learning Classifiers And Explainability Analysis, Mohammad Hasan, Mohammad Shahriar Rahman, Helge Janicke, Iqbal H. Sarker
Detecting Anomalies In Blockchain Transactions Using Machine Learning Classifiers And Explainability Analysis, Mohammad Hasan, Mohammad Shahriar Rahman, Helge Janicke, Iqbal H. Sarker
Research outputs 2022 to 2026
As the use of blockchain for digital payments continues to rise, it becomes susceptible to various malicious attacks. Successfully detecting anomalies within blockchain transactions is essential for bolstering trust in digital payments. However, the task of anomaly detection in blockchain transaction data is challenging due to the infrequent occurrence of illicit transactions. Although several studies have been conducted in the field, a limitation persists: the lack of explanations for the model's predictions. This study seeks to overcome this limitation by integrating explainable artificial intelligence (XAI) techniques and anomaly rules into tree-based ensemble classifiers for detecting anomalous Bitcoin transactions. The shapley …
Monocular Bev Perception Of Road Scenes Via Front-To-Top View Projection, Wenxi Liu, Qi Li, Weixiang Yang, Jiaxin Cai, Yuanhong Yu, Yuexin Ma, Shengfeng He, Jia Pan
Monocular Bev Perception Of Road Scenes Via Front-To-Top View Projection, Wenxi Liu, Qi Li, Weixiang Yang, Jiaxin Cai, Yuanhong Yu, Yuexin Ma, Shengfeng He, Jia Pan
Research Collection School Of Computing and Information Systems
HD map reconstruction is crucial for autonomous driving. LiDAR-based methods are limited due to expensive sensors and time-consuming computation. Camera-based methods usually need to perform road segmentation and view transformation separately, which often causes distortion and missing content. To push the limits of the technology, we present a novel framework that reconstructs a local map formed by road layout and vehicle occupancy in the bird's-eye view given a front-view monocular image only. We propose a front-to-top view projection (FTVP) module, which takes the constraint of cycle consistency between views into account and makes full use of their correlation to strengthen …
Advancing Robust Autonomous System Localization: Labeling Optimizations For Convolutional Neural Networks, Jeffrey L. Choate
Advancing Robust Autonomous System Localization: Labeling Optimizations For Convolutional Neural Networks, Jeffrey L. Choate
Theses and Dissertations
AAR is increasingly critical as aircraft autonomy advances, particularly for the Global Strike mission of the USAF, enhancing operational range and endurance. Traditional methods relying on GPS and custom communication links are limited in GPS-denied environments. This dissertation advances a single camera method to estimate object pose across three interconnected studies. The system trains a CNN on synthetic imagery to predict bboxes for object components, Solve-PnP algorithm finds the 6DoF pose, then employs novel pseudo-labeling on real-world images. These findings are pivotal for the AAR community and contribute to robotics, computer vision, and CNN research. By enabling robust GPS-free autonomous …
Autonomous Experimentation For Accelerated Calibration Of Fused Deposition Modeling 3d Printers, Graig S. Ganitano
Autonomous Experimentation For Accelerated Calibration Of Fused Deposition Modeling 3d Printers, Graig S. Ganitano
Theses and Dissertations
Additive Manufacturing (AM), also known as 3D printing, has emerged as a key component of Industry 4.0, enabling reduced cost, quick production, greater sustainability, and increased design complexity compared to its traditional manufacturing counterpart. Currently, Fused Deposition Modeling (FDM) technology dominates the AM market with respect to the number of 3D printers in use. However, the FDM process is sensitive to changes in system configuration, especially the feedstock material. Utilizing a new feedstock requires a time-consuming trial-and-error process to identify optimal settings for a large number of process parameters, acting as a barrier to the technology.
To enable greater accessibility …
Integrating Blockchain Technology Into The Software Development Life Cycle To Satisfy The Software Bill Of Materials Requirement For Government Software Systems, Walter T. Scott Ii
Integrating Blockchain Technology Into The Software Development Life Cycle To Satisfy The Software Bill Of Materials Requirement For Government Software Systems, Walter T. Scott Ii
Theses and Dissertations
This thesis explores the integration of Blockchain Technology (BT) into the Software Development Life Cycle (SDLC) to satisfy the Software Bill of Materials (SBOM) requirement for government software systems. This study begins by synthesizing a standard SDLC definition from various government and industry references, which may provide the foundation for future efforts to standardize software development practices across the government software development community. This study proceeds to define working definitions for the software supply chain (SSC) and software supply chain management (SCM) before introducing and detailing the SBOM requirement as well as providing an overview of prior research regarding SBOMs …
Estimating Dis Performance Using Mininet, Ryan D. Winz
Estimating Dis Performance Using Mininet, Ryan D. Winz
Theses and Dissertations
Real time distributed simulation is an exceptionally useful tool for training and wargaming used by the military and industry alike. This research aims to provide scenarios and structures to evaluate the effect of distributing simulations among different compute nodes. Specific scenarios involve the analysis of performance as a function of latency and the degree network protocols and reliability affect simulation performance. Various standards exist for administering geographically separated simulations. The focus of this thesis will be on the Distributed Interactive Simulation standard, a peer-to-peer open standard for simulation messages to adhere to, but lessons can be extended to other standards.
Machine Visual Perception For Autonomous Docking Maneuvers, Derek B. Worth
Machine Visual Perception For Autonomous Docking Maneuvers, Derek B. Worth
Theses and Dissertations
This dissertation presents a novel approach to autonomous docking using machine learning for visual perception, particularly during probe and drogue aerial refueling. Autonomous vehicles have become pervasive in both civilian and defense sectors, and their ability to interact with their surroundings and each other autonomously is critical for future operations. Traditional methods relying on signals or inertial sensors face significant limitations such as interference, jamming, and drift. This research focuses on developing a computer vision-based solution to overcome these limitations. A novel pipeline, termed relative vectoring, is introduced, which utilizes dual object detection and machine learning to estimate relative positions …
An Artificial Intelligence Report Card For Judicial Review, Zoe E. Niesel
An Artificial Intelligence Report Card For Judicial Review, Zoe E. Niesel
Michigan Journal of Environmental & Administrative Law
The rapid advancement of technology, including artificial intelligence (AI), is creating new challenges for judicial review under the Administrative Procedure Act (APA). In late 2023, federal administrative agencies publicly disclosed over 700 use cases of AI that employ sophisticated techniques like machine learning and natural language processing. While the APA's flexible judicial review framework certainly allows agencies to utilize new technologies, the APA also requires explainability of agency decisions; thus, agencies must be able to articulate the reasoning and methodology behind AI-enabled decisions for the purpose of judicial review. This Article examines APA judicial review as it applies to agency …
Layered Visualization Of Argumentation Frameworks, Yilin Xia, Daphne Oderkerken, Shaun Bowers, Bertram Ludäscher
Layered Visualization Of Argumentation Frameworks, Yilin Xia, Daphne Oderkerken, Shaun Bowers, Bertram Ludäscher
Computer Science Faculty Scholarship
We propose a new layered visualization in PyArg for grounded labelings of abstract argumentation frameworks. Argument nodes are colored according to their label (IN, OUT, or UNDEC) and have a new length annotation, which is derived from provenance subgraphs. New edge annotations explain an attack-edge’s role in determining the value (label) of nodes in an argumentation framework.
Fake Base Station Detection And Link Routing Defense, Sourav Purification, Jinoh Kim, Jonghyun Kim, Sang-Yoon Chang
Fake Base Station Detection And Link Routing Defense, Sourav Purification, Jinoh Kim, Jonghyun Kim, Sang-Yoon Chang
Faculty Publications
Fake base stations comprise a critical security issue in mobile networking. A fake base station exploits vulnerabilities in the broadcast message announcing a base station’s presence, which is called SIB1 in 4G LTE and 5G NR, to get user equipment to connect to the fake base station. Once connected, the fake base station can deprive the user of connectivity and access to the Internet/cloud. We discovered that a fake base station can disable the victim user equipment’s connectivity for an indefinite period of time, which we validated using our threat prototype against current 4G/5G practices. We designed and built a …
Enhancing History Education With Google Notebooklm: Case Study Of Mary Easton Sibley’S Diary For Multimedia Content And Podcast Creation, Paul Huffman, James Hutson
Enhancing History Education With Google Notebooklm: Case Study Of Mary Easton Sibley’S Diary For Multimedia Content And Podcast Creation, Paul Huffman, James Hutson
Faculty Scholarship
This article explores new features of Google’s NotebookLM, an AI-powered tool designed for advanced document analysis and educational content generation. Tested on the 92-page transcribed diary of Mary Easton Sibley, the founder of Lindenwood University, NotebookLM effectively generated FAQs, a study guide, a table of contents, a briefing document, and an audio overview in podcast format. By transforming static historical documents into dynamic learning materials, the document-based AI model provides a user-friendly interface for educators and students, especially those without experience in audio editing or podcasting. While successful in creating study guides and audio formats, the tool faced challenges in …
A Staged Approach Using Machine Learning And Uncertainty Quantification To Predict The Risk Of Hip Fracture, Anjum Shaik, Kristoffer A. Larsen, Nancy E. Lane, Chen Zhao, Kuan Jui Su, Joyce H. Keyak, Qing Tian, Qiuying Sha, Hui Shen, Hong Wen Deng, Weihua Zhou
A Staged Approach Using Machine Learning And Uncertainty Quantification To Predict The Risk Of Hip Fracture, Anjum Shaik, Kristoffer A. Larsen, Nancy E. Lane, Chen Zhao, Kuan Jui Su, Joyce H. Keyak, Qing Tian, Qiuying Sha, Hui Shen, Hong Wen Deng, Weihua Zhou
Michigan Tech Publications
Hip fractures present a significant healthcare challenge, especially within aging populations, where they are often caused by falls. These fractures lead to substantial morbidity and mortality, emphasizing the need for timely surgical intervention. Despite advancements in medical care, hip fractures impose a significant burden on individuals and healthcare systems. This paper focuses on the prediction of hip fracture risk in older and middle-aged adults, where falls and compromised bone quality are predominant factors. The study cohort included 547 patients, with 94 experiencing hip fracture. To assess the risk of hip fracture, clinical variables and clinical variables combined with hip DXA …
Developing Empathetic Ai: Exploring The Potential Of Artificial Intelligence To Understand And Simulate Family Dynamics And Cultural Identity, Emily Barnes, James Hutson
Developing Empathetic Ai: Exploring The Potential Of Artificial Intelligence To Understand And Simulate Family Dynamics And Cultural Identity, Emily Barnes, James Hutson
Faculty Scholarship
The rapid advancement of Artificial Intelligence (AI) has significantly impacted various domains. Yet, the exploration of AI's potential to develop a deep understanding of family culture and identity remains underexplored. This study introduces the concept of "a love of grandma and apple pie" to symbolize the potential of various AI to internalize and appreciate familial relationships, cultural traditions, and personal identity. The proposed study would investigate how an advanced deep learning model, trained on diverse unstructured datasets—including multimedia data from 100 families-could learn and reflect human-like emotions, values, and cultural understanding. Utilizing Convolutional Neural Networks (CNNs) for visual data processing …
Technoculture And Language Models In Archaeology: Reconstructing And Preserving Cultural Narratives Through Digital Humanities, James Hutson
Technoculture And Language Models In Archaeology: Reconstructing And Preserving Cultural Narratives Through Digital Humanities, James Hutson
Faculty Scholarship
Technoculture, which examines the intersection of culture and technology, has increasingly permeated archaeological practice, transforming both scholarly research and public engagement [1-3]. The introduction of digital tools such as virtual reality (VR), geographic information systems (GIS), and large language models (LLMs) has democratized access to archaeological knowledge, enabling communities to engage more actively with their cultural heritage [4-6]. This short article explores the mutual influence of technocultural studies and AI technologies on archaeology, with a focus on the preservation and reconstruction of cultural narratives through digital means.
The first aspect of this intersection lies in how technocultural tools are creating …
Dirt/Μ: Automated Extraction Of Root Hair Traits Using Combinatorial Optimization, Peter Pietrzyk, Neen Phan-Udom, Chartinun Chutoe, Lise Pingault, Ankita Roy, Marc Libault, Patompong Johns Saengwilai, Alexander Bucksch
Dirt/Μ: Automated Extraction Of Root Hair Traits Using Combinatorial Optimization, Peter Pietrzyk, Neen Phan-Udom, Chartinun Chutoe, Lise Pingault, Ankita Roy, Marc Libault, Patompong Johns Saengwilai, Alexander Bucksch
Department of Entomology: Faculty Publications
As with phenotyping of any microscopic appendages, such as cilia or antennae, phenotyping of root hairs has been a challenge due to their complex intersecting arrangements in two-dimensional images and the technical limitations of automated measurements. Digital Imaging of Root Traits at Microscale (DIRT/μ) is a newly developed algorithm that addresses this issue by computationally resolving intersections and extracting individual root hairs from two-dimensional microscopy images. This solution enables automatic and precise trait measurements of individual root hairs. DIRT/μ rigorously defines a set of rules to resolve intersecting root hairs and minimizes a newly designed cost function to combinatorically identify …
Text-Driven Video Prediction, Xue Song, Jingjing Chen, Bin Zhu, Yu-Gang Jiang
Text-Driven Video Prediction, Xue Song, Jingjing Chen, Bin Zhu, Yu-Gang Jiang
Research Collection School Of Computing and Information Systems
Current video generation models usually convert signals indicating appearance and motion received from inputs (e.g., image and text) or latent spaces (e.g., noise vectors) into consecutive frames, fulfilling a stochastic generation process for the uncertainty introduced by latent code sampling. However, this generation pattern lacks deterministic constraints for both appearance and motion, leading to uncontrollable and undesirable outcomes. To this end, we propose a new task called Text-driven Video Prediction (TVP). Taking the first frame and text caption as inputs, this task aims to synthesize the following frames. Specifically, appearance and motion components are provided by the image and caption …
Paper-Recorded Ecg Digitization Method With Automatic Reference Voltage Selection For Telemonitoring And Diagnosis, Liang Hung Wang, Chao Xin Xie, Tao Yang, Hong Xin Tan, Ming Hui Fan, I. Chun Kuo, Zne Jung Lee, Tsung Yi Chen, Pao Cheng Huang, Shih Lun Chen, Patricia Angela R. Abu
Paper-Recorded Ecg Digitization Method With Automatic Reference Voltage Selection For Telemonitoring And Diagnosis, Liang Hung Wang, Chao Xin Xie, Tao Yang, Hong Xin Tan, Ming Hui Fan, I. Chun Kuo, Zne Jung Lee, Tsung Yi Chen, Pao Cheng Huang, Shih Lun Chen, Patricia Angela R. Abu
Department of Information Systems & Computer Science Faculty Publications
In electrocardiograms (ECGs), multiple forms of encryption and preservation formats create difficulties for data sharing and retrospective disease analysis. Additionally, photography and storage using mobile devices are convenient, but the images acquired contain different noise interferences. To address this problem, a suite of novel methodologies was proposed for converting paper-recorded ECGs into digital data. Firstly, this study ingeniously removed gridlines by utilizing the Hue Saturation Value (HSV) spatial properties of ECGs. Moreover, this study introduced an innovative adaptive local thresholding method with high robustness for foreground–background separation. Subsequently, an algorithm for the automatic recognition of calibration square waves was proposed …
Advancing Affective Computing: Emotion Recognition And Tracking Across Diverse Contexts (Varied Environments), Shao Liu
Dissertations, Theses, and Capstone Projects
Affective Computing (AC) is an interdisciplinary field that recognizes, interprets, and processes human emotions. Emotions are complex, involving consciousness, physical sensations, and behavioral expressions, and are significant in various domains like mental health, human-computer interaction, and social security. Real-world applications of AC include monitoring drivers’ emotional states to improve road safety and understanding the emotions expressed by artists in visual arts. Traditional methods relying on facial expressions often fall short due to the nuanced nature of emotions, which vary across individuals, cultures, and contexts. Accurate AC systems require sophisticated, multimodal models to handle these variations and external factors like noise …
Pulsey: Stellar Pulsation Models In Python, Andrew Ayala
Pulsey: Stellar Pulsation Models In Python, Andrew Ayala
Dissertations, Theses, and Capstone Projects
The era of the Kepler/K2 and TESS space-telescope missions has inundated the astrophysics community with photometric data for millions of stars with continuous observation and very high cadence. This data confirms that nearly every observed stellar source exhibits an oscillating luminosity, with stellar pulsation being the driving mechanism behind a large fraction of the cause. The result has been an explosion in the field of asteroseismology, where the recorded luminosity variations, or "light curves", of pulsating stars to probe their interior structures. By modeling observed light curves, we can constrain values of the physical stellar parameters producing them. The brightness …
Dynamic Difficulty Adjustment For Combat Systems In Role-Playing Genre Video Games, Cheuk Man Chan
Dynamic Difficulty Adjustment For Combat Systems In Role-Playing Genre Video Games, Cheuk Man Chan
Dissertations, Theses, and Capstone Projects
Static difficulty adjustment has been applied to video games since their inception. However, dynamic difficulty adjustment did not become a topic of interest in either the academic fields or the industry until the turn of the century with sufficient advancement in processing power of computers and console systems. Amongst the work done in this area, most of the focus has either been placed on the action/adventure or the strategy game genre. However, there are only a limited number of studies regarding the role playing game genre which, by the nature of such games, generates a massive amount of data regarding …
A Machine Learning Approach To Discovering Physical Models Of Galaxy Formation, Festa Bucinca
A Machine Learning Approach To Discovering Physical Models Of Galaxy Formation, Festa Bucinca
Dissertations, Theses, and Capstone Projects
Galaxies are the breathtakingly beautiful starry islands of the Universe. The process of galaxy formation involves the transformation from simple initial conditions in the early Universe to the complex galaxy structures we observe today. Spanning an immense spatial range and tremendous time scales - from the vastness of the Universe to the scale of individual stars - the physics of galaxy formation is both complex and crucial for understanding the Universe we live in. However, despite significant advancements, our theoretical understanding of galaxy formation remains incomplete.
In the era of big data available from hydrodynamical simulations and observations, Machine Learning …
Cluster-Wide Task Slowdown Detection In Cloud System, Feiyi Chen, Yingying Zhang, Lunting Fan, Yuxuan Liang, Guansong Pang, Qingsong Wen, Shuiguang Deng
Cluster-Wide Task Slowdown Detection In Cloud System, Feiyi Chen, Yingying Zhang, Lunting Fan, Yuxuan Liang, Guansong Pang, Qingsong Wen, Shuiguang Deng
Research Collection School Of Computing and Information Systems
Slow task detection is a critical problem in cloud operation and maintenance since it is highly related to user experience and can bring substantial liquidated damages. Most anomaly detection methods detect it from a single-task aspect. However, considering millions of concurrent tasks in large-scale cloud computing clusters, it becomes impractical and inefficient. Moreover, single-task slowdowns are very common and do not necessarily indicate a malfunction of a cluster due to its violent fluctuation nature in a virtual environment. Thus, we shift our attention to cluster-wide task slowdowns by utilizing the duration time distribution of tasks across a cluster, so that …
Pias: Privacy-Preserving Incentive Announcement System Based On Blockchain For Internet Of Vehicles, Yonghua Zhan, Yang Yang, Hongju Cheng, Xiangyang Luo, Zhuangshuang Guan, Robert H. Deng
Pias: Privacy-Preserving Incentive Announcement System Based On Blockchain For Internet Of Vehicles, Yonghua Zhan, Yang Yang, Hongju Cheng, Xiangyang Luo, Zhuangshuang Guan, Robert H. Deng
Research Collection School Of Computing and Information Systems
More vehicles are connecting to the Internet of Things (IoT), transforming Vehicle Ad hoc Networks (VANETs) into the Internet of Vehicles (IoV), providing a more environmentally friendly and safer driving experience. Vehicular announcement networks show promise in vehicular communication applications. However, two major issues arise when establishing such a system. Firstly, user privacy cannot be guaranteed when messages are forwarded anonymously, thus the reliability of these messages is in question. Secondly, users often lack interest in responding to announcements. To address these problems, we introduce a Blockchain-based incentive announcement system called PIAS. This system enables anonymous message commitment in a …
Sound And Complete Witnesses For Template-Based Verification Of Ltl Properties On Polynomial Programs, Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Dorde Zikelic
Sound And Complete Witnesses For Template-Based Verification Of Ltl Properties On Polynomial Programs, Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Dorde Zikelic
Research Collection School Of Computing and Information Systems
We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witnesses for LTL verification over imperative programs. Our witnesses are applicable to both verification (proving) and refutation (finding bugs) settings. We then consider LTL formulas in which atomic propositions can be polynomial constraints and turn our focus to polynomial arithmetic programs, i.e. programs in which every assignment and guard consists only of polynomial expressions. For this setting, we provide an efficient algorithm to automatically synthesize such LTL witnesses. Our synthesis procedure is both …
Low/No-Code And Traditional Code Integration In Digital Banking, Kim Siang Yeo, Alan @ Ali Madjelisi Megargel
Low/No-Code And Traditional Code Integration In Digital Banking, Kim Siang Yeo, Alan @ Ali Madjelisi Megargel
Research Collection School Of Computing and Information Systems
This paper seeks to combine the merits of Low/No-Code Programming (LNCP) with Traditional Programming (TP) systems to achieve true “agility” when creating banking infrastructure. While it is easy to fall prey to Shiny Object Syndrome in today’s dynamic and fast-paced banking technology world, it is not easy to pick out the right technology for today and tomorrow’s financial industry. Instead, LNCPs allow us to hedge all bets by equally lowering the technical entry barriers for each technology. The added integration of TP, when needed, also rounds out the faults related to sole LNCP use and provides any bank with a …
Probing Effects Of Contextual Bias On Number Magnitude Estimation, Xuehao Du, Ping Ji, Wei Qin, Lei Wang, Yunshi Lan
Probing Effects Of Contextual Bias On Number Magnitude Estimation, Xuehao Du, Ping Ji, Wei Qin, Lei Wang, Yunshi Lan
Research Collection School Of Computing and Information Systems
The semantic understanding of numbers requires association with context. However, powerful neural networks overfit spurious correlations between context and numbers in training corpus can lead to the occurrence of contextual bias, which may affect the network's accurate estimation of number magnitude when making inferences in real-world data. To investigate the resilience of current methodologies against contextual bias, we introduce a novel out-of- distribution (OOD) numerical question-answering (QA) dataset that features specific correlations between context and numbers in the training data, which are not present in the OOD test data. We evaluate the robustness of different numerical encoding and decoding methods …
Artificial Intelligence In Orthopaedic Education: A Comparative Analysis Of Chatgpt And Bing Ai’S Orthopaedic In-Training Examination Performance, Clark Chen, Vivek Biololikar, Duncan Vannest, James Raphael, Gene Shaffer
Artificial Intelligence In Orthopaedic Education: A Comparative Analysis Of Chatgpt And Bing Ai’S Orthopaedic In-Training Examination Performance, Clark Chen, Vivek Biololikar, Duncan Vannest, James Raphael, Gene Shaffer
Einstein Health Papers
Background: This study evaluated the performance of generative artificial intelligence (AI) models on the Orthopaedic In-Training Examination (OITE), an annual exam administered to U.S. orthopaedic residency programs. Methods: ChatGPT 3.5 and Bing AI GPT 4.0 were evaluated on standardised sets of multiple-choice questions drawn from the American Academy of Orthopaedic Surgeons OITE online question bank spanning 5 years (2018–2022). A total of 1165 questions were posed to each AI system. The performance of both systems was standardised using the latest versions of ChatGPT 3.5 and Bing AI GPT 4.0. Historical data of resident scores taken from the annual OITE technical …
Imbalanced Graph Classification With Multi-Scale Oversampling Graph Neural Networks, Rongrong Ma, Guansong Pang, Ling Chen
Imbalanced Graph Classification With Multi-Scale Oversampling Graph Neural Networks, Rongrong Ma, Guansong Pang, Ling Chen
Research Collection School Of Computing and Information Systems
One main challenge in imbalanced graph classification is to learn expressive representations of the graphs in under-represented (minority) classes. Existing generic imbalanced learning methods, such as oversampling and imbalanced learning loss functions, can be adopted for enabling graph representation learning models to cope with this challenge. However, these methods often directly operate on the graph representations, ignoring rich discriminative information within the graphs and their interactions. To tackle this issue, we introduce a novel multi-scale oversampling graph neural network (MOSGNN) that learns expressive minority graph representations based on intra- and inter-graph semantics resulting from oversampled graphs at multiple scales - …
Editorial: Dsaa 2023 Journal Track On Theoretical And Practical Data Science And Analytics., Bin Yang, Feida Zhu, Wei Wei
Editorial: Dsaa 2023 Journal Track On Theoretical And Practical Data Science And Analytics., Bin Yang, Feida Zhu, Wei Wei
Research Collection School Of Computing and Information Systems
This special issue of the International Journal of Data Science and Analytics includes the DSAA 2023 Journal Track papers, which cover advances in both theoretical and practical aspects of data science and analytics, with a particular focus on trustworthy data science and analytics. The track contains nine papers, all of which underwent rigorous review by the guest editors and invited reviewers.
Climate Change Prediction Model Using Mcdm Technique Based On Neutrosophic Soft Functions With Aggregate Operators, Kainat Muniba, Muhammad Naveed Jafar, Asma Riffat, Jawaria Mukhtar, Adeel Saleem
Climate Change Prediction Model Using Mcdm Technique Based On Neutrosophic Soft Functions With Aggregate Operators, Kainat Muniba, Muhammad Naveed Jafar, Asma Riffat, Jawaria Mukhtar, Adeel Saleem
Neutrosophic Systems with Applications
The increasing impact of climate change necessitates innovative approaches in modeling and prediction to mitigate its adverse effects. This paper introduces a novel methodology integrating Neutrosophic Soft Functions (NSFs) into climate change prediction frameworks. NSFs, a hybrid of Neutrosophic Set Theory and Soft Set Theory, provide a flexible framework for handling uncertain and imprecise information inherent in climate data. This study explores the application of NSFs in capturing the complex interplay of various climatic variables, including temperature, precipitation, humidity, and atmospheric pressure, thereby enhancing the accuracy and reliability of climate change predictions. By incorporating NSFs into existing predictive models, such …