ADCs are fully characterized by both static and dynamic parameters. Testing methods usually combine a histogram-based approach with a spectral analysis to determine the complete set of ADCs parameters. In the view of a unique test procedure, this paper investigates the correlation between both kinds of parameters. Experimental results demonstrate that under appropriate test conditions, the dyna...

We define infinitary combinatory reduction systems (iCRSs). This provides the first extension of infinitary rewriting to higher-order rewriting. We lift two well-known results from infinitary term rewriting systems and infinitary λ-calculus to iCRSs: 1. every reduction sequence in a fully-extended left-linear iCRS is compressible to a reduction sequence of length at most ω, and 2. every complet...

An evolutionary algorithm based on Evolution Strategy (ES) is presented, which includes time-related command execution and the generation of process control elements. Its concept is enlarged by problem-oriented type definitions for parameters, this has allowed a flexible implementation for different applications. The GLEAM algorithm includes new features which distinguish it from ES and GAs, am...

1 Abstract Characterizing board test coverage as a percentage of devices or nodes having tests does not accurately portray coverage, especially in a limited access testing environment that today includes a variety of diverse testing approaches from visual and penetrative inspection to classical In-Circuit test. A better depiction of test coverage is achieved by developing a list of potential de...

We present a case study of the redesign of the organizational presentation and content of the Virtual Library website at the Universitat Oberta de Catalunya (Open University of Catalonia, UOC), based on a user-centered design strategy. The aim of the redesign was to provide users with more intuitive, usable and understandable content (textual content, resources and services) by implementing cri...

In this paper we introduce several new heuristics as to speed up known lattice basis reduction methods and improve the quality of the computed reduced lattice basis in practice. We analyze substantial experimental data and to our knowledge, we are the first to present a general heuristic for determining which variant of the reduction algorithm, for varied parameter choices, yields the most effi...

This paper describes a design strategy, called PER, for one-to-one classroom activities. Since there is a gap between the theory and the methodology, PER is applied as a design strategy for a set of collaborative learning activities. One-to-one technologies create the potential for a new phase in the evolution of technology-enhanced learning. With the seamless learning space, students’ learning...

Robustness is an important requirement for almost all kinds of products. In this article we show how evolutionary algorithms can be applied for robust design based on the approach of Taguchi. As an example we consider the design of multilayer optical coatings most frequently used for optical lters.

A redex family is a set of redexes which arècreated in the same way'. Families specify which redexes should be shared in any so-called optimal implementation of a rewriting system. We formalise the notion of family for orthogonal higher-order term rewriting systems (OHRSs). In order to comfort our formalisation of the intuitive concept of family, we actually provide three conceptually diierent ...

According to intentionalism the phenomenal character (“what it’s like”) of a conscious experience is determined wholly by its representational content. In its strongest forms intentionalism offers the tantalizing prospect of a reduction of phenomenal character to representational content. Arguments based on Twin Earth-like scenarios have shown, however, that if phenomenal character supervenes o...