Liang Yu - Böcker
Visar alla böcker från författaren Liang Yu. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Del 8 - De Gruyter Series in Logic & its Applications
Recursion Theory
Computational Aspects of Definability
Inbunden, Engelska, 2015
2 036 kr
Skickas inom 5-8 vardagar
This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory.The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.
538 kr
Skickas inom 10-15 vardagar
This book reports the latest findings on intelligent energy management of Internet data centers in smart-grid environments. The book gathers novel research ideas in Internet data center energy management, especially scenarios with cyber-related vulnerabilities, power outages and carbon emission constraints. The book will be of interest to university researchers, R&D engineers and graduate students in communication and networking areas who wish to learn the core principles, methods, algorithms, and applications of energy management of Internet data centers in smart grids.
538 kr
Skickas inom 10-15 vardagar
This book reports the latest findings on intelligent energy management of Internet data centers in smart-grid environments. The book gathers novel research ideas in Internet data center energy management, especially scenarios with cyber-related vulnerabilities, power outages and carbon emission constraints. The book will be of interest to university researchers, R&D engineers and graduate students in communication and networking areas who wish to learn the core principles, methods, algorithms, and applications of energy management of Internet data centers in smart grids.
288 kr
Skickas inom 5-8 vardagar
Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
Inbunden, Engelska, 2022
1 370 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.
1 554 kr
Skickas inom 3-6 vardagar
The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields of mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere for an exchange of information and ideas. This combined proceedings volume represents works presented or arising from the 14th and 15th ALCs.
1 548 kr
Skickas inom 5-8 vardagar
This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.
Del 44 - Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Higher Recursion Theory And Set Theory
Inbunden, Engelska, 2025
2 028 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.