This paper explores the contributions of Answer Set Programming (ASP) to the
study of an established theory from the field of Second Language Acquisition:
Input Processing. The theory describes default strategies that learners of a
second language use in extracting meaning out of a text, based on their
knowledge of the second language and their background knowledge about the
world. We formalized this theory in ASP, and as a result we were able to
determine opportunities for refining its natural language description, as well
as directions for future theory development. We applied our model to automating
the prediction of how learners of English would interpret sentences containing
the passive voice. We present a system, PIas, that uses these predictions to
assist language instructors in designing teaching materials. To appear in
Theory and Practice of Logic Programming (TPLP).

本文探讨了使用 Answer Set Programming (ASP) 对第二语言习得领域中已有理论 Input Processing 的贡献。作者将该理论用 ASP 形式化，使之能够自动预测学生对被动语态语句的理解，进一步辅助语言教师编写教学材料并指向未来理论发展方向。

应用答案集编程于第二语言习得领域

An Application of Answer Set Programming to the Field of Second Language  Acquisition

Active particles contain internal degrees of freedom with the ability to take
in and dissipate energy and, in the process, execute systematic movement.
Examples include all living organisms and their motile constituents such as
molecular motors. This article reviews recent progress in applying the
principles of nonequilibrium statistical mechanics and hydrodynamics to form a
systematic theory of the behaviour of collections of active particles -- active
matter -- with only minimal regard to microscopic details. A unified view of
the many kinds of active matter is presented, encompassing not only living
systems but inanimate analogues. Theory and experiment are discussed side by
side.

本文回顾了近期将非平衡统计力学和流体力学原理应用于形成一种系统化的理论，以研究仅涉及微观细节的集合活性粒子（活性物质）行为的进展，同时并列讨论了实验和理论，提出了一种统一的观点，其中包括不仅仅是生物系统，还有无生命的类比。

主动物质的力学和统计学

The Mechanics and Statistics of Active Matter

Used to estimate the risk of an estimator or to perform model selection,
cross-validation is a widespread strategy because of its simplicity and its
apparent universality. Many results exist on the model selection performances
of cross-validation procedures. This survey intends to relate these results to
the most recent advances of model selection theory, with a particular emphasis
on distinguishing empirical statements from rigorous theoretical results. As a
conclusion, guidelines are provided for choosing the best cross-validation
procedure according to the particular features of the problem in hand.

本研究对交叉验证在模型选择中的表现进行了综述，其中特别强调了实证研究结果和理论研究结果的区别，并给出了根据问题特征选择最佳交叉验证程序的指南。

模型选择的交叉验证程序综述

A survey of cross-validation procedures for model selection

We present a novel approach for learning nonlinear dynamic models, which
leads to a new set of tools capable of solving problems that are otherwise
difficult. We provide theory showing this new approach is consistent for models
with long range structure, and apply the approach to motion capture and
high-dimensional video data, yielding results superior to standard
alternatives.

提出一种用于学习非线性动态模型的新方法，可用于解决难以处理的长期结构模型数据，并将该方法应用于运动捕捉和高维视频数据，获得了优于标准方法的结果。

学习非线性动态模型

Learning Nonlinear Dynamic Models

In this survey, different aspects of the theory of orthogonal polynomials of
one (real or complex) variable are reviewed. Orthogonal polynomials on the unit
circle are not discussed.

本文综述了一元正交多项式理论的不同方面，但未涉及在单位圆上的正交多项式。