Bücher von Jing Sun

This book explores effectiveness and fairness in higher education admissions policy. It reviews the literatures from the 1940s until the 2010s and provides a theoretical framework. The book explores comparisons between this framework and the empirical data by interviewing policymakers from the Chinese government as well as admissions officer at Chinese universities. The book contributes to providing underlying theoretical foundation on the future Chinese higher education admissions policy reform. This book appeals to policymakers on all level of education, practitioners of admissions policy, researchers on education policy, and anyone who is interested in this field.

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

Explores contemporary Chinese urban youth culture through analyses of three Chinese Internet subcultural artifacts - A Bloody Case of a Steamed Bun, Cao Ni Ma, and Du Fu Is Busy. Using Douglas Kellner's multiperspectival cultural studies, Jing Sun examines three general themes - resistance, power relations, and consumerism.