Bong-gu and his mother leave their rural village to find his father, who has gone to Seoul in search of work, following tips from a beggar who yeilds an important clue to the father's wereabouts.
This book shares Chinese scholars’ philosophical views on artificial intelligence. The discussions range from the foundations of AI—the Turing test and creation of machine intelligence—to recent applications of AI, including decisions in games, natural languages, pattern recognition, prediction in economic contexts, autonomous behaviors, and collaborative intelligence, with the examples of AlphaGo, Microsoft’s Xiao Bing, medical robots, etc. The book’s closing chapter focuses on Chinese machines and explores questions on the cultural background of artificial intelligence. Given its scope, the book offers a valuable resource for all members of the general public who are interested in the future development of artificial intelligence, especially from the perspective of respected Chinese scholars.
The principle of the conventional activated sludge (CAS) for municipal wastewater treatment is primarily based on biological oxidation by which organic matters are converted to biomass and carbon dioxide. After more than 100 years’ successful application, the CAS process is receiving increasing critiques on its high energy consumption and excessive sludge generation. Currently, almost all municipal wastewater treatment plants with the CAS as a core process are being operated in an energy-negative fashion. To tackle such challenging situations, there is a need to re-examine the present wastewater treatment philosophy by developing and adopting novel process configurations and emerging technologies. The solutions going forward should rely on the ways to improve direct energy recovery from wastewater, while minimizing in-plant energy consumption. This book begins with a critical overview of the energy situation and challenges in current municipal wastewater treatment plants, showing the necessity of the paradigm shift from removal to recovery in terms of energy and resource. As such, the concept of A-B process is discussed in detail in the book. It appears that various A-B process configurations are able to provide possible engineering solutions in which A-stage is primarily designed for COD capture with the aim for direct anaerobic treatment without producing excessive biosludge, while B-stage is designated for nitrogen removal. Making the wastewater treatment energy self-sustainable is obviously of global significance and eventually may become a game changer for the global market of the municipal wastewater reclamation technology. The principal audiences include practitioners, professionals, university researchers, undergraduate and postgraduate students who are interested and specialized in municipal wastewater treatment and process design, environmental engineering, and environmental biotechnology.
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the sat problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the applications of theoretical/algorithmic results to practical problems and presents practical examples for theoretical/algorithmic study. Major topics covered in the book include practical and industial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms.
This book unravels the mysteries of the Chinese school system to enable international scholars to better understand the logic of basic education in China. By collecting the latest, first-hand empirical data, it outlines a panoramic and vivid portrait of Chinese schools from principals’, teachers’, students’ and parents’ perspectives, including descriptions of their daily lives. It also interprets different stakeholders’ duties and explains the unique characteristics and operation model of Chinese schools. It is of interest to all those who are concerned with the current situation and the future of the Chinese school system and basic education in China, especially international researchers, policymakers, and parents wanting to know what is really happening in schools.
The satisfiability (SAT) problem is central in mathematical logic and computing theory, representing a core of computationally intractable NP-complete problems. It is a fundamental hurdle in solving many problems in automated reasoning, computer-aided design, computer-aided manufacturing, machine vision, database construction and maintenance, robotics, scheduling, integrated circuit design, computer architecture design, and computer networking. Efficient methods for solving the SAT problem play an important role in the development of practical computing systems. Traditional methods treat SAT as a discrete, constrained decision problem. In recent years, many optimization methods, parallel algorithms, and other practical new techniques have been developed for solving the SAT problem. This book describes these state-of-the-art methods, both sequential and parallel, and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing. It will be useful for computer theorists, algorithmists, and practitioners working in all areas in computer science, computer engineering, operations research, and applied logic.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.