Ants are among the most problematic invasive species. They displace numerous native species, alter ecosystem processes, and can have negative impacts on agriculture and human health. In part, their success might stem from a departure from the discovery-dominance trade-off that can promote co-existence in native ant communities, that is, invasive ants are thought to be at the same time behaviora...

Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Deciding which solution to adopt requires considering several trade-offs. Model checking represents a possible way of comparing such designs, however, when the number of designs is large, building and validating so many models may be intracta...

We motivate and study the synthesis of Petri nets. Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. For systems specified in Petri nets, this paper proposes a synthesis method. One major advantage of this synthesis technique is that the resultant ordinary Petri net is guaranteed to be structural l...

vi

This paper presents a metric-based approach for estimating the hardware implementation effort (in terms of time) for an application in relation to the number of linear-independent paths of its algorithms. We exploit the relation between the number of edges and linear-independent paths in an algorithm and the corresponding implementation effort. We propose an adaptation of the concept of cycloma...

distinguishing productive zones of a drilled oil well plays a very important role for petroleum engineers to decide where to perforate to produce oil. conventionally, net pay zones are determined by applying a set of cut-offs on perophysical logs. as a result, the conventional method finds productive intervals crisply. in this investigation, a net index value is proposed, then; diffusivity equa...

biogeochemistry is a useful tool for assessing geochemical dispersion patterns. sari gunay epithermal gold deposit was selected in order to assess the application of biogeochemical exploration for gold in northwestern iran. in this study, four sites were sampled in a profile perpendicular to mineralized vein with a control site two km far-off mineralized vein. a sample from each dominant plant ...

derik geothermal region has area of 242 km2 and is located 10 km to the west of salmas city in west azarbaijan province of iran. the most outstanding surface manifestations of geothermal energy in this region are three warm springs and outcrops of travertine deposits and quaternary basalt outcrops around warm springs. temperature range of warm springs varies from 31 to 32.6 °c. we visited and s...

one of the major strengths of a geographic information system (gis) in geosciences is the ability to integrate and combine multiple layers into mineral potential maps showing areas which are favorable for mineral exploration. these capabilities make gis an extremely useful tool for mineral exploration. several spatial modeling techniques can be employed to produce potential maps. however, these...

GIS is considered an important technique as well as a prerequisite for cost effective mineral exploration and determination of high potential areas. The purpose of this research is to determine high potential iron zones for detailed exploration using index overlay GIS method. Index Overlay was used to combine the geology, topography (scale: 1:1,000), lineaments, remote sensing (ASTER and ETM+) ...