The design of programming tools is slow and costly. To ease this process, we have developed a design pattern catalog aimed at providing guidance about how to design tools for developers. This guidance is grounded in Information Foraging Theory (IFT), which empirical studies have shown to be useful for understanding...
How can end users efficiently influence the predictions that machine learning systems make on their behalf? Traditional systems rely on users to provide examples of how they want the learning system to behave, but this is not always practical for the user, nor efficient for the learning system. This dissertation...
Achieving sharpened (enhanced detail) features of a multi-dimensional data source using the linear prediction (LP) bandwidth extrapolation (BWE) technique in the transform domain is the main objective of this research. The evolution of sensor technology has provided acquisition scenarios in which the data format is inherently multi-dimensional, including hyperspectral imaging...
Metric spaces (X, d) are ubiquitous objects in mathematics and computer science that are able to capture pairwise distance relationships d(x, y) between points x, y ∈ X. Because of this, it is natural to ask what useful generalizations there are of metric spaces for capturing “k-wise distance relationships” d(x1,...
We consider three problems on simplicial complexes: the Optimal Bounded Chain Problem, the Optimal Homologous Chain Problem, and 2-Dim-Bounded-Surface. The Optimal Bounded Chain Problem asks to find the minimum weight d-chain in a simplicial complex K bounded by a given (d−1)-chain, if such a d-chain exists. The Optimal Homologous Chain...
The main contributions of this thesis are the development and
application of four computationally efficient solutions for
least-squares-based (LS-based) minimum variance spectral estimation
(MVSE). They are: (1) fast computational solution for the 1-D
covariance LS-based MVSE, (2) fast computational solution for the
1-D modified covariance LS-based MVSE, (3) fast computational...
Is it possible to determine whether a signal violates a formula in Signal Temporal Logic (STL), if the monitor only has access to a low-resolution version of the signal? We answer this question affirmatively by demonstrating that temporal logic has a multiresolution structure, which parallels the multiresolution structure of signals....
Predicting biodiversity responses to climate change remains a difficult challenge, especially in climatically complex regions where precipitation is a limiting factor. Though statistical climatic envelope models are frequently used to project future scenarios for species distributions under climate change, these models are rarely tested using empirical data. We used long-term...
Over time, Open Source Software (OSS) has become indispensable in the creation and upkeep of software products, serving as the fundamental building block for widely used solutions in our daily lives, including applications that enable communication, entertainment, and productivity. A sustainable OSS ecosystem is one that attracts and retains a...
We demonstrate a surface enhanced Raman scattering (SERS) substrate by integrating plasmonic-active SiO₂ nanotubes into Si₃N₄ gratings. First, the dielectric grating that is working under guided mode resonance (GMR) provides enhanced electric field for localized surface plasmon polaritons on the surface of metallic nanoparticles. Second, we use SiO₂ nanotubes with...