Abstract The current paper studies the formal properties of Global Reflection Principle, to wit assertion “All theorems $\mathrm {Th}$ are true,” where is a theory in language arithmetic and truth predicate satisfies usual Tarskian inductive conditions for formulae arithmetic. We fix gap Kotlarski’s proof from [15], showing that Principle Peano Arithmetic provable compositional with bounded ind...

in this paper, a novel hybrid model based on neural network and game theory is proposed to support the analyzers in oil market. in this model, first the neural network is utilized to learn the oil prices associated with opec production level and usa imports level. then the learned neural network is applied by a game model. finally the nash equilibrium points of the game present the optimum deci...

The study of rotary steering drilling technology is currently one of the hot topics in the drilling engineering field. It requires accurate well trajectory control instructions when rotary steerable tools are applied to achieve the well trajectory control goal. A drilling trajectory prediction model will benefit this progress. According to the continuous beam theory, a mechanical model of push-...

This study aims to conceptualize business excellence model and identify its variables and indicators. The philosophical foundations of the pragmatic, humanistic theory of symbolic interactionism has been, quietly and the strategy of grand theory deal with open, axial and selective coding; whose output is a new concept. Data collection is based on documentation studies on excellence models. The ...

the purpose of this research is investigation of application of the arbitrage pricing theory and effect of unanticipated changes in a set of macroeconomic variables such as inflation rate, money supply, exchange rate, oil price, term structure and industrial production on expected security return in tehran stock exchange. in this research, data are analyzed quarterly for the period of 1997-2008...

using greedy clustering method to solve capacitated location-routing problem with fuzzy demands abstract in this paper, the capacitated location routing problem with fuzzy demands (clrp_fd) is considered. in clrp_fd, facility location problem (flp) and vehicle routing problem (vrp) are observed simultaneously. indeed the vehicles and the depots have a predefined capacity to serve the customerst...

neither damage mechanics model nor elastoplastic constitutive law can solely describe the behavior of concrete satisfactorily. in fact, they both fail to represent proper unloading slopes during cyclic loading. to overcome the disadvantages of pure plastic models and pure damage approaches, the combined effects need to be considered. in this regard, various classes of plastic-damage models have...

A considerable amount of studies have been established on conditional reasoning supporting mental model theory of propositional reasoning. Mental model theory proposed by Johnson- larid and Byrne is an explanation of someone's thought process about how something occurs in the real world. Conditional reasoning as a kind of reasoning is the way to speak about possibilities or probabilities. The a...

the present study has dealt with studying the coaching model in training of human resource based on grounded theory. this study has done on qualitative bases and has utilized grounded theory approach besides semi-structured interviews for data collecting. in this study, interview was conducted, by using purposive and chain sampling, 7 training experts who were familiar with coaching. this quali...