This volume results from two programs that took place at the Institute for Mathematical Sciences at the National University of Singapore: Aspects of Computation — in Celebration of the Research Work of Professor Rod Downey (21 August to 15 September 2017) and Automata Theory and Applications: Games, Learning and Structures (20-24 September 2021).The first program was dedicated to the research work of Rodney G. Downey, in celebration of his 60th birthday. The second program covered automata theory whereby researchers investigate the other end of computation, namely the computation with finite automata, and the intermediate level of languages in the Chomsky hierarchy (like context-free and context-sensitive languages).This volume contains 17 contributions reflecting the current state-of-art in the fields of the two programs.

This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research in the field of mathematical logic.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between the fields of Set Theory and Computation Theory. This includes the new research areas of computational complexity in set theory, randomness beyond the hyperarithmetic, powerful extensions of Goodstein's theorem and the capturing of large fragments of set theory via elementary-recursive structures.Further chapters are concerned with central topics within Set Theory, including cardinal characteristics, Fraisse limits, the set-generic multiverse and the study of ideals. Also Computation Theory, which includes computable group theory and measure-theoretic aspects of Hilbert's Tenth Problem. A volume of this broad scope will appeal to a wide spectrum of researchers in mathematical logic.

This book aims to introduce the state-of-the-art research of stability/performance analysis and optimal synthesis methods for fuzzy-model-based systems. A series of problems are solved with new approaches of design, analysis and synthesis of fuzzy systems, including stabilization control and stability analysis, dynamic output feedback control, fault detection filter design, and reduced-order model approximation. Some efficient techniques, such as Lyapunov stability theory, linear matrix inequality, reciprocally convex approach, and cone complementary linearization method, are utilized in the approaches. This book is a comprehensive reference for researchers and practitioners working on intelligent control, model reduction, and fault detection of fuzzy systems, and is also a useful source of information for senior undergraduates and graduates in these areas. The readers will benefit from some new concepts and methodologies with theoretical and practical significance in system analysis and control synthesis.

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions rather than on the relationship between different forcing axioms or their consistency strengths.

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference is held in the National University of Singapore, in honour of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume offers a wide spectrum of ideas and techniques introduced in contemporary research in the field of mathematical logic to students, researchers and mathematicians.

ASEAN countries play a crucial role in the Belt and Road Initiative (BRI) that was initiated in 2013. A number of priority BRI projects have since been implemented. The implementation of BRI brings new opportunities and challenges to countries in the region, and also to regional integration.In this book, researchers from universities and think-tanks in ASEAN countries study the BRI from the perspective of regional studies. It presents an analysis of responses on BRI of the government and people from individual ASEAN members.The book addresses three areas: First, the strengths and weaknesses of ASEAN countries, and the opportunities and challenges for them in implementing the BRI (a SWOT analysis); second, the impacts of BRI on building the ASEAN community; and third, interactions between BRI and ASEAN-China cooperation.

This book aims to introduce the state-of-the-art research of stability/performance analysis and optimal synthesis methods for fuzzy-model-based systems. A series of problems are solved with new approaches of design, analysis and synthesis of fuzzy systems, including stabilization control and stability analysis, dynamic output feedback control, fault detection filter design, and reduced-order model approximation. Some efficient techniques, such as Lyapunov stability theory, linear matrix inequality, reciprocally convex approach, and cone complementary linearization method, are utilized in the approaches. This book is a comprehensive reference for researchers and practitioners working on intelligent control, model reduction, and fault detection of fuzzy systems, and is also a useful source of information for senior undergraduates and graduates in these areas. The readers will benefit from some new concepts and methodologies with theoretical and practical significance in system analysis and control synthesis.

The Association of Southeast Asian Nations (ASEAN) has been one of the world's most dynamic and fastest-growing regions over the years. Its average combined GDP growth rate is more than 6% and the total combined GDP was valued at US$3.0 trillion in 2018. ASEAN countries have managed to significantly reduce their national poverty over the last few decades. Although a correlation exists between economic growth and poverty reduction, millions of people in ASEAN countries still do not have sufficient incomes to fulfill their basic needs including food, shelter, clothes and sanitation.This book is a collection of working group papers contributed by members of Network of ASEAN-China Think-tanks (NACT) and covers best practices on poverty alleviation in ASEAN member states as well as in China, and ASEAN-China cooperation. It discusses experiences of ASEAN member states and China such as with regard to national policies, principles, definitions, approaches, progress, and challenges in poverty reduction. It reviews and evaluates the way forward including existing joint projects, opportunities, and challenges in the future cooperation and offers policy recommendations from both national and regional perspectives to help policymakers better cope with the daunting poverty challenges.

The global public health crisis of COVID-19 highlights the importance of digital technology. The digital economy is also booming during the pandemic, which has become one of the major driving forces of economic recovery. Given the vital importance of digital technology and the digital economy, this book provides an in-depth understanding of their implications for the sustainable development of ASEAN-China relations from various perspectives. In addition, authors also contribute their resourceful insights on the sustainable development of both China and ASEAN Member States (AMS) through the lens of eco-tourism, carbon neutrality, social inequality, and others.This book provides a series of high-quality policy recommendations. Specific policy recommendations include: 1) China and ASEAN should launch a project to identify connectivity gaps and detail how this might evolve in future investment in digital and ICT (science, technology and innovation). 2) Efforts should be intensified in digital literacy programs, capacity building, and promotion of digital skills to build workforce capacity in the digital age. 3) As a pacesetter in the digital inclusion agenda in the healthcare sector, China can cooperate with other AMS on digital healthcare projects. 4) Action plans should increase collaborative manufacturing and develop mutual trust in supply chains. 5) China and ASEAN should align STI policies with industrial policies and cooperate in adopting frontier technologies while diversifying their production bases by mastering many existing technologies.6) ASEAN and China should continue facilitating e-commerce, including paperless customs clearance, electronic transaction documents, digital authentication, and electronic and online payments.

Since 2019, Network of ASEAN-China Think-tanks (NACT) has been publishing joint researches of all its Working Groups. This book is a collection of research papers contributed by ASEAN and China scholars.This book is published at a time of growing debate in the region over connectivity. The contributing scholars provide their ingenious and insightful thoughts from either a national or regional perspective. The book also contains Working Group Report that include innovative and practical policy recommendations on strengthening the connectivity between ASEAN and China.

In order for the joint research by Network of ASEAN-China Think-tanks (NACT) to reach out to a much wider audience, NACT began to publish joint research of all Working Groups since 2019. This book is a collection of research papers contributed by ASEAN and China scholars who attended NACT Working Group Meeting on Regional Cooperation for Sustainable Energy Development on April 16, 2019 and NACT Working Group Meeting on Environmental Protection in ASEAN and China on May 17, 2019. The contributing scholars give their ingenious and insightful thoughts on ASEAN-China energy and environmental protection cooperation from either a national or a regional perspective. Two NACT Working Group Reports are also incorporated in the appendices of this book, including innovative and practical policy recommendations on strengthening ASEAN-China sustainable energy and environmental protection cooperation in existing priority areas and identifying new ones.

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context to make it possible for students with at least a basic knowledge of computability theory and proof theory to appreciate the exciting advances currently happening in the area, and perhaps make contributions of their own. It adopts a case-study approach, using the study of versions of Ramsey's Theorem (for colorings of tuples of natural numbers) and related principles as illustrations of various aspects of computability theoretic and reverse mathematical analysis. This book contains many exercises and open questions.

This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability theory) and set theory. Topics covered include the structure theory of various notions of degrees of unsolvability, algorithmic randomness, reverse mathematics, forcing, large cardinals and inner model theory, and many others.