Nuclear Power Plant Design and Analysis Codes: Development, Validation, and Application presents the latest research on the most widely used nuclear codes and the wealth of successful accomplishments which have been achieved over the past decades by experts in the field. Editors Wang, Li,Allison, and Hohorst and their team of authors provide readers with a comprehensive understanding of nuclear code development and how to apply it to their work and research to make their energy production more flexible, economical, reliable and safe. Written in an accessible and practical way, each chapter considers strengths and limitations, data availability needs, verification and validation methodologies and quality assurance guidelines to develop thorough and robust models and simulation tools both inside and outside a nuclear setting. This book benefits those working in nuclear reactor physics and thermal-hydraulics, as well as those involved in nuclear reactor licensing. It also provides early career researchers with a solid understanding of fundamental knowledge of mainstream nuclear modelling codes, as well as the more experienced engineers seeking advanced information on the best solutions to suit their needs.

This book is about a famous Hungarian mathematics competition that was founded in 1894, and thus, the oldest mathematics competition for secondary school students organized on a national scale. This book is based on Volumes III and IV of the Hungarian work by Janos Suranyi, covering the years from 1964 to 1997.Hungary, along with Russia, has a well-deserved reputation for proposing important, instructive, and interesting problems. Here, the reader will find a treasure trove of over 100 of them. The solutions are written carefully, giving all the details, and keeping in mind at all times the overall logical structures of the arguments.An outstanding feature of this book is Part II: Discussion. Here, the problems are divided by topics into six groups. It contains a discussion of the topic in general, followed by the basic results, that precedes the discussions of the individual problems. When a student encounters some difficulty in a problem, this part of the book can be consulted without revealing the complete solution. As an alternative, a student can also start with this part to familiarize with the general topic before attempting any problems. Finally, almost 400 additional problems from the legendary KoeMaL (Secondary School Mathematics and Physics Journal) takes the student to mathematical topics beyond competitions.

This book is about a famous Hungarian mathematics competition that was founded in 1894, and thus, the oldest mathematics competition for secondary school students organized on a national scale. This book is based on Volumes III and IV of the Hungarian work by Janos Suranyi, covering the years from 1964 to 1997.Hungary, along with Russia, has a well-deserved reputation for proposing important, instructive, and interesting problems. Here, the reader will find a treasure trove of over 100 of them. The solutions are written carefully, giving all the details, and keeping in mind at all times the overall logical structures of the arguments.An outstanding feature of this book is Part II: Discussion. Here, the problems are divided by topics into six groups. It contains a discussion of the topic in general, followed by the basic results, that precedes the discussions of the individual problems. When a student encounters some difficulty in a problem, this part of the book can be consulted without revealing the complete solution. As an alternative, a student can also start with this part to familiarize with the general topic before attempting any problems. Finally, almost 400 additional problems from the legendary KoeMaL (Secondary School Mathematics and Physics Journal) takes the student to mathematical topics beyond competitions.

This book investigates a special genre of interpreting in the Chinese context, namely Government Press Conference (GPC) Interpreting. Drawing on the modality system from Systemic Functional Grammar and a corpus of 21 interpreting events, the project explores the regular patterns of modality shifts in Chinese-English GPC interpreting and seeks explanations in the sociocultural context. As a corpus-based project, the book covers qualitative analysis of the sociocultural context, qualitative analysis of the interpersonal effects of modality shifts, and quantitative analysis of modality shifts. This book will contribute to the understanding of the distinctive features of GPC interpreting in China, shed new light on the rendition of modality between Chinese and English in specific contexts, and also inspire new thoughts on the nature of interpreting in general.

The book focuses on the current research of the relation between protein phosphorylation and meat quality, reviews the influence mechanism of protein phosphorylation on meat quality, and summarizes the improvement of meat quality by regulating protein phosphorylation. It could help to clarify some dilemmas and encourage further research in this field, aiming for effective application of protein phosphorylation in meat quality in the near future. The book is written for researchers and graduate students in the field of meat science, food chemistry and molecular biology etc.

'We are all time-travellers, journeying togetehr into the future. Be brave. Be determined. Let's work together to make that future a place we want to visit.' Based on Professor Hawking's 2018 Earth Day address, this inspiring picture asks children everywhere to look up and wonder at the world around them - just as Professor Hawking did his whole life. Including questions and answers to some big science topics, perfectly explained for young readers by Professor Hawking's daughter, Lucy, and beautifully illustrated by Xin Li, this is the perefct read for curious minds.

This book provides readers with an up-to-date account of the use of machine learning frameworks, methodologies, algorithms and techniques in the context of computer-aided design (CAD) for very-large-scale integrated circuits (VLSI). Coverage includes the various machine learning methods used in lithography, physical design, yield prediction, post-silicon performance analysis, reliability and failure analysis, power and thermal analysis, analog design, logic synthesis, verification, and neuromorphic design. Provides up-to-date information on machine learning in VLSI CAD for device modeling, layout verifications, yield prediction, post-silicon validation, and reliability; Discusses the use of machine learning techniques in the context of analog and digital synthesis; Demonstrates how to formulate VLSI CAD objectives as machine learning problems and provides a comprehensive treatment of their efficient solutions; Discusses the tradeoff between the cost of collecting data and prediction accuracy and provides a methodology for using prior data to reduce cost of data collection in the design, testing and validation of both analog and digital VLSI designs. From the Foreword As the semiconductor industry embraces the rising swell of cognitive systems and edge intelligence, this book could serve as a harbinger and example of the osmosis that will exist between our cognitive structures and methods, on the one hand, and the hardware architectures and technologies that will support them, on the other....As we transition from the computing era to the cognitive one, it behooves us to remember the success story of VLSI CAD and to earnestly seek the help of the invisible hand so that our future cognitive systems are used to design more powerful cognitive systems. This book is very much aligned with this on-going transition from computing to cognition, and it is with deep pleasure that I recommend it to all those who are actively engaged in this exciting transformation. Dr. Ruchir Puri, IBM Fellow, IBM Watson CTO & Chief Architect, IBM T. J. Watson Research Center

This volume aims to highlight trends and important directions of research in orthogonal polynomials, q-series, and related topics in number theory, combinatorics, approximation theory, mathematical physics, and computational and applied harmonic analysis. This collection is based on the invited lectures by well-known contributors from the International Conference on Orthogonal Polynomials and q-Series, that was held at the University of Central Florida in Orlando, on May 10-12, 2015. The conference was dedicated to Professor Mourad Ismail on his 70th birthday. The editors strived for a volume that would inspire young researchers and provide a wealth of information in an engaging format. Theoretical, combinatorial and computational/algorithmic aspects are considered, and each chapter contains many references on its topic, when appropriate.

Since 2005, China has been accused of causing the trade deficit and manipulating the exchange rate. At the same time, there have been arguments against the RMB appreciation. The reason for this conflict is the lack of quantitative research or elaboration on many extremely important indicators.To correctly describe the industrial chain and value-added process around the world, it is necessary to identify data by using new methods and separating the processing trade from the non-processing trade based on the Global Trade Analysis Project (GTAP) data. This book establishes a Global Multi-department Computable General Equilibrium (GMCGE) model based on the continuous global input-output database. It focuses on the Computable General Equilibrium (CGE) model that constructs a consistent interaction mechanism within the economic system and fully reflects the general equilibrium characteristics and thus tries to avoid the limitations of the partial equilibrium model. It shows how the GMCGE framework can distinguish the processing trade from non-processing trade in the input-output data, and at the same time ensure the endogenous equilibrium of the social accounting matrix (SAM) after distinction.

China has achieved remarkable economic success in the past three decades and has become the second-largest economy in the world after the United States. However, accompanying this rapid economic growth is an increasing income inequality. In recent years, China's income disparity has reached an alarming level, making it one of the countries with the most unequal income distribution in the world.The widening income gap is the root cause of many issues in contemporary China. How should China step up distribution system reform? How should China deepen the reforms to its fiscal and tax systems? Should the government increase wages to achieve the income multiplication plan? What is the fundamental measure to tackle income disparity issues in China? With in-depth analysis and empirical studies on these questions, this book provides comprehensive perspectives on China's income disparity issues that most international scholars are concerned about.

This book is unique in its ambitious and comprehensive coverage of earth system land surface characterization, from observation and modeling to data assimilation, including recent developments in theory and techniques, and novel application cases. The contributing authors are active research scientists, and many of them are internationally known leading experts in their areas, ensuring that the text is authoritative. This book comprises four parts that are logically connected from data, modeling, data assimilation integrating data and models to applications. Land data assimilation is the key focus of the book, which encompasses both theoretical and applied aspects with various novel methodologies and applications to the water cycle, carbon cycle, crop monitoring, and yield estimation. Readers can benefit from a state-of-the-art presentation of the latest tools and their usage for understanding earth system processes. Discussions in the book present and stimulate new challenges and questions facing today's earth science and modeling communities.

A joyful and fun-filled celebration of creativity, imagination and daring to be different – from the bestselling author of Star in the Jar Finn's father makes and mends stars. Finn is not allowed to help. His father likes things to be done a certain way and so, he insists, do the people down on the ground who look up at the stars every night. Finn's ideas are … different. But when his father falls ill, Finn decides to step in and help. Firing up the star-making machine, he gets to work, filling the sky with glittering stars of every colour – an extraordinary array that stuns – and delights – the stargazers below… But what will Finn's father say when he finds out?! A joyful and fun-filled celebration of creativity, imagination and daring to be different – inspired by the classic tale The Sorcerer's Apprentice. Perfect for fans of The Girl and the Dinosaur, The Moonlight Zoo and My Pet Star.

Discover how both outdoor and indoor farms sustainably grow the food we eat throughout the year in this vibrant, rhyming picture book. Outdoor farm, tractors toil. Indoor farm, zero soil. With energetic, enchanting verse and sunshiny, colorful illustrations, discover how the food you eat is grown both outside—and inside! Join two children as they explore the inner workings of an outdoor farm and an indoor farm. You’ll see how a variety of amazing machinery like tractors and drones along with innovative farming techniques yield the wonderful food we all love to enjoy.

The book focuses on the current research of the relation between protein phosphorylation and meat quality, reviews the influence mechanism of protein phosphorylation on meat quality, and summarizes the improvement of meat quality by regulating protein phosphorylation. It could help to clarify some dilemmas and encourage further research in this field, aiming for effective application of protein phosphorylation in meat quality in the near future. The book is written for researchers and graduate students in the field of meat science, food chemistry and molecular biology etc.

This book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions.

This book constitutes the thoroughly refereed proceedings of the themed workshops of the 6th International Conference on Life System Modeling and Simulation, LSMS 2020, and of the 6th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2020, held in Hangzhou, China, in October 2020.The 36 full and 2 short papers presented were carefully reviewed and selected from over 165 submissions. The papers of this volume are organized in topical sections on: smart energy systems and devices; intelligent manufacturing and systems; and intelligent biology and information systems.

This book investigates a special genre of interpreting in the Chinese context, namely Government Press Conference (GPC) Interpreting. Drawing on the modality system from Systemic Functional Grammar and a corpus of 21 interpreting events, the project explores the regular patterns of modality shifts in Chinese-English GPC interpreting and seeks explanations in the sociocultural context. As a corpus-based project, the book covers qualitative analysis of the sociocultural context, qualitative analysis of the interpersonal effects of modality shifts, and quantitative analysis of modality shifts. This book will contribute to the understanding of the distinctive features of GPC interpreting in China, shed new light on the rendition of modality between Chinese and English in specific contexts, and also inspire new thoughts on the nature of interpreting in general.

This book constitutes the workshop proceedings of the 23rd International Conference on Database Systems for Advanced Applications, DASFAA 2018, held in Gold Coast, QLD, Australia, in May 2018. The 23 full papers presented were carefully selected and reviewed from 44 submissions to the four following workshops: the 5th International Workshop on Big Data Management and Service, BDMS 2018; the Third International Workshop on Big Data Quality Management, BDQM 2018; the Second International Workshop on Graph Data Management and Analysis, GDMA 2018; and the 5th International Workshop on Semantic Computing and Personalization, SeCoP 2018.

This two-volume set LNCS 10827 and LNCS 10828 constitutes the refereed proceedings of the 23rd International Conference on Database Systems for Advanced Applications, DASFAA 2018, held in Gold Coast, QLD, Australia, in May 2018. The 83 full papers, 21 short papers, 6 industry papers, and 8 demo papers were carefully selected from a total of 360 submissions. The papers are organized around the following topics: network embedding; recommendation; graph and network processing; social network analytics; sequence and temporal data processing; trajectory and streaming data; RDF and knowledge graphs; text and data mining; medical data mining; security and privacy; search and information retrieval; query processing and optimizations; data quality and crowdsourcing; learning models; multimedia data processing; and distributed computing.

This book gives an account of the necessary background for group algebras and crossed products for actions of a group or a semigroup on a space and reports on some very recently developed techniques with applications to particular examples. Much of the material is available here for the first time in book form. The topics discussed are among the most classical and intensely studied C*-algebras. They are important for applications in fields as diverse as the theory of unitary group representations, index theory, the topology of manifolds or ergodic theory of group actions. Part of the most basic structural information for such a C*-algebra is contained in its K-theory. The determination of the K-groups of C*-algebras constructed from group or semigroup actions is a particularly challenging problem. Paul Baum and Alain Connes proposed a formula for the K-theory of the reduced crossed product for a group action that would permit, in principle, its computation. By work of many hands, the formula has by now been verified for very large classes of groups and this work has led to the development of a host of new techniques. An important ingredient is Kasparov's bivariant K-theory. More recently, also the C*-algebras generated by the regular representation of a semigroup as well as the crossed products for actions of semigroups by endomorphisms have been studied in more detail. Intriguing examples of actions of such semigroups come from ergodic theory as well as from algebraic number theory. The computation of the K-theory of the corresponding crossed products needs new techniques. In cases of interest the K-theory of the algebras reflects ergodic theoretic or number theoretic properties of the action.

The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, held in Nanjing, China, in September 2017. The 208 revised full papers presented were carefully reviewed and selected from over 625 submissions. The papers of this volume are organized in topical sections on: Biomedical Signal Processing; Computational Methods in Organism Modeling; Medical Apparatus and Clinical Applications; Bionics Control Methods, Algorithms and Apparatus; Modeling and Simulation of Life Systems; Data Driven Analysis; Image and Video Processing; Advanced Fuzzy and Neural Network Theory and Algorithms; Advanced Evolutionary Methods and Applications; Advanced Machine Learning Methods and Applications; Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems; Advanced Methods for Networked Systems; Control and Analysis of Transportation Systems; Advanced Sliding Mode Control and Applications; Advanced Analysis of New Materials and Devices; Computational Intelligence in Utilization of Clean and Renewable Energy Resources; Intelligent Methods for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Computing and Control in Power Systems; Modeling, Simulation and Control in Smart Grid and Microgrid; Optimization Methods; Computational Methods for Sustainable Environment.

This book constitutes the first part of the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2014, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, held in Shanghai, China, in September 2014. The 159 revised full papers presented in the three volumes of CCIS 461-463 were carefully reviewed and selected from 572 submissions. The papers of this volume are organized in topical sections on biomedical signal processing, imaging, and visualization; computational methods and intelligence in modeling genetic and chemical networks and regulation; computational methods and intelligence in organism modeling; computational methods and intelligence in modeling and design of synthetic biological systems; computational methods and intelligence in biomechanical systems, tissue engineering and clinical bioengineering; intelligent medical apparatus and clinical applications; modeling and simulation of societies and collective behaviour; innovative education in systems modeling and simulation; data analysis and data mining of biosignals; feature selection; robust optimization and data analysis.

Image Restoration: Fundamentals and Advances responds to the need to update most existing references on the subject, many of which were published decades ago. Providing a broad overview of image restoration, this book explores breakthroughs in related algorithm development and their role in supporting real-world applications associated with various scientific and engineering fields. These include astronomical imaging, photo editing, and medical imaging, to name just a few. The book examines how such advances can also lead to novel insights into the fundamental properties of image sources.

Addressing the many advances in imaging, computing, and communications technologies, this reference strikes just the right balance of coverage between core fundamental principles and the latest developments in this area. Its content was designed based on the idea that the reproducibility of published works on algorithms makes it easier for researchers to build on each other's work, which often benefits the vitality of the technical community as a whole. For that reason, this book is as experimentally reproducible as possible.

Topics covered include:

• Image denoising and deblurring
• Different image restoration methods and recent advances such as nonlocality and sparsity
• Blind restoration under space-varying blur
• Super-resolution restoration
• Learning-based methods
• Multi-spectral and color image restoration
• New possibilities using hybrid imaging systems

Many existing references are scattered throughout the literature, and there is a significant gap between the cutting edge in image restoration and what we can learn from standard image processing textbooks. To fill that need but avoid a rehash of the many fine existing books on this subject, this reference focuses on algorithms rather than theories or applications. Giving readers access to a large amount of downloadable source code, the book illustrates fundamental techniques, key ideas developed over the years, and the state of the art in image restoration. It is a valuable resource for readers at all levels of understanding.

The 2010 International Conference on Life System Modeling and Simulation (LSMS 2010) and the 2010 International Conference on Intelligent Computing for Susta- able Energy and Environment (ICSEE 2010) were formed to bring together resear- ers and practitioners in the fields of life system modeling/simulation and intelligent computing applied to worldwide sustainable energy and environmental applications. A life system is a broad concept, covering both micro and macro components ra- ing from cells, tissues and organs across to organisms and ecological niches. To c- prehend and predict the complex behavior of even a simple life system can be - tremely difficult using conventional approaches. To meet this challenge, a variety of new theories and methodologies have emerged in recent years on life system mod- ing and simulation. Along with improved understanding of the behavior of biological systems, novel intelligent computing paradigms and techniques have emerged to h- dle complicated real-world problems and applications. In particular, intelligent c- puting approaches have been valuable in the design and development of systems and facilities for achieving sustainable energy and a sustainable environment, the two most challenging issues currently facing humanity. The two LSMS 2010 and ICSEE 2010 conferences served as an important platform for synergizing these two research streams.