ABSTRACT The monitoring of biophysical indicators can show the conservation or recovery status a landscape. This study aimed to analyze influence tree plantations on dynamics (albedo, NDVI, surface temperature and evapotranspiration), in an experimental area Cerrado biome (Brazilian Savanna), by applying remote sensing techniques SEBAL algorithm. were given as function changes land use, while a...

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 ...

Ilhas de calor é um fenômeno que ocorre nas cidades, ocasionando aumento considerável da temperatura região em relação a suas regiões vizinhas. Neste artigo foi realizada uma análise temporal superfície do solo, conhecida como LST(Land Surface Temperature), e índice vegetação normalizada diferenciada, NDVI (Normalized Difference Vegetation Index) no surgimento ilhas utilizando processamento dig...

Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...