Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Education and state. --- Education, Higher. --- Educational sociology. --- Educational Policy and Politics. --- Higher Education. --- Sociology of Education. --- Education and sociology --- Social problems in education --- Society and education --- Sociology, Educational --- Sociology --- Education --- College students --- Higher education --- Postsecondary education --- Universities and colleges --- Education policy --- Educational policy --- State and education --- Social policy --- Endowment of research --- Aims and objectives --- Government policy --- Higher education and state --- Admission. --- Colleges --- Degree-granting institutions --- Higher education institutions --- Higher education providers --- Institutions of higher education --- Postsecondary institutions --- Public institutions --- Schools --- Education, Higher --- Admission to college --- Admissions, College --- College admission --- University admission --- College admission officers --- College applications --- College preparation programs --- Entrance requirements --- Universitats --- Administració universitària --- Educació superior --- Política educativa --- Xina

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Strategic rivalries (World politics) --- China --- Japan --- East Asia --- Foreign relations --- Foreign relations --- Foreign relations.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Chinese president Xi Jinping is most famously associated with his "Chinese Dream" campaign. Xi environs the dream to be one about the great rejuvenation of the Chinese nation. Many observers, though, view China's pursuit of this dream as alarming. They see a global power ready to abandon its low-profile diplomacy and eager to throw its weight around. This book represents an inter-disciplinary effort of deciphering the Chinese Dream and its global impact. Jing Sun employs concepts from political science and journalism and those from literature, sociology, psychology and drama studies, to offer a multi-level analysis of various actors' roles in Chinese foreign policymaking: the leaders, the bureaucrats, and its increasingly diversified public. The title - Red Chamber has two layers of meanings: first, it refers to an earlier Chinese dream that nearly all the Chinese are familiar with - an 18th century literature classic Dream of the Red Chamber that describes the rise and fall of seemingly invincible powerhouses; second, it refers to the ornate, red-painted headquarters of the Chinese Communist Party in downtown Beijing, where its leaders now are dreaming global - hence the second part of the title World Dream. The classic epic novel Dream of the Red Chamber also offers methodological inspirations for this book: in telling a grand family's demise, the author Cao Xueqin rejected making any particular group of actors dominating the story narrative. Instead, he detailed activities by people at all levels. By doing so, the book presented a dynamic network of interactions, as power sparks on the nodes of this cobweb. Likewise, this book rejects a simple dichotomy of an omnipotent, authoritarian state versus a suppressed society. Instead, it examines how Chinese foreign policy is constantly being forged and contested by interactions among its leaders, bureaucrats, and people. The competition for shaping China's foreign policy also happens on multiple arenas: intra-party fighting, inter-ministerial feuding, social media, TV dramas and movies, etc. This book presents a vast amount of historical details, many unearthed the first time in the English language. Meanwhile, it also examines China's diplomatic responses to ongoing issues like the Covid-19 crisis. The result is a study multi-disciplinary in nature, rich in historical nuances, and timely in contemporary significance.

Cao, Xueqin, --- Criticism and interpretation. --- China --- Foreign relations --- Politics and government

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Algorithms. --- Mathematical logic. --- Computer Science. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Formal methods (Computer science) --- Software engineering --- Computer software --- Verification --- Computer software. --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Distributed processing --- Foundations --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

Software engineering. --- Logic design. --- Computer system performance. --- Computer industry. --- Computer science. --- Software Engineering. --- Logics and Meanings of Programs. --- System Performance and Evaluation. --- The Computing Profession. --- Mathematical Logic and Formal Languages. --- Special Purpose and Application-Based Systems. --- Electronic industries --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Formal methods (Computer science) --- Computer logic. --- Computer system failures. --- Computers. --- Mathematical logic. --- Special purpose computers. --- Special purpose computers --- Computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Computer science logic --- Logic, Symbolic and mathematical --- Failures