scholarly journals A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case

2008 ◽  
pp. 321-335 ◽  
Author(s):  
Manfred Schmidt-Schauss ◽  
Elena Machkasova
Keyword(s):  
Lambda Calculus ◽  
Simulation Method

Lambda Calculus with Types

2009 ◽  
Author(s):  
Henk Barendregt ◽  
Wil Dekkers ◽  
Richard Statman
Keyword(s):  
Lambda Calculus

Power of Modified Brown-Forsythe and Mixed-Model Approaches in Split-Plot Designs

Methodology ◽  
2017 ◽  
Vol 13 (1) ◽  
pp. 9-22 ◽  
Author(s):  
Pablo Livacic-Rojas ◽  
Guillermo Vallejo ◽  
Paula Fernández ◽  
Ellián Tuero-Herrero
Keyword(s):  
Repeated Measures ◽  
Statistical Power ◽  
Mixed Model ◽  
Covariance Structure ◽  
Simulation Method ◽  
Future Research ◽  
Repeated Measures Design ◽  
Fixed And Random Effects ◽  
Split Plot ◽  
High Level

Abstract. Low precision of the inferences of data analyzed with univariate or multivariate models of the Analysis of Variance (ANOVA) in repeated-measures design is associated to the absence of normality distribution of data, nonspherical covariance structures and free variation of the variance and covariance, the lack of knowledge of the error structure underlying the data, and the wrong choice of covariance structure from different selectors. In this study, levels of statistical power presented the Modified Brown Forsythe (MBF) and two procedures with the Mixed-Model Approaches (the Akaike’s Criterion, the Correctly Identified Model [CIM]) are compared. The data were analyzed using Monte Carlo simulation method with the statistical package SAS 9.2, a split-plot design, and considering six manipulated variables. The results show that the procedures exhibit high statistical power levels for within and interactional effects, and moderate and low levels for the between-groups effects under the different conditions analyzed. For the latter, only the Modified Brown Forsythe shows high level of power mainly for groups with 30 cases and Unstructured (UN) and Autoregressive Heterogeneity (ARH) matrices. For this reason, we recommend using this procedure since it exhibits higher levels of power for all effects and does not require a matrix type that underlies the structure of the data. Future research needs to be done in order to compare the power with corrected selectors using single-level and multilevel designs for fixed and random effects.

Electric Field Computation with Improved Charge Simulation Method Considering Volume and Surface Resistivities

2011 ◽  
Vol 131 (8) ◽  
pp. 717-718 ◽  
Author(s):  
Hiroyuki Iwabuchi ◽  
Taiki Donen ◽  
Akiko Kumada ◽  
Kunihiko Hidaka
Keyword(s):  
Electric Field ◽  
Simulation Method ◽  
Charge Simulation Method ◽  
Field Computation

New Simplified Low Cost Simulation Method for SME Manufacturing System

2015 ◽  
Vol 9 (2) ◽  
pp. 206
Author(s):  
Tawfik Benabdallah ◽  
Nor Nait Sadi ◽  
Mustapha Kamel Abdi
Keyword(s):  
Manufacturing System ◽  
Low Cost ◽  
Simulation Method ◽  
Cost Simulation

Combination of Support Vector Machine and K-Fold cross-validation for prediction of long-term degradation of the compressive strength of marine concrete

2018 ◽  
Vol 1 (1) ◽  
pp. 120-130 ◽  
Author(s):  
Chunxiang Qian ◽  
Wence Kang ◽  
Hao Ling ◽  
Hua Dong ◽  
Chengyao Liang ◽  
...  
Keyword(s):  
Support Vector Machine ◽  
Environmental Factors ◽  
Cross Validation ◽  
Concrete Strength ◽  
Simulation Method ◽  
Support Vector ◽  
Svm Model ◽  
Artificial Neural Network Ann ◽  
Influence Degree ◽  
Fold Cross Validation

Support Vector Machine (SVM) model optimized by K-Fold cross-validation was built to predict and evaluate the degradation of concrete strength in a complicated marine environment. Meanwhile, several mathematical models, such as Artificial Neural Network (ANN) and Decision Tree (DT), were also built and compared with SVM to determine which one could make the most accurate predictions. The material factors and environmental factors that influence the results were considered. The materials factors mainly involved the original concrete strength, the amount of cement replaced by fly ash and slag. The environmental factors consisted of the concentration of Mg2+, SO42-, Cl-, temperature and exposing time. It was concluded from the prediction results that the optimized SVM model appeared to perform better than other models in predicting the concrete strength. Based on SVM model, a simulation method of variables limitation was used to determine the sensitivity of various factors and the influence degree of these factors on the degradation of concrete strength.

A FRACTIONAL FUZZY SIMULATION METHOD FOR PREDICTING DISSOLVED TOLUENE AND OXYGEN CONCENTRATIONS IN AQUIFERS UNDER MICROBIAL ATTENUATION

2016 ◽  
Vol 15 (8) ◽  
pp. 1801-1811
Author(s):  
Li He ◽  
Wen Ze Yun ◽  
Qi Yang ◽  
Ai Li Yang ◽  
Guo He Huang ◽  
...  
Keyword(s):  
Simulation Method ◽  
Fuzzy Simulation ◽  
Oxygen Concentrations
Sign in / Sign up

Export Citation Format

Share Document