The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...
Rethinking the ways global history is envisioned and conceptualized in diverse countries such as China, Japan, Mexico or Spain, this collections considers how global issues are connected with our local and national communities. It examines how the discipline had evolved in various historiographies, from Anglo Saxon to southern European, and its eme...
This book presents the findings of a team of scientists and practitioners who have been working on the project "Benefits of Governance in Drought Adaptation" (in short: the DROP project), which is included in the European Union's INTERREG IVB NWE programme. The DROP governance team developed a Governance Assessment Tool (GAT), which ...
Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective – form the backbone of most of today's infrastructure. The energy grid, most transportation systems, the global banking industry, the water-supply system, the military equipm...
This book presents a selection of the best contributions to the Digital Cities 9 Workshop held in Limerick in 2015, combining a number of the latest academic insights into new collaborative modes of city making that are firmly rooted in empirical findings about the actual practices of citizens, designers and policy makers. It explores the affordanc...
This book offers a critical perspective on intra-European mobility and migration by using new empirical data and theoretical discussions. It develops a theoretical and empirical analysis of the consequences of intra-European movement for sending and receiving urban regions in The Netherlands, Sweden, Austria, Turkey, Poland and Czech Republic. The ...
For cloud users and providers alike, security is an everyday concern, yet there are very few books covering cloud security as a main subject. This book will help address this information gap from an Information Technology solution and usage-centric view of cloud infrastructure security. The book highlights the fundamental technology components nece...
This open access volume is about how to research the influence of our changing media environment. Today, there is not one single medium that is the driving force of change. With the spreading of various technical communication media such as mobile phone and internet platforms, we are confronted with a media manifold of deep mediatization. But how c...
This collection of essays examines how spatial mobilities of people and practices, technologies and objects, knowledge and ideas have shaped the production, circulation, and transfer of knowledge in different historical and geographical contexts. Targeting an interdisciplinary audience, Mobilities of Knowledge combines detailed empirical analyses w...
This book presents nine outstanding doctoral dissertations in Information Technology from the Department of Electronics, Information and Bioengineering, Politecnico di Milano, Italy. Information Technology has always been highly interdisciplinary, as many aspects have to be considered in IT systems. The doctoral studies program in IT at Politecnico...
This book focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face of deep uncertainty. It explores approaches and tools supporting the design of strategic plans under deep uncertainty, and their testing in the real world, including barriers and enablers for their use in practice. The book broa...
This book marks the first historical overview of the autism rights branch of the neurodiversity movement, describing the activities and rationales of key leaders in their own words since it organized into a unique community in 1992. Sandwiched by editorial chapters that include critical analysis, the book contains 19 chapters by 21 authors about th...
Consumer networks have revolutionized the way companies understand and reach their customers, making possible intricate measurement and accurate prediction at every step of every transaction. The same revolution is underway in our infrastructure, where new generations of sensor-laden power plants, cars and medical devices will generate vast quantit...
The data you encounter in the real world is usually easier to think of as objects or documents than as the tables and rows required by a standard RDBMS. RavenDB, a modern document-oriented database written in .NET, requires no schema to be declared and enables developers to work with data more naturally. RavenDB applications are high-performance, l...
Complexity science uses computation to explore the physical and social sciences. In Think Complexity, you'll use graphs, cellular automata, and agent-based models to study topics in physics, biology, and economics.
Whether you're an intermediate-level Python programmer or a student of computational modeling, you'll delve into exam...
Learn how graph algorithms can help you leverage relationships within your data to develop intelligent solutions and enhance your machine learning models. With this practical guide, developers and data scientists will discover how graph analytics deliver value, whether they're used for building dynamic network models or forecasting real-world ...
This free book offers a novel view on the benefits of a lasting variation between the member states in the EU. In order to bring together thirty very different European states and their citizens, the EU will have to offer more scope for variation. Unlike the existing differentiation by means of opt-outs and deviations, variation is not a concession...
This book is open access under a CC-BY license. This open access volume presents papers on vocational education, project-based learning and science didactic approaches, illustrating with sample cases, and with a special focus on Central Asian states. Thematically embedded in the area of Technical Vocational Education and Training (TVET), the book e...
This free book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –l...
This open access book, authored by a world-leading researcher in this field, describes fundamentals of dynamic spectrum management, provides a systematic overview on the enabling technologies covering cognitive radio, blockchain, and artificial intelligence, and offers valuable guidance for designing advanced wireless communications systems. This b...
Based on a study among higher-educated adult children of lower-class Turkish and Moroccan immigrants in the Netherlands, this open access book explores processes of identification among social climbers with ethnic minority backgrounds. Using both survey data and open interviews with these 'minority climbers', the study details the context...
This free book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, MASTER 2019, held in conjunction with the 19th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2019, in Würzburg, Germany, in September 2019. The 8 ful...
This open access book summarizes the multi-disciplinary results of one of China's main primatological research projects on the endemic Tibetan macaque (Macaca thibetana), which had continued for over 30 years, but which had never been reported on systematically. Dedicated to this exceptional Old World monkey, this book makes the work of Chines...
This book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies – the penetration of digital technologies in...
This book, building on research initiated by scholars from the Leiden-Delft-Erasmus Centre for Global Heritage and Development (CHGD) and ICOMOS Netherlands, presents multidisciplinary research that connects water to heritage. Through twenty-one chapters it explores landscapes, cities, engineering structures and buildings from around the world. It ...
This open access book comprises 10 high-level papers on research and innovation within the Flexitranstore Project that were presented at the FLEXITRANSTORE special session organized as part of the 21st International Symposium on High Voltage Engineering.FLEXITRANSTORE (An Integrated Platform for Increased FLEXIbility in smart TRANSmission grids wit...
This collection brings together a variety of anthropological, historical and sociological case studies from Central Asia and the Caucasus to examine the concept of translocality. The chapters scrutinize the capacity of translocality to describe, in new ways, the multiple mobilities, exchange practices and globalizing processes that link places, peo...
This bestselling book is now the standard guide to building phone systems with Asterisk, the open source IP PBX that has traditional telephony providers running scared! Revised for the 1.4 release of the software, the new edition of Asterisk: The Future of Telephony reveals how you can save money on equipment and support, and finally be in control ...
The next frontier for wireless LANs is 802.11ac, a standard that increases throughput beyond one gigabit per second. This concise guide provides in-depth information to help you plan for 802.11ac, with technical details on design, network operations, deployment, and monitoring.
Author Matthew Gast - an industry expert who led the development of ...
Originally developed for mainframes but highly portable across platforms-from servers to desktops to handhelds-Rexx is an easy yet powerful scripting language that's widely used for rapid application development.
Covers Rexx interpreters for specialized functions-object-oriented, mainframe, and handheld.
There are 8 different free Rexx i...
Modern appliances are complex machines with processors, operating systems, and application software. While there are books that will tell you how to run Linux on embedded hardware, and books on how to build a Linux application, Linux Appliance Design is the first book to demonstrate how to merge the two and create a Linux appliance. You'll see...
For thousands of years, people have been saying that the world is changing and will never again be the same. Yet the profound changes happening today are different, because they result from a specific technological development.
It is now possible, in principle, to remember everything that anyone says, writes, sings, draws, or photographs. Everythi...