The studies of Church’s thesis (further denoted as CT) are slowly gaining their intensity. Since different formulations of the thesis are being proposed, it is necessary to state how it should be understood. The following is the formulation given by Church: [CT] The concept of the effectively calculable function is identical with the concept of the recursive function. The conviction that the ab...

We present a model that simplifies the formulation of a wide range of complex, mainly selection-based, objectoriented queries, including linear recursive queries. They are complex because it is almost impossible for naive users to predict the formulation of their predicate expressions. Naive users are mainly decision makers who are most probably not computer professionals. Therefore, it is nece...

In this paper, we construct and compare algorithmic approaches to solve the Preference Consistency Problem for preference statements based on hierarchical models. Instances of this problem contain a set of preference statements that are direct comparisons (strict and non-strict) between some alternatives, and a set of evaluation functions by which all alternatives can be rated. An instance is c...

background: every year many organizations formulate a code of ethics (coe) but when it comes to implementing, it does not achieve the desired purposes. ineffectiveness of coes can stem from different factors and surely, one of them is bad formulation. this research was conducted to identify the barriers to effective formulation of coes in one of the main state universities of medical sciences i...

Kazemi (2014) introduced a new version of bucket recursive trees as another generalization of recursive trees where buckets have variable capacities. In this paper, we get the $p$-th factorial moments of the random variable $S_{n,1}$ which counts the number of subtrees size-1 profile (leaves) and show a phase change of this random variable. These can be obtained by solving a first order partial...

background: precise diagnosis of disease risk factors via efficient statistical models is the primary step for reducing the heavy costs of breast cancer, as one of the most highly prevalent cancer throughout the world. therefore, the aim of this study was to present a recently introduced statistical model in order to assess its proficiency for model fitting. methods: the information of 1465 eli...

Abstract A star tracker calibration method using images is presented in this paper. Unlike previous works, the proposed estimates all parameters and attitudes at once a single least-squares formulation for optimal calibration, which can be easily converted to recursive estimation form. In addition, paper presents estimate overall performance attitude determination from results. Since uses only,...

‎The first variable Zagreb index of graph $G$ is defined as‎ ‎begin{eqnarray*}‎ ‎M_{1,lambda}(G)=sum_{vin V(G)}d(v)^{2lambda}‎, ‎end{eqnarray*}‎ ‎where $lambda$ is a real number and $d(v)$ is the degree of‎ ‎vertex $v$‎. ‎In this paper‎, ‎some upper and lower bounds for the distribution function and expected value of this index in random increasing trees (rec...