Towards Parameterized Regular Type Inference Using Set Constraints

We propose a method for inferring \emph{parameterized regular types} for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint systems). Such parameterized regular types generalize \emph{parametric} regular types by extending the scope of the parameters in the type definitions so that such parameters can relate the types of different predicates. We propose a number of enhancements to the procedure for solving the constraint systems that improve the precision of the type descriptions inferred. The resulting algorithm, together with a procedure to establish a set constraint system from a logic program, yields a program analysis that infers tighter safe approximations of the success types of the program than previous comparable work, offering a new and useful efficiency vs. precision trade-off. This is supported by experimental results, which show the feasibility of our analysis

Thermal capabilities and graphical output of PAFEC

The program for automatic finite element calculations (PAFEC) developed for the computation of heat transfer in structures is discussed. The passive and interactive graphics capabilities of the PAFEC system are presented and future developments are outlined. This finite element system is shown to have significant thermal capabilities in support of its general structures. The program offers the following types of analysis: interactive graphics; user defined program control steps; steady state, transient heat transfer; boundary element methods; linear static, stress and displacements; modes and frequencies calculations; direct dynamic time intergration; frequency response analysis; elastohydrodynamic lubrication; large deflection analysis, buckling; creep and plasticity analysis; and substructures analysis

Method for nonlinear exponential regression analysis

Two computer programs developed according to two general types of exponential models for conducting nonlinear exponential regression analysis are described. Least squares procedure is used in which the nonlinear problem is linearized by expanding in a Taylor series. Program is written in FORTRAN 5 for the Univac 1108 computer

ERRORS BY AUTO-MORPHOLOGICAL ANALYSIS IN A CHILDREN STORY CORPUS: AN EVALUATION OF MORPHIND PROGRAM

Indonesian Morphological Tool, Morphind, is meant to make a proper morphological analysis before doing further automatic language processing.Morphind is applied to enrich raw Indonesian text with morphological information, the preprocessing stage of an Indonesian corpus. In this study, the data is obtained from children's stories in the website ceritaanak.org by taking 500 types of total 2101 types. The purpose of this study is to identify and classify the types of errors present in data processing using morphind program. In the analalysis I uses the method Introspective and Dictionary Indonesian (KBBI) to validate the analysis. The findings of this research suggest that there are still many aspects that can be improved about morphind. Recommendations are fixing the data base especially for OOV (out of vocabulary) and dictionary accuracy, improving the display for the Allomorph, and improving the algorithm for morpheme segmentation