INTRODUCTION The aim of this study was to analyse the association between the ACE ID polymorphism and aerobic capacity in a homogeneous cohort of national Asian rugby players. METHODS 17 subjects recruited during active training had their maximal oxygen uptake (V0 2 max) and ventilatory threshold (VT) measured during maximal exercise testing. ACE genotyping was performed for all players. RE...

Think of a ”prover” trying to convince a ”verifer” that a statement is correct. For example, that a certain CNF formula is satisfiable. How much power does interaction gives? We will assume the verifier is poly-time, while the prover is all powerful. Think of the prover trying to ”prove” to the verifier that x ∈ L. Definition 1.1. Let L ⊂ {0, 1}∗ be a language. An interactive protocol between a...

In this paper, we propose a new semantic framework for disjunctive logic programs by introducing the so called static expansions which extend to disjunctive programs the notions of stable, well-founded and stationary (or partial stable) models while at the same time generalizing the minimal model semantics of positive disjunctive programs. For every disjunctive program P; we de ne rst order ext...

Spiking neural P systems were introduced in the end of the year 2005, in the aim of incorporating in membrane computing the idea of working with unique objects (“spikes”), encoding the information in the time elapsed between consecutive spikes sent from a cell/neuron to another cell/neuron. More than one dozen of papers where written in the meantime, clarifying many of the basic properties of t...

in this paper we consider several generalizations of the skew t-normal distribution, and some of their properties. also, we represent several theorems for constructing each generalized skew t-normal distribution. next, we illustrate the application of the proposed distribution studying the ratio of two heavy metals, nickel and vanadium, associated with crude oil in shadgan wetland in the south-...