Inspired by Cardelli’s pioneering work, many type disciplines for object-oriented programming are based on enrichments of structural type theories with constructs such as subtyping and bounded polymorphism. A principal benefit of such a formulation is that the absence of “message not understood” errors is an immediate corollary of the type safety theorem. A principal drawback is that the result...

this study was mainly designed to investigate and identify the amounts and types of heavy metals in the soils of national iranian oil refining & distribution company in shahrood region and tried to establish a logical relation between the presence of heavy metals and their damage on vegetation. in addition, considering the power of drained soil and due to the proximity of ground water in shahro...

This paper presents new theoretical predictions of the undrained uplift capacity of deeply embedded inclined strip anchors in a soil stratum with a linear variation of strength with depth. Rigorous bounds on the theoretical uplift capacity are presented using upper and lower bound limit analysis. The effects of the strength gradient on the normalised uplift capacity and the predicted failure me...

The Autonomous Exploration for Gathering Increased Science (AEGIS) system enables automated science data collection by a planetary rover. AEGIS analyzes rover images onboard to detect pre-defined science features of interest, enabling targeted instrument data to be acquired immediately with no delays for ground communication. AEGIS analyses images to detect candidate targets and then selects sp...

This paper describes a knowledge-based crop recognition system, integrating remote sensing analysis and geographical information in hierarchical way. Landsat TM and Spot pan images were merged to reduce heterogeneity by enhancing field boundaries. Multi-temporal NDVI maps generated from these images were classified into eight crop types using unsupervised classification algorithm. Using agricul...

Over the years, with the active spread and development of the industries, Heavy Metal, which are either used, or produced as byproducts by numerous manufacturing, industrial, refining and mining processes have become ubiquitous, persistent environmental pollutants. India too not exempted from such devasting environmental degradation caused by these pollutants. This study develops a method to ac...

Present review paper deals with extensive literature survey in exploring the potential of microbial biomass for the sequestering of toxic heavy metals from aquatic streams. Presently more than half billion people are underprivileged and deprived of fresh water, clean air, soil and pure food. Contamination of aquatic streams due to release of toxic metal ions is a stern issue demanding global co...

As ecologic niche modeling (ENM) evolves as a tool in spatial epidemiology and public health, selection of the most appropriate and informative environmental data sets becomes increasingly important. Here, we build on a previous ENM analysis of the potential distribution of human monkeypox in Africa by refining georeferencing criteria and using more-diverse environmental data to identify enviro...