We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processing, we are interested in algorithms that make one pass over the input, using space that is independent of the data and polynomial in the filter. We deal with a logic equivalent to the XPath language, and also an extension with a...

There exist numerous indexing methods which handle either spatio-temporal or high-dimensional data well. However, those indexing methods which handle spatio-temporal data well have certain drawbacks when confronted with high-dimensional data. As the most efficient spatio-temporal indexing methods are based on the R-tree and its variants, they face the well known problems in high-dimensional spa...

We present a new framework for managing and rendering large scale time-varying data using the wavelet-based time-space partitioning (WTSP) tree. We utilize the hierarchical TSP tree data structure to capture both spatial and temporal locality and coherence of the underlying time-varying data and exploit the wavelet transform to convert the data into a multiresolution spatio-temporal representat...

A temporal aggregation query is an important but costly operation for applications that maintain time-evolving data (data warehouses, temporal databases, etc.). Due to the large volume of such data, performance improvements for temporal aggregation queries are critical. Previous approaches have aggregate predicates that involve only the time dimension. In this paper we examine techniques to com...

While the μ-calculus notoriously subsumes Alternating-time Temporal Logic (ATL), we show that the epistemic μ-calculus does not subsume ATL with imperfect information (ATLi), for the synchronous perfect-recall semantics. To prove this we first establish that jumping parity tree automata (JTA), a recently introduced extension of alternating parity tree automata, are expressively equivalent to th...

Existing work in temporal logic on representing the execution of infinitely many transactions, uses linear-time temporal logic (LTL) and only models two-step transactions. In this paper, we use the comparatively efficient branching-time computational tree logic CTL and extend the transaction model to a class of multistep transactions, by introducing distinguished propositional variables to repr...

The response of tropical forests to global climate variability and change remains poorly understood. Results from long-term studies of permanent forest plots have reported different, and in some cases opposing trends in tropical forest dynamics. In this study, we examined changes in tree growth rates at four long-term permanent tropical forest research plots in relation to variation in solar ra...

Detecting and extracting the dominant climatic signal from tree-ring records derived from Mediterranean areas remains challenging because the relation between climate and treegrowth are usually characterized by a complex interplay of temperature and precipitation signals, with high spatial and temporal variability. Although several studies have established climate− growth relationships in old f...

We analyze the latent heat and surface tension at the SU(3) deconfinement phase transition with tree level and tadpole improved Symanzik actions on lattices with temporal extent N τ = 3 and 4 and spatial extent N σ /N τ = 4, 6 and 8. In comparison to the standard Wilson action we do find a drastic reduction of cutoff effects already with tree level improved actions. On lattices with temporal ex...

Understanding climate change-associated tree mortality is central to linking climate change impacts and forest structure and function. However, whether temporal increases in tree mortality are attributed to climate change or stand developmental processes remains uncertain. Furthermore, interpreting the climate change-associated tree mortality estimated from old forests for regional forests rest...