, distributed time Petri nets) with the discrete-time semantics and the logic ACTL−X used in [4], and its modification for the dense-time case prepared for the current paper.
Sample text:```Note that in their pioneering paper Calvet and Fisher (2002) proposed the simplified version of the construction of Mannersalo et al (2002).```
Sample intent: method
Sample text:```In addition, [5] and [6] executed the researches about XACML, access control language which can be managed in XML documents.```
Sample intent: method



Sample text:```The present observations support and extend earlier contentions that Parkinson patients prefer to adopt a closedloop control mode, adjusting their movements continuously on the basis of available visual information (Flowers 1976).```
Sample intent: result



Sample text:```Note that in their pioneering paper Calvet and Fisher (2002) proposed the simplified version of the construction of Mannersalo et al (2002).```
Sample intent: method



Sample text:```Discrepancies analogous to those between our results and those of simulations have, indeed, recently been observed in the case of the binary perceptron [18], the pspin interaction spin glass [19], and in the case of fluctuating manifolds in random media [20], where dynamically frozen phases were observed in regions of parameter space in which static approaches yielded ergodic phases.```
Sample intent: result



Sample text:```Our results confi rm previous studies that reached the same conclusion (Boushey et al 1994; Vermeulen et al 2000; Till et al 2005; Marcucci et al 2005).```
Sample intent: result
Sample text:```This seems to be the main drawback of the current implementation in comparison to the method of Black Jepson (“refined” in Table 1).```
Sample intent: result



Sample text:```Although the time-constants of the learning window used in this study were much shorter than those reported for hippocampal neurons by Bi and Poo [27] (viz.```
Sample intent: background



Sample text:```The existence of time delay may lead to some more complicated dynamic behaviors such as oscillation, divergence, chaos, instability or other poor performance of the neural networks [6].```
Sample intent: method



Sample text:```The present observations support and extend earlier contentions that Parkinson patients prefer to adopt a closedloop control mode, adjusting their movements continuously on the basis of available visual information (Flowers 1976).```
Sample intent: result



Sample text:```Discrepancies analogous to those between our results and those of simulations have, indeed, recently been observed in the case of the binary perceptron [18], the pspin interaction spin glass [19], and in the case of fluctuating manifolds in random media [20], where dynamically frozen phases were observed in regions of parameter space in which static approaches yielded ergodic phases.```
Sample intent: result



Sample text:```Note that in their pioneering paper Calvet and Fisher (2002) proposed the simplified version of the construction of Mannersalo et al (2002).```
Sample intent: method



Sample text:```Following the experimental design proposed in Yannakakis and Hallam (2007c) and Yannakakis et al. (2008) for effectively capturing the level of entertainment, the test-bed game under investigation is played in variants.```
Sample intent: background



Sample text:```have been proposed as potential alternatives to the Turing Test, specifically targeting its potential weaknesses and inadequacy [1].```
Sample intent: background



Sample text:```Finding optimal paths in dynamic environments has attracted significant attention in the robotics community (See Latombe (1990); LaValle (1999); Lu et al (2015); Jur (2007) and the references therein).```
Sample intent: method



Sample text:```We consider as unknown true system the half-load model of the flexible transmission system used as a benchmark in a special issue of the European Journal of Control (Landau et al., 1995b).```
Sample intent: background