Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

New estimates are obtained of oxygen utilization rates on isopycnal surfaces in the North Atlantic subtropical gyre thermocline based on tritium inventories (2.4-3.5 mol m -2 yr -1) and 228Ra measurements (8.5 _+ 0.8 mol m -2 yr-l). Arguments are given for why the tritium inventory oxygen utilization rate estimate may be too low. The 228Ra results are combined with recent estimates of oxygen ut...

The use of remote sensing techniques as a suitable solution to estimate the levels of species diversity is of high importance for the sustainable management of forests. In order to investigate the potential of using sensor data from Landsat 7 ETM+ to estimate species diversity in the Zagros forests, digital data related to the August 7, 2002 from forests in the Qalajeh Kermanshah Province were ...

a f (x) dx− b− a n n ∑ i=1 f (a+ xi (b− a)) ∣∣∣∣ 5 2m+ 5 4 (b− a)m+1 (m+ 1)! (S − s) (?) holds, where S := supa5x5b f (m)(x), s := infa5x5b f (m)(x) and for suitable x1, x2, . . . , xn. It is worth noticing that n,m are arbitrary numbers. This means that the estimate in (?) is more accurate whenm is large enough. Our approach is also elementary. © 2010 Elsevier Ltd. All rights reserved.

The use of remote sensing techniques as a suitable solution to estimate the levels of species diversity is of high importance for the sustainable management of forests. In order to investigate the potential of using sensor data from Landsat 7 ETM+ to estimate species diversity in the Zagros forests, digital data related to the August 7, 2002 from forests in the Qalajeh Kermanshah Province were ...

The use of remote sensing techniques as a suitable solution to estimate the levels of species diversity is of high importance for the sustainable management of forests. In order to investigate the potential of using sensor data from Landsat 7 ETM+ to estimate species diversity in the Zagros forests, digital data related to the August 7, 2002 from forests in the Qalajeh Kermanshah Province were ...