Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Medicine and Health Sciences (2538)
- Social and Behavioral Sciences (2322)
- Engineering (1445)
- Life Sciences (1429)
- Law (1353)
-
- Physical Sciences and Mathematics (1150)
- Education (968)
- Arts and Humanities (910)
- Public Health (820)
- Civil and Environmental Engineering (691)
- Medical Specialties (630)
- Library and Information Science (582)
- Plant Sciences (556)
- Transportation Engineering (556)
- Earth Sciences (519)
- Soil Science (411)
- Nursing (397)
- Communication (392)
- Agronomy and Crop Sciences (378)
- Plant Pathology (378)
- Sociology (366)
- Agricultural Science (363)
- Plant Biology (361)
- Weed Science (357)
- Psychology (316)
- Public Affairs, Public Policy and Public Administration (296)
- Electrical and Computer Engineering (254)
- Law Librarianship (249)
- Higher Education (223)
- Medical Sciences (220)
- Keyword
-
- Kentucky (384)
- Humans (265)
- Law librarians (231)
- Law libraries (231)
- SEAALL (231)
-
- Female (142)
- Male (135)
- Appalachia (132)
- Public health (130)
- Animals (123)
- State government (101)
- University of Kentucky (101)
- Kentucky history (100)
- Representatives (100)
- Senators (100)
- State legislature (100)
- Education (87)
- United States (84)
- Adolescent (83)
- Communication (80)
- Adult (69)
- Public Health (69)
- Leadership (60)
- COVID-19 (56)
- Middle Aged (55)
- Rural (51)
- Mice (50)
- Aging (48)
- Social media (48)
- Assessment (47)
- Publication Year
- Publication
-
- Kentucky Law Journal (900)
- Kentucky Transportation Center Research Report (440)
- IGC Proceedings (1977-2023) (353)
- DNP Projects (347)
- University of Kentucky Doctoral Dissertations (263)
-
- Theses and Dissertations--Public Health (M.P.H. & Dr.P.H.) (254)
- Law Faculty Scholarly Articles (248)
- University of Kentucky Master's Theses (231)
- MPA/MPP/MPFM Capstone Projects (188)
- Theses and Dissertations--Music (159)
- Theses and Dissertations--Early Childhood, Special Education, and Counselor Education (157)
- Theses and Dissertations--Communication (151)
- Theses and Dissertations--Education Sciences (125)
- Newsletters (120)
- Pediatrics Faculty Publications (119)
- World of Coal Ash Proceedings (116)
- Markey Cancer Center Faculty Publications (112)
- Theses and Dissertations--Electrical and Computer Engineering (112)
- disClosure: A Journal of Social Theory (112)
- Journals of the General Assembly of the Commonwealth of Kentucky (100)
- Physics and Astronomy Faculty Publications (95)
- Kentucky's Annual Forum on Transportation (94)
- Theses and Dissertations--Family Sciences (91)
- Information Science Faculty Publications (90)
- Library Faculty and Staff Publications (89)
- Library Presentations (88)
- Theses and Dissertations--Computer Science (85)
- Theses and Dissertations--Educational Policy Studies and Evaluation (81)
- Kaleidoscope (79)
- Theses and Dissertations--Psychology (79)
- Publication Type
- File Type
Articles 2131 - 2160 of 10410
Full-Text Articles in Entire DC Network
The Effects Of Cannabidiol On Senior Equine Health, Shelley Turner
The Effects Of Cannabidiol On Senior Equine Health, Shelley Turner
Theses and Dissertations--Veterinary Science
Cannabis sativa L., has been revealed to produce hundreds of phytocannabinoids, of which cannabidiol (CBD) is one of the most desired. It has been revealed that CBD can potentially treat inflammation and act as an analgesic in humans without psychoactive effects of delta-9-tetrahydrocannabinol (THC). Recently, there has been interest in understanding the potential health benefits of CBD for horses. With an increasing senior horse population (< 15 years old), alternatives to the use of non-steroidal anti-inflammatory drugs (NSAIDs) such as phenylbutazone, firocoxib, and flunixin meglumine, are desired as these common anti-inflammatory treatments have negative side effects. Because senior horses may have chronic low-grade inflammation, termed inflamm-aging, they are a natural model to investigate the efficacy of CBD on inflammatory responses as well as other health parameters. Given this interest, and due to the lack of research conducted on CBD in the horse, the overall objective of this dissertation work was to conduct both basic and applied research investigating the effects of CBD on equine immune function and health. The first objective was to determine the in vitro effects of CBD as an anti-inflammatory. Peripheral blood mononuclear cells (PBMCs) from senior horses were cultured in vitro with increasing concentrations of pure CBD dissolved in dimethyl sulfoxide (DMSO). These cells were …
The Microbiome Of The Equine Roundworm, Parascaris Spp., Jennifer Lynn Cain
The Microbiome Of The Equine Roundworm, Parascaris Spp., Jennifer Lynn Cain
Theses and Dissertations--Veterinary Science
Parasitic nematodes, including the large roundworms colloquially known as ascarids, affect the health and well-being of livestock animals worldwide. The equine ascarid, Parascaris spp., was the first ascarid parasite to develop wide-spread anthelmintic drug resistance, with other species slowly following suit. There are no new classes of anthelmintics currently in development, and a solution to the ever-increasing prevalence of resistance is desperately needed. The microbiome has been shown to be an important factor in the fitness and health of many organisms and changes to microbiome composition have been associated with a plethora of diseases. The microbiome is also important to …
Evaluating Restoration Outcomes: Red Spruce Reforestation In The West Virginia Highlands, Benjamin Rhodes
Evaluating Restoration Outcomes: Red Spruce Reforestation In The West Virginia Highlands, Benjamin Rhodes
Theses and Dissertations--Forestry and Natural Resources
Red spruce (Picea rubens) is the keystone species of the red spruce-northern hardwood forest, a unique high-elevation plant community that supports hundreds of animal species in the Central Appalachians. These forests were devastated by the Industrial Logging Era of the late 1800s and early 1900s, and they remain in a degraded and fragmented state. Current restoration efforts include red spruce plantings on old field sites and reclaimed coal mines. This project seeks to aid those efforts by evaluating restoration outcomes for vegetation and soils along a ten-year chronosequence. Specifically, the study aims to determine whether restoration site soils …
Assessing Machine Learning Utility In Predicting Hydrologic And Nitrate Dynamics In Karst Agroecosystems, Timothy Mcgill
Assessing Machine Learning Utility In Predicting Hydrologic And Nitrate Dynamics In Karst Agroecosystems, Timothy Mcgill
Theses and Dissertations--Biosystems and Agricultural Engineering
Seasonal hypoxia in the Gulf of Mexico and harmful algal blooms experienced in many inland freshwater bodies is partially driven due to excessive nitrogen loading seen from agricultural watersheds. Within the Mississippi/Atchafalaya River Basin, many areas are underlain with karst features, and efforts to reduce nitrogen contributions from these areas have had varying success, due to lacking a complete understanding of nutrient dynamics in karst agricultural systems. To improve the understanding of nitrogen cycling in these systems, 35 months of high resolution in situ water quality and atmospheric data were collected and fed into a two-hidden layer extreme learning machine …
Effects Of Physiological Stage And Diet On Drosophila Suzukii Olfaction, Aerianna Shindindowi Littler
Effects Of Physiological Stage And Diet On Drosophila Suzukii Olfaction, Aerianna Shindindowi Littler
Theses and Dissertations--Entomology
Massive economic damage by spotted-wing drosophila (SWD), Drosophila suzukii, results from their unique egg laying behavior. Gravid SWD flies employ a complex suite of behaviors to find fruit with the optimum firmness and chemistry. We tested for SWD attraction to various fruits and found overripe raspberries to be most attractive to gravid flies which was unexpected since they oviposit in ripe fruit. We next tested the same choice assay in a T-maze and found that the results were comparable. We also found discrete odor profiles among the ripening stages. When testing for sugars and CO2 concentrations from field-collections, overripe …
Net Effects Of Wild And Managed Birds In Agroecosystems, Karina Garcia
Net Effects Of Wild And Managed Birds In Agroecosystems, Karina Garcia
Theses and Dissertations--Entomology
Agricultural intensification and expansion have reduced biodiversity in agroecosystems, jeopardizing the ecosystem services that nature provides to humans in these landscapes including wildlife-mediated pest control. Among these purveyors of ecosystem services are birds, who can provide services to agroecosystems by consuming arthropod pests. Yet some bird species also act as pests by consuming crops. Herein, I use molecular diet analysis through high-throughput sequencing on DNA extracted from bird fecal samples to examine birds’ diet and classify bird species as consumers of major strawberry pests (Lygus spp.). Additionally, I use targeted PCR approaches to determine which bird species consumed strawberries. …
Gene Silencing Provides Insights Into Bark Beetle Biology And Creates Potential For Broad Scale Forest Protection, Beth R. Kyre
Gene Silencing Provides Insights Into Bark Beetle Biology And Creates Potential For Broad Scale Forest Protection, Beth R. Kyre
Theses and Dissertations--Entomology
Dendroctonus bark beetles are among the most economically and ecologically significant forest pests in North America and play a critical role in the overall health of conifer forest ecosystems. Dendroctonus bark beetles influence ecosystem benefits and biodiversity and drive forest succession, and adversely affect timber production, forest management, and recreation. As temperatures surge and climatic fluctuations become more extreme, catastrophic bark beetle outbreaks are increasing in frequency, escalating pressures on highly vulnerable conifer forests already compromised by heat and drought. Eruptive outbreaks of Dendroctonus beetles are largely unhindered by traditional silvicultural management; these practices further disrupt forest ecosystem services, including …
Pilot Study: The Role Of Online Grocery Shopping In Meal Planning & Prepartion: Utilizing Text Message Based Behavioral Nudges, Brittany Nikole Cox
Pilot Study: The Role Of Online Grocery Shopping In Meal Planning & Prepartion: Utilizing Text Message Based Behavioral Nudges, Brittany Nikole Cox
Theses and Dissertations--Nutrition and Food Systems
Purpose: To examine if an online grocery shopping intervention improves meal planning and preparation and subsequent dietary intake. The primary hypothesis was that online shopping can improve meal planning and meal preparation habits while also improving dietary intake.
Method: Participants were randomized to either online only (O), online plus nutritional nudges (O+I), or standard brick and mortar (BM). Those in the O+I arm received behavioral nudges three (3) times per week and were part of a Facebook group assisting them with meal planning, nutrition education, and reminders to shop online. The O arm only received reminders to shop online, and …
Associations Of Sexual Satisfaction, Relationship Quality, And Cognitive Functioning Within Intimate Relationships In Older Adulthood, Allison G. Smith
Associations Of Sexual Satisfaction, Relationship Quality, And Cognitive Functioning Within Intimate Relationships In Older Adulthood, Allison G. Smith
Theses and Dissertations--Family Sciences
The roles of sexual satisfaction, relationship quality, and cognitive functioning within older adults (N = 538) intimate relationships are assessed at two timepoints over an 11-year timeframe. Longitudinal data from 63 older adults are assessed through a path modeling approach to examine how sexual satisfaction and relationship quality change throughout older adulthood. Cross-sectional data for 538 older adults are utilized to examine the association between cognitive health and sexual satisfaction/relationship quality. Qualitative data from 125 older adults are utilized to understand how older adults describe their intimate relationships. Results from path models demonstrate that one’s degree of sexual satisfaction …
Patient Transitions Between Acute And Post-Acute Care Organizations: Can Nursing Communication Prevent Patient Readmission?, Penny Gilbert
Patient Transitions Between Acute And Post-Acute Care Organizations: Can Nursing Communication Prevent Patient Readmission?, Penny Gilbert
DNP Projects
Preventing Patient Readmission
Background and Review of Literature: Communication is the foundation of patient safety. As patients move from the acute to post-acute care setting, risk for insufficient communication rises. Research demonstrates a vast array of communication hand-off tools currently exist for and between different care arenas. No one tool has been standardized for patients transitioning from acute to post-acute care settings. The Institute of Medicine (IOM) and The Joint Commission (TJC) have published multiple documents discussing communication plagues within health care resulting in readmission.
Purpose: The purpose of this project is multifaceted: 1) identifying current nursing communication practices between …
Improving The Healthcare Transition For Adolescents With Asthma: Implementing A Transition Readiness Assessment, Andrea Pauley
Improving The Healthcare Transition For Adolescents With Asthma: Implementing A Transition Readiness Assessment, Andrea Pauley
DNP Projects
BACKGROUND: Asthma is the most common pediatric chronic disease in the United States and adolescence represents the highest prevalence among all age groups. Transition planning is recommended for all adolescents, especially those with special health care needs (SHCN). Only 17% of adolescents with SHCN receive adequate transition planning.
PURPOSE: The purpose of this study was to implement the Transition Readiness Assessment Questionnaire (TRAQ) for adolescents age 12 years and older with asthma to identify the current level of transition readiness and identify factors associated with readiness.
METHODS: This study was an exploratory, cross-sectional design to evaluate and describe participants’ level …
Utilizing A Video-Based Intervention To Improve Medicine Adherence And Retention Of Hiv Care In A Hiv Clinic., Robert Currie
Utilizing A Video-Based Intervention To Improve Medicine Adherence And Retention Of Hiv Care In A Hiv Clinic., Robert Currie
Theses and Dissertations--Public Health (M.P.H. & Dr.P.H.)
Memphis, Tennessee has higher rates of black men who have sex with men living with human immunodeficiency (BMSMLWH) compared to state and national levels. ART has been shown to be effective in keeping people living with HIV virally suppressed and unable to transmit HIV through sex. However, BMSMLWH are disproportionately affected by HIV than other races in Memphis, Tennesee. The proposed program relies on evidence-based data that demonstrates the effectiveness of video-based intervention in improving medication adherence and HIV retention of care. Taking Care of Me is a video-based intervention that promotes HIV treatment initiation, ART adherence, and retention in …
Effect Of Communication And Time Spent With Children On The Parenting Difficulties Of Single Parents In Korea, Ki Jeong Park
Effect Of Communication And Time Spent With Children On The Parenting Difficulties Of Single Parents In Korea, Ki Jeong Park
MPA/MPP/MPFM Capstone Projects
This research aims to analyze the effect of the time spent with children and the degree of communication with children on the difficulties of parenting children by single parents in Korea. As for the single parents' parenting difficulties, economic hardships have been widely discussed. However, not many studies examined other psychosocial factors between single parents and children, such as the problem of communication between parents and children and the lack of time spent with parents and children, despite their importance in parenting children. This study claims that the focus of public policies, governmental support, and non-profit organizations' roles to resolve …
Covid-19 And Advanced Course Enrollment: Kentucky High Schools, Jessica Thomas
Covid-19 And Advanced Course Enrollment: Kentucky High Schools, Jessica Thomas
MPA/MPP/MPFM Capstone Projects
In Kentucky governments, districts, and schools made decisions about school closures and mode of learning that would impact community health as well as student achievement. Within those schools, students themselves were also making decisions that could impact their futures academically. In spring 2020, students were choosing their courses for the following year. Vast uncertainty about what the 2020/2021 school year would look like had the potential to impact those decisions. Disruptions to spring 2020 classes could also impact whether a student felt they had learned the prerequisite skills needed to pursue advanced coursework. This study found that advanced course enrollment …
Evaluating Pharmacy Student Opinions Of The Kentucky Professionals Recovery Network, Abby Kosharek
Evaluating Pharmacy Student Opinions Of The Kentucky Professionals Recovery Network, Abby Kosharek
MPA/MPP/MPFM Capstone Projects
Healthcare professionals have similar rates of substance use disorders as the general population. Healthcare professionals are in a unique position because their substance use disorder affects them and may affect their patients. Substance use disorders among healthcare professionals can result in lawsuits and loss of licensure. Kentucky Professionals Recovery Network (KYPRN) provides healthcare professionals with substance use disorders services and programs to help them recover from their disorder. Unfortunately, the University of Kentucky College of Pharmacy no longer provides education on the Kentucky Professionals Recovery Network in its formal curriculum. Instead, students are expected to gain this knowledge via experiential …
Evaluating The Shift From Income Taxes To Sales And Use Taxes In Kentucky, Benton Kirby
Evaluating The Shift From Income Taxes To Sales And Use Taxes In Kentucky, Benton Kirby
MPA/MPP/MPFM Capstone Projects
House Bill 8 is set up to lower the state's individual income tax from 5% down to 0%. The bill is set up when revenue and rainy-day funds reach a certain level. The state's individual income tax will decrease each year the requirements are met. In addition, the bill has several services that will be subject to the state sales tax to raise tax revenues to offset the revenue loss that decreasing the state income tax would impact the state. However, the Kentucky Legislature Research Committee estimates that the fiscal impact of a net loss of $1.15 billion of tax …
Medicaid Expansion: The Choice Afforded To States By The Affordable Care Act, Robert M. Hatfield
Medicaid Expansion: The Choice Afforded To States By The Affordable Care Act, Robert M. Hatfield
MPA/MPP/MPFM Capstone Projects
The issue I studied is the decision states have been afforded to expand Medicaid with the Affordable Care Act (ACA). I was curious to determine the health and economic impact on states that have and have not chosen to expand Medicaid. Specifically, I targeted Kentucky (expansion state) and Tennessee (non-expansion state). Tennessee and Kentucky are similar populations, have similar political inclinations, and are both very rural states. At its core, Medicaid expansion is an opportunity to improve health for lower-income and disabled Americans. However, there are economic implications associated with Medicaid expansion as well. The goal of this research is …
Analysis Of Regulatory Options To Reduce Ethylene Oxide Emissions In Southern Louisiana, Claire Oyler
Analysis Of Regulatory Options To Reduce Ethylene Oxide Emissions In Southern Louisiana, Claire Oyler
MPA/MPP/MPFM Capstone Projects
Toxic chemicals are dangerous when exposed directly to humans but are often vital for the production of goods and services. Ethylene Oxide is a carcinogenic gas used as a commercial sterilizer and emitted during the manufacturing process of common household goods. The term fence-line communities describes the residents living adjacent to facilities emitting toxic chemicals into the air. Several predominately minority, low-income fence-line communities in Southern Louisiana are exposed to higher than average levels of Ethylene Oxide from nearby manufacturing facilities. This raises environmental justice and overall public health concerns in the area. The Environmental Protection Agency (EPA) is charged …
University Of Kentucky Sustainability Strategic Plan, Sophie Beavin
University Of Kentucky Sustainability Strategic Plan, Sophie Beavin
MPA/MPP/MPFM Capstone Projects
Global climate change is impacting ecosystems, communities, and economies and will continue to do so into the future. To address these issues, sustainable practices and policies are needed on the local and global scale. At the University of Kentucky, sustainability implies that actions are ecologically sound, socially just, and economically viable. Harmonizing these three aspects is critical when developing and implementing sustainability goals on campus. The Office of Sustainability is responsible for coordinating and implementing sustainability policies, actions, and programs for the University of Kentucky. In 2017, they released the first Sustainability Strategic Plan that set goals through 2022. The …
Irs Form 990 And Opportunity For Improvement, Sarah Bocklen
Irs Form 990 And Opportunity For Improvement, Sarah Bocklen
MPA/MPP/MPFM Capstone Projects
In the contemporary world, IRS Form 990 returns are increasingly being used to source data about the nonprofit sector, which have critical in enhancing the community's social welfare. However, there has been a considerable debate concerning the adequacy, reliability, and quality of the data contained in the document. This study incorporated a total of 150 nonprofit entities from the US to investigate the adequacy, reliability, and quality of Form 990 returns. I used both quantitative and qualitative research methods to evaluate the consistency in the selected data. Selected entries were used for analysis and compared with those of audited financial …
Effects Of Emergency Medical Service Funding Policies In Kentucky, Amber Moreland
Effects Of Emergency Medical Service Funding Policies In Kentucky, Amber Moreland
MPA/MPP/MPFM Capstone Projects
Emergency medical services is a complicated component in local Kentucky governments. Emergency Medical Services (EMS) operated and managed by local government have various funding mechanisms and each have different methods of reporting. This paper reviews the various ways EMS is funded in Kentucky along with the impact these different funding strategies have on quality and delivery of emergency medical services.
The Lived Supervision Experiences Of Disabled Music Therapists, Emma Martin
The Lived Supervision Experiences Of Disabled Music Therapists, Emma Martin
Theses and Dissertations--Music
Within and outside of the music therapy field, there has been a recent push for more conversations and literature on social justice. However, disability has been largely left out of this dialogue. Disabled individuals have unique worldviews, and their voices as individuals and practitioners should be an integral part of social justice within music therapy. This study examined disabled music therapists' supervision experiences. All music therapists receive supervision during their education and clinical training, and many go on to supervise. Supervision therefore presents an opportunity to advance the profession by striving to understand disabled music therapists’ perspectives. The purpose of …
The Psalmodia Project, Saulo Moura
The Psalmodia Project, Saulo Moura
Theses and Dissertations--Music
The Psalmodia Project is a set of twelve compositions based on the text of preselected psalms from the Bible. The book of Psalms, part of the wisdom literature section of the Biblical Canon, is a kaleidoscope of human emotions with a total of 150 poems describing ancient Hebrew stories of faith full of plot nuances easily represented by musical expression. The compositions cover a large variety of musical genres, from Latin jazz to classical music, from small to large ensembles, with an instrumentation that employs sounds from all five different instrumental families: keyboards, strings, percussion (pitched and non-pitched), woodwinds, and …
Blocking The Acquisition Of Ethanol-Induced Conditioned Place Preference With 11, 21-Bisphenyl-19-Norpregnane (Pt150) In Coturnix Quail, Mia Radevski
Theses and Dissertations--Psychology
Alcohol use disorder (AUD) has been associated with a dysregulated stress system. Therefore, regulating stress hormones has been investigated as a potential therapeutic target for AUDs. The purpose of the current study was to investigate whether a stress hormone receptor antagonist, PT150, would block the rewarding properties of ethanol. Quail were used as subjects because a conditioned place preference (CPP) apparatus that utilized visual cues was used, and quail readily attend to visual cues. Visual cues in the environment have been shown to become associated with alcohol effects and later induce craving. Starting on day one, quail were pretreated with …
Improving Network Policy Enforcement Using Natural Language Processing And Programmable Networks, Pinyi Shi
Improving Network Policy Enforcement Using Natural Language Processing And Programmable Networks, Pinyi Shi
Theses and Dissertations--Computer Science
Computer networks are becoming more complex and challenging to operate, manage, and protect. As a result, Network policies that define how network operators should manage the network are becoming more complex and nuanced. Unfortunately, network policies are often an undervalued part of network design, leaving network operators to guess at the intent of policies that are written and fill in the gaps where policies don’t exist. Organizations typically designate Policy Committees to write down the network policies in the policy documents using high-level natural languages. The policy documents describe both the acceptable and unacceptable uses of the network. Network operators …
Supporting Stylized Language Models Using Multi-Modality Features, Chengxi Li
Supporting Stylized Language Models Using Multi-Modality Features, Chengxi Li
Theses and Dissertations--Computer Science
As AI and machine learning systems become more common in our everyday lives, there is an increased desire to construct systems that are able to seamlessly interact and communicate with humans. This typically means creating systems that are able to communicate with humans via natural language. Given the variance of natural language, this can be a very challenging task. In this thesis, I explored the topic of humanlike language generation in the context of stylized language generation. Stylized language generation involves producing some text that exhibits a specific, desired style. In this dissertation, I specifically explored the use of multi-modality …
Protocols And Architecture For Privacy-Preserving Authentication And Secure Message Dissemination In Vehicular Ad Hoc Networks, Shafika Showkat Moni
Protocols And Architecture For Privacy-Preserving Authentication And Secure Message Dissemination In Vehicular Ad Hoc Networks, Shafika Showkat Moni
Theses and Dissertations--Computer Science
The rapid development in the automotive industry and wireless communication technologies have enhanced the popularity of Vehicular ad hoc networks (VANETs). Today, the automobile industry is developing sophisticated sensors that can provide a wide range of assistive features, including accident avoidance, automatic lane tracking, semi-autonomous driving, suggested lane changes, and more. VANETs can provide drivers a safer and more comfortable driving experience, as well as many other useful services by leveraging such technological advancements. Even though this networking technology enables smart and autonomous driving, it also introduces a plethora of attack vectors. However, the main issues to be sorted out …
Smart Decision-Making Via Edge Intelligence For Smart Cities, Nathaniel Hudson
Smart Decision-Making Via Edge Intelligence For Smart Cities, Nathaniel Hudson
Theses and Dissertations--Computer Science
Smart cities are an ambitious vision for future urban environments. The ultimate aim of smart cities is to use modern technology to optimize city resources and operations while improving overall quality-of-life of its citizens. Realizing this ambitious vision will require embracing advancements in information communication technology, data analysis, and other technologies. Because smart cities naturally produce vast amounts of data, recent artificial intelligence (AI) techniques are of interest due to their ability to transform raw data into insightful knowledge to inform decisions (e.g., using live road traffic data to control traffic lights based on current traffic conditions). However, training and …
Matrix Interpretations And Tools For Investigating Even Functionals, Benjamin Stringer
Matrix Interpretations And Tools For Investigating Even Functionals, Benjamin Stringer
Theses and Dissertations--Computer Science
Even functionals are a set of polynomials evaluated on the terms of hollow symmetric matrices. Their properties lend themselves to applications such as counting subgraph embeddings in generic (weighted or unweighted) host graphs and computing moments of binary quadratic forms, which occur in combinatorial optimization. This research focuses primarily on counting subgraph embeddings, which is traditionally accomplished with brute-force algorithms or algorithms curated for special types of graphs. Even functionals provide a method for counting subgraphs algebraically in time proportional to matrix multiplication and is not restricted to particular graph types. Counting subgraph embeddings can be accomplished by evaluating a …
An Automated Framework To Debug System-Level Concurrency Failures, Tarannum Shaila Zaman
An Automated Framework To Debug System-Level Concurrency Failures, Tarannum Shaila Zaman
Theses and Dissertations--Computer Science
The ever-increasing parallelism in computer systems has made software more prone to concurrency failures, causing problems during both pre- and post-development. Debugging concurrent programs is difficult because of the non-deterministic behavior and the specific sequences of interleaving in the execution flow. Debugging is a technique where programmers reproduce the bug, identify the root cause, and then take necessary steps to remove the bug from the system. The failure information may come from the bug reports of the testing phase or the production runs. In both cases, there should be steps taken to reproduce and localize the failure. However, reproducing and …