introduction: one of the main sections of warm up is stretching which the importance of them is static and dynamic stretching. the purpose of this study was to examine the effects of static and dynamic stretching within a pre-exercise warm-up on the static and dynamic in soccer players. materials and methods: eighteen physical education female students (height: 159.68 ± 5.94 cm; mass: 60.21 ± 5...

As in the observed record, the termination of El Niño in the coupled IPCC-AR4 climate models involves meridional processes tied to the seasonal cycle. These meridional processes both precondition the termination of El Niño events in general and lead to a peculiar termination of extreme El Niño events (such as those of 1982–83 and 1997–98), in which the eastern equatorial Pacific warm sea surfac...

MOTIVATION With increasing availability of temporal real-world networks, how to efficiently study these data? One can model a temporal network as a single aggregate static network, or as a series of time-specific snapshots, each being an aggregate static network over the corresponding time window. Then, one can use established methods for static analysis on the resulting aggregate network(s), b...

We present a feature-based classification of software model verification approaches. We classify a verification approach in a system-centric view according to the pursued verification goal, the representation of the input and the verification domain, the specification language of the properties, and the employed verification technique, which is one of either model checking, theorem proving, or ...

Distributed storage systems are nowadays ubiquitous, often under the form of multiple caches forming a hierarchy. A large amount of work has been dedicated to design, implement and optimise such systems. However, there exists to the best of our knowledge no attempt to use formal modelling and analysis in this field. This paper proposes a formal modelling framework to design distributed storage ...

This study analyzes emotions established between people while interacting in face-to-face conversation. By focusing on empathy and antipathy, especially the process by which they are perceived by external observers, this paper aims to elucidate the tendency of their perception and from it develop a computational model that realizes the automatic inference of perceived empathy/antipathy. This pa...

With model-based development being on the verge of becoming an industrial standard, the topic of research of statically checking the consistency of a model made up of several submodels has already received increasing attention. The evolution of models within software engineering requires support for incremental consistency analysis techniques of a new version of the model after evolution, there...

Though many past works have tried to cluster expressive timing within a phrase, there have been few attempts to cluster features of expressive timing with constant dimensions regardless of phrase lengths. For example, used as a way to represent expressive timing, tempo curves can be regressed by a polynomial function such that the number of regressed polynomial coefficients remains constant wit...

bearing capacity prediction of axially loaded piles is one of the most important problems in geotechnical engineering practices, with a wide variety range of methods which have been introduced to forecast it accurately. machine learning methods have been reported by many contemporary researches with some degree of success in modeling geotechnical phenomena. in this study, a fairly new machine l...

this paper estimates the effects of increase in iran’s non-oil exports on its economic growth as well as sectoral outputs, using a single country, comparative static, exogenous policy computable general equilibrium (cge) model. the paper also investigates the share of tradable sectors in reaching to the targeted growth rate (8%) in 5th socio-economic development plan. for this purpose, the para...