ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Other Sources  (2)
  • 2015-2019  (2)
  • 2018  (2)
Collection
Keywords
Years
  • 2015-2019  (2)
Year
  • 1
    Publication Date: 2019-07-12
    Description: This paper reports on the formalization of a recent result by Crespo, et al., as found in the references. The formalized result bounds the number of support constraints in a particular type of optimization problem. The problem involves discovering an optimal member of a family of sets that overlaps each member of a constraining collection of sets. The particular case addressed here concerns optimizations in which the family of sets is nested. The primary results were formalized in the interactive theorem prover PVS and support the claim that a single support constraint exists in very general circumstances.
    Keywords: Numerical Analysis
    Type: NASA/TM-2018-220117 , L-20973 , NF1676L-31613
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2019-11-19
    Description: This paper proposes techniques for constructing non-parametric computational models describing the distribution of a continuous output variable given input-output data. These models are called Random Predictor Models (RPMs) because the predicted output corresponding to any given input is a random variable. One common example of an RPM is a Gaussian process (GP) model. In contrast to GP models however, we focus on RPMs having a bounded support set and prescribed values for the mean, and the second-, third-, and fourth-order central moments. The proposed RPMs are designed to match moment functions extracted from the data over a range of minimal spread. This paper presents the feasibility conditions that any random variable must meet in order to satisfy the desired constraints. Furthermore, a particular family of such variables, called staircase because their probability density is a piecewise constant function, is proposed. The ability of these variables to describe a wide range of probability density shapes, and their low computational cost enable the efficient generation of possibly skewed and multimodal RPMs over an input-dependent interval.
    Keywords: Numerical Analysis
    Type: NF1676L-26266 , Applied Mathematical Modelling (ISSN 0307-904X); 64; 196-213
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...