• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

The set of Hausdorff continuous functions is the largest set of interval valued functions to which the ring structure of the set of continuous real functions can be extended. The paper deals with the automation of the algebraic operations for Hausdorff continuous functions using an ultraarithmetical approach.

Actually, software products are increasing in a fast way and are used in almost all activities of human life. Consequently measuring and evaluating the quality of a software product has become a critical task for many companies. Several models have been proposed to help diverse types of users with quality issues. The development of techniques for building software has influenced the creation of...

In this paper, we examine the development and implementation of new technical systems designed to more eVectively manage and produce driving, drivers and driving spaces. These new systems change the governmentality of automobilities by altering the relationship between driver, vehicle and transport infrastructure and produce new subjects and spaces. They do this principally through the process ...

Reaction invariants are quantities that take the same values before, during and after a reaction. We identify a set of reaction invariants that are linear transformations of the species mole numbers. The material balances for chemically reacting mixtures correspond exactly to equating these reaction invariants before and after reaction has taken place. We present a systematic method for determi...

There are many known Arabic lexicons organized on different ways, each of them has a different number of Arabic words according to its organization way. This paper has used mathematical relations to count a number of Arabic words, which proofs the number of Arabic words presented by Al Farahidy. The paper also presents new way to build an electronic Arabic lexicon by using a hash function that ...

T prove success in ubiquitous computing research, you must implement your ideas and deploy them in support of a work practice or community activity. Anything less, and the design’s utility will always be doubted, even if the core engineering is outstanding. The phrase “build what you use and use what you build” was part of Xerox Palo Alto Research Center’s culture during the 1980s’ heyday of pa...

Large software systems often have complex subparts and complex build processes, and engage in subtle relationships with the underlying technologies from which they are designed and constructed. Most reverse engineering toolkits ignore the attributes and relationships of system construction; instead, they concentrate on static relationships among externally visible source code elements. This pap...

Opposition to animal experiments in Britain appears to be extending beyond the labs to other businesses supplying them. Nigel Williams reports.

The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques to more than two channels introduces a few obstacles, particularly with controllers, visualization and the manipulation of large amounts of control data. Various interfaces are presented which address these issues. We...