The mean water releases at head section of 11 years Nagarjuna Sagar Jawahar right main Canal, Andhra Pradesh, India is found to be 128.13 TMC (3,627.71 MCM). surface availability was estimated as 2,229 MCM. For the efficient utilization groundwater, quality plays a major role in terms selection crop variety for sustainable agriculture. ground quantity command area available 1385 MCM and annual ...

Multi skill scenarios are common place in real world problems and Intelligent Tutoring System questions alike, however, system designers have often relied on ad-hoc methods for modeling the composition of multiple skills. There are two common approaches to determining the probability of correct for a multi skill question: a conjunctive approach, which assumes that all skills must be known or a ...

There is a growing recognition that the present demographic patterns in sub-Saharan Africa, including Ghana, do not augur well for the achievement of sustainable development. Ghana is characterized by a youthful population, rapid population growth, uneven population distribution, high fertility, and rural-urban migration which has brought human numbers into collision with resources to sustain ...

Sustainability is a key challenge for humanity in the 21st century. Ecosystem services-the benefits that people derive from nature and natural capital-is a concept often used to help explain human reliance on nature and frame the decisions we make in terms of the ongoing value of nature to human wellbeing. Yet ecosystem service science has not always lived up to the promise of its potential. De...

We present an algorithmically efficient criterion of modal definability for first-order existential conjunctive formulas with several free variables. Then we apply it to establish modal definability of some family of first-order ∀∃-formulas. Finally, we use our definability results to show that, in any expressive description logic, the problem of answering modally definable conjunctive queries ...

We use results on modal definability of first-order formulas to reduce the problem of answering conjunctive queries over knowledge bases (of any expressivity) to checking inconsistency of those knowledge bases extended with a number of ALCI concept assertions. This reduction has been shown to work for conjunctive queries without cycles that only involve bound variables. In this paper, we presen...

This paper introduces a new family of automata that turns out to be computationally equivalent to linear conjunctive grammars. Although, if viewed as a practical tool for describing practical languages, these automata are not nearly as convenient as linear conjunctive grammars are, they can be reasonably expected to be highly suitable for use in applications as a low-level computational model, ...