the following study aims to present an innovative approach for design. participatory design is the model of direct involvement of different social groups in the design from functional tools to environments, social institutions and businesses. diverse collection of practices has been developed to support this direct involvement by participatory design. people are invited to participate during di...

We review the Standard Model in a form conducive to formulating its possible short distance extensions. This depends on the value of the Higgs mass, the only unknown parameter of the model. We suggest methods to reproduce many of the small numbers in the model in terms of scale ratios, applying seesaw like ideas to the breaking of chiral symmetries. We then investigate how the N = 1 Standard Mo...

This issue is devoted in large part to summaries of the sessions of our conference on “Financial Frictions and Segmented Asset Markets.” Different approaches have been used to incorporate financial market imperfections into tractable general equilibrium models, emphasizing different frictions in asset markets: lack of commitment in financial contracts, limited participation and market segmentat...

This RFC defines a proposed standard protocol to support NetBIOS services in a TCP/IP environment. Both local network and internet operation are supported. Various node types are defined to accommodate local and internet topologies and to allow operation with or without the use of IP broadcast. This RFC describes the NetBIOS-over-TCP protocols in a general manner, emphasizing the underlying ide...

In this technical report we summarize the evolution of SAT solvers implemented at the formal methods group at ETH Zürich. We start with LIMMAT and COMPSAT, which both took part in the SAT’03 SAT solver competition. From the more ambitious design of FUNEX we reach the minimal implementation of NANOSAT. We close the discussion with an overview on how our QBF solver QUANTOR can be used as a prepro...

KL-ONE is o system for representing knowledge in Artificial Intelligence progroms. It has been developed and refined over o long period ond hos been used in both basic research and implemented knowledge-based systems in o number of places in the Al community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured descriptions. In oddition to detoiling oil...

The decline of species in natural habitats concerns ecologists, who view extinction as a danger and conservation of biological diversity as a goal. In contrast, the proliferation of 'undesirable' species is the principal concern of epidemiologists, who view persistence as a problem and eradication as an achievement. While ecologists and epidemiologists have essentially opposite goals, the mathe...

This article presents a novel approach to authoring cocreative systems called interaction-based authoring that combines ideas from case-based learning and imitative learning, while emphasizing its use in open-ended co-creative application domains. This work suggests an alternative to manually authoring knowledge for computationally creative agents that relies on user interaction “in the wild” a...