Many applications, including computer vision, computer arithmetic, deep learning, entanglement in quantum information, graph theory and energy networks, can be successfully tackled within the framework of polynomial optimization, an emerging field with growing research efforts in the last two decades. One key advantage of these techniques is their ability to model a wide range of problems using optimization formulations. Polynomial optimization heavily relies on the moment-sums of squares (moment-SOS) approach proposed by Lasserre, which provides certificates for positive polynomials. On the practical side, however, there is 'no free lunch' and such optimization methods usually encompass severe scalability issues. Fortunately, for many applications, including the ones formerly mentioned, we can look at the problem in the eyes and exploit the inherent data structure arising from the cost and constraints describing the problem.This book presents several research efforts to resolve this scientific challenge with important computational implications. It provides the development of alternative optimization schemes that scale well in terms of computational complexity, at least in some identified class of problems. It also features a unified modeling framework to handle a wide range of applications involving both commutative and noncommutative variables, and to solve concretely large-scale instances. Readers will find a practical section dedicated to the use of available open-source software libraries.This interdisciplinary monograph is essential reading for students, researchers and professionals interested in solving optimization problems with polynomial input data.

This book comprehensively discusses the effects of digital technology on the way work is disseminated and the resulting challenges concerning the fair use of copyright. It also analyzes so-called fairness by examining theories on the system of fair use, demonstrating the "system changes that will be brought about by technological changes" from the perspective of economics, i.e., the problem of modification faced by the system of fair use of copyright. Exploring the nature and function of fair use and repositioning the fair use system, the book proposes a better design for China's system of limitation on copyright and a readjustment of the copyright system. Lastly, in addition to analyzing the reconfigurations of fair use from an economic standpoint, the book describes in detail the interactions between legal systems and cultures.

Axial Flux Permanent Magnet (AFPM) brushless machines are modern electrical machines with a lot of advantages over their conventional counterparts. This timeless and revised second edition deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their own research results, as well as significant research contributions made by others. A CD with all numerical examples solved in Mathcad is attached and will be especially useful.

This book features state-of-the-art studies on the responsible innovation management. It illustrates the innovative methods from socio-economic and sustainable development dimensions and specifically mentions digitalisation's dark side, technology application challenges and enterprises management issues. The selected works contain enormous new case studies exploring ways to improve the development of related industries from responsible innovation perspectives. It covers about the multidisciplinary areas, and hence, it fosters close collaboration between researchers in diverse fields such as social science, economics and engineering. Researchers, corporate executives and engineers in these areas can benefit from the book.

This book presents the dynamic modeling and attitude control of flexible spacecraft with time-varying parameters. The dynamic characteristics, vibration control methods and attitude stabilization methods for spacecraft are systematically studied in respects of the theoretical modeling, numerical simulation and the ground experiment. Three active control theories in complex mode space are presented for flexible space structures. Optimal slew strategies based on variable amplitudes input shaping methods and coupling control methods are proposed for stabilization of flexible spacecraft. The research provides an important way to solve the problem of high-precision attitude control of flexible spacecraft with time-varying parameters. This book is appropriate for the researchers who focus on the multi-body dynamics, attitude and vibration control of flexible spacecraft.

In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form of an open call. Since then, by modifying crowdsourcing into different forms, some of the most successful new companies on the market have used this idea to make people's lives easier and better. On the other hand, software testing has long been recognized as a time-consuming and expensive activity. Mobile application testing is especially difficult, largely due to compatibility issues: a mobile application must work on devices with different operating systems (e.g. iOS, Android), manufacturers (e.g. Huawei, Samsung) and keypad types (e.g. virtual keypad, hard keypad). One cannot be 100% sure that, just because a tested application works well on one device, it will run smoothly on all others.Crowdsourced testing is an emerging paradigm that can improve the cost-effectiveness of software testing and accelerate the process, especially for mobile applications. It entrusts testing tasks to online crowdworkers whose diverse testing devices/contexts, experience, and skill sets can significantly contribute to more reliable, cost-effective and efficient testing results. It has already been adopted by many software organizations, including Google, Facebook, Amazon and Microsoft. This book provides an intelligent overview of crowdsourced testing research and practice. It employs machine learning, data mining, and deep learning techniques to process the data generated during the crowdsourced testing process, to facilitate the management of crowdsourced testing, and to improve the quality of crowdsourced testing.

Metal-air batteries (MABs) have attracted attention because of their high specific energy, low cost, and safety features. This book discusses science and technology including material selection, synthesis, characterization, and their applications in MABs. It comprehensively describes various composite bifunctional electrocatalysts, corrosion/oxidation of carbon-containing air cathode catalysts, and how improvements can be achieved in the catalytic activities of oxygen reduction reaction and oxygen evolution reaction and their durability/stability. This book also analyzes, compares, and discusses composite bifunctional electrocatalysts in the applications of MABs, matching the fast information of commercial MABs in requirements. Aimed at researchers and industry professionals, this comprehensive work provides readers with an appreciation for what bifunctional composite electrocatalysts are capable of, how this field has grown in the past decades, and how bifunctional composite electrocatalysts can significantly improve the performance of MABs. It also offers suggestions for future research directions to overcome technical challenges and further facilitate research and development in this important area.

This book contains a selection of tutorial and invited presentations that were given at the IEEE CICC 2017 in Austin, Texas. The selection of the talks was made to provide a comprehensive coverage of key topics, including Circuits Techniques for mm-wave front-ends, RF and mm-wave receivers and frequency synthesis, data and DC-DC converters, and techniques for IoT security. The book is organized into five parts, namely: I: Millimeter-wave Transmitter Circuits II: Millimeter-wave and RF Receiver Circuits III: Data Converters IV: DC-DC Converters and Voltage Regulators V: IoT Security Circuits and Techniques The book is part of an educational initiative of the IEEE Solid-State Circuits Society to offer its members state of the art educational material.

In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form of an open call. Since then, by modifying crowdsourcing into different forms, some of the most successful new companies on the market have used this idea to make people’s lives easier and better. On the other hand, software testing has long been recognized as a time-consuming and expensive activity. Mobile application testing is especially difficult, largely due to compatibility issues: a mobile application must work on devices with different operating systems (e.g. iOS, Android), manufacturers (e.g. Huawei, Samsung) and keypad types (e.g. virtual keypad, hard keypad). One cannot be 100% sure that, just because a tested application works well on one device, it will run smoothly on all others.Crowdsourced testing is an emerging paradigm that can improve the cost-effectiveness of software testing and accelerate the process, especially for mobile applications. It entrusts testing tasks to online crowdworkers whose diverse testing devices/contexts, experience, and skill sets can significantly contribute to more reliable, cost-effective and efficient testing results. It has already been adopted by many software organizations, including Google, Facebook, Amazon and Microsoft. This book provides an intelligent overview of crowdsourced testing research and practice. It employs machine learning, data mining, and deep learning techniques to process the data generated during the crowdsourced testing process, to facilitate the management of crowdsourced testing, and to improve the quality of crowdsourced testing.

The 14th Annual International Computing and Combinatorics Conference, CO- COON2008, tookplaceinDalian, China, June27-29,2008.PastCOCOONc- ferences were held in Xi'an (1995), Hong Kong (1996), Shanghai (1997), Taipei (1998), Tokyo (1999), Sydney (2000), Guilin (2001), Singapore (2002), Montana (2003), Jeju Island (2004), Kunming (2005), Taipei (2006), and Alberta (2007). COCOON 2008 provided a forum for researchers working in the areas of - gorithms, theory of computation, computational complexity, and combinatorics related to computing. The Program Committee received 172 submissions from 26 countries and regions: Canada, Australia, Austria, Brazil, China, Denmark, France, Germany, HongKong, Hungary, India, Iran, Israel, Japan, Korea, Mexico, Morocco, Netherlands, Pakistan, Singapore, Spain, Switzerland, Taiwan, Ukraine, the UK, and USA. With the help of 116 external referees, each submission was reviewed by at least two Program Committee members or external referees. Of the 172 subm- sions,66paperswereselectedforpresentationintheconferenceandareincluded in this volume. Some of these will be selected for publication in a special issue of Algorithmica and a special issue of the Journal of Combinatorial Optimization under the standard refereeing procedure. In addition to the selected papers, the conference also included two invited presentations by Der-Tsai Lee (Academia Sinica, Taiwan) and Takao Nishizeki (Tohoku University, Japan). The best paper awards were given for "Visual Cryptography on Graphs" to Lu, Manchala and Ostrovsky, and for "A Linear Programming Duality - proach to Analyzing Strictly Nonblocking d-ary Multilog Networks under G- eral Crosstalk Constraints" to Ngo, Wang and Le.

This book constitutes the refereed proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON 2001, held in Guilin, China, in August 2001.The 50 revised full papers and 16 short papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on complexity theory, computational biology, computational geometry, data structures and algorithms, games and combinatorics, graph algorithms and complexity, graph drawing, graph theory, online algorithms, randomized and average-case algorithms, Steiner trees, systems algorithms and modeling, and computability.

Metal-air batteries (MABs) have attracted attention because of their high specific energy, low cost, and safety features. This book discusses science and technology including material selection, synthesis, characterization, and their applications in MABs. It comprehensively describes various composite bifunctional electrocatalysts, corrosion/oxidation of carbon-containing air cathode catalysts, and how improvements can be achieved in the catalytic activities of oxygen reduction reaction and oxygen evolution reaction and their durability/stability. This book also analyzes, compares, and discusses composite bifunctional electrocatalysts in the applications of MABs, matching the fast information of commercial MABs in requirements. Aimed at researchers and industry professionals, this comprehensive work provides readers with an appreciation for what bifunctional composite electrocatalysts are capable of, how this field has grown in the past decades, and how bifunctional composite electrocatalysts can significantly improve the performance of MABs. It also offers suggestions for future research directions to overcome technical challenges and further facilitate research and development in this important area.

This book comprehensively discusses the effects of digital technology on the way work is disseminated and the resulting challenges concerning the fair use of copyright. It also analyzes so-called fairness by examining theories on the system of fair use, demonstrating the "system changes that will be brought about by technological changes" from the perspective of economics, i.e., the problem of modification faced by the system of fair use of copyright. Exploring the nature and function of fair use and repositioning the fair use system, the book proposes a better design for China's system of limitation on copyright and a readjustment of the copyright system. Lastly, in addition to analyzing the reconfigurations of fair use from an economic standpoint, the book describes in detail the interactions between legal systems and cultures.

This book presents the dynamic modeling and attitude control of flexible spacecraft with time-varying parameters. The dynamic characteristics, vibration control methods and attitude stabilization methods for spacecraft are systematically studied in respects of the theoretical modeling, numerical simulation and the ground experiment. Three active control theories in complex mode space are presented for flexible space structures. Optimal slew strategies based on variable amplitudes input shaping methods and coupling control methods are proposed for stabilization of flexible spacecraft. The research provides an important way to solve the problem of high-precision attitude control of flexible spacecraft with time-varying parameters. This book is appropriate for the researchers who focus on the multi-body dynamics, attitude and vibration control of flexible spacecraft.

This Festschrift is in honor of Ker-I Ko, Professor in the Stony Brook University, USA. Ker-I Ko was one of the founding fathers of computational complexity over real numbers and analysis. He and Harvey Friedman devised a theoretical model for real number computations by extending the computation of Turing machines. He contributed significantly to advancing the theory of structural complexity, especially on polynomial-time isomorphism, instance complexity, and relativization of polynomial-time hierarchy. Ker-I also made many contributions to approximation algorithm theory of combinatorial optimization problems. This volume contains 17 contributions in the area of complexity and approximation. Those articles are authored by researchers over the world, including North America, Europe and Asia. Most of them are co-authors, colleagues, friends, and students of Ker-I Ko.

This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009.

The 36 revised full papers presented together with 15 invited papers and 7 workshop papers were carefully reviewed and selected from numerous submissions. Providing a forum for researchers and practitioners worldwide, the papers address current research and development efforts of various issues in the area of algorithms, systems and applications for current and next generation infrastructure and wireless networks. They are divided in topical sections on applications, experimentation, power management; coverage, detection, and topology control; routing, querying, and data collection; localization, security, and services; scheduling and resource management; and online social networks, applications, and systems.