sources of organic manure which can meet the qualitative and the quantitative requirements ol agriculture. The only thing is that they are abhorrent to handle in their original form. In these days of acute food shortage when the slogan is 1 grow more food these articles have to be converted into manure that can be easily handled by the agriculturist and handed over to him in the shortest possib...

This doctoral thesis studies consumer payment behavior. We examine what characteristics play a role in the choice of instrument. Besides, we intend to influence consumers’ choice by soft interventions. In a final part we investigate what reasons are of crucial importance for internet banking usage. The thesis consists of three parts, each addressing one of these questions. All data were obtaine...

We present a sound, complete, and optimal single-pass tableau algorithm for the alternation-free μ-calculus. The algorithm supports global caching with intermediate propagation and runs in time 2O(n). In game-theoretic terms, our algorithm integrates the steps for constructing and solving the Büchi game arising from the input tableau into a single procedure; this is done onthe-fly, i.e. may ter...

The official slogan of predicativism is what Russell called the “vicious circle principle”: no class can contain elements which are definable only in terms of the class itself. Another way to say this is that we do not accept any entity which cannot be defined without referring to a class to which it belongs. It is hard to make this principle precise, but the underlying sentiment is that the el...

There is a parallel between the debate between Gottlob Frege and David Hilbert at the turn of the twentieth century and at least some aspects of the current controversy over whether category theory provides the proper framework for structuralism in the philosophy of mathematics. The main issue, I think, concerns the place and interpretation of metamathematics in an algebraic or structuralist ap...

Wide-area distributed applications often reinvent the wheel for their storage needs, each incorporating its own special-purpose storage manager to cope with distribution, intermittent failures, limited bandwidth, and high latencies. This paper argues that a distributed file system could provide a reusable solution to these problems by coupling a standard interface with a design suited to widear...

In the mid-1970s, the phrase “small is beautiful” became a counterculture slogan against the industrial threat to the environment and the scarcity of resources. Arguing against excessive materialism and meaningless growth, the late Dr. Ernest Friedrich Schumacher—the author of Small Is Beautiful: Economics as if People Mattered, promoted the use of small-scale technology to benefit both humanki...

Brand elements, including: brand name, logo, slogan, colors, jingles and characters, can be considered as important determinants of brand awareness and brand image (Keller 1998; Schmitt 2000). In this study we investigate the effects of logo design characteristics on brand recognition and effect in the Chilean market. The overall conclusion is that the logo design characteristics (harmony, para...

By a ‘logic’ we mean here a substitution-invariant consequence relation on formulas over an algebraic signature. Propositional logics are obvious examples, but even first order logic can be re-formulated in this way. The notion of an ‘algebraizable’ logic was made precise in the 1980s, mainly by Blok and Pigozzi, who provided intrinsic characterizations of the logics that are indeed algebraizab...