Temporal logic has been widely used as a formalism for program specification and verification [9, 12, 13], modelling temporal databases [1, 3, 14] and reasoning about time [8, 19, 20]. In temporal logic, the meanings of formulae depend on an implicit time parameter and elements from different moments in time can be combined through the use of temporal operators. Therefore, temporal logic can mo...

We introduce temporal flows on temporal networks [36, 42], i.e., networks the links of which exist only at certain moments of time. Such networks are ephemeral in the sense that no link exists after some time. Our flow model is new and differs from the “flows over time” model, also called “dynamic flows” in the literature. We show that the problem of finding the maximum amount of flow that can ...

There is increasing interest in novel view reconstruction but less for new time-based views of moving objects as needed for gait biometric deployment. Our interests concern reconstructing moving shapes from their moment history with a view to constructing new temporal views. This paper shows how the moment description through an object sequence can be used to predict missing or intermediate fra...

The simplest system in Levermore’s moment hierarchy involving moments higher than second order is the five–moment closure. It is obtained by taking velocity moments of the one–dimensional Boltzmann equation under the assumption that the velocity distribution is a maximum–entropy function. The moment vectors for which a maximum–entropy function exist consequently make up the domain of definition...

This paper describes a self organising spatio-temporal radar CFAR system that uses multiple intelligent software agents to detect and adapt the processing to features in the environment. By combining both temporal and spatial data gathering sufficient samples can be collected to allow both the first and second order moments of the clutter distribution to be approximated for each cell. By gather...

The relation between universality and temporal and spatial scaling of structurefunctions and moments of the coarse-grained energy dissipation in turbulence is studied for flows where the Taylor Frozen Flow Hypothesis holds exactly. To account for observed deviations from a strict scaling law, we conclude that non-constant scaling exponents depend on the mean flow U . Furthermore, spatial and te...

the goal of multi-frame super resolution (sr) is to fuse multiple low resolution (lr) images to produce one high resolution (hr) image. the major challenge of classic sr approaches is accurate motion estimation between the frames. to handle this challenge, fuzzy motion estimation method has been proposed that replaces value of each pixel using the weighted averaging all its neighboring pixels i...