A traditional philosophical controversy between representing general concepts as abstract sets or classes and representing concepts as concrete prototypes is reflected in a controversy between two mechanisms for sharing behavior between objects in object oriented programming languages. Inheritance splits the object world into classes, which encode behavior shared among a group of instances, whi...

The purpose of this research is to develop a model that would close the gap between marketing plans and strategies from one side and the advanced online collaboration applications platforms known as WEB 2.0 in order to implement marketing 2.0 smoothly without disrupting the working environment. We started by examining published articles related to marketing, Web 2.0, Customer Relationship Manag...

Secondary spread to the anal region is not uncommon. Treatment Several different methods of treatment have been described and should be adapted to the individual patient. Repeated application of chemical agents such as podophyllin is suitable for small numbers of polyps outside the anal canal. Warts persisting after a month are unlikely to respond to further applications. Persistent and more ex...

Software conformance testing is usually carried out by running the tested program over a set of input patterns and comparing the results with those predicted by its specifications. To date, there has been no cost-efficient way to build a test set capable of exposing all program errors for a typical industrial application. In program coverage, the huge program input is partitioned into classes, ...

We consider a regulator who does not know how many firms should be granted a license to enter a market as he has limited information on their setup costs. We propose two auction formats which implement the efficient market structure. One is called ”jumping English auction”, where the price for a license increases continuously most of the times, but jumps at pre-specified points. The other is ca...

Only in software and in linguistics a model has the same nature as the thing it models. In software at least, this opens the possibility to automatically derive software from its model. This property is well known from any compiler writer (and others), but it was recently be made quite popular with an OMG initiative called the Model Driven Architecture (MDA). The model transformations allowing ...

The theory of mechanism design can be thought of as the “engineering” side of economic theory. Much theoretical work, of course, focuses on existing economic institutions. The theorist wants to explain or forecast the economic or social outcomes that these institutions generate. But in mechanism design theory the direction of inquiry is reversed. We begin by identifying our desired outcome or s...

Aggregated search or aggregated retrieval can be seen as a third paradigm for information retrieval following the boolean retrieval paradigm and the ranked retrieval paradigm. In the first two, we are returned respectively sets and ranked lists of search results. It is up to the time-poor user to scroll this set/list, scan within different documents and assemble his/her information need. Altern...

Retention of nurses is essential to manage turnover costs and nursing shortages. An area that has remained relatively unstudied is the impact and success of inpatient nursing mergers. A single site qualitative descriptive triangulated case study research design was developed to explore the overarching strategy in an intra-hospital merger of clinical units that included leadership tactics and st...

We present a method for using Binary Decision Diagrams (BDDs) to implement the tableau method of automated reasoning for propositional modal logics K and S4. We evaluate an implementation of such a reasoner that uses BDDs as the basic data structure. We show, with comparison to FaCT++ and InKreSAT, that it can compete with other state of the art methods of reasoning in propositional modal logic.