Cycling is an important part of the urban transport system and short-distance travel in many modern cities around the world. With no emissions and occupying much less road space than cars, bikes are clean and sustainable. Bicycle traffic needs to be tracked and analysed in order to generate reliable predictions and make correct decisions when adapting and building traffic infrastructure, to account for bikes in road traffic systems, and to model and plan interactions between bikes and autonomous vehicles. Offering a systematic analysis of the movements and behaviours of bicycles and their riders, this book discusses data collection and evaluation approaches, and the development of a framework for the theory and modelling of bike traffic followed by model verification techniques and riding characteristics for context. This book contains valuable information for researchers involved with intelligent transportation systems, traffic modelling and simulation, and particularly those with an especial interest in bicycle traffic. The book will also be of interest to advanced students in these and related fields, and transportation policymakers.

A whimsical story about learning to use maps, perfect for very young children. One day, Anna's friend Zane sends her an invitation: Come to tea tomorrow! This is the way to my home. Love, Zane. Inside the envelope, there's a MAP. Anna soon decides to make a map of her own, too ... and before long, Dad and even Whiskers the cat are in on the fun. From routes to symbols, point of view and scale, join Anna and her dad as they explore the wonderful world of maps - with words by Vivian French, storyteller extraordinaire, and delightful pictures by rising star Ya-Ling Huang.

Forty years have passed since the first UN-organized World Conference on Women in Mexico City in 1975. In that time, women's rights, and later gender equality, have become firmly established as an important area of global politics and human rights. What shape have these processes taken in different parts of the world? How do global and internationally designed institutions adapt to local cultural, religious, political, and economic contexts? What are the problems and contradictions embedded in this process when viewed from a global perspective? What effects do grassroots, local, and national actors have on transnational institutions? In answering the questions, the book draws on historical and global perspectives, beginning in the 1960s, an important moment for internationalization during the Cold War, and looking to a global selection of case studies. Providing a series of "snapshots" of historical and contemporary global gender equality politics, the chapters allow for an examination of how local, national, and transnational actors have interacted in ways that affect the dissemination of gender equality institutions, both formal and informal. The case studies demonstrate the relationship between the supranational, regional, national, and sub-national or "local." They explore the power dynamics, interactions, and mutually constituting nature of two analytic levels of organizations and actors involved in the institutionalization of gender equality-the transnational level as well as the level of activity within specific national political systems (as represented by states, grassroots organizations, and other sub-national actors). The findings reveal that the institutionalization of gender equality is dependent on national and local context, the potential for interactions between gender equality policies and other state agendas, the depth of informal institutions, and the degree to which a given state is integrated into the norms of the international system.

Forty years have passed since the first UN-organized World Conference on Women in Mexico City in 1975. In that time, women's rights, and later gender equality, have become firmly established as an important area of global politics and human rights. What shape have these processes taken in different parts of the world? How do global and internationally designed institutions adapt to local cultural, religious, political, and economic contexts? What are the problems and contradictions embedded in this process when viewed from a global perspective? What effects do grassroots, local, and national actors have on transnational institutions? In answering the questions, the book draws on historical and global perspectives, beginning in the 1960s, an important moment for internationalization during the Cold War, and looking to a global selection of case studies. Providing a series of "snapshots" of historical and contemporary global gender equality politics, the chapters allow for an examination of how local, national, and transnational actors have interacted in ways that affect the dissemination of gender equality institutions, both formal and informal. The case studies demonstrate the relationship between the supranational, regional, national, and sub-national or "local." They explore the power dynamics, interactions, and mutually constituting nature of two analytic levels of organizations and actors involved in the institutionalization of gender equality-the transnational level as well as the level of activity within specific national political systems (as represented by states, grassroots organizations, and other sub-national actors). The findings reveal that the institutionalization of gender equality is dependent on national and local context, the potential for interactions between gender equality policies and other state agendas, the depth of informal institutions, and the degree to which a given state is integrated into the norms of the international system.

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research.  After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen.  In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.

A whimsical story about learning to use maps, perfect for very young children. One day, Anna's friend Zane sends her an invitation: Come to tea tomorrow! This is the way to my home. Love, Zane. Inside the envelope, there's a MAP. Anna soon decides to make a map of her own, too ... and before long, Dad and even Whiskers the cat are in on the fun. From routes to symbols, point of view and scale, join Anna and her dad as they explore the wonderful world of maps – with words by Vivian French, storyteller extraordinaire, and delightful pictures by rising star Ya-Ling Huang.

Archaeologists and textile historians bring together 16 papers to investigate the production, trade and consumption of textiles in Scandinavia and across parts of northern and Mediterranean Europe throughout the medieval period. Archaeological evidence is used to demonstrate the existence or otherwise of international trade and to examine the physical characteristics of textiles and their distribution in order to understand who was producing, using and trading them and what they were being used for. Historical evidence, mainly textual, is employed to link textile names to places, numbers and prices and thus provide an appreciation of changing economics, patterns of distribution and the organisation of trade. Different types and qualities of cloths are discussed and the social implications of their production and import/export considered against a developing background of urbanism and increasing commercial wealth.