The paper describes the arriving, the probable and the inevitable, emerging through the exponential technological development, particularly the informational one (IT), and by the new concepts of Kurzweil’s singularity of the strong artificial intelligence (AI) on the one side and by the recursiveness of author’s informational consciousness (IC) on the other. A comparison between the criteria of...

aim and background: the purpose of this study was to compare patients with functional gastrointestinal disorders (fgid) and normal persons in terms of alexithymia, severity of gastrointestinal symptoms, and demographic variables. methods and materials: this causal-comparative research included 129 fgid patients who were referred to a psychosomatic disorders clinic in isfahan, iran. a matched gr...

In North Eastern India the place ‘Koch Behar’ situated just next to Assam. Koch Behar mentioned as ‘Pragjyotish’ or ‘Kamrup’ in various scriptures of Ancient India. From Ramayana, Mahabharat Harsharcharit everywhere term was mentioned. some period time Kamrup feudatory under Pala’s, Ahoms and so on also sought act self-governed independent Kingdom. Mainly habitat Koches Kamta named Behar. Akbar...

study of groundwater quality trend in any region is very important from the view of scheduling and sustainable water resources management. in the present study trend analysis conducted on groundwater quality based on information of 32 piezometeric stations located in the ardabil plain from 1993 to 2008 using the non-parametric spearman test. hydrogeochemical variables studied here are total ani...

Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order alternatives force the programmer to deal with superficial concerns such as substitutions, whose implementation is often routine, tedious, and error-prone. In this paper, we describe the underlying calculus of Delphin. Delphin i...

functional foods have a large and growing global market and are regarded as one of the most actively researched areas of food science. the growth in popularity of functional foods is attributed to the phenomena of consumer health care, increasing health awareness and knowledge in the many benefits of functional foods. common benefits of functional foods include reduction of disease, health main...

In this paper, we develop, in the proof assistant Coq, a definitional interpreter and type-checker for simply typed functional language, formally prove that mentioned is sound with respect to via progress preservation. To represent binders, embark on choice of “concrete syntax” which parameters are just names (or strings).