نتایج جستجو برای: order latent variables insight
تعداد نتایج: 1331383 فیلتر نتایج به سال:
Introduction: The study using national data, assessed relationship between Parent’s educations with child’s Health in Iran and looking for the role of intermediary variables. Method: In this Ecological study, we collected national data on parental education as predictive variables, Children’s health as response variable and housing condition, Child’s benefit from health ...
Background and Objective: Approximately, half of the occupational accidents are associated with the construction industry in Iran. Therefore, the factor analysis of risk variables affecting occupational injuries in the construction industry can lead to understanding and reducing the rate of injuries in these projects. The purpose of this study was to identify the risk factors affecting the type...
A. Scalable training The bottleneck of the training procedure is the expectation step (E-Step) of the Expectation-Maximization algorithm. This E-Step requires the computation of the first and second order moments of the latent variables. 1) Estimating the first order moment of the Latent Variables: The most computationally expensive part when estimating the latent variables is the inversion of ...
Introducion: Few studies to date have shown the adverse effects of prolonged latent phase. Related factors, maternal and fetal outcomes of prolonged latent phase were studied in order to prevent these effects. Methods: In a cross-sectional study, 224 women were assessed at Shohada hospital by using questionnaire, examination and follow up to calculate the latent phase duration up to 3cm dilata...
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-rules for it, we demonstrate cut-elimination for the resulting logic, and we give a semantics for which the logic is sound and complete. Because we can now make assertions about what would normally be considered an intensional pr...
In this paper we prove decidability of two kinds of branching time temporal logics. First we show that the non-local version of propositional , in which truth values of atoms may depend on the branch of evaluation, is decidable. Then we use this result to establish decidability of various fragments of quantified , where the next-time operator can be applied only to formulas with at most one fre...
Second-order uniication is undecidable in general. Miller showed that uniication of so-called higher-order patterns is decidable and unitary. We show that the uniication of a linear higher-order pattern s with an arbitrary second-order term that shares no variables with s is decidable and nitary. A few extensions of this uniication problem are still decidable: unifying two second-order terms, w...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید