Accuracy-Constrained Efficiency Optimization and GPU Profiling of CNN Inference for Detecting Drainage Crossing Locations (open access)

Accuracy-Constrained Efficiency Optimization and GPU Profiling of CNN Inference for Detecting Drainage Crossing Locations

Article describes how the accurate and efficient determination of hydrologic connectivity has garnered significant attention from both academic and industrial sectors due to its critical implications for environment management. To address these challenges, the focus of the author's study is on detecting drainage crossings through the application of advanced convolutional neural networks.
Date: November 12, 2023
Creator: Zhang, Yicheng; Pandey, Dhroov; Wu, Di; Kundu, Turja; Li, Ruopu & Shu, Tong
Object Type: Article
System: The UNT Digital Library
Pareto Optimization of CNN Models via Hardware-Aware Neural Architecture Search for Drainage Crossing Classification on Resource-Limited Devices (open access)

Pareto Optimization of CNN Models via Hardware-Aware Neural Architecture Search for Drainage Crossing Classification on Resource-Limited Devices

Article describes how embedded devices, constrained by limited memory and processors, require deep learning models to be tailored to their specifications. This research explores customized model architectures for classifying drainage crossing images.
Date: November 12, 2023
Creator: Li, Yuke; Baik, Jiwon; Rahman, Md Marufi; Anagnostopoulos, Iraklis; Li, Ruopu & Shu, Tong
Object Type: Article
System: The UNT Digital Library
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
Linguistically Motivated Features for Enhanced Back-of-the-Book Indexing (open access)

Linguistically Motivated Features for Enhanced Back-of-the-Book Indexing

This paper discusses linguistically motivated features for enhanced back-of-the-book indexing.
Date: June 2008
Creator: Csomai, Andras & Mihalcea, Rada, 1974-
Object Type: Paper
System: The UNT Digital Library
Solar Powered PIR Security System to Monitor Wildlife (open access)

Solar Powered PIR Security System to Monitor Wildlife

This poster discusses research on building a solar powered PIR security system to monitor wildlife. Researchers introduce the concept of off-grid wildlife video monitoring using a security system, a microcontroller, passive infrared motion sensor and the solar panels with a battery bank.
Date: 2013
Creator: Jones, Raechelle; Meyer, Chelsea; Wolf, Lori; Acevedo, Miguel F. & Williams, Jennifer
Object Type: Report
System: The UNT Digital Library