"Grid" computing has emerged as an important new field, distinguished from conventional distributed computing by its focus on large-scale resource sharing, innovative applications, and, in some cases, high-performance orientation. In this article, we define this new field. First, we review the "Grid problem," which we define as flexible, secure, coordinated resource sharing among dynamic collections of individuals, institutions, and resources---what we refer to as virtual organizations. In such settings, we encounter unique authentication, authorization, resource access, resource discovery, and other challenges. It is this class of problem that is addressed by Grid technologies. Next, we present an extensible and open Grid architecture,inwhich protocols, services, application programming interfaces, and software development kits are categorized according to their roles in enabling resource sharing. We describe requirements that we believe any such mechanisms must satisfy and we discuss the importance of defining a compact set of intergrid protocols to enable interoperability among different Grid systems. Finally, we discuss how Grid technologies relate to other contemporary technologies, including enterprise integration, application service provider, storage service provider, and peer-to-peer computing. We maintain that Grid concepts and technologies complement and have much to contribute to these other approaches.

We give a comprehensive and unifying survey of the theoretical aspects of Temporal and modal logic.

Abstract not found

Abstract not found

Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class ΣP 2 (NPNP). Thus, under widely believed assumptions, DLP is strictly more expressive than normal (disjunction-free) logic programming, whose expressiveness is limited to properties decidable in NP. Importantly, apart from enlarging the class of applications which can be encoded in the language, disjunction often allows for representing problems of lower complexity in a simpler and more natural fashion. This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to ∆P 3-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of

Abstract not found

This paper has twin aims. On the one hand we prove the local Langlands conjecture for GL n over a p-adic field. On the other hand in many cases we are able to identify the action of the decomposition group at a prime of bad reduction on the l-adic cohomology of the "simple" Shimura varieties studied by Kottwitz in [Ko4]. These two problems go hand in hand. The local Langlands conjecture is one of those hydra like conjectures which seems to grow as it gets proved. However the generally accepted formulation seems to be the following (see [He2]). Let K be a finite extension of Q p . Fix a non-trivial additive character # : K

and nucleic acids

The spectre of climate change that is unfolding now is undeniably a cumulative impact of anthropogenic interference in the climate system over the last two centuries. The science is clear and the policy community is being increasingly convinced and galvanised into action to address this emergent challenge in light of the associated economic and human dimensions. The impacts of climate change ranging from sea level rise, melting ice caps and glaciers, severe weather events, drought, flooding, warming, subtle changes in ecosystems – will impinge on every aspect of society and economic life. The costs of inaction will more than outweigh the costs of action. There is only a narrow window of opportunity to redress the situation. The Intergovernmental Panel on Climate Change (IPCC) in its Fourth Assessment Report has

Abstract not found