Guohua Wu – författare

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

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 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 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.

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.