In this paper we study the properties of systems of bounded arithmetic capturing small complexity classes and state conditions sufficient for such systems to capture the corresponding complexity class tightly. Our class of systems of bounded arithmetic is the class of secondorder systems with comprehension axiom for a syntactically restricted class of formulas Φ ⊂ Σ 1 based on a logic in the de...

the purpose of this study was to investigate the status of risk management in iran football stadiums. the research method was descriptive and survey. the statistical population included all football stadium managers and the sample consisted of the managers of those stadiums in which football premier leagues were held (n=50). two questionnaires were used to collect the data: risk management ques...

Sensory evaluation is used to measure consciousness, and primarily developed in experimental and mathematical psychology. Sensory experiences can be reported using verbal (semantic) methods. This paper presents an overview of our semantic research achievements over the past decade, focusing on methodological attempts for substantiating the measure as a descriptive sensory analysis. Two types of...

Ehrenfeucht-Fraı̈ssé games and their generalizations have been quite successful in finite model theory and yield various inexpressibility results. However, for key problems such as P 6= NP or NP 6= co-NP no progress has been achieved using the games. We show that for these problems it is already hard to get the board for the corresponding Ehrenfeucht-Fraı̈ssé game. We obtain similar results for t...

Descriptive k-Means natomiast ekstrakcj˛ e fraz cz˛ estych, frazy nominalne oraz grupowanie przy pomocy algorytmu k-Means (k-´ srednich). W pracy przedstawiono eksperymenty obliczeniowe dla obu algorytmów. Wyniki eksperymentów porównuj ˛ a jako´s´c grupowania (rozumian ˛ a jako sposób odtworzenia znanego przydziału dokumentów do grup) przy u˙ zyciu Lingo oraz Descriptive k-Means, z ich najbli˙ ...

This study aimed to investigate the influence of organizational culture on the knowledge management measures in Department of Social Security in Lorestan; the methodology is an applied, descriptive/survey, in terms of objective, the nature and methods, respectively and it is a fieldwork one; the statistical population consisted of N=380 employees of the Social Security Administration of Loresta...

in this paper, a new method is proposed for the production of mwcnts/pvc (multi-walled carbon nanotubes/ polyvinyl chloride) nanocomposites. in this method, a spray is used to produce layers of carbon nanotubes within a pvc matrix. various parameters influence the production of the nanocomposite and its mechanical properties. these parameters are studied separately and the effect of each of par...

the purpose of this study was to investigate the attitudes of managers in private companies towards sport sponsorship as an advertising tool. the method of this study was descriptive and survey and it was practical. the statistical population of research included all chief managers (executive officers, financial officers or sales officers) of private large productive companies in esfahan that w...