In a large-scale information system, such as a digital library or the world wide web, a set of distributed caches can improve their e ectiveness by cooperating with one another, both in serving each other's requests as well as in deciding what to store. This dissertation explores the potential of such cooperative caching, and provides basic placement algorithms using which the caches can coordi...

People on the move make extensive use of digital devices and tools. States also rely these tools to control channel mobility, making software an essential feature mobility borders. Various types are at heart maintaining traveller databases, deploying risk management expediting identity checks, migrants' smartphones is increasingly salient area analysis. Yet, expansion “apps,” as bordering, both...

We present a formal semantical model to capture action, belief and intention, based on the “database perspective” (Shoham 2009). We then provide postulates for belief and intention revision, and state a representation theorem relating our postulates to the formal model. Our belief postulates are in the spirit of the AGM theory; the intention postulates stand in rough correspondence with the bel...

Unlike torts or civil procedure or any area of public law, the rules of promissory exchange apply exclusively to parties who have manifested their assent to be bound. What parties know, and what parties think they know, about contract law affects their contract behavior and in some cases the legal status of their agreements. Drawing on a series of new experimental questionnaire studies, this pa...

Although research and political intentions both recognise the crucial role of small farms in Rural Development (RD) strategies, actual practice they are left out benefits agricultural policies. This is not established by legislative or regulatory prescriptions. It result consolidated practices driven productivist approach to development, overtaken concept multifunctionality, which has inspired ...

All studies and analysis highlight the importance given by the government, both developed countries as emerging markets to information and communication technologies (Aldrich and al, 2002). This strategic importance given to the roles of information and communication technologies is doubly justified: First, the economic sector where the information technology and communication is the largest so...

This paper discusses the conception and development of a ball-on-plate balancing system based on mechatronic design principles. Realization of the design is achieved with the simultaneous consideration towards constraints like cost, performance, functionality, extendibility, and educational merit. A complete dynamic system investigation for the ball-on-plate system is presented in this paper. T...

Concepts in Answer Set Programming (ASP) are normally defined in terms of atoms. We show that the treatment of atoms and bodies (of rules) as equitable computational objects may yield exponential speed-ups, even for standard ASP-solvers such as smodels. To this end, we give simple transformations providing solvers with access to both kinds of objects and show that some families of examples can ...

Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraints solving, determinization, state machine minimization, structural mapping, functional decomposition of multi-valued logic functions and relations, and finally, FPGA mapping. In our approach, learning takes place on th...

“Fine flavor” cocoa, known for its superior flavor and aroma, commands a higher price farmers than “bulk” cocoa produced market. These fine varieties make an important contribution to the agricultural sector in Ecuador. However, diversity is threatened by deforestation. The effective preservation, characterization, use of tree are therefore essential future development this We carried out parti...