We introduce the Hybrid Automata Stochastic Language (HASL), a new temporal logic formalism for the verification of Discrete Event Stochastic Processes (DESP). HASL employs a Linear Hybrid Automaton (LHA) to select prefixes of relevant execution paths of a DESP. LHA allows rather elaborate information to be collected on-the-fly during path selection, providing the user with powerful means to ex...

We introduce the Hybrid Automata Stochastic Logic (HASL), a new temporal logic formalism for the verification of discrete event stochastic processes (DESP). HASL employs Linear Hybrid Automata (LHA) as machineries to select prefixes of relevant execution paths of a DESP D. The advantage with LHA is that rather elaborate information can be collected on-the-fly during path selection, providing th...

The White-browed Warbler Basileuterus leucoblepharus, a common bird of the BrazilianAtlantic forest, emits only one distinct song type in the context of territorial defense. Individual or neighbor-stranger recognition may be more difficult when birds share similar songs. In fact, the analysis of songs of different individuals reveals slight differences in the temporal and the frequency domains....

This study investigates the effects of stress on the spectral properties of fricative noise in Standard Modern Greek (SMG). Twenty female speakers of SMG participated in the study. Fricatives were produced in stressed and unstressed positions in two vowel place positions: back and front vowels. Acoustic measurements were taken and the temporal and spectral properties of fricatives—using spectra...

The main criterion in investment decisions is to maximize the investors utility. Traditional capital asset pricing models cannot be used when asset returns do not follow a normal distribution. For this reason, we use capital asset pricing model with independent and identically asymmetric power distributed (CAPM-IIAPD) and capital asset pricing model with asymmetric independent and identically a...

background and aim: this study investigated whether objective temporal processing paradigms including voice-onset-time, speech-in-noise, and amplitude modulated-broad-band noise (am-bbn) are sensitive to disrupted temporal processing in elderly listeners with normal hearing (age-related-temporal processing deficit). methods: we evaluated 15 adults aged 64–80 years using behavioural measures of ...

PURPOSE Evasive sidestepping during sports commonly results in noncontact anterior cruciate ligament injuries. Sidestepping in response to different simple visual stimuli has been studied previously but never investigated using quasi-game-realistic visual conditions. We compared the biomechanics of high-level and low-level soccer players when sidestepping in response to projected, three-dimensi...

In this paper, we present a unified framework for the analysis of video databases by using Markov spatio-temporal random walks on graph. The framework provides an efficient approach for both clustering, data organization, dimension reduction and recognition. The aim is to develop a visionbased approach for human behaviour recognition. Our contribution lies in three aspects. First, we employ 3D ...

modeling and wrench feasible workspace analysis of a spatial cable suspended robots is presented. a six-cable spatial cable robot is used the same as stewart robots. due to slow motion of the robot we suppose the motion as pseudostatic and kinetostatic modeling is performed. various workspaces are defined and the results of simulation are presented on the basis of various workspaces and applied...

Within the large body of research in complex network analysis, an important topic is the temporal evolution of networks. Existing approaches aim at analyzing the evolution on the global and the local scale, extracting properties of either the entire network or local patterns. In this paper, we focus instead on detecting clusters of temporal snapshots of a network, to be interpreted as eras of e...