Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 9961 - 9990 of 1103260

Full-Text Articles in Entire DC Network

Caldwell Integrated Energy Resilience System (Ciers), Michael Victor Caldwell Mr. Jun 2026

Caldwell Integrated Energy Resilience System (Ciers), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Integrated Energy Resilience System (CIERS) is a conceptual open-hardware framework intended to organize previously disclosed Technical Disclosure Commons (TDC) inventions related to energy harvesting, energy storage, thermal management, structural energy systems, intelligent power management, distributed infrastructure, and waste-energy recovery.

The framework seeks to improve overall energy-system efficiency through integration of multiple complementary technologies rather than reliance upon a single energy source or device.

The objective is to increase resilience, efficiency, sustainability, and adaptability across future energy systems.

IMPORTANT NOTE REGARDING PRIOR DISCLOSURES

Readers are encouraged to review the original Technical Disclosure Commons publications for detailed subsystem descriptions, assumptions, …


Caldwell Integrated Process Chemistry Platform (Cipcp), Michael Victor Caldwell Mr. Jun 2026

Caldwell Integrated Process Chemistry Platform (Cipcp), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Integrated Process Chemistry Platform (CIPCP) is a conceptual open-hardware framework intended to organize previously disclosed Technical Disclosure Commons (TDC) inventions related to vortex processing, cavitation systems, microbubble conditioning, plasma-assisted treatment, resource recovery, water treatment, fuel conditioning, and industrial process optimization.

Rather than focusing on the invention of new chemical compounds, CIPCP focuses on improving the efficiency, sustainability, and effectiveness of existing chemical and industrial processes through advanced physical conditioning and process-integration approaches.

The framework is intended for research, discussion, and engineering exploration only.

IMPORTANT NOTE REGARDING PRIOR DISCLOSURES

Readers are encouraged to review the original Technical Disclosure Commons …


Caldwell Integrated Space Resilience Architecture (Cisra), Michael Victor Caldwell Mr. Jun 2026

Caldwell Integrated Space Resilience Architecture (Cisra), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Integrated Space Resilience Architecture (CISRA) is a conceptual open-hardware framework intended to organize previously disclosed Technical Disclosure Commons (TDC) inventions related to launch systems, orbital debris mitigation, communications, thermal management, environmental control and life support, energy systems, and long-duration space operations.

The architecture seeks to address several long-term challenges associated with humanity's expansion into space:

• launch cost • orbital congestion • debris accumulation • thermal management • communications capacity • life-support sustainability • resource efficiency

The purpose of this disclosure is to establish a conceptual framework showing how multiple previously disclosed inventions may interact within a larger …


Caldwell Integrated Compute Infrastructure System (Cicis), Michael Victor Caldwell Mr. Jun 2026

Caldwell Integrated Compute Infrastructure System (Cicis), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Integrated Compute Infrastructure System (CICIS) is an open-hardware conceptual framework intended to organize previously disclosed Technical Disclosure Commons (TDC) inventions related to semiconductor packaging, thermal management, optical communications, structural battery integration, intelligent sensing, and high-density computing infrastructure.

The architecture is designed to address some of the major constraints facing future computing systems:

• heat removal • power delivery • communication bandwidth • packaging density • infrastructure efficiency • system reliability

The purpose of this disclosure is to establish a conceptual framework showing how previously disclosed inventions may interact within a larger computing ecosystem.

IMPORTANT NOTE REGARDING PRIOR DISCLOSURES …


Caldwell Integrated Non-Invasive Health Resilience System (Cinhrs), Michael Victor Caldwell Mr. Jun 2026

Caldwell Integrated Non-Invasive Health Resilience System (Cinhrs), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Integrated Non-Invasive Health Resilience System (CINHRS) is a conceptual open-hardware framework intended to organize numerous previously disclosed Technical Disclosure Commons (TDC) medical inventions into a unified ecosystem.

The architecture focuses on non-invasive or minimally invasive approaches to monitoring, diagnostics, targeted delivery, physiological support, and long-term health resilience.

The system is not a medical device and is not intended for clinical use without extensive independent engineering, laboratory, regulatory, and clinical validation.

The purpose of this disclosure is to establish a conceptual framework showing how multiple previously disclosed inventions may interact within a larger health-support architecture.

IMPORTANT NOTE REGARDING PRIOR …


Caldwell Integrated Food Resilience System (Cifrs), Michael Victor Caldwell Mr. Jun 2026

Caldwell Integrated Food Resilience System (Cifrs), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Integrated Food Resilience System (CIFRS) is an open-hardware conceptual architecture intended to increase food production in water-limited, climate-challenged, and resource-constrained environments.

The system integrates previously disclosed Technical Disclosure Commons (TDC) inventions involving atmospheric water harvesting, agricultural microclimate management, seed conditioning, nutrient recovery, fertilizer production, wastewater recovery, soil enhancement, and environmental control.

The objective is not merely to grow crops, but to establish resilient food-production ecosystems capable of operating in deserts, drought-prone regions, degraded soils, disaster zones, and emerging agricultural frontiers.

IMPORTANT NOTE REGARDING PRIOR DISCLOSURES

Many of the subsystems described herein are based upon previously disclosed public-domain inventions …


Caldwell Integrated Water Resilience System (Ciwrs), Michael Victor Caldwell Mr. Jun 2026

Caldwell Integrated Water Resilience System (Ciwrs), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Integrated Water Resilience System (CIWRS) is an open-hardware conceptual architecture designed to maximize usable water availability through a combination of water generation, purification, conservation, reuse, recovery, storage, and distribution technologies.

Rather than focusing on a single source of water, CIWRS integrates multiple independent water pathways into a unified resilience platform capable of serving communities, agriculture, industry, disaster-relief operations, and remote locations.

The architecture combines previously disclosed TDC inventions with conventional engineering approaches to create a layered water-security framework.

DESIGN PHILOSOPHY

The safest water is often not newly created water.

The most economical water is often recovered water.

The …


Caldwell Mobile Landfill Reclamation System (Cmlrs), Michael Victor Caldwell Mr. Jun 2026

Caldwell Mobile Landfill Reclamation System (Cmlrs), Michael Victor Caldwell Mr.

Defensive Publications Series

The Caldwell Mobile Landfill Reclamation System (CMLRS) is a conceptual open-hardware architecture for recovering valuable materials from active and closed landfill sites while simultaneously reclaiming land, reducing environmental liabilities, and generating multiple revenue streams.

Unlike conventional landfill-mining systems that focus primarily on recovery of steel and aluminum, the CMLRS architecture combines proven commercial metal-recovery methods with a secondary resource-refinement platform derived from numerous previously disclosed Technical Disclosure Commons (TDC) inventions authored by Michael V. Caldwell.

The architecture is intentionally modular and transportable using conventional semi-trailers, flatbeds, roll-on/roll-off containers, and skid-mounted systems.

The primary objective is not merely metal recovery, but …


Harmonic Rescue Lantern (Hrl), Michael Victor Caldwell Mr. Jun 2026

Harmonic Rescue Lantern (Hrl), Michael Victor Caldwell Mr.

Defensive Publications Series

The Harmonic Rescue Lantern (HRL) is a grapefruit‑sized, passive, quasicrystalline survival device designed to increase human survivability in aquatic and terrestrial emergencies without requiring power, electronics, fuel, or moving parts. The HRL integrates a hollow icosahedrally derived quasicrystalline shell, a tension‑balanced internal lattice, a passive acoustic resonator, and a thermal boundary‑layer geometry to provide four simultaneous life‑supportive functions: omnidirectional optical scattering, enhanced acoustic signaling, buoyant high‑visibility flotation, and localized thermal stabilization.

The HRL is optimized for oceans, lakes, rivers, streams, and floodwaters, where conventional signaling tools often fail due to battery loss, corrosion, or mechanical damage. Any available light source—sunlight, …


Icosahedral Quasicrystalline Monolith (Iqm), Michael Victor Caldwell Mr. Jun 2026

Icosahedral Quasicrystalline Monolith (Iqm), Michael Victor Caldwell Mr.

Defensive Publications Series

The Icosahedral Quasicrystalline Monolith (IQM) is a macro‑scale, icosahedrally symmetric, aperiodic quasicrystalline metamaterial designed to exhibit topological resonance, scale‑invariant behavior, field stabilization, and analog physical computation.

The IQM is released freely as a conceptual online invention, intended for global scientific study, fabrication, and experimentation.

This document provides complete build specifications, materials, CAD constraints, ASCII blueprint diagrams, fabrication steps, safety guidelines, laboratory testing protocols, validation criteria, and performance comparisons enabling any qualified research group to fabricate and study the IQM immediately using commercially available tools.

The IQM is intended for open exploration in acoustic metamaterials, topological physics, electromagnetic field control, analog …


Dynamic Credit Limit Adjustment Based On Latency Jitter Metrics, Harshwardhan Tripathi Jun 2026

Dynamic Credit Limit Adjustment Based On Latency Jitter Metrics, Harshwardhan Tripathi

Defensive Publications Series

A method for dynamically adjusting an agent's credit limit based on network latency jitter metrics includes collecting a plurality of latency measurements corresponding to acknowledgment messages transmitted by an agent over a network within a defined time window, computing a coefficient of variation based on the plurality of latency measurements where the coefficient of variation represents variability in latency, determining a jitter risk score based on the computed coefficient of variation and a predefined stability threshold where the jitter risk score is bounded within a normalized range, calculating a credit decay factor as an exponential function of the jitter risk …


Vectorized Pipeline For Real‑Time Lock‑In Amplification On Microcontrollers, Gary Cheng Jun 2026

Vectorized Pipeline For Real‑Time Lock‑In Amplification On Microcontrollers, Gary Cheng

Defensive Publications Series

Lock‑in amplification involves extracting weak signals from background noise, a process that traditionally utilizes computationally intensive floating‑point operations. Performing these operations on standard microcontrollers frequently causes central processing unit (CPU) saturation. The disclosed system provides a vectorized data pipeline that structures digital signal processing tasks to natively utilize internal hardware multiply‑accumulate instructions within a microcontroller. To bypass runtime floating‑point trigonometry, a pre‑computed integer look‑up table and a phase accumulator generate reference waveforms. Further, a scaling recovery algorithm mathematically restores absolute physical units following high‑speed hardware vector bit‑shifts. Consequently, the disclosed system facilitates real‑time, phase‑sensitive signal extraction on resource‑constrained microcontrollers, decreasing …


Dynamic Programming For Post‑Route Power Delivery Network Augmentation, Prateek Pendyala, Vishant Gotra Jun 2026

Dynamic Programming For Post‑Route Power Delivery Network Augmentation, Prateek Pendyala, Vishant Gotra

Defensive Publications Series

Modern high‑performance integrated circuits frequently experience localized dynamic voltage drop hotspots due to accumulated peak currents in congested layout regions. Traditional post‑route power grid augmentation approaches may encounter limitations due to routing blockages and a lack of available placement sites. The disclosed method provides a track‑aware standard cell repositioning technique that treats a post‑route layout database as a primary constraint and standard cell locations as adjustable variables. A computing device executing a dynamic programming algorithm scans lower‑level metal tracks to identify continuous vertical routing corridors. It then calculates localized standard cell displacements to accommodate the insertion of new power grid …


Predictive Workload Modeling And Voltage Scaling Using Event‑Driven Workload Queue Telemetry, Girish Vv Jun 2026

Predictive Workload Modeling And Voltage Scaling Using Event‑Driven Workload Queue Telemetry, Girish Vv

Defensive Publications Series

Conventional power management methods for processors may be reactive, adjusting frequency only after a computing device exceeds utilization thresholds. This reactive lag may result in increased latency for sudden workload bursts and allow low‑priority background tasks to trigger voltage increases. This publication describes a predictive frequency scaling method based on real‑time introspection of operating system workqueues. Implementing the method, a computing device may extract internal statistics (e.g., queue depth, task wait times) through event‑driven kernel tracepoints. The computing device can identify task priorities by resolving function pointers and incorporating application‑level telemetry. The computing device then generates a predictive workload index …


Non-Invasive Adaptive Posterior Ocular Transport System (Apots-Ω V1.0) A Closed-Loop Multimodal Acoustic-Hydrogel-Nanocarrier Platform For Macula-Targeted Eye-Drop Delivery, Michael Victor Caldwell Mr. Jun 2026

Non-Invasive Adaptive Posterior Ocular Transport System (Apots-Ω V1.0) A Closed-Loop Multimodal Acoustic-Hydrogel-Nanocarrier Platform For Macula-Targeted Eye-Drop Delivery, Michael Victor Caldwell Mr.

Defensive Publications Series

The APOTS-Ω v1.0 platform is a conceptual, non-invasive, closed-loop ocular transport system designed to enhance the posterior delivery of topically applied therapeutics to the macular region of the eye without intra-vitreal injection. The system combines low-energy phased ultrasound, adaptive vortex-mode acoustic transport, conductive hydrogel coupling interfaces, smart nanoparticle eye-drop carriers, thermal-stabilizing biointerfaces, and real-time safety monitoring into a unified transport-conditioning architecture.

Unlike conventional ultrasound drug-delivery concepts that rely primarily on brute-force permeability enhancement, APOTS-Ω is designed around controlled transport engineering using low-intensity adaptive fields, posterior-biased streaming geometries, delayed-release nanocarriers, and distributed safety feedback systems. The platform seeks to improve posterior …


Generating Structured Responses From Large Language Models For Client-Side Updates, Duc-Hieu Tran, Florian Hartmann Jun 2026

Generating Structured Responses From Large Language Models For Client-Side Updates, Duc-Hieu Tran, Florian Hartmann

Defensive Publications Series

Interactive systems using large language models (LLMs) may experience inefficiencies where a user edit to a query can trigger a re-inference process, consuming resources and increasing latency. A backend system can predict potentially editable components in a user's query. An LLM may then generate a structured response containing static text and executable client-side functions or tool calls corresponding to these predicted components. A client device, such as a smartphone or personal computer, can parse this response to render an interactive interface. This can allow user modifications to interactive components to be processed locally on the client device, which may reduce …


Scalable Per-Scene Media Signal Generation Using Configurable Signal Extraction Algorithms, Pooja Verlani, Balu Adsumilli, Shruti Kanetkar Jun 2026

Scalable Per-Scene Media Signal Generation Using Configurable Signal Extraction Algorithms, Pooja Verlani, Balu Adsumilli, Shruti Kanetkar

Defensive Publications Series

This document describes a distributed computing platform for automatically performing feature extraction, signal extraction, and/or metadata extraction from large collections of media files, including videos, audio recordings, and multimedia content. A cloud-based processing system is described that uses a “Bring-Your-Own-Signal” framework to enable developers to submit custom extraction programs, algorithms, machine learning models, or processing graphs directly into the central management system. The system automatically validates and sets up submitted extraction algorithms for use. The system may support resource sharing and improve scalability by dispatching extraction tasks to execute on client-provided hardware, and receiving, from the client-provided hardware, only the …


Defensive Publication Concerning Electrical Machines, Optionally With Externally Pressurized Fluid Bearings, For Wind Power Generation And Marine Propulsion, Per Lenberg Jun 2026

Defensive Publication Concerning Electrical Machines, Optionally With Externally Pressurized Fluid Bearings, For Wind Power Generation And Marine Propulsion, Per Lenberg

Defensive Publications Series

This disclosure relates to application systems comprising an electrical machine having a rotor, a stator, one or more windings, and optionally one or more externally pressurized fluid bearings configured to maintain a fluid film between movable and stationary machine parts. In particular, the disclosure describes use of such electrical machines as motors, motor- generators or generators in wind turbines and wind power plants, and as motors, motor- generators or generators in marine propulsion systems, including pod propulsion systems, azimuthing thrusters, tunnel thrusters, rim-driven propulsors, shaft-line propulsion systems, pump jets, and water jets. The electrical machine may comprise an axial flux, …


Student Perceptions Of Artificial Intelligence: A Freelisting Study, Gary Kaplan, Mslis, Ahip, Jessica G. Hamilton, Mls, Rebecca Miller, Mlis, Rosemary Frasso, Phd, Cph Jun 2026

Student Perceptions Of Artificial Intelligence: A Freelisting Study, Gary Kaplan, Mslis, Ahip, Jessica G. Hamilton, Mls, Rebecca Miller, Mlis, Rosemary Frasso, Phd, Cph

Thomas Jefferson University Faculty Days

Background

Librarians typically provide guest lectures on topics in information literacy, connecting students to the scholarly literature. Hervieux & Wheatley’s Six Frames for AI Literacy emphasize the need to engage in AI discourse. As artificial intelligence changes the way students often interact with information, librarians must adjust their approach, whether changing the framing while retaining the traditional content, or changing the content. In the 2025-26 academic year, we experimented with various approaches. Here we describe a brief freelisting exercise we conducted before the lessons to surface students’ perceptions of artificial intelligence.


An Oral History Study: The Relationship Between Curriculum And Social And Cultural Capital In The New Orleans School System, Alaina Gaugis Carter Jun 2026

An Oral History Study: The Relationship Between Curriculum And Social And Cultural Capital In The New Orleans School System, Alaina Gaugis Carter

Doctoral Dissertations

This oral history study examines how high school academic experiences in New Orleans public and charter schools have shaped graduates’ preparedness for adulthood, active citizenship, and participation as productive members of society. This study explores the relationship between curriculum, particularly scripted curriculum, and the development of social and cultural capital. The research critiques neoliberal education reforms that prioritize accountability, standardization, and market-based outcomes over relational and community-centered learning. Using oral history methodology and the currere method, semi-structured interviews were conducted with twelve New Orleans high school alumni who graduated both before and after Hurricane Katrina from public, charter, and parochial …


An Exploration Of Variables Related To Gender Role Differences And Social Relationships Among Nontraditional Bachelor's Degree Recipients, Cynthia Bourgeois Bergeron Jun 2026

An Exploration Of Variables Related To Gender Role Differences And Social Relationships Among Nontraditional Bachelor's Degree Recipients, Cynthia Bourgeois Bergeron

Doctoral Dissertations

The goal of this study was to examine variables that speak to gender role differences among nontraditional bachelor’s degree recipients aged 30 to 49. These issues are particularly relevant given enrollment trends showing that the diversification of bachelor’s degree seekers has outpaced the policies and norms of traditional undergraduate education. A nonexperimental, correlational research design was employed using chi-square tests and Cramer’s V as post-hoc measures on categorical data from the 2012, 2014, and 2016 General Social Survey. Shaped by Gilligan’s moral development theory, several social variables were included in the analysis. Two statistically significant associations emerged: women earning bachelor’s …


Investigations Of Carbon Dioxide Storage In Low-Temperature Reservoirs For Non-Leaking Storage, Md Nahin Mahmood Jun 2026

Investigations Of Carbon Dioxide Storage In Low-Temperature Reservoirs For Non-Leaking Storage, Md Nahin Mahmood

Doctoral Dissertations

Carbon dioxide (CO₂) injection into subsea or low-temperature water zones has emerged as a promising strategy for long-term, non-leaking CO₂ storage through the formation of solid hydrates. This research investigates CO₂ injection into Berea sandstone cores saturated with water under simulated subsea conditions, focusing on hydrate formation behavior across varying temperatures, pressures, and injection flow rates. Experimental results demonstrate that CO₂ hydrate formation under dynamic (flowing) conditions occurs at significantly higher pressure compared to static conditions reported previously. At temperatures ranging from 0 °C to 5 °C, dynamic hydrate formation pressures were observed to be approximately double. This can be …


Strang-Type Exponential Integrators For Stiff Reaction-Diffusion Systems, Saburi Tolulope Rasheed Jun 2026

Strang-Type Exponential Integrators For Stiff Reaction-Diffusion Systems, Saburi Tolulope Rasheed

Doctoral Dissertations

Reaction-diffusion systems, as examples of semilinear parabolic partial differential equations, have played significant roles in the mathematical modeling of physical, chemical, and biological processes. Several reaction-diffusion systems typically do not have exact solutions in closed form, and numerically solving them also comes with challenges due to the presence of the nonlinear local interaction/chemical reaction dynamics representing the reaction term, coupling between components, multidimensionality of the diffusion operator, and stiffness of the diffusion and/or reaction terms. Wederive and analyze several second-order accurate exponential integrators of the Strang type for the time discretization of stiff reaction-diffusion systems. We utilize the finite difference …


Building And Restoring Trust In Deep Learning: From Multimodal Sensing To Generative Synthesis And Model Integrity, Liqun Shan Jun 2026

Building And Restoring Trust In Deep Learning: From Multimodal Sensing To Generative Synthesis And Model Integrity, Liqun Shan

Doctoral Dissertations

Deep learning has become a foundational technology for modern intelligent systems used in sensing, authentication, media generation, and automated decision-making. As these systems are increasingly deployed in security- and privacy-sensitive settings, ensuring their trustworthiness has become a critical challenge. Yet deep learning models remain vulnerable to spoofed sensory inputs, synthetic media, and malicious behaviors hidden within trained networks. These vulnerabilities undermine reliability and raise serious concerns about whether such systems can be trusted under adversarial and deceptive scenarios. This dissertation investigates how to build and restore trust in deep learning across three tightly connected dimensions: multimodal sensing, generative authenticity, and …


A Qualitative Study Examining Teachers' Knowledge And Awareness In Recognizing The Characteristics Of Twice Exceptional Learners: An Underrepresented And Underserved Population, Adrianne Monique Williams Jun 2026

A Qualitative Study Examining Teachers' Knowledge And Awareness In Recognizing The Characteristics Of Twice Exceptional Learners: An Underrepresented And Underserved Population, Adrianne Monique Williams

Doctoral Dissertations

Over the past 30 years, research on twice exceptional learners has been gradually increasing, however, knowledge and awareness of the information in the educational community have been slowly evolving (Bailey & Rose, 2011; Baum, 2004). Outwardly, twice exceptional students may present as typical. Still, they face many unique challenges that include academic achievement, social awkwardness, executive functioning deficits, social communication challenges, and teachers who are not aware and trained to meet the atypical needs of these students. Researchers and practitioners are becoming increasingly aware of the underrepresentation that plagues gifted and talented programs, especially concerning twice exceptional students, and students …


Multidomain Modeling And Ramp-Aware Forecasting Of Floating Photovoltaic Systems For Water-Energy Nexus Applications, Md Atiqur Rahaman Jun 2026

Multidomain Modeling And Ramp-Aware Forecasting Of Floating Photovoltaic Systems For Water-Energy Nexus Applications, Md Atiqur Rahaman

Doctoral Dissertations

Floating photovoltaic (FPV) systems have become a transformative renewable energy technology because of their cooling effects on PV performance and ability to prevent water evaporation in land-constrained areas. Although FPV systems have the potential to become a commercially viable technology, their large-scale deployment remains constrained by uncertainties in thermal behavior, sustainability, and grid-operational variability. This dissertation identifies and characterizes these three key issues and presents an integrated, measurement-based evaluation of a 130 kW FPV installation located at the Passaúna reservoir in Brazil. In the first contribution, four temperature models, including physical and empirical models, were developed and comparatively evaluated to …


The Promise And The Punishment: A Critical Analysis Of Pbis At The Intersection Of State Discipline Policies In Louisiana, Ashley D. Willis-Brooks Jun 2026

The Promise And The Punishment: A Critical Analysis Of Pbis At The Intersection Of State Discipline Policies In Louisiana, Ashley D. Willis-Brooks

Doctoral Dissertations

Positive Behavioral Interventions and Supports (PBIS) emerged as a preventative instructional alternative to exclusionary and punitive school discipline practices emphasizing tiered systems of support, data-based decision making, and proactive behavioral instruction. Despite its strong theoretical foundation and widespread adoption, PBIS implementation has produced uneven outcomes, particularly in policy contexts where state discipline statutes continue to authorize exclusionary practices. In Louisiana, PBIS is promoted through state guidance as an evidence-based framework; however, governing discipline policies simultaneously permit suspension, expulsion, and zero-tolerance provisions. This coexistence raises critical questions regarding alignment, coherence, and equity within the state’s discipline system. The purpose of this …


Learning And Predicting The Performance Of Gradual Type System, Mohammad Wahiduzzaman Khan Jun 2026

Learning And Predicting The Performance Of Gradual Type System, Mohammad Wahiduzzaman Khan

Doctoral Dissertations

Gradual typing reconciles the complementary strengths of static and dynamic typing by allowing programmers to incrementally introduce type annotations while preserving the flexibility of dynamically typed code. This approach improves reliability, documentation, and tooling support without sacrificing rapid prototyping. To ensure soundness, gradual type systems enforce annotations through runtime checks, typically implemented via cast insertion. Although these checks guarantee correctness, they can introduce substantial and highly variable runtime overhead, making performance prediction and optimization a central challenge for practical adoption. Prior work has largely focused on coarse-grained (macro-level) configurations, where entire modules are either fully typed or untyped. While such …


Learning From Extremes: A Copula-Based Feature Selection Framework For Machine Learning-Driven Risk Prediction, Agnideep Aich Jun 2026

Learning From Extremes: A Copula-Based Feature Selection Framework For Machine Learning-Driven Risk Prediction, Agnideep Aich

Doctoral Dissertations

Reliable feature selection is crucial for building interpretable and practical risk models, particularly when decisions depend on identifying the highest-risk groups rather than relying on average trends. This dissertation presents and tests a supervised filter that ranks predictors by their upper-tail concordance with the outcome, using a Gumbel-implied upper-tail concordance score $\lambda_U$. The score is calculated from pseudo-observations and Kendall’s $\tau$ (via the Gumbel $\tau\mapsto\lambda_U$ mapping), does not require model fitting during selection, and focuses directly on joint extreme events, such as when both a predictor and the positive class are high. The method is compared to Mutual Information, mRMR, …


Investigating The Distribution And Origin Of Pitted Mounds On Mars Using Machine Learning-Based Mapping And Integrated Geological Analysis: Application To Isidis Planitia, Precious Batubo Jun 2026

Investigating The Distribution And Origin Of Pitted Mounds On Mars Using Machine Learning-Based Mapping And Integrated Geological Analysis: Application To Isidis Planitia, Precious Batubo

Doctoral Dissertations

Pitted mounds are widespread landforms across the northern plains of Mars, yet their origin remains uncertain. These features have been interpreted as possible expressions of subsurface fluid activity, including sedimentary volcanism, magmatic processes, or other fluid-assisted mechanisms. Determining their distribution, morphology, and geology is therefore important for understanding the evolution of subsurface hydrological processes and the planet’s potential for habitability. However, the large spatial extent of mound-bearing terrains makes comprehensive manual mapping impractical. This dissertation presents an automated approach to mound detection using Faster Region-Based Convolutional Neural Network (Faster R-CNN) from high-resolution Context Camera (CTX) images including morphometric and mineralogical …