Regularized Partial and/or Constrained Redundancy Analysis

Methods of incorporating a ridge type of regularization into partial redundancy analysis (PRA), constrained redundancy analysis (CRA), and partial and constrained redundancy analysis (PCRA) were discussed. The usefulness of ridge estimation in reducing mean square error (MSE) has been recognized in multiple regression analysis for some time, especially when predictor variables are nearly collinear, and the ordinary least squares estimator is poorly determined. The ridge estimation method was extended to PRA, CRA, and PCRA, where the reduced rank ridge estimates of regression coefficients were obtained by minimizing the ridge least squares criterion. It was shown that in all cases they could be obtained in closed form for a fixed value of ridge parameter. An optimal value of the ridge parameter is found by G-fold cross validation. Illustrative examples were given to demonstrate the usefulness of the method in practical data analysis situations. We thank Jim Ramsay for his insightful comments on an earlier draft of this paper. The work reported in this paper is supported by Grants 10630 from the Natural Sciences and Engineering Research Council of Canada to the first author.     

Light Affine Set Theory: A Naive Set Theory of Polynomial Time

In [7], a naive set theory is introduced based on a polynomial time logical system, Light Linear Logic (LLL). Although it is reasonably claimed that the set theory inherits the intrinsically polytime character from the underlying logic LLL, the discussion there is largely informal, and a formal justification of the claim is not provided sufficiently. Moreover, the syntax is quite complicated in that it is based on a non-traditional hybrid sequent calculus which is required for formulating LLL.In this paper, we consider a naive set theory based on Intuitionistic Light Affine Logic (ILAL), a simplification of LLL introduced by [1], and call it Light Affine Set Theory (LAST). The simplicity of LAST allows us to rigorously verify its polytime character. In particular, we prove that a function over {0, 1}* is computable in polynomial time if and only if it is provably total in LAST.     

目击证人研究

目击证人的证词对维持司法系统公正的重要性使得对目击证人的研究成为当今法律心理学和司法领域的热点之一。目击证人的错误证词是导致锗判案件的最常见原因。警方在询问、队列辨认与照片识别中的特定程序和行为,目击证人的记忆、年龄、性别、种族、自信程度等．都将影响证词的准确性。     

Varieties of Linear Calculi

A uniform calculus for linear logic is presented. The calculus has the form of a natural deduction system in sequent calculus style with general introduction and elimination rules. General elimination rules are motivated through an inversion principle, the dual form of which gives the general introduction rules. By restricting all the rules to their single-succedent versions, a uniform calculus for intuitionistic linear logic is obtained. The calculus encompasses both natural deduction and sequent calculus that are obtained as special instances from the uniform calculus. Other instances give all the invertibilities and partial invertibilities for the sequent calculus rules of linear logic. The calculus is normalizing and satisfies the subformula property for normal derivations.     

Equivalent linear logistic test models

This paper is about the Linear Logistic Test Model (LLTM). We demonstrate that there are infinitely many equivalent ways to specify a model. An implication is that there may well be many ways to change the specification of a given LLTM and achieve the same improvement in model fit. To illustrate this phenomenon, we analyze a real data set using a Lagrange multiplier test for the specification of the model. This Lagrange multiplier test is similar to the modification index used in structural equation modeling.     

Testing the significance of the successive components in redundancy analysis

In this paper we study the interrelationships between two sets of data measured on the same subjects via redundancy analysis. We consider redundancy analysis from an inferential point of view. Under the hypothesis of multinormality, tests of significance are obtained for each successive redundancy component so that only the significant factors are retained for prediction purposes. An example illustrates the method. The authors would like to thank the Editor and the referees for their helpful comments. This research has been partly financed by NSERC (Canada).     

Typology and psychological effects of adolescents' interpersonal relationships in Taiwan

The present research explored Taiwanese adolescent students' interpersonal relationships and examined whether teachers' evaluations of these students' health and academic performances varied with the students' interpersonal relationship patterns. Data ( n  = 2310) were based on a panel study conducted by the Taiwan Youth Project in 2001 (eighth grade) and 2002 (ninth grade). Latent class models and hierarchical linear models were used to analyse the data. Adolescent students' interpersonal relationships were categorized as Multiple Contacts, Parents- and Peers-Close, Peers-Close, and Few Contacts. The research results showed that not only adolescents' self-reports of self-esteem and depressed mood but also teachers' evaluations of adolescents' health and academic performances varied with adolescents' interpersonal relationship patterns. An influence of teachers' character and work environment on their evaluations of students was found. Teachers who had more years of teaching and higher job satisfaction rated their students as having better health, and teachers who felt greater respect from their students reported that their students had better academic performance. The connection between adolescents' psychological well-being and the roles of parents, peers and teachers is also discussed.     

高中生沉思与应激性生活事件对抑郁症状的影响:1年追踪研究

探讨沉思及沉思亚型与应激性生活事件的交互作用对抑郁症状的影响。采用流调中心用抑郁量表、青少年生活事件问卷和沉思反应量表等自评量表对527名高中生的抑郁症状、应激性生活事件和沉思进行评估,随后每3个月测评一次抑郁症状和应激性生活事件的发生情况,追踪调查1年,用多层线性模型分析数据。结果表明:沉思和强迫性冥思对抑郁症状的主效应显著,而反思不显著;沉思、强迫性冥思和反思与生活事件对抑郁症状的交互作用均不显著。结论:应激性生活事件和强迫性冥思会加重抑郁症状,而反思没有加重抑郁症状;沉思及亚型均不会改变应激性生活事件对抑郁症状的影响程度。     

虚拟团队共享心理模型与团队效能的关系

通过对62个虚拟团队的调研,检验了虚拟团队认同式共享心理模型与分布式共享心理模型构思,并运用多层线性建模技术,对团队特征变量、共享心理模型与虚拟团队效能间的关系进行了分析。结果表明：两类共享心理模型与团队效能间存在显著正相关;团队时间会影响共享心理模型与虚拟团队任务效能间的关系,团队时间会削弱认同式共享心理模型对任务效能间的正向关系,但能加强分布式共享心理模型对任务效能的正面影响;团队规模则主要影响共享心理模型对合作效能的效应,团队规模增加会加强认同式共享心理模型与合作效能间的相关,却会削弱分布式共享心理模型与合作效能间的关系     

Lambda Calculus and Intuitionistic Linear Logic

The introduction of Linear Logic extends the Curry-Howard Isomorphism to intensional aspects of the typed functional programming. In particular, every formula of Linear Logic tells whether the term it is a type for, can be either erased/duplicated or not, during a computation. So, Linear Logic can be seen as a model of a computational environment with an explicit control about the management of resources.This paper introduces a typed functional language ! and a categorical model for it.The terms of ! encode a version of natural deduction for Intuitionistic Linear Logic such that linear and non linear assumptions are managed multiplicatively and additively, respectively. Correspondingly, the terms of ! are built out of two disjoint sets of variables. Moreover, the -abstractions of ! bind variables and patterns. The use of two different kinds of variables and the patterns allow a very compact definition of the one-step operational semantics of !, unlike all other extensions of Curry-Howard Isomorphism to Intuitionistic Linear Logic. The language ! is Church-Rosser and enjoys both Strong Normalizability and Subject Reduction.The categorical model induces operational equivalences like, for example, a set of extensional equivalences.The paper presents also an untyped version of ! and a type assignment for it, using formulas of Linear Logic as types. The type assignment inherits from ! all the good computational properties and enjoys also the Principal-Type Property.