100 research outputs found
Proceedings Editors:
No full textThe goal of SVV is to promote discussion on novel methodologies for software verification as well as study novel combinations of (known) methodologies. An outstanding example of a combined verification methodology is the recent research direction that combines abstraction (of infinite-state programs into finite-state ones) with model checking (of finite-state systems). There is a growing conviction in the research community that such hybrid methodologies are imperative for the process of analyzing full-fledged software systems. The SVV 2006 program consisted of 7 exciting papers chosen from 12 submissions. The topics addressed by the accepted contributions covered theoretical formalisms as well as practical methods for verification of software systems. Dr. Byron Cook from Microsoft Research delivered an invited talk entitled “Automatic Termination Proofs for Systems-level Code”. We would like to thank the program committee and all the referees for their assistance in selecting the papers. We would also thank the FLoC 2006 organizing committee, in particular Gopal Gupta and Thomas Ball, for providing tremendous help with the organization of the workshop. Abhik Roychoudhury and Zijiang Yang
Study and interpretation of chemical composition of rainwater in selected urban and rural locations in India using multivariate analysis
No full textRE: Ganga clean-up: Smaller scale strategies are preferred
No full textRE: Ganga clean-up: Smaller scale strategies are preferredAbhik Gupta, University professor,Department of Ecology & Environmental Science, Assam University, IndiaOther Contributors:Ben J Kefford, University associate professor,Institute for Applied Ecology, University of Canberra, Australia (16 November 2018)In this editorial, Shah et al. have revived the "Ganges water machine" (GWM) concept put forward in the 1970’s (1), and advocated for recently (e.g. 2). Essentially, this strategy involves intensive winter and pre-monsoon drawing down of groundwater which are then refilled by monsoon rains, floodwaters and snowmelt. The GWM is designed to increase dependence on groundwater so as to leave more surface water for maintaining environmental flow to flush pollutants from the river. However, this prescription needs to be examined carefully from several standpoints before adoption. Firstly, six of the seven sub-basins where the GWM was assessed to have high efficacy (3) have high arsenic concentrations, and groundwater irrigation has already resulted in widespread As contamination of soil, vegetables, rice, and other crops (4). Secondly, groundwater use for irrigation already accounts for 67% of irrigation water within the Ganges Basin (5). It is not certain how pushing it further would significantly control flood and increase lean-season flow. Thirdly, land subsidence due to intensive pumping may occur in places (2). Instead of going for spectacular action plans, it may be more prudent to implement smaller scale strategies including improvement of discharge water quality and generating mass awareness among riparian communities to adopt eco-friendly practices – with the help of religious and cultural leaders - throughout the Ganges basin
RE: Ganga clean-up: Smaller scale strategies are preferred
No full textRE: Ganga clean-up: Smaller scale strategies are preferredAbhik Gupta, University professor,Department of Ecology & Environmental Science, Assam University, IndiaOther Contributors:Ben J Kefford, University associate professor,Institute for Applied Ecology, University of Canberra, Australia (16 November 2018)In this editorial, Shah et al. have revived the "Ganges water machine" (GWM) concept put forward in the 1970’s (1), and advocated for recently (e.g. 2). Essentially, this strategy involves intensive winter and pre-monsoon drawing down of groundwater which are then refilled by monsoon rains, floodwaters and snowmelt. The GWM is designed to increase dependence on groundwater so as to leave more surface water for maintaining environmental flow to flush pollutants from the river. However, this prescription needs to be examined carefully from several standpoints before adoption. Firstly, six of the seven sub-basins where the GWM was assessed to have high efficacy (3) have high arsenic concentrations, and groundwater irrigation has already resulted in widespread As contamination of soil, vegetables, rice, and other crops (4). Secondly, groundwater use for irrigation already accounts for 67% of irrigation water within the Ganges Basin (5). It is not certain how pushing it further would significantly control flood and increase lean-season flow. Thirdly, land subsidence due to intensive pumping may occur in places (2). Instead of going for spectacular action plans, it may be more prudent to implement smaller scale strategies including improvement of discharge water quality and generating mass awareness among riparian communities to adopt eco-friendly practices – with the help of religious and cultural leaders - throughout the Ganges basin
Nalanda: a socio-technical graph platform for building software analytics tools at enterprise scale
No full textSoftware development is information-dense knowledge work that requires collaboration with other developers and awareness of artifacts such as work items, pull requests, and file changes. With the speed of development increasing, information overload and information discovery are challenges for people developing and maintaining these systems. Finding information about similar code changes and experts is difficult for software engineers, especially when they work in large software systems or have just recently joined a project. In this paper, we build a large scale data platform named Nalanda platform to address the challenges of information overload and discovery. Nalanda contains two subsystems: (1) a large scale socio-technical graph system, named Nalanda graph system, and (2) a large scale index system, named Nalanda index system that aims at satisfying the information needs of software developers. To show the versatility of the Nalanda platform, we built two applications: (1) a software analytics application with a news feed named MyNalanda that has Daily Active Users (DAU) of 290 and Monthly Active Users (MAU) of 590, and (2) a recommendation system for related work items and pull requests that accomplished similar tasks (artifact recommendation) and a recommendation system for subject matter experts (expert recommendation), augmented by the Nalanda socio-technical graph. Initial studies of the two applications found that developers and engineering managers are favorable toward continued use of the news feed application for information discovery. The studies also found that developers agreed that a system like Nalanda artifact and expert recommendation application could reduce the time spent and the number of places needed to visit to find information. Software Technolog
Life in space colonies: can ecocentrism help?
No full textThe Bladerunner year is upon us in 2019, and we do not have off-earth colonies yet. However, there is no reason that we would never have such settlements out there. It is highly probable that in a few decades from now, human settlements would there be outside the earth. If we are able to establish human habitations beyond the earth, would these continue as secluded \u27anthropospheres\u27 or as miniature biospheres? If it is the former, such \u27monospecific\u27 habitats (except perhaps the individual microbiomes that the settlers would carry) will be neither self-sustaining nor psychologically satisfying to the settlers. Besides having plants as a source of oxygen and food, that is having them there for their \u27use value\u27, can the pioneer space settlers have plants as their \u27companions\u27, to derive psychological support from them? Our ecocentric tradiitions could help us in striking a \u27dialogue\u27 with the plants. If we go through the world literature, poets like Walt Whitman, Emerson, Thoreau and several others in the west, and many oriental poets like Rabindranath Tagore of India, have unearthed the \u27soul\u27 of the plants and found support and solace there. Could an ecocentric orientation of the space settlers and even the astronauts who would spend a long time in space, help in making them better equipped psychologically to live in a very different environment? Intensive sessions of \u27green reading\u27 and appreciation could perhaps be helpful. Taking animal pets into space is more debatable. It is doubtful that we have the moral right to do so if we apply the \u27sentience\u27 approach and the \u27rights\u27 approach in transporting and translocating animals, especially higher animals into space. If we agree on the sentience approach, we could perhaps have invertebrate pets such as the praying mantis or others become the non-human companions to light up the life of the settlers. Again, here too, we need cultural adjustments to derive the same pleasure from these more unusual pets as we get from their vertebrate counterparts. In any case, our inherent \u27biophilia\u27 could be explored to make life in space more stable and enjoyable
Anthropogenic Contributions of Heavy Metals and Metalloids to Surface and Underground Water
No full text
Integrated Water Resources Management (IWRM) and Its Implications in Heavy Metal and Metalloid Contamination of Water
No full text
- …
