We present the foundations of a verifier for higher-order functional programs with generics and recursive algebraic data types. Our verifier supports finding sound proofs and counterexamples even in the presence of certain quantified invariants and recursive functions. Our approach uses the same language to describe programs and invariants and uses semantic criteria for establishing termination...

In this paper we study triangularization of collections of matrices whose entries come from a finite-dimensional division ring. First, we give a generalization of Guralnick's theorem to the case of finite-dimensional division rings and then we show that in this case the reduced trace function is a suitable alternative for trace function by presenting two triangularization results. The first one...

in this study, yield-water and profit function was used to obtain water demand function in agriculture sector. the results showed that the ratio of actual to potential evapotranspiration had positive, significant effecton the ratio of actual to potential yield for wheat and barley. also, square ratio of actual to potential evapotranspiration had negative, significant relationship. after estimat...

In this paper, we investigate the means of the values of prime counting function $pi(x)$. First, we compute the arithmetic, the geometric, and the harmonic means of the values of this function, and then we study the limit value of the ratio of them.

Purpose: The purpose of this study is to evaluate the effect of Acceptance and Commitment Therapy for Children with Chronic Pain (CHACT) on the function of 7 to 12 year-old children. Thus, the basic problem of the current study is whether CHACT can improve the function level of 7 to 12 year-old children with chronic pain? Method: According to the criteria of chronic pain, a number of children w...

This was Presented in 5th International Congress of Iranian Iranian Society of Knee Surgery, Arthroscopy, and Sports Traumatology (ISKAST), 14-17 Feb 2018- Kish, Iran