skip to main content

Attention:

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Thursday, October 10 until 2:00 AM ET on Friday, October 11 due to maintenance. We apologize for the inconvenience.


Title: Providentia: Using search-based heuristics to optimize satisficement and competing concerns between functional and non-functional objectives in self-adaptive systems
Award ID(s):
1657061
NSF-PAR ID:
10158429
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Journal of Systems and Software
Volume:
162
Issue:
C
ISSN:
0164-1212
Page Range / eLocation ID:
110497
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We describe a functional programming approach to the design of outlines of eighteenth-century string instruments. The approach is based on the research described in François Denis's book, Traité de lutherie . The programming vernacular for Denis's instructions, which we call functional geometry , is meant to reiterate the historically justified language and techniques of this musical instrument design. The programming metaphor is entirely Euclidean, involving straightedge and compass constructions, with few (if any) numbers, and no Cartesian equations or grid. As such, it is also an interesting approach to teaching programming and mathematics without numerical calculation or equational reasoning. The advantage of this language-based, functional approach to lutherie is founded in the abstract characterization of common patterns in instrument design. These patterns include not only the abstraction of common straightedge and compass constructions, but of higher-order conceptualization of the instrument design process. We also discuss the role of arithmetic, geometric, harmonic, and subharmonic proportions, and the use of their rational approximants. 
    more » « less
  2. Motivated by mobile devices that record data at a high frequency, we propose a new methodological framework for analyzing a semi-parametric regression model that allow us to study a nonlinear relationship between a scalar response and multiple functional predictors in the presence of scalar covariates. Utilizing functional principal component analysis (FPCA) and the least-squares kernel machine method (LSKM), we are able to substantially extend the framework of semi-parametric regression models of scalar responses on scalar predictors by allowing multiple functional predictors to enter the nonlinear model. Regularization is established for feature selection in the setting of reproducing kernel Hilbert spaces. Our method performs simultaneously model fitting and variable selection on functional features. For the implementation, we propose an effective algorithm to solve related optimization problems in that iterations take place between both linear mixed-effects models and a variable selection method (e.g., sparse group lasso). We show algorithmic convergence results and theoretical guarantees for the proposed methodology. We illustrate its performance through simulation experiments and an analysis of accelerometer data. 
    more » « less
  3. Functional diversity is an important aspect of biodiversity, but its relationship to species diversity in time and space is poorly understood. Here we compare spatial patterns of functional and taxonomic diversity across marine and terrestrial systems to identify commonalities in their respective ecological and evolutionary drivers. We placed species-level ecological traits into comparable multi-dimensional frameworks for two model systems, marine bivalves and terrestrial birds, and used global speciesoccurrence data to examine the distribution of functional diversity with latitude and longitude. In both systems, tropical faunas show high total functional richness (FR) but low functional evenness (FE) (i.e. the tropics contain a highly skewed distribution of species among functional groups). Functional groups that persist toward the poles become more uniform in species richness, such that FR declines and FE rises with latitude in both systems. Temperate assemblages are more functionally even than tropical assemblages subsampled to temperate levels of species richness, suggesting that high species richness in the tropics reflects a high degree of ecological specialization within a few functional groups and/or factors that favour high recent speciation or reduced extinction rates in those groups. 
    more » « less