Deriving Theorems in Implicational Linear Logic, Declaratively (open access)

Deriving Theorems in Implicational Linear Logic, Declaratively

This article aims to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. It was presented at the 36th International Conference on Logic Programming (ICLP).
Date: September 19, 2020
Creator: Tarau, Paul & de Paiva, Valeria
Object Type: Article
System: The UNT Digital Library
Descriptive Complexity in Cantor Series (open access)

Descriptive Complexity in Cantor Series

Article discusses how a Cantor series expansion for a real number x with respect to a basic sequence Q=(q), where qi≥2, is a generalization of the base b expansion to an infinite sequence of bases. The authors show that for any basic sequence the set of distribution normal numbers is Π03-complete, and if Q is 1-divergent then the sets of normal and ratio normal numbers are Π03-complete.
Date: September 27, 2021
Creator: Airey, Dylan; Jackson, Steve & Mance, Bill
Object Type: Article
System: The UNT Digital Library
Developmental programming of DNA methylation and gene expression patterns is associated with extreme cardiovascular tolerance to anoxia in the common snapping turtle (open access)

Developmental programming of DNA methylation and gene expression patterns is associated with extreme cardiovascular tolerance to anoxia in the common snapping turtle

This article explores DNA methylation's role in the regulation of gene expression in reptiles. Results show that embryonic hypoxia programs DNA methylation and gene expression patterns and that these changes are associated with enhanced cardiac anoxia tolerance in snapping turtles later in life.
Date: September 6, 2021
Creator: Ruhr, Ilan; Bierstedt, Jacob; Rhen, Turk; Das, Debojyoti; Singh, Sunil Kumar; Miller, Solielle et al.
Object Type: Article
System: The UNT Digital Library
Dry blood spot samples to monitor immune-associated mRNA expression in intervention studies: Impact of Baker's yeast beta glucan (open access)

Dry blood spot samples to monitor immune-associated mRNA expression in intervention studies: Impact of Baker's yeast beta glucan

Article describes how monitoring immunological response to physical stressors in a field setting is challenging because existing methods require a laboratory visit and traditional blood collection via venipuncture. The purpose of this study was to determine if our optimized dry blood spot (DBS) methodology yields sufficient total RNA to quantify the effect of Baker's Yeast Beta Glucan supplementation on post-exercise mRNA expression.
Date: September 22, 2023
Creator: McFarlin, Brian K.; Bridgeman, Elizabeth A.; Vingren, Jakob L. & Will, David W.
Object Type: Article
System: The UNT Digital Library
Duals of Tirilman spaces have unique subsymmetric basic sequences (open access)

Duals of Tirilman spaces have unique subsymmetric basic sequences

Article describes how the Tirilman spaces were introduced by Casazza and Shura as variations of the spaces constructed by Tzafriri. We prove that all subsymmetric basic sequences in the dual space are equivalent to its canonical subsymmetic but not symmetric basis.
Date: September 5, 2023
Creator: Dilworth, Steven J.; Kutzarova, Denka; Sari, Bünyamin & Stankov, Svetozar
Object Type: Article
System: The UNT Digital Library
Ecological determinants of smart home ecosystems: A coopetition framework (open access)

Ecological determinants of smart home ecosystems: A coopetition framework

Article describing the strategic motivations and critical factors involved in the competition-based evolution of smart home ecosystems from early to growth phases, leading to a decision among the largest competitors to engage in coopetition.
Date: September 8, 2021
Creator: Struckell, Elisabeth; Ojha, Divesh; Patel, Pankaj C. & Dhir, Amandeep
Object Type: Article
System: The UNT Digital Library
Educación, Ecoturismo y Conservación Biocultural en los Bosques en Miniatura Del Cabo de Hornos (open access)

Educación, Ecoturismo y Conservación Biocultural en los Bosques en Miniatura Del Cabo de Hornos

Article demonstrates that using Field Environmental Philosophy (FEP) methodology, inconspicuous species can be made visible and their ecological, ethical, aesthetic, and economic values can be recognized by citizens.
Date: September 12, 2020
Creator: Rozzi, Ricardo, 1960-; Medina, Yanet & Massardo, Francisca
Object Type: Article
System: The UNT Digital Library
Electroencephalogram Signals for Detecting Confused Students in Online Education Platforms with Probability-Based Features (open access)

Electroencephalogram Signals for Detecting Confused Students in Online Education Platforms with Probability-Based Features

Article discusses how despite the advantages of online education, it lacks face-to-face settings, which makes it very difficult to analyze the students’ level of interaction, understanding, and confusion. This study proposes a novel engineering approach that uses probability-based features (PBF) for increasing the efficacy of machine learning models.
Date: September 9, 2022
Creator: Daghriri, Talal; Rustam, Furqan; Aljedaani, Wajdi; Bashiri, Abdullateef H. & Ashraf, Imran
Object Type: Article
System: The UNT Digital Library

End of Term Web Archive and Datasets in the Cloud

Presentation discussing the End of Term Web Archive project and progress of moving EOT datasets to the AWS S3 cloud.
Date: September 1, 2022
Creator: Phillips, Mark Edward & Alam, Sawood
Object Type: Presentation
System: The UNT Digital Library
Enhancement of COVID-19 Diagnosis using Machine Learning and Texture Analyses of Lung Imaging (open access)

Enhancement of COVID-19 Diagnosis using Machine Learning and Texture Analyses of Lung Imaging

Article proposing CoviSegNet, an enhanced U-Net model to segment ground-glass opacities and consolidations in CT scans of Covid-19 positive patients. The performance of CoviSegNet was evaluated on three public CT datasets. The experimental results show that the proposed CoviSegNet is highly promising.
Date: 2021-09-13/2021-09-15
Creator: Oh, JungHwan & Mittal, Bhuvan
Object Type: Article
System: The UNT Digital Library
Estimating landscape structure effects on pollination for management of agricultural landscapes (open access)

Estimating landscape structure effects on pollination for management of agricultural landscapes

Article estimating the effects of different scenarios of forest fragmentation to find an optimized pattern of forest patches for increasing pollination in an agricultural landscape. The authors use simulated agricultural landscapes and landscape metrics to estimate the relationship between pollination and landscape structure.
Date: September 7, 2021
Creator: Rahimi, Ehsan; Barghjelveh, Shahindokht & Dong, Pinliang
Object Type: Article
System: The UNT Digital Library
Evaluation of pathways to the C-glycosyl isoflavone puerarin in roots of kudzu (Pueraria montana lobata) (open access)

Evaluation of pathways to the C-glycosyl isoflavone puerarin in roots of kudzu (Pueraria montana lobata)

Article describes how kudzu produces both O- and C-glycosylated isoflavones, with puerarin (C-glucosyl daidzein) as an important bioactive compound. The authors go on to explain how expression of recombinant UGTs in Escherichia coli and candidate C-glycosyltransferases in Medicago truncatula were used to explore substrate specificities, and gene silencing of UGT and key isoflavone biosynthetic genes in kudzu hairy roots employed to test hypotheses concerning the substrate(s) for C-glycosylation.
Date: September 2, 2022
Creator: Adolfo, Laci M.; Burks, David J.; Rao, Xiaolan; Alvarez-Hernandez, Anislay & Dixon, R. A.
Object Type: Article
System: The UNT Digital Library
Event-Driven Deep Learning for Edge Intelligence (EDL-EI) (open access)

Event-Driven Deep Learning for Edge Intelligence (EDL-EI)

Article on deep-learning framework for edge intelligence EDL-EI (event-driven deep learning for edge intelligence). To verify the proposed framework, the authors include a case study of air-quality scenarios based for the most polluted cities in South Korea and China.
Date: September 8, 2021
Creator: Shah, Sayed Khushal; Tariq, Zeenat; Lee, Jeehwan & Lee, Yugyung
Object Type: Article
System: The UNT Digital Library
Examining physical activity and quality of life in adults with autism spectrum disorder and intellectual disability (open access)

Examining physical activity and quality of life in adults with autism spectrum disorder and intellectual disability

Article discusses how quality of life and physical activity relate to each other in adults with autism and intellectual disabilities. The authors use Fitbit activity trackers to find connections between physical activity and quality of life of their sample group of autistic adults.
Date: September 13, 2021
Creator: Tomaszewski, Brianne; Savage, Melissa N. & Hume, Kara
Object Type: Article
System: The UNT Digital Library
Excited State Charge Separation in an Azobenzene-Bridged Perylenediimide Dimer – Effect of Photochemical Trans-Cis Isomerization (open access)

Excited State Charge Separation in an Azobenzene-Bridged Perylenediimide Dimer – Effect of Photochemical Trans-Cis Isomerization

Article demonstrating photoinduced charge transfer and separation events in a newly synthesized azobenzene-bridged perylenediimide-dimer (PDI-dimer). Results offer key insights on the role of the azobenzene bridge and the dimer geometry in governing the excited state charge transfer and separation in symmetrically linked PDI dimer.
Date: September 20, 2021
Creator: Zink-Lorre, Nathalie; Seetharaman, Sairaman; Gutiérrez-Moreno, David; Fernández-Lázaro, Fernando; Karr, Paul A. & D'Souza, Francis
Object Type: Article
System: The UNT Digital Library

Expanding Access to Oklahoma Newspapers: The Gateway to Oklahoma History

Presentation highlighting the partnership between the University of North Texas Libraries' Digital Library and the Oklahoma Historical Society to digitize Oklahoma newspapers and make them accessible online through the Gateway to Oklahoma History. It was presented at the 2021 National Digital Newspaper Program (NDNP) Awardee Conference held virtually by the Library of Congress on September 9 and 13-16, 2021.
Date: September 14, 2021
Creator: Fisher, Sarah Lynn & Biller, Sarah
Object Type: Presentation
System: The UNT Digital Library
Formal oxo- and aza-[3 + 2] reactions of α-enaminones and quinones: a double divergent process and the roles of chiral phosphoric acid and molecular sieves (open access)

Formal oxo- and aza-[3 + 2] reactions of α-enaminones and quinones: a double divergent process and the roles of chiral phosphoric acid and molecular sieves

Article develops a double divergent process for the reaction of α-enaminones with quinones through facile manipulation of catalyst and additive, leading to structurally completely different products.
Date: September 21, 2020
Creator: Luo, Weiwei; Sun, Zhicheng; Fernando, E. H. Nisala; Nesterov, Vladimir N.; Cundari, Thomas R., 1964- & Wang, Hong
Object Type: Article
System: The UNT Digital Library
Functional Carbon Capsules Supporting Ruthenium Nanoclusters for Efficient Electrocatalytic 99TcO4-/ReO4 Removal from Acidic and Alkaline Nuclear Wastes (open access)

Functional Carbon Capsules Supporting Ruthenium Nanoclusters for Efficient Electrocatalytic 99TcO4-/ReO4 Removal from Acidic and Alkaline Nuclear Wastes

Article describes how the selective removal of the β-emitting pertechnetate ion (99TcO4−) from nuclear waste streams is technically challenging. In this article, a practical approach is proposed for the selective removal of 99TcO4− (or its surrogate ReO4−) under extreme conditions of high acidity, alkalinity, ionic strength, and radiation field.
Date: September 10, 2023
Creator: Liu, Xiaolu; Xie, Yinghui; Li, Yang; Hao, Mengjie; Chen, Zhongshan; Yang, Hui et al.
Object Type: Article
System: The UNT Digital Library
A gene-editing/complementation strategy for tissue-specific lignin reduction while preserving biomass yield (open access)

A gene-editing/complementation strategy for tissue-specific lignin reduction while preserving biomass yield

This article develops a method, using a single DNA construct that uses CRISPR–Cas9 gene editing to knock-out expression of an endogenous gene of lignin monomer biosynthesis while at the same time expressing a modified version of the gene’s open reading frame that escapes cutting by the Cas9 system and complements the introduced mutation in a tissue-specific manner. This method is applicable to any plant species in which transformation and gene editing are feasible and validated vessel-specific promoters are available.
Date: September 3, 2021
Creator: Yu, Hasi; Liu, Chang & Dixon, R. A.
Object Type: Article
System: The UNT Digital Library
Gene-Level Analysis of Anthracycline-Induced Cardiomyopathy in Cancer Survivors (open access)

Gene-Level Analysis of Anthracycline-Induced Cardiomyopathy in Cancer Survivors

Article describes how anthracyclines are highly effective in treating cancer, despite increased risk of cardiomyopathy. This study examined gene-level associations with cardiomyopathy among cancer survivors using whole-exome sequencing data.
Date: September 12, 2023
Creator: Sharafeldin, Noha; Zhou, Liting; Singh, Purnima; Crossman, David K.; Wang, Xuexia; Hagerman, Lindsey et al.
Object Type: Article
System: The UNT Digital Library
GlobeChain: An Interoperable Blockchain for Global Sharing of Healthcare Data - A COVID-19 Perspective (open access)

GlobeChain: An Interoperable Blockchain for Global Sharing of Healthcare Data - A COVID-19 Perspective

Article introducing a Blockchain-based medical data-sharing framework (called GlobeChain) to overcome the technical challenges to handle outbreak records. The challenges that might arise due to the proposed Blockchain-based framework are also presented as a future direction that grabs the proposal's effectiveness. This is the accepted manuscript version of the article.
Date: September 1, 2021
Creator: Biswas, Sujit; Li, Fan; Latif, Zohaib; Sharif, Kashif; Bairagi, Anupam K. & Mohanty, Saraju P.
Object Type: Article
System: The UNT Digital Library
Habitat amount or landscape configuration: Emerging HotSpot analysis reveals the importance of habitat amount for a grassland bird in South Dakota (open access)

Habitat amount or landscape configuration: Emerging HotSpot analysis reveals the importance of habitat amount for a grassland bird in South Dakota

The authors of the article used pheasants (Phasianus colchicus) across South Dakota, USA as a model species to identify environmental factors driving spatiotemporal variation in population productivity. They found that the amount of grassland at a local spatial scale was the primary factor influencing an area being a HotSpot.
Date: September 26, 2022
Creator: Harsh, Sprih; Lonsinger, Robert C. & Gregory, Andrew
Object Type: Article
System: The UNT Digital Library
Holistic Collection Assessment (open access)

Holistic Collection Assessment

This report asserts that the UNT Libraries has been making efforts to address the vestiges of systemic oppression of socially and politically minoritized populations. The project team members conducted a survey and a focus group, and they consulted with an advisory group consisting of representatives from the library, student affairs, and the professorate.
Date: September 30, 2022
Creator: Byrne, Sephra; Harker, Karen; Leuzinger, Julie & Rich, Jack
Object Type: Report
System: The UNT Digital Library
Influence of high heating rates on evolution of oxides on directed laser energy additively fabricated IN718 (open access)

Influence of high heating rates on evolution of oxides on directed laser energy additively fabricated IN718

Article studying material response under dynamic short duration-high temperature oxidation.
Date: September 1, 2021
Creator: Mazumder, Sangram
Object Type: Article
System: The UNT Digital Library