|
Showing 1 - 16 of
16 matches in All Departments
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.
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.
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.
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.
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.
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.
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.
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.
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 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 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 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.
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.
|
Notes On Forcing Axioms (Hardcover)
Stevo Todorcevic; Edited by Chitat Chong, Qi Feng, Theodore a. Slaman, W. Hugh Woodin, …
|
R2,090
Discovery Miles 20 900
|
Ships in 10 - 15 working days
|
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.
|
|