Academia Sinica

About: Academia Sinica is a facility organization based out in Taipei, Taiwan. It is known for research contribution in the topics: Population & Galaxy. The organization has 52086 authors who have published 65998 publications receiving 1728114 citations. The organization is also known as: Central Research Academy.

Basic principles of mechanical theorem proving in elementary geometrics

Abstract: At the end of 1976 and the beginning of 1977, the author discovered a mechanical method for proving theorems in elementary geometries. This method can be applied to various unordered elementary geometries satisfying the Pascalian Axiom, or to theorems not involving the concept of ‘order’ (e.g., thatc is ‘between’a andb) in various elementary geometries. In Section 4 we give the detailed proofs of the basic principles underlying this method. In Sections 2 and 3 we present the theory of well-ordering of polynomials and a constructive theory of algebraic varieties. Our method is based on these theories, both of which are based on the work of J. F. Ritt. In Section 5 we use Morley's theorem and the Pascal-conic theorem discovered by the author to illustrate the computer implementation of the method.

Cross-Age Reference Coding for Age-Invariant Face Recognition and Retrieval

Abstract: Recently, promising results have been shown on face recognition researches. However, face recognition and retrieval across age is still challenging. Unlike prior methods using complex models with strong parametric assumptions to model the aging process, we use a data-driven method to address this problem. We propose a novel coding framework called Cross-Age Reference Coding (CARC). By leveraging a large-scale image dataset freely available on the Internet as a reference set, CARC is able to encode the low-level feature of a face image with an age-invariant reference space. In the testing phase, the proposed method only requires a linear projection to encode the feature and therefore it is highly scalable. To thoroughly evaluate our work, we introduce a new large-scale dataset for face recognition and retrieval across age called Cross-Age Celebrity Dataset (CACD). The dataset contains more than 160,000 images of 2,000 celebrities with age ranging from 16 to 62. To the best of our knowledge, it is by far the largest publicly available cross-age face dataset. Experimental results show that the proposed method can achieve state-of-the-art performance on both our dataset as well as the other widely used dataset for face recognition across age, MORPH dataset.

Becoming a Moral Child: The Socialization of Shame among Young Chinese Children

Abstract: In an effort to understand shame in Chinese terms, this ethnographic study examines parental beliefs and practices with respect to shame, as well as young children's participation in shaming events. Nine middle-class Taiwanese families participated in this study. Interviews with the primary caregivers and longitudinal observations of spontaneous home interactions revealed that the socialization of shame was well underway by age two-and-a-half. Two types of events were identified, most incidents of which were playful and involved the child's active participation.The child's rudimentary sense of shame was manipulated in order to teach right from wrong and to motivate the child to amend. These events were vivid illustrations of the practice of opportunity education.