This paper presents three paradigms for circuit design, and investigates the relationships between them. These paradigms are syntactic (based on Freyd and Scedrov's unitary pre-tabular allegories (upas)), pictorial (based on the net list model of circuit connectivity), and relational (based on Sheeran's relational model of circuit design Ruby). We show that net lists over a given signature cons...

plementing interactive intelligences. The constructionist design methodology (CDM)—so called because it advocates modular building blocks and incorporation of prior work—addresses factors that we see as key to future advances in AI, including support for interdisciplinary collaboration, coordination of teams, and large-scale systems integration. We test the methodology by building an interactiv...

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...