In this paper we present and analyze functional programs for a number of priority queue operations. These programs are based upon the top-down skew heaps|a truly elegant data structure|designed by D.D. Sleator and R.E. Tarjan. We show how their potential technique can be used to determine the time complexity of functional programs. This functional approach enables us to derive a potential funct...

The aim of this study is to discuss the relation between the reliability of structural systems and the performance of human perception in human–machine systems. In this paper, we would like to evaluate the effect of performance deterioration on structural safety from the viewpoint of uncertainties in human behavior. The sensitivity of structural safety to such uncertainties is discussed on the ...

Shoe soles are extremely complex to design and manufacture due to their organically shaped but technically precise nature and their manufacturing constraints. Consequently, there is a need for the increased design process flexibility offered by the use of specific CAD methodologies and techniques, to facilitate the work of expert designers and permit effective construction of the three-dimensio...

In the past twenty years, damped trend exponential smoothing has performed well in numerous empirical studies and is now well established as an accurate forecasting method. The original motivation for this method was intuitively appealing, but said very little about why or when it provided an optimal approach. The aim of this paper is to provide a theoretical rationale for the damped trend meth...

When developing multimedia as an educational tool formative and summative evaluations should be applied during this process. Among other aspects, these evaluations can pertain to the extent and way of use, the learning contents and their formal presentation, the learning results, the acceptability and the usability of the multimedia tool. Furthermore effectivity and efficiency of the multimedia...

Hybrid control system composed of a base isolation system and a magneto-rheological damper so-called smart base isolation is one of effective semi-active control system in controlling the seismic response of structures. In this paper, a design method is proposed for designing the smart base isolation system in order to achieve an effective performance under multiple earthquakes. The base mass, ...

this paper presents a simplified approach to estimate the resultant force, which should be provided by a retention system, for the equilibrium of unstable slopes. the results were obtained with a developed algorithm, based on limit equilibrium analyses, that assumes a two-part wedge failure mechanism. design charts to obtain equivalent earth pressure coefficients are presented. based on the res...