Yue Yang – författare

Visar alla böcker från författaren Yue Yang. Handla med fri frakt och snabb leverans.

28 produkter

Kategorier

28 produkter

Del 385 - Studies in Systems, Decision and Control
Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems
AvXiaojie Su,Yao Wenm. fl.
Inbunden, Engelska, 2021
1 111 kr
Skickas inom 10-15 vardagar
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.
Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems
AvPeng Shi,Yue Yangm. fl.
E-bok
Engelska, 2021
1 413 kr
Läs direkt efter köp
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.
Del 385 - Studies in Systems, Decision and Control
Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems
AvXiaojie Su,Yao Wenm. fl.
Häftad, Engelska, 2022
1 111 kr
Skickas inom 10-15 vardagar
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.
Nyhet
Recycling and Regeneration of Spent Lithium-Ion Batteries
Technologies, Applications, and Sustainable Futures
AvPeng Ge,Yue Yang
Inbunden, Engelska, 2026
1 759 kr
Skickas inom 5-8 vardagar
Comprehensive recycling technologies for spent ions batteries With the application of electric vehicles and portable electronics, the closed-loop utilization of end-of-life lithium-ion batteries is urgent for the further development of Li-ions batteries. Recycling and Regeneration of Spent Lithium-Ion Batteries: Technologies, Applications, and Sustainable Futures provide systematic recycling-chain technologies, from battery dismantling to direct regeneration, covering pretreatment, cascade utilization, metallurgical extraction, direct regeneration, and life cycle assessment. Herein, the production volume and distribution of spent lithium-ion batteries was firstly described. Also, for pretreatment, they were further detailed discussed. Then, about the treatment of spent batteries, the contents, including cascade utilization, hydrometallurgical/pyrometallurgical methods and direct regeneration were summarized. Moreover, pollution prevention strategies, environmental and economic impact evaluations, and global policy frameworks are thoroughly reviewed. Moreover, the book also covers: Emerging applications in solid-state and lithium iron phosphate battery systemsEnvironmental and economic lifecycle assessment methodologiesPolicy and regulatory perspectives shaping global approachesFuture outlooks on large-scale recycling technologiesWritten for electrochemists, materials scientists, environmental chemists, chemical engineers, process engineers, and power technology specialists, this reference delivers the technical depth required to evaluate, design, and optimize spent LIB recycling and regeneration processes within a circular economy framework.
Recycling and Regeneration of Spent Lithium-Ion Batteries
Technologies, Applications, and Sustainable Futures
AvYue Yang,Peng Ge
E-bok
Engelska, 2026
1 973 kr
Läs direkt efter köp
Comprehensive recycling technologies for spent ions batteries With the application of electric vehicles and portable electronics, the closed-loop utilization of end-of-life lithium-ion batteries is urgent for the further development of Li-ions batteries. Recycling and Regeneration of Spent Lithium-Ion Batteries: Technologies, Applications, and Sustainable Futures provide systematic recycling-chain technologies, from battery dismantling to direct regeneration, covering pretreatment, cascade utilization, metallurgical extraction, direct regeneration, and life cycle assessment. Herein, the production volume and distribution of spent lithium-ion batteries was firstly described. Also, for pretreatment, they were further detailed discussed. Then, about the treatment of spent batteries, the contents, including cascade utilization, hydrometallurgical/pyrometallurgical methods and direct regeneration were summar ized. Moreover, pollution prevention strategies, environmental and economic impact evaluations, and global policy frameworks are thoroughly reviewed. Moreover, the book also covers: Emerging applications in solid-state and lithium iron phosphate battery systemsEnvironmental and economic lifecycle assessment methodologiesPolicy and regulatory perspectives shaping global approaches Future outlooks on large-scale recycling technologies Written for electrochemists, materials scientists, environmental chemists, chemical engineers, process engineers, and power technology specialists, this reference delivers the technical depth required to evaluate, design, and optimize spent LIB recycling and regeneration processes within a circular economy framework.
Recycling and Regeneration of Spent Lithium-Ion Batteries
Technologies, Applications, and Sustainable Futures
AvYue Yang,Peng Ge
E-bok
PDF, Engelska, 2026
1 815 kr
Läs direkt efter köp
Comprehensive recycling technologies for spent ions batteries With the application of electric vehicles and portable electronics, the closed-loop utilization of end-of-life lithium-ion batteries is urgent for the further development of Li-ions batteries. Recycling and Regeneration of Spent Lithium-Ion Batteries: Technologies, Applications, and Sustainable Futures provide systematic recycling-chain technologies, from battery dismantling to direct regeneration, covering pretreatment, cascade utilization, metallurgical extraction, direct regeneration, and life cycle assessment. Herein, the production volume and distribution of spent lithium-ion batteries was firstly described. Also, for pretreatment, they were further detailed discussed. Then, about the treatment of spent batteries, the contents, including cascade utilization, hydrometallurgical/pyrometallurgical methods and direct regeneration were summar ized. Moreover, pollution prevention strategies, environmental and economic impact evaluations, and global policy frameworks are thoroughly reviewed. Moreover, the book also covers: Emerging applications in solid-state and lithium iron phosphate battery systemsEnvironmental and economic lifecycle assessment methodologiesPolicy and regulatory perspectives shaping global approaches Future outlooks on large-scale recycling technologies Written for electrochemists, materials scientists, environmental chemists, chemical engineers, process engineers, and power technology specialists, this reference delivers the technical depth required to evaluate, design, and optimize spent LIB recycling and regeneration processes within a circular economy framework.
Del 8 - SERIES ON CHINA'S BELT AND ROAD INITIATIVE
BELT AND ROAD INITIATIVE, THE: ASEAN COUNTRIES' PERSPECTIVES
AvYang Yue,Yue Yangm. fl.
Inbunden, Engelska, 2019
1 379 kr
Skickas inom 3-6 vardagar
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.
Del 5 - Series On Asian Regional Cooperation Studies
Asean-china Cooperation For Poverty Reduction
AvGuo Yanjun,Yanjun Guom. fl.
Inbunden, Engelska, 2021
1 265 kr
Skickas inom 3-6 vardagar
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.
Del 3 - SERIES ON ASIAN REGIONAL COOPERATION STUDIES
ASEAN-CHINA COOPERATION FOR ENVIRONMENTAL PROTECTION AND SUSTAINABLE ENERGY DEVELOPMENT
AvYang Yue,Yue Yangm. fl.
Inbunden, Engelska, 2021
1 112 kr
Skickas inom 3-6 vardagar
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.
Del 4 - SERIES ON ASIAN REGIONAL COOPERATION STUDIES
ASEAN-CHINA COOPERATION ON REGIONAL CONNECTIVITY AND SUSTAINABILITY
AvGuo Yanjun,Yanjun Guom. fl.
Inbunden, Engelska, 2021
1 244 kr
Skickas inom 3-6 vardagar
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.
Del 9 - SERIES ON ASIAN REGIONAL COOPERATION STUDIES
DIGITAL ECONOMY AND THE SUSTAINABLE DEVELOPMENT OF ASEAN AND CHINA
AvYang Yue,Yue Yang
Inbunden, Engelska, 2022
1 244 kr
Skickas inom 3-6 vardagar
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.
COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS
AvPeng Ningning,NingNing Pengm. fl.
Inbunden, Engelska, 2022
1 379 kr
Skickas inom 3-6 vardagar
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.
Del 42 - Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Aspects Of Computation And Automata Theory With Applications
AvGreenberg Noam,Noam Greenbergm. fl.
Inbunden, Engelska, 2023
2 207 kr
Skickas inom 3-6 vardagar
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.
Del 10 - Series On Asian Regional Cooperation Studies
Preventive Diplomacy In Non-traditional Security Issues: Asean-china Public Health And Environmental Cooperation
AvYang Yue,Yue Yangm. fl.
Inbunden, Engelska, 2024
1 265 kr
Skickas inom 3-6 vardagar
As a key part and parcel of sustainable development of ASEAN-China relations, cooperation in non-traditional security issues has become a new growth area for both sides. This book is divided into three parts. The first part takes stock of Public-Private Partnership (PPP) in 30 years of ASEAN-China public health cooperation, covering topics such as digital health and personnel training cooperation, global vaccine distribution and PPP in public health in Laos, Myanmar and Vietnam. The second part explores how to reconnect ASEAN and China, which includes sharing the experiences of member states on vaccine multilateralism and offering proposals for practicable and safer regional standards to institute green lanes, travel bubbles and COVID-19 travel passports to strengthen the regional economy, especially in mass tourism. The third part introduces ASEAN-China cooperation on Nature based solutions (NBS) to environmental issues, including Southeast Asia's vulnerability to climate change and its Low Carbon Pathway, and NBS for climate change adaptation in Vietnam's Mekong Delta.
Del 15 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
COMPUTATIONAL PROSPECTS OF INFINITY - PART II: PRESENTED TALKS
AvAL CHITAT CHONG ET,Chitat Chongm. fl.
Inbunden, Engelska, 2008
2 657 kr
Skickas inom 5-8 vardagar
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.
Del 33 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
SETS AND COMPUTATIONS
AvFriedman Sy-David,Sy-David Friedmanm. fl.
Inbunden, Engelska, 2017
1 509 kr
Skickas inom 3-6 vardagar
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, Fraïssé 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.
PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY
AvArai Toshiyasu,Toshiyasu Araim. fl.
Inbunden, Engelska, 2011
1 451 kr
Skickas inom 5-8 vardagar
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 was held at the National University of Singapore, in honor 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.
Del 26 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
NOTES ON FORCING AXIOMS
AvStevo Todorcevic,Chitat Chongm. fl.
Inbunden, Engelska, 2014
993 kr
Skickas inom 5-8 vardagar
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.
Del 27 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
E-RECURSION, FORCING AND C*-ALGEBRAS
AvChong Chitat,Chitat Chongm. fl.
Inbunden, Engelska, 2014
1 119 kr
Skickas inom 5-8 vardagar
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.
Del 27 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
E-RECURSION, FORCING AND C*-ALGEBRAS
AvChong Chitat,Chitat Chongm. fl.
Häftad, Engelska, 2014
378 kr
Skickas inom 5-8 vardagar
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.
Del 28 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
SLICING THE TRUTH: ON THE COMPUTABLE AND REVERSE MATHEMATICS OF COMBINATORIAL PRINCIPLES
AvDenis R Hirschfeldt,Chitat Chongm. fl.
Inbunden, Engelska, 2014
614 kr
Skickas inom 5-8 vardagar
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.
Del 29 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
FORCING, ITERATED ULTRAPOWERS, AND TURING DEGREES
AvChong Chitat,Chitat Chongm. fl.
Inbunden, Engelska, 2015
1 198 kr
Skickas inom 5-8 vardagar
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.
Del 44 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
HIGHER RECURSION THEORY AND SET THEORY
AvCummings James,James Cummingsm. fl.
Inbunden, Engelska, 2025
2 041 kr
Skickas inom 3-6 vardagar
This volume celebrates the research contributions of Professors Theodore A Slaman and W Hugh Woodin, marking their distinguished careers in higher recursion theory and set theory as they approached the milestone of their 65th birthdays in 2019. It originates from the Institute for Mathematical Sciences program, Higher Recursion Theory and Set Theory, held at the National University of Singapore (May 20–June 14, 2019).The program explored cutting-edge developments in higher recursion theory, set theory, and their intricate interconnections. Topics discussed during the workshop included Martin's conjecture, higher randomness, the HOD conjecture, descriptive inner model theory, and the Ultimate-L program.This volume presents 15 peer-reviewed contributions by leading experts in the field, offering a comprehensive overview of recent advances in higher recursion theory and set theory, with a focus on their dynamic interactions.
MATHEMATICAL LOGIC, COMPUTABILITY, COMPLEXITY, AND RANDOMNESS - PROCEEDINGS OF THE 16TH ASIAN LOGIC CONFERENCE AND 14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY, AND RANDOMNESS
AvBrendle Joerg,Joerg Brendlem. fl.
Inbunden, Engelska, 2025
1 379 kr
Skickas inom 3-6 vardagar
This volume presents the combined proceedings of two major conferences in mathematical logic — the 16th Asian Logic Conference (ALC) and the 14th International Conference on Computability, Complexity and Randomness (CCR) — held at Nazarbayev University, Astana, Kazakhstan, from 17–21 June 2019 and 23–25 June 2019, respectively. ALC is a prominent international event promoting research and collaboration in logic across the Asia–Pacific region, featuring developments in mathematical logic, logic in computer science, and philosophical logic. CCR focuses on algorithmic information theory, Kolmogorov complexity, and their intersections with computability, complexity theory, and reverse mathematics.This collection brings together leading voices in the field, offering fresh perspectives and state-of-the-art research in logic, computability, set theory, and model theory. It is an essential resource for researchers, scholars, and students interested in contemporary developments in mathematical logic and its applications.
Chinese Geography of Inner Mongolia (Part 1)- Discover Names of Different Social Institutions from Various Districts, and Counties from Chinese Provinces and Autonomous Regions, HSK All Levels, Pinyin, English
AvYue Yang
Häftad, Engelska, 2025
733 kr
Skickas inom 3-6 vardagar
Chinese Geography of Inner Mongolia (Part 2)- Discover Names of Different Social Institutions from Various Districts, and Counties from Chinese Provinces and Autonomous Regions, HSK All Levels, Pinyin, English
AvYue Yang
Häftad, Engelska, 2025
732 kr
Skickas inom 3-6 vardagar
Chinese Geography of Inner Mongolia (Part 3)- Discover Names of Different Social Institutions from Various Districts, and Counties from Chinese Provinces and Autonomous Regions, HSK All Levels, Pinyin, English
AvYue Yang
Häftad, Engelska, 2025
732 kr
Skickas inom 3-6 vardagar
Del 14 - LECTURE NOTES SERIES, INSTITUTE FOR MATHEMATICAL SCIENCES, NATIONAL UNIVERSITY OF SINGAPORE
COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS
AvAL CHITAT CHONG ET,Chitat Chongm. fl.
Inbunden, Engelska, 2008
2 121 kr
Tillfälligt slut
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It consists of articles by four of the leading experts in recursion theory (computability theory) and set theory. The survey paper of Rod Downey provides a comprehensive introduction to algorithmic randomness, one of the most active areas of current research in recursion theory. Theodore A Slaman's article is the first printed account of the ground-breaking work of Slaman–Woodin and Slaman–Shore on the definability of the Turing jump. John Steel presents some results on the properties of derived models of mice, and on the existence of mice with large derived models. The study was motivated by some of the well-known Holy Grails in inner model theory, including the Mouse Set Conjecture. In his presentation, W Hugh Woodin gives an outline of an expanded version (unpublished) on suitable extender sequences, a subject that was developed in the attempt to understand inner model theory for large cardinals beyond the level of superstrong cardinals.The volume serves as a useful guide for graduate students and researchers in recursion theory and set theory to some of the most important and significant developments in these subjects in recent years.

Företag, bibliotek eller offentlig verksamhet?

Yue Yang – författare

Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

Recycling and Regeneration of Spent Lithium-Ion Batteries

Recycling and Regeneration of Spent Lithium-Ion Batteries

Recycling and Regeneration of Spent Lithium-Ion Batteries

BELT AND ROAD INITIATIVE, THE: ASEAN COUNTRIES' PERSPECTIVES

Asean-china Cooperation For Poverty Reduction

ASEAN-CHINA COOPERATION FOR ENVIRONMENTAL PROTECTION AND SUSTAINABLE ENERGY DEVELOPMENT

ASEAN-CHINA COOPERATION ON REGIONAL CONNECTIVITY AND SUSTAINABILITY

DIGITAL ECONOMY AND THE SUSTAINABLE DEVELOPMENT OF ASEAN AND CHINA

COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS

Aspects Of Computation And Automata Theory With Applications

Preventive Diplomacy In Non-traditional Security Issues: Asean-china Public Health And Environmental Cooperation

COMPUTATIONAL PROSPECTS OF INFINITY - PART II: PRESENTED TALKS

SETS AND COMPUTATIONS

PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY

NOTES ON FORCING AXIOMS

E-RECURSION, FORCING AND C*-ALGEBRAS

E-RECURSION, FORCING AND C*-ALGEBRAS

SLICING THE TRUTH: ON THE COMPUTABLE AND REVERSE MATHEMATICS OF COMBINATORIAL PRINCIPLES

FORCING, ITERATED ULTRAPOWERS, AND TURING DEGREES

HIGHER RECURSION THEORY AND SET THEORY

MATHEMATICAL LOGIC, COMPUTABILITY, COMPLEXITY, AND RANDOMNESS - PROCEEDINGS OF THE 16TH ASIAN LOGIC CONFERENCE AND 14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY, AND RANDOMNESS

Chinese Geography of Inner Mongolia (Part 1)- Discover Names of Different Social Institutions from Various Districts, and Counties from Chinese Provinces and Autonomous Regions, HSK All Levels, Pinyin, English

Chinese Geography of Inner Mongolia (Part 2)- Discover Names of Different Social Institutions from Various Districts, and Counties from Chinese Provinces and Autonomous Regions, HSK All Levels, Pinyin, English

Chinese Geography of Inner Mongolia (Part 3)- Discover Names of Different Social Institutions from Various Districts, and Counties from Chinese Provinces and Autonomous Regions, HSK All Levels, Pinyin, English

COMPUTATIONAL PROSPECTS OF INFINITY - PART I: TUTORIALS

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration