Description The library contains R-functions to estimate the effective dimension reduction space in multi-index regression models.

In this paper we propose a simple and effective method to find the inverse of arrowhead matrices which often appear in wide areas of applied science and engineering such as wireless communications systems, molecular physics, oscillators vibrationally coupled with Fermi liquid, and eigenvalue problems. Amodified Sherman–Morrison inversematrix method is proposed for computing the inverse of an ar...

Complex, perilous domains like surgery and aviation require accurate responses under extreme time constraints. Checklists improve important outcomes in these domains. However, current designs are based largely on intuition; there is little theory or empirical work about designing effective procedure aids. Furthermore, discretionary checklist use is fragmented and bursty rather than predictable ...

The Normalized Difference Snow Index (NDSI) is an effective index for snow-cover mapping at large scales, but in forested regions the identification accuracy for snow using the NDSI is low because of forest cover effects. In this study, typical evergreen coniferous forest zones on Qilian Mountain in the Upper Heihe River Basin (UHRB) were chosen as example regions. By analyzing the spectral sig...

Friedman showed how to turn a classical proof of a Σ 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classical proofs of such formulae. In this paper we show how to achieve the same goal efficiently using Krivine realizability with primitive numerals, and prove that the corresponding program is but the direct-style equivalent...

Action refinement is a practical hierarchical method to ease the design of large reactive systems. Relating hierarchical specification to hierarchical implementation is an effective method to decrease the complexity of the verification of these systems. In our previous work [15], this issue has been investigated in the simple case of the refinement of an action by a finite process. In this pape...

A new definition is proposed for the effective number of bits of an ADC. This definition removes the variation in the calculated effective bits when the amplitude and offset of the sinewave test signal is slightly varied. This variation is most pronounced when test signals with amplitudes of a small number of code bin widths are applied to very low noise ADC's. The effectiveness of the proposed...

Many oligonucleotide arrays contain spatial flaws. Standardisation methods such as quantile scaling make no reference to the spatial nature of the flaws. However, the spatial compactness of such flaws can be exploited to provide the basis for corrections that are quite independent of any subsequent chip-wide correction procedure (such as quantile scaling). With three or more replicate arrays, v...

One of the oldest arguments in the history of psychology is the Nature vs Nurture debate. Each of these sides have good points that it's really hard to decide whether a person's development is predisposed in his DNA, or a majority of it is influenced by this life experiences and his environment. As of now, we know that both nature and nurture play important roles in human development, but we ha...