Open Access. Powered by Scholars. Published by Universities.®
Artificial Intelligence and Robotics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (19)
- Electrical and Computer Engineering (9)
- Medicine and Health Sciences (9)
- Theory and Algorithms (9)
- Data Science (7)
-
- Life Sciences (7)
- Social and Behavioral Sciences (7)
- Statistics and Probability (7)
- Applied Mathematics (6)
- Numerical Analysis and Scientific Computing (6)
- Applied Statistics (4)
- Civil and Environmental Engineering (4)
- Graphics and Human Computer Interfaces (4)
- Mathematics (4)
- Software Engineering (4)
- Bioinformatics (3)
- Biomedical Informatics (3)
- Geography (3)
- Manufacturing (3)
- Mechanical Engineering (3)
- Pharmaceutics and Drug Design (3)
- Pharmacy and Pharmaceutical Sciences (3)
- Power and Energy (3)
- Signal Processing (3)
- Biomedical (2)
- Civil Engineering (2)
- Computer Engineering (2)
- Keyword
-
- Machine Learning (15)
- Deep Learning (10)
- Machine learning (10)
- Artificial intelligence (7)
- Computer vision (5)
-
- Natural Language Processing (5)
- Artificial Intelligence (4)
- Deep learning (4)
- Reinforcement Learning (4)
- Computer Vision (3)
- Neural networks (3)
- Recurrent Neural Networks (3)
- Remote sensing (3)
- AI (2)
- Deep neural networks (2)
- Depth estimation (2)
- Foundation models (2)
- Geospatial analysis (2)
- Mapping (2)
- Neural Networks (2)
- Reinforcement learning (2)
- Resistance Spot Welding (2)
- Semantic segmentation (2)
- Transfer Learning (2)
- Transformer (2)
- 3D Reconstruction (1)
- 3D parametric modeling (1)
- AI Value Alignment (1)
- ASP Solving (1)
- Absolute pose regression (1)
- Publication Year
- Publication
-
- Theses and Dissertations--Computer Science (48)
- Theses and Dissertations--Electrical and Computer Engineering (8)
- Theses and Dissertations--Mathematics (5)
- Theses and Dissertations--Mechanical and Aerospace Engineering (3)
- Information Science Faculty Publications (2)
-
- Theses and Dissertations--Pharmacy (2)
- Kinesiology and Health Promotion Faculty Publications (1)
- Mathematics Faculty Publications (1)
- Theses and Dissertations--Civil Engineering (1)
- Theses and Dissertations--Clinical and Translational Science (1)
- Theses and Dissertations--Mining Engineering (1)
- Theses and Dissertations--Physics and Astronomy (1)
- Theses and Dissertations--Statistics (1)
- University of Kentucky Doctoral Dissertations (1)
- Publication Type
Articles 1 - 30 of 76
Full-Text Articles in Artificial Intelligence and Robotics
Promptable Segmentation For Adaptive And Data-Efficient Medical Image Analysis, Tyler Ward
Promptable Segmentation For Adaptive And Data-Efficient Medical Image Analysis, Tyler Ward
University of Kentucky Doctoral Dissertations
Image segmentation is a fundamental task in computer vision. While segmentation models have traditionally been trained in a fully-supervised manner, recent approaches have leveraged large-scale pre-training and prompting mechanisms to great effect. However, the performance of such approaches often degrades when applied to domain-specific tasks like medical image analysis. A major reason for this lies is that these models are trained on large, labeled datasets of natural images, which have drastically different characteristics compared to medical images, limiting the generalizability of the methods when applied to medical data. This dissertation presents several data-efficient, adaptive, and promptable medical image segmentation models. …
A Specification-Driven Framework For Self-Supervised Learning In Specialized Vision Domains, Mahmut S. Gokmen
A Specification-Driven Framework For Self-Supervised Learning In Specialized Vision Domains, Mahmut S. Gokmen
Theses and Dissertations--Computer Science
Self-supervised learning (SSL) has emerged as a principled approach to visual representation learning that derives supervisory signal directly from unlabeled data, enabling foundation models to be trained at scale without manual annotation. Deployments in medical imaging and biometric recognition have demonstrated the potential of this paradigm, yet the assumptions that make SSL effective on natural image benchmarks fail systematically in specialized domains. Generic SSL pipelines encode a tacit assumption that the most informative correspondence is spatial proximity within a single acquisition. In specialized domains this assumption breaks at the level of the data-generating process: the signal that carries domain-specific information …
Challenges And Applications Of Fine-Grained Temporal Action Understanding: Modeling Temporal Granularity And Data Efficiency, Halil I. Helvaci
Challenges And Applications Of Fine-Grained Temporal Action Understanding: Modeling Temporal Granularity And Data Efficiency, Halil I. Helvaci
Theses and Dissertations--Electrical and Computer Engineering
Fine-grained Temporal Action Segmentation (TAS) has become a cornerstone of video understanding, offering dense frame-level predictions essential for clinical assessment, surgical skill evaluation, and human-computer interaction. While TAS methods have delivered strong results on coarse-grained benchmarks, two fundamental challenges persist: (1) global attention mechanisms dilute boundary information critical for subsecond precision, a phenomenon we term the temporal granularity bottleneck, and (2) dense frame-level annotation remains prohibitively expensive, with most datasets requiring exhaustive labeling of lengthy untrimmed videos. These challenges are particularly pronounced in medical domains, where sub-second primitives define clinical outcomes while expert annotation remains scarce. In this dissertation, we …
Exploiting Artificial Intelligence And Optimization For Smart Agriculture, Jackson K. Butcher
Exploiting Artificial Intelligence And Optimization For Smart Agriculture, Jackson K. Butcher
Theses and Dissertations--Computer Science
Dynamic integration of Cyber-Physical Systems (CPS) and Artificial Intelligence (AI) has become a vital component for unlocking the potential of smart agriculture. Currently, limitations such as limited computational resources, poor network connectivity, and rigid treatment strategies stifle optimal agricultural outcomes. This creates a challenge of leveraging the capabilities of modern artificial intelligence to combat the natural and artificial constraints of the smart agriculture environment. The primary contribution of this thesis is the development of frameworks to alleviate the overhead data and computational demand for AI within smart agriculture settings. The first framework, iCrop+, utilizes TinyML and LoRa to guarantee high-precision …
Novel Generative And Language Model Architectures With Applications, Edison Mucllari
Novel Generative And Language Model Architectures With Applications, Edison Mucllari
Theses and Dissertations--Mathematics
This dissertation investigates novel architectures to address fundamental challenges in machine learning, particularly focusing on transformer models, recurrent neural networks, GAN and continual learning and their applications in natural language processing and computer vision. We propose the Neumann-Cayley Gated Recurrent Unit (NC-GRU), which leverages a Neumann series-based Scaled Cayley transformation to maintain orthogonal weight matrices, effectively mitigating exploding gradients problems while improving long-term memory retention across prediction tasks. We demonstrate the practical applications of NC-GRU by implementing our proposed architecture into an autoencoder to derive neural molecular fingerprints. Building upon these advancements, we turn our attention to the transformer architecture, …
Temporal Machine Learning For Predicting Accidents And Violations In The Mining Industry, Nathan T. Kelley
Temporal Machine Learning For Predicting Accidents And Violations In The Mining Industry, Nathan T. Kelley
Theses and Dissertations--Mining Engineering
This thesis examines the predictive capability of a temporal machine learning model for forecasting future accidents and violations at individual mines, based on historical data. Mine accidents were categorized by accident classification and violations were categorized by the Part Section. The primary datasets utilized were the mine safety and health administration’s (MSHA’s) Accident Injuries and Violations datasets. The available datasets were cleaned and organized by mine type and commodity, then divided into separate subsets for training, validating, and testing. Different models, cutoff metrics, learning rates, number of hidden layers, data processing methods, data processing divisions, number of points observed …
Enhancing Public Health Surveillance: Development And Validation Of Machine Learning Models For Suspected Opioid Overdose Detection In Emergency Medical Services Data, Peter J. Rock
Theses and Dissertations--Clinical and Translational Science
The ongoing opioid overdose crisis in the United States requires timely and accurate surveillance systems to inform public health responses. Traditional public health surveillance methods rely on hospital discharge data and death certificates, which suffer from significant reporting delays and miss cases where patients refuse hospital transportation. Emergency Medical Services (EMS) data presents a promising alternative with advantages in timeliness and case ascertainment but lacks validated definitions for suspected opioid overdose (SOO).
This dissertation addresses this critical gap through the development, validation, and fairness assessment of machine learning models with natural language processing (ML-NLP) for identifying SOOs in EMS data. …
Tiered Coalition Formation Game Variants, Stability, And Simulation, Nathan Arnold
Tiered Coalition Formation Game Variants, Stability, And Simulation, Nathan Arnold
Theses and Dissertations--Computer Science
Tiered coalition formation games (TCFGs) have been proposed for modeling the ordering of power in intransitive structures. Furthering our understanding of the usefulness of this concept requires a close examination of this game and its variants, as well as the delineation between stability concepts and methods of finding stable outcomes. Derived from a simulation of the performance of characters in the games Pokémon Red and Blue Versions, we present an approximation of its power structure found via machine learning. We compare our findings to the community consensus ranking presented on a fan-run website, and further comment on the stability of …
Information-Theoretic Methods For Efficient Training And Robust Evaluations In Self-Supervised Learning, Oscar Skean
Information-Theoretic Methods For Efficient Training And Robust Evaluations In Self-Supervised Learning, Oscar Skean
Theses and Dissertations--Computer Science
Self-supervised learning (SSL) has become a cornerstone of modern machine learning, offering a scalable alternative to costly human annotation by constructing pretext tasks directly from raw data. While SSL has delivered strong results across vision, language, and multimodal domains, two major limitations persist: (1) SSL methods are often significantly slower to train than supervised counterparts, and (2) evaluation protocols remain narrow, with most studies relying on linear probing accuracy on the pretraining dataset. . These challenges are particularly acute for large language models (LLMs), where training costs and interpretability of intermediate representations are critical concerns.
In this work, we propose …
Flexible Attenuation Fields: Tomographic Reconstruction From Heterogeneous Datasets, Clifford S. Parker
Flexible Attenuation Fields: Tomographic Reconstruction From Heterogeneous Datasets, Clifford S. Parker
Theses and Dissertations--Computer Science
Traditional reconstruction methods for X-ray computed tomography (CT) are highly constrained in the variety of input datasets they admit. Many of the imaging settings -- the incident energy, field-of-view, effective resolution -- remain fixed across projection images, and the only real variance is in the detector's position and orientation with respect to the scene. In contrast, methods for 3D reconstruction of natural scenes are extremely flexible to the geometric and photometric properties of the input datasets, readily accepting and benefiting from images captured under varying lighting conditions, with different cameras, and at disparate points in time and space. Extending CT …
Language Models For Rare Disease Information Extraction: Empirical Insights And Model Comparisons, Shashank Gupta
Language Models For Rare Disease Information Extraction: Empirical Insights And Model Comparisons, Shashank Gupta
Theses and Dissertations--Computer Science
End-to-end relation extraction (E2ERE) is a crucial task in natural language processing (NLP) that involves identifying and classifying semantic relationships between entities in text. This thesis compares three paradigms for end-to-end relation extraction (E2ERE) in biomedicine, focusing on rare diseases with discontinuous and nested entities. We evaluate Named Entity Recognition (NER) to Relation Extraction (RE) pipelines, sequence-to-sequence models, and generative pre-trained transformer (GPT) models using the RareDis information extraction dataset. Our findings indicate that pipeline models are the most effective, followed closely by sequence-to-sequence models. GPT models, despite having eight times as many parameters, perform worse than sequence-to-sequence models and …
Transfer Learning-Enhanced Transformer For Virtual Sensing Applications In Resistance Spot Welding, Ethan York
Transfer Learning-Enhanced Transformer For Virtual Sensing Applications In Resistance Spot Welding, Ethan York
Theses and Dissertations--Mechanical and Aerospace Engineering
Resistance spot welding is a crucial manufacturing process used across a wide range of industries for permanently joining metal components. Characterized by its applications in the automotive industry, resistance spot welding is valued for its speed, efficiency, and relatively low cost to set up and maintain. The process involves running a pulse of electrical current through two metal sheets to liquify the material and create a permanent bond. The process complexity necessitates precise control over various parameters to ensure acceptable results, emphasizing the importance of quality control. Because there are no low-cost and non-invasive techniques to inspect welds, strategies utilizing …
Artificial Intelligence Enabled Machinery Fault Detection And Diagnosis Using Vibro-Acoustic Signals, Srinivasa Rao Ippili
Artificial Intelligence Enabled Machinery Fault Detection And Diagnosis Using Vibro-Acoustic Signals, Srinivasa Rao Ippili
Theses and Dissertations--Mechanical and Aerospace Engineering
In various industries, the early detection of faults in rotating machinery is crucial to prevent system failures and ensure customer satisfaction. Typically, vibration measurement and diagnosis are employed for fault detection, but this process faces challenges in automation due to the complexity of installing and maintaining accelerometers, particularly in end-of-line quality control or pre-installed machinery health assessments. Acoustic signals, as a form of mechanical wave, offer an alternative for monitoring machinery while in operation. Unlike accelerometers, acoustic transducers are non-contact and easy to set up, enabling real-time data collection without interrupting equipment operation. However, utilizing acoustic signals in manufacturing poses …
Tension Control And Interproximation Techniques Forshape Design And Rgb-Depth Segmentation Reconstruction And Modeling, Anastasia Kazadi
Tension Control And Interproximation Techniques Forshape Design And Rgb-Depth Segmentation Reconstruction And Modeling, Anastasia Kazadi
Theses and Dissertations--Computer Science
Human eyes possess remarkable capabilities to perceive and interpret a wealth of information about our environment; from discerning colors and depths to identifying object boundaries and navigating obstacles, our eyes serve as invaluable guides in our daily lives. Ongoing research in the fields of computer vision and computer graphics continuously explore the ways to replicate extraordinary human vision abilities in order to develop systems and frameworks which would enable computers to capture, analyze, and act upon discerned information. In this context, this dissertation seeks to investigate and automate various shape control and data processing techniques for 3D modeling and shape …
Finding Hierarchies To Improve Learning In Hierarchical Reinforcement Learning, Roy Mobley
Finding Hierarchies To Improve Learning In Hierarchical Reinforcement Learning, Roy Mobley
Theses and Dissertations--Computer Science
Reinforcement Learning (RL) is an approach to allowing computer agents to try and learn how to solve problems by learning what actions are best to take in a given situation. RL is effective for learning what to do in an environment, but as the problem grows larger, the amount of information needed grows exponentially, making RL less effective on complex problems. A big challenge, often called the curse of dimensionality, is that the number of states and possible number of actions in an environment can grow too large to sufficiently test every possible combination of state and action. One method …
On Generative Models And Joint Architectures For Document-Level Relation Extraction, Aviv Brokman
On Generative Models And Joint Architectures For Document-Level Relation Extraction, Aviv Brokman
Theses and Dissertations--Statistics
Biomedical text is being generated at a high rate in scientific literature publications and electronic health records. Within these documents lies a wealth of potentially useful information in biomedicine. Relation extraction (RE), the process of automating the identification of structured relationships between entities within text, represents a highly sought-after goal in biomedical informatics, offering the potential to unlock deeper insights and connections from this vast corpus of data. In this dissertation, we tackle this problem with a variety of approaches.
We review the recent history of the field of document-level RE. Several themes emerge. First, graph neural networks dominate the …
Cross-Layer Design Of Highly Scalable And Energy-Efficient Ai Accelerator Systems Using Photonic Integrated Circuits, Sairam Sri Vatsavai
Cross-Layer Design Of Highly Scalable And Energy-Efficient Ai Accelerator Systems Using Photonic Integrated Circuits, Sairam Sri Vatsavai
Theses and Dissertations--Electrical and Computer Engineering
Artificial Intelligence (AI) has experienced remarkable success in recent years, solving complex computational problems across various domains, including computer vision, natural language processing, and pattern recognition. Much of this success can be attributed to the advancements in deep learning algorithms and models, particularly Artificial Neural Networks (ANNs). In recent times, deep ANNs have achieved unprecedented levels of accuracy, surpassing human capabilities in some cases. However, these deep ANN models come at a significant computational cost, with billions to trillions of parameters. Recent trends indicate that the number of parameters per ANN model will continue to grow exponentially in the foreseeable …
Nonuniform Sampling-Based Breast Cancer Classification, Santiago Posso
Nonuniform Sampling-Based Breast Cancer Classification, Santiago Posso
Theses and Dissertations--Electrical and Computer Engineering
The emergence of deep learning models and their success in visual object recognition have fueled the medical imaging community's interest in integrating these algorithms to improve medical diagnosis. However, natural images, which have been the main focus of deep learning models and mammograms, exhibit fundamental differences. First, breast tissue abnormalities are often smaller than salient objects in natural images. Second, breast images have significantly higher resolutions but are generally heavily downsampled to fit these images to deep learning models. Models that handle high-resolution mammograms require many exams and complex architectures. Additionally, spatially resizing mammograms leads to losing discriminative details essential …
Practical Ai Value Alignment Using Stories, Md Sultan Al Nahian
Practical Ai Value Alignment Using Stories, Md Sultan Al Nahian
Theses and Dissertations--Computer Science
As more machine learning agents interact with humans, it is increasingly a prospect that an agent trained to perform a task optimally - using only a measure of task performance as feedback--can violate societal norms for acceptable behavior or cause harm. Consequently, it becomes necessary to prioritize task performance and ensure that AI actions do not have detrimental effects. Value alignment is a property of intelligent agents, wherein they solely pursue goals and activities that are non-harmful and beneficial to humans. Current approaches to value alignment largely depend on imitation learning or learning from demonstration methods. However, the dynamic nature …
Novel Architectures And Optimization Algorithms For Training Neural Networks And Applications, Vasily I. Zadorozhnyy
Novel Architectures And Optimization Algorithms For Training Neural Networks And Applications, Vasily I. Zadorozhnyy
Theses and Dissertations--Mathematics
The two main areas of Deep Learning are Unsupervised and Supervised Learning. Unsupervised Learning studies a class of data processing problems in which only descriptions of objects are known, without label information. Generative Adversarial Networks (GANs) have become among the most widely used unsupervised neural net models. GAN combines two neural nets, generative and discriminative, that work simultaneously. We introduce a new family of discriminator loss functions that adopts a weighted sum of real and fake parts, which we call adaptive weighted loss functions. Using the gradient information, we can adaptively choose weights to train a discriminator in the direction …
Machine Learning For Advancing Automation And Quality Control In Robotic Welding, Joseph Kershaw
Machine Learning For Advancing Automation And Quality Control In Robotic Welding, Joseph Kershaw
Theses and Dissertations--Mechanical and Aerospace Engineering
Welding is a vital manufacturing process across a diverse range of industries to permanently join metallic components into needed assemblies. Though widely used and studied, the process is not fully understood due to the myriad of interconnected physics that present themselves during the welding process. Electrical, thermal, structural, and fluidic mechanics are simultaneously at work influencing one another to achieve the bonding that manufacturers desire. In addition to general manufacturing issues, such as tool wear or misalignment, micro-level changes to the material structure and composition can have cascading impacts on the final weld. This complexity makes it difficult, if not …
Generalizable And Adaptable Data-Driven Methods For Overcoming Barriers To Practical Industrial Condition Monitoring, Matthew B. Russell
Generalizable And Adaptable Data-Driven Methods For Overcoming Barriers To Practical Industrial Condition Monitoring, Matthew B. Russell
Theses and Dissertations--Electrical and Computer Engineering
The future of smart manufacturing relies on predictive maintenance systems that intelligently minimize expensive downtime through timely assessment of machine condition. Deep Learning (DL) has achieved excellent performance in industrial condition monitoring experiments, but the constraints of the manufacturing environment prevent many algorithms from being practically deployed on the factory floor. Ubiquitous sensing from online machines generates high velocity data streams that require new techniques for efficient transmission and storage. Despite these ever-increasing data lakes, many applications still lack the data needed for training DL fault diagnosis and wear tracking models since most data is unlabeled and only from nominal …
Multi-Domain Adaptation For Image Classification, Depth Estimation, And Semantic Segmentation, Yu Zhang
Multi-Domain Adaptation For Image Classification, Depth Estimation, And Semantic Segmentation, Yu Zhang
Theses and Dissertations--Computer Science
The appearance of scenes may change for many reasons, including the viewpoint, the time of day, the weather, and the seasons. Traditionally, deep neural networks are trained and evaluated using images from the same scene and domain to avoid the domain gap. Recent advances in domain adaptation have led to a new type of method that bridges such domain gaps and learns from multiple domains.
This dissertation proposes methods for multi-domain adaptation for various computer vision tasks, including image classification, depth estimation, and semantic segmentation. The first work focuses on semi-supervised domain adaptation. I address this semi-supervised setting and propose …
Machine Learning Framework For Real-World Electronic Health Records Regarding Missingness, Interpretability, And Fairness, Jing Lucas Liu
Machine Learning Framework For Real-World Electronic Health Records Regarding Missingness, Interpretability, And Fairness, Jing Lucas Liu
Theses and Dissertations--Computer Science
Machine learning (ML) and deep learning (DL) techniques have shown promising results in healthcare applications using Electronic Health Records (EHRs) data. However, their adoption in real-world healthcare settings is hindered by three major challenges. Firstly, real-world EHR data typically contains numerous missing values. Secondly, traditional ML/DL models are typically considered black-boxes, whereas interpretability is required for real-world healthcare applications. Finally, differences in data distributions may lead to unfairness and performance disparities, particularly in subpopulations.
This dissertation proposes methods to address missing data, interpretability, and fairness issues. The first work proposes an ensemble prediction framework for EHR data with large missing …
The Basil Technique: Bias Adaptive Statistical Inference Learning Agents For Learning From Human Feedback, Jonathan Indigo Watson
The Basil Technique: Bias Adaptive Statistical Inference Learning Agents For Learning From Human Feedback, Jonathan Indigo Watson
Theses and Dissertations--Computer Science
We introduce a novel approach for learning behaviors using human-provided feedback that is subject to systematic bias. Our method, known as BASIL, models the feedback signal as a combination of a heuristic evaluation of an action's utility and a probabilistically-drawn bias value, characterized by unknown parameters. We present both the general framework for our technique and specific algorithms for biases drawn from a normal distribution. We evaluate our approach across various environments and tasks, comparing it to interactive and non-interactive machine learning methods, including deep learning techniques, using human trainers and a synthetic oracle with feedback distorted to varying degrees. …
Structured Attention For Image Analysis, Xin Xing
Structured Attention For Image Analysis, Xin Xing
Theses and Dissertations--Computer Science
Attention mechanism, an approach to maintain the local and global features over the input, is the crucial element of the Transformer. This dissertation explores structured attention for image analysis, proposing attention-based methods for multi-label learning and Alzheimer’s Disease (AD) diagnosis.
For the multi-label learning task, I present two works under the Vision Transformer (ViT) framework. The first work focuses on supervised learning of multi-label classification. I address the problems of the multi-label classification and propose a model named AssocFormer, which adopts the association module to access the objects’ association relationship to improve the model performance. The second work addresses the …
Peer-To-Peer Energy Trading In Smart Residential Environment With User Behavioral Modeling, Ashutosh Timilsina
Peer-To-Peer Energy Trading In Smart Residential Environment With User Behavioral Modeling, Ashutosh Timilsina
Theses and Dissertations--Computer Science
Electric power systems are transforming from a centralized unidirectional market to a decentralized open market. With this shift, the end-users have the possibility to actively participate in local energy exchanges, with or without the involvement of the main grid. Rapidly reducing prices for Renewable Energy Technologies (RETs), supported by their ease of installation and operation, with the facilitation of Electric Vehicles (EV) and Smart Grid (SG) technologies to make bidirectional flow of energy possible, has contributed to this changing landscape in the distribution side of the traditional power grid.
Trading energy among users in a decentralized fashion has been referred …
Symbolic Computation Of Squared Amplitudes In High Energy Physics With Machine Learning, Abdulhakim Alnuqaydan
Symbolic Computation Of Squared Amplitudes In High Energy Physics With Machine Learning, Abdulhakim Alnuqaydan
Theses and Dissertations--Physics and Astronomy
The calculation of particle interaction squared amplitudes is a key step in the calculation of cross sections in high-energy physics. These complex calculations are currently performed using domain-specific symbolic algebra tools, where the computational time escalates rapidly with an increase in the number of loops and final state particles. This dissertation introduces an innovative approach: employing a transformer-based sequence-to-sequence model capable of accurately predicting squared amplitudes of Standard Model processes up to one-loop order when trained on symbolic sequence pairs. The primary objective of this work is to significantly reduce the computational time and, more importantly, develop a model that …
Learning A Scalable Algorithm For Improving Betweenness In The Lightning Network, Vincent Davis
Learning A Scalable Algorithm For Improving Betweenness In The Lightning Network, Vincent Davis
Theses and Dissertations--Computer Science
This paper presents a scalable algorithm for solving the Maximum Betweenness Improvement Problem as it occurs in the Bitcoin Lightning Network. In this approach, each node is embedded with a feature vector whereby an Advantage Actor-Critic model identifies key nodes in the network that a joining node should open channels with to maximize its own expected routing opportunities. This model is trained using a custom built environment, lightning-gym, which can randomly generate small scale-free networks or import snapshots of the Lightning Network. After 100 training episodes on networks with 128 nodes, this A2C agent can recommend channels in the Lightning …
The Performance Optimization Of Asp Solving Based On Encoding Rewriting And Encoding Selection, Liu Liu
The Performance Optimization Of Asp Solving Based On Encoding Rewriting And Encoding Selection, Liu Liu
Theses and Dissertations--Computer Science
Answer set programming (ASP) has long been used for modeling and solving hard search problems. These problems are modeled in ASP as encodings, a collection of rules that declaratively describe the logic of the problem without explicitly listing how to solve it. It is common that the same problem has several different but equivalent encodings in ASP. Experience shows that the performance of these ASP encodings may vary greatly from instance to instance when processed by current state-of-the-art ASP grounder/solver systems. In particular, it is rarely the case that one encoding outperforms all others. Moreover, running an ASP system on …