In recent years, the role of global institutions such as the United Nations, World Trade Organization, International Monetary Fund and the World Bank has never been more important to the lives of individuals throughout the world. This edited book provides critical perspectives on the role of these institutions and how they use their policies, procedures and practices to manage global political, socio-economic, legal and environmental affairs. In contrast to previously published books on this subject, Global Governance is organized thematically rather than by institution. Each chapter examines core issues such as labour, finance, the environment, health, culture, gender, civil society, poverty and development. It should be essential reading for undergraduate students of international politics, international political economy and international economics.

In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. Unfortunately, humans find software synthesized by machine learning algorithms difficult to interpret, which currently limits their use in safety-critical applications such as medical diagnosis and avionic systems. In particular, successful deployments of safety-critical systems mandate the execution of rigorous verification activities, which often rely on human insights, e.g., to identify scenarios in which the system shall be tested. A natural pathway towards a viable verification strategy for such systems is to leverage formal verification techniques, which, in the presence of a formal specification, can provide definitive guarantees with little human intervention. However, formal verification suffers from scalability issues with respect to system complexity. In this thesis, we investigate the limits of current formal verification techniques when applied to a class of machine learning models called tree ensembles, and identify model-specific characteristics that can be exploited to improve the performance of verification algorithms when applied specifically to tree ensembles. To this end, we develop two formal verification techniques specifically for tree ensembles, one fast and conservative technique, and one exact but more computationally demanding. We then combine these two techniques into an abstraction-refinement approach, that we implement in a tool called VoTE (Verifier of Tree Ensembles). Using a couple of case studies, we recognize that sets of inputs that lead to the same system behavior can be captured precisely as hyperrectangles, which enables tractable enumeration of input-output mappings when the input dimension is low. Tree ensembles with a high-dimensional input domain, however, seems generally difficult to verify. In some cases though, conservative approximations of input-output mappings can greatly improve performance. This is demonstrated in a digit recognition case study, where we assess the robustness of classifiers when confronted with additive noise.

As modern technologies continue to develop and evolve, the ability of users to interface with new systems becomes a paramount concern. Research into new ways for humans to make use of advanced computers and other such technologies is necessary to fully realize the potential of 21st century tools. Human-Computer Interaction: Concepts, Methodologies, Tools, and Applications gathers research on user interfaces for advanced technologies and how these interfaces can facilitate new developments in the fields of robotics, assistive technologies, and computational intelligence. This four-volume reference contains cutting-edge research for computer scientists; faculty and students of robotics, digital science, and networked communications; and clinicians invested in assistive technologies. This seminal reference work includes chapters on topics pertaining to system usability, interactive design, mobile interfaces, virtual worlds, and more.

This book brings into focus the ways in which the implementation of cameras and systems, and their operation and technical features, are the product of decisions and policies made ina variety of contexts and by a variety of authorities and interested parties. It examines the cultural contextin which cameras are deployed and explores how this context can shape their diffusion and use. The bookplaces particular emphasis on studies of video surveillance in different national, institutional, cultural andlinguistic settings.pIOS Press is an international science, technical and medical publisher of high-quality books for academics

East Timor / Taiwan

Severe droughts, damaging floods and mass migration: Climate change is becoming a focal point for security and conflict research and a challenge for the world’s governance structures. But how severe are the security risks and conflict potentials of climate change? Could global warming trigger a sequence of events leading to economic decline, social unrest and political instability? What are the causal relationships between resource scarcity and violent conflict? This book brings together international experts to explore these questions using in-depth case studies from around the world. Furthermore, the authors discuss strategies, institutions and cooperative approaches to stabilize the climate-society interaction.