We have seen previously that there are three ways of generating new redexes by reduction. Out of the three forms, one may argue that one of them is not a new redex, but a residual of a redex in the initial term: We can define a new reduction which reduces this 'hidden redexes'. This reduction is called generalized β-reduction and is denoted by → g β. Given a term with hidden redexes, one step o...

This paper deals with the verification of efficiency of the novel on-chip OBIST (Oscillation Built-In Self Test) strategy by comparison the fault coverage in selected types of active analog integrated filters. Fault coverage obtained by OBIST approach was compared to fault coverage results obtained by the measurement and evaluation of filters’ selected parameters.

This paper presents first results of an analysis of the σ-self-adaptation mechanism on the sharp ridge for non-recombinative (1, λ) evolution strategies (ES). To analyze the ES’s evolution, we consider the so-called evolution equations which describe the one-generation change. Neglecting stochastic perturbations and considering only the mean value dynamics, we will investigate possible causes w...

The temporal evolution of the scientific world can also be delineated in the map. In particular, this map clearly shows a linear structure of the scientific world, which contains three major domains including physical sciences , life sciences, and medical sciences. The interaction of various knowledge fields can be clearly seen from this scientific world map. This approach can be applied to var...

Purpose: Against a backdrop of continued weak economic conditions and with many firms experiencing declining financial performance, this paper presents a synthesis of the business turnaround literature. It aims to identify which turnaround and recovery strategies have been effective historically, based on the evidence provided by previous empirical research. Design/methodology/approach: We revi...

This contribution highlights the challenges of implementing ISO 26262 to an industrial E/E verification and testing environment. A methodology to obtain a verification plan and an adequate test strategy in order to meet ISO 26262 requirements is presented and evaluated in an in-house project.

This article de nes a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.