Guohua Wu - Böcker
Visar alla böcker från författaren Guohua Wu. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Resource Evaluation and Deep Processing of Edible Insects
Silk peptide and protein for advanced applications
Häftad, Engelska, 2026
1 959 kr
Skickas inom 11-20 vardagar
Resource Evaluation and Deep Processing of Edible Insects: Silk peptide and protein for advanced applications presents the latest progress in the processing, analysis, and application of edible insect resources, mainly focusing on the resource evaluation and deep processing methods to retrieve valuable products from the constituents of the by-products of edible insects. The book combines discursive chapters that bring the latest in resource evaluation, with discussions on novel extraction techniques, biological approaches, microbial transformations, green chemistry and microfluidic technologies. It also covers analytical and biological systems, step-by-step and readily reproducible biological and chemical protocols for analyzing edible insect resources.Edible insect resources as raw materials for the food industry for sustainability are also outlined in this book. These techniques support the latest progress in cross-disciplinary research that integrates the different scales of biotechnological and biological complexity. Edited by a team of experts in the field, this book is an excellent resource for researchers with a background in biotechnology, biological and chemical engineering, agriculture, and food chemistry, and covers a broad range of topics in agriculture sustainability and food production.Presents processing, extraction, and biotransformation of insect nutrientsBrings analysis and application of edible insect resourcesExplores deep processing methods employed to retrieve valuable products from the constituents of the by-products of edible insectsCovers edible insect resources as raw materials for the food industry
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.
Del 42 - Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Aspects Of Computation And Automata Theory With Applications
Inbunden, Engelska, 2023
2 054 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 15 - Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
Computational Prospects Of Infinity - Part Ii: Presented Talks
Inbunden, Engelska, 2008
2 582 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.
Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
Inbunden, Engelska, 2011
1 424 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.
Mathematical Logic, Computability, Complexity, And Randomness - Proceedings Of The 16th Asian Logic Conference And 14th International Conference On Computability, Complexity, And Randomness
Inbunden, Engelska, 2025
1 370 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.