Full-resolution (FMIDR) Magellan radar backscatter images have been used to characterize the geology and volcanology of the volcano Maat Mons on Venus. This volcano has often been identified by remote sensing techniques as one of the volcanoes on the planet that could have been recently active, and is the highest volcano on Venus with a relief of ∼9 km. The summit of Maat Mons is characterized ...

The change of land use/land cover has been known as an imperative force in environmental alteration, especially in arid and semi-arid areas. This research was mainly aimed to assess the validity of two major types of land change modeling techniques via a three dimensional approach in Birjand urban watershed located in an arid climatic region of Iran. Thus, a Markovian approach based on two suit...

In the past decades, forgetting has been investigated for many logics and has found many applications in knowledge representation and reasoning. However, forgetting in multi-agent modal logics has largely been unexplored. In this paper, we study forgetting in multi-agent modal logics. We adopt the semantic definition of existential bisimulation quantifiers as that of forgetting. We propose a sy...

We studied the effects of stand parameters (crown closure, basal area, stand volume, age, mean stand diameter number of trees, and heterogeneity index) and geomorphology features (elevation, aspect and slope) on tree species diversity in an example of untreated natural mixed forest stands in the eastern Black Sea region of Turkey. Tree species diversity and basal area heterogeneity in forest ec...

Map matching deals with GPS coordinates to corresponding points or segments on a road network map. The work has various applications in both vehicle navigating and tracking domains. Traditional rule-based approach for solving the problem yielded great results. However, its performance depends underlying algorithm Mathematical/Statistical models employed approach. For example, HMM Matching O(N2)...

1. Studies of North American streams have shown that hydraulic parameters and stream geomorphology can explain unionid mussel abundance at both the reach and catchment scale. However, few studies have examined applicability of hydrogeomorphic variables across broader spatial scales, such as across whole catchments, or have elucidated conditions under which spates can affect mussel populations i...