The SHUNYATA program constructs proof methods by analyzing proofs of simple theorems in mathematical theories such as group theory and uses these methods to form prooh of new theorems in the same or in other theories. Such methods are capable of generating proo& of theorems whose complexity represents the state of the art in automated theorem proving. They are composed of elementary functions s...

objective: in recent years, the prevalence of overweight and obesity had a significant growth in children. obesity is a serious health problem all over the world. in this study, we aimed to determine the prevalence of overweight and obesity in elementary students in robat-karim, iran in 2014. materials and methods: this cross-sectional study was conducted on 490 female students of elementary sc...

The interaction of UHE neutrinos can be observed from outer space. The advantage of the proposed method is that the Earth can be used as an energy filter as well as a target. We sketch the potentials of these observations in searching for particle physics beyond the Standard Model of elementary particle interactions as well as observations of astronomical objects such as active galactic nuclei.

in this paper, some elementary operations on triangular fuzzynumbers (tfns) are defined. we also define some operations on triangularfuzzy matrices (tfms) such as trace and triangular fuzzy determinant(tfd). using elementary operations, some important properties of tfms arepresented. the concept of adjoints on tfm is discussed and some of theirproperties are. some special types of tfms (e.g. pu...

Concerted efforts have been made to understand school bullying in the last decade; however, few studies have focused on Asian and Latino students. Recent research has proposed a social-ecological framework to study the influence of broader contexts—such as familial, school, and acculturation—on children’s bullying involvement (e.g., Hong & Espelage, 2012). The aim of this study was to qualitati...

Kaons are heavy enough to have an interesting range of decay modes available to them, and light enough to be produced in sufficient numbers to explore rare modes with satisfying statistics. Kaons and their decays have provided at least two major breakthroughs in our knowledge of fundamental physics. They have revealed to us CP violation,l and their lack of flavor-changing neutral interactions w...

The main features of radiation by relativistic electrons are well approximated in the Weizsäcker-Williams method of virtual quanta. This method is best known for its application to radiation during elementary particle collisions, but is equally useful in describing “classical” radiation emitted during the interaction of a single relativistic electron with an extended system, such as synchrotron...

The present study investigated the way elementary school teachers perceive the importance of phonological awareness in their classroom experiences. To achieve the aim, 75 elementary school teachers of both genders with diverse years of experience and qualifications from 25 elementary schools in Khorram Abad, Iran were selected. In order to obtain the data, the modified version of the Likert-typ...