Social media has emerged as a powerful tool that reaches a wide audience with minimum time and effort. It has a diverse role in society and human life and can boost the visibility of information that allows citizens the ability to play a vital role in creating and fostering social change. This practice can have both positive and negative consequences on society. Examining the Roles of IT and Social Media in Democratic Development and Social Change is a collection of innovative research on the methods and applications of social media within community development and democracy. While highlighting topics including information capitalism, ethical issues, and e-governance, this book is ideally designed for social workers, politicians, public administrators, sociologists, journalists, policymakers, government administrators, academicians, researchers, and students seeking current research on social advancement and change through social media and technology.

Quality assurance is an essential aspect for ensuring the success of corporations worldwide. Consistent quality requirements across organizations of similar types ensure that these requirements can be accurately and easily evaluated. Shaping the Future Through Standardization is an essential scholarly book that examines quality and standardization within diverse organizations globally with a special focus on future perspectives, including how standards and standardization may shape the future. Featuring a wide range of topics such as economics, pedagogy, and management, this book is ideal for academicians, researchers, decision makers, policymakers, managers, corporate professionals, and students.

Pultrusion: State-of-the-Art Process Models with Applications, Second Edition is a detailed guide to pultrusion, providing methodical coverage of process models and computation simulation, governing principles and science, and key challenges to help readers enable process optimization and scale-up. This new edition has been revised and expanded to include the latest advances, state-of-the-art process models, and governing principles. The main challenges in pultrusion, such as the process induced residual stresses, shape distortions, thermal history, species conversion, phase changes, impregnation of the reinforcements and pulling force are described, with related examples are provided. Moreover, strategies for having a reliable and optimized process using probabilistic approaches and optimization algorithms are summarized. Another focus of this book is on the thermo-chemical and mechanical analyses of the pultrusion process for industrial profiles.

Due to the increasing availability of affordable internet services, the number of users, and the need for a wider range of multimedia-based applications, internet usage is on the rise. With so many users and such a large amount of data, the requirements of analyzing large data sets leads to the need for further advancements to information processing. Big Data Processing with Hadoop is an essential reference source that discusses possible solutions for millions of users working with a variety of data applications, who expect fast turnaround responses, but encounter issues with processing data at the rate it comes in. Featuring research on topics such as market basket analytics, scheduler load simulator, and writing YARN applications, this book is ideally designed for IoT professionals, students, and engineers seeking coverage on many of the real-world challenges regarding big data.

With technology creating a more competitive market, the global economy has been continually evolving in recent years. These technological developments have drastically changed the ways organizations manage their resources, as they are constantly seeking innovative methods to implement new systems. Because of this, there is an urgent need for empirical research that studies advancing theories and applications that organizations can use to successfully handle information and supplies. Novel Theories and Applications of Global Information Resource Management is a pivotal reference source that provides vital research on developing practices for businesses to effectively manage their assets on a global scale. While highlighting topics such as enterprise systems, library management, and information security, this publication explores the implementation of technological innovation into business techniques as well as the methods of controlling information in a contemporary society. This book is ideally designed for brokers, accountants, marketers, researchers, data scientists, financiers, managers, and academicians seeking current research on global resource management.

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of "what" to do rather than "how" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically. Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling. For systems, the situation is even less satisfactory, lacking accessible literature that can help train the new crop of developers, practitioners, and researchers. There are a few guides onWarren's Abstract Machine (WAM), which underlies most implementations of Prolog, but very little exists on what is needed for constructing a state-of-the-art declarative LP inference engine. Contrast this with the literature on, say, Compilers, where one can first study a book on the general principles and algorithms and then dive in the particulars of a specific compiler. Such resources greatly facilitate the ability to start making meaningful contributions quickly. There is also a dearth of articles about systems that support truly declarative languages, especially those that tie into first-order logic, mathematical programming, and constraint solving. LP helps solve challenging problems in a wide range of application areas, but in-depth analysis of their connection with LP language abstractions and LP implementation methods is lacking. Also, rare are surveys of challenging application areas of LP, such as Bioinformatics, Natural Language Processing, Verification, and Planning. The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.

Interest in developing smart cities has grown exponentially over the years with many governments across the world hoping to initiate these projects in their own countries. One of the key challenges for the success of any smart city project is the assurance of smart security and privacy of the citizens. Due to the use of a wide range of interconnected cyber-physical systems, traditional security solutions cannot be applied to smart city applications, and new practices must be sought. Secure Cyber-Physical Systems for Smart Cities is an essential reference publication that examines information security and privacy in smart city settings including discussions on new security frameworks, solutions, cybersecurity laws and regulations, and risk management frameworks for smart city environments. Covering a wide range of topics including wireless networks, security, and cyber-physical systems, this book is ideally designed for IT specialists and consultants, engineers, government officials, policymakers, researchers, academicians, and industry professionals.

Computing has moved away from a focus on performance-centric serial computation, instead towards energy-efficient parallel computation. This provides continued performance increases without increasing clock frequencies, and overcomes the thermal and power limitations of the dark-silicon era. As the number of parallel cores increases, we transition into the many-core computing era. There is considerable interest in developing methods, tools, architectures and applications to support many-core computing. The primary aim of this edited book is to provide a timely and coherent account of the recent advances in many-core computing research. Starting with programming models, operating systems and their applications; the authors present runtime management techniques, followed by system modelling, verification and testing methods, and architectures and systems. The book ends with some examples of innovative applications.

The technological advancements of today not only affect individual's personal lives. They also affect the way urban communities regard the improvement of their resident's lives. Research involving these autonomic reactions to the growing needs of the people is desperately needed to transform the cities of today into the cities of the future. Driving the Development, Management, and Sustainability of Cognitive Cities is a pivotal reference source that explores and improves the understanding of the strategic role of sustainable cognitive cities in residents' routine life styles. Such benefits to residents and businesses include having access to world-class training while sitting at home, having their wellbeing observed consistently, and having their medical issues identified before occurrence. This book is ideally designed for administrators, policymakers, industrialists, and researchers seeking current research on developing and managing cognitive cities.

Because trainees need to learn about the underlying technologies to use automation safely and efficiently, the development of automated aviation systems training is a growing challenge. Task analysis has been singled out as the basis of the training, but it can be more time-consuming than traditional development techniques. Cases on Modern Computer Systems in Aviation is an essential reference source that covers new information technology use in aviation systems to streamline the cybersecurity, decision-making, planning, and design processes within the aviation industry. Featuring coverage on a broad range of topics such as computer systems in aviation, artificial intelligence, software-defined networking (SDN), air navigation systems, decision support systems (DSS), and more, this publication is ideally designed for aviation specialists and industry professionals, technicians, practitioners, researchers, and academicians seeking current research on modern modeling approaches to streamline management in aviation.

In the digital era, novel applications and techniques in the realm of computer science are increasing constantly. These innovations have led to new techniques and developments in the field of cybernetics. The Handbook of Research on Applied Cybernetics and Systems Science is an authoritative reference publication for the latest scholarly information on complex concepts of more adaptive and self-regulating systems. Featuring exhaustive coverage on a variety of topics such as infectious disease modeling, clinical imaging, and computational modeling, this publication is an ideal source for researchers and students in the field of computer science seeking emerging trends in computer science and computational mathematics.

Modern day and technology-rich environments require a reconceptualization of how the nature of technology influences urban areas. Rethinking the way we apply these technologies will not only alter the way people communicate and interact, but it will also alter how individuals learn and explore the world around them. Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities offers insights about the ambient in 21st century smart cities, learning cities, responsive cities, and future cities, and highlights the importance of people as critical to the urban fabric of smart cities that are increasingly embedded with pervasive and often invisible technologies. The book, based on an urban research study, explores urbanity from multiple perspectives ranging from the cultural to the geographic. While highlighting topics including digital literacies, smarter governance, and information architectures, this book is ideally designed for students, educators, researchers, the business community, city government staff and officials, urban practitioners, and those concerned with contemporary and emerging complex urban challenges and opportunities.

As technology weaves itself more tightly into everyday life, socio-economic development has become intricately tied to these ever-evolving innovations. Technology management is now an integral element of sound business practices, and this revolution has opened up many opportunities for global communication. However, such swift change warrants greater research that can foresee and possibly prevent future complications within and between organizations. The Handbook of Research on Engineering Innovations and Technology Management in Organizations is a collection of innovative research that explores global concerns in the applications of technology to business and the explosive growth that resulted. Highlighting a wide range of topics such as cyber security, legal practice, and artificial intelligence, this book is ideally designed for engineers, manufacturers, technology managers, technology developers, IT specialists, productivity consultants, executives, lawyers, programmers, managers, policymakers, academicians, researchers, and students.

Though traditionally information systems have been centralized, these systems are now distributed over the web. This requires a re-investigation into the way information systems are modeled and designed. Because of this new function, critical problems, including security, never-fail systems, and quality of service have begun to emerge. Novel Approaches to Information Systems Design is an essential publication that explores the most recent, cutting-edge research in information systems and exposes the reader to emerging but relatively mature models and techniques in the area. Highlighting a wide range of topics such as big data, business intelligence, and energy efficiency, this publication is ideally designed for managers, administrators, system developers, information system engineers, researchers, academicians, and graduate-level students seeking coverage on critical components of information systems.