First published in 1999, the papers collected in this volume were originally prepared for four workshops organized by the UN Department for Disarmament Affairs to inform the work of the Panel of Governmental Experts on Small Arms. These workshops were held during 1995-96. Some of the authors updated their papers for publication in early 1998. Lora Lumpe, senior fellow with the Norwegian Initiative on Small Arms Transfers in Oslo and Tamar Gabelnick, Acting Director of the Arms Sales Monitoring Project at the Federation of American Scientists in Washington, DC edited the presentations for this book.

First published in 1999, the papers collected in this volume were originally prepared for four workshops organized by the UN Department for Disarmament Affairs to inform the work of the Panel of Governmental Experts on Small Arms. These workshops were held during 1995-96. Some of the authors updated their papers for publication in early 1998. Lora Lumpe, senior fellow with the Norwegian Initiative on Small Arms Transfers in Oslo and Tamar Gabelnick, Acting Director of the Arms Sales Monitoring Project at the Federation of American Scientists in Washington, DC edited the presentations for this book.

Although there is often opposition to individual wars, most people continue to believe that the arms industry is necessary in some form: to safeguard our security, provide jobs and stimulate the economy. Not only conservatives, but many progressives and liberals, support it for these reasons. Indefensible puts forward a devastating challenge to this conventional wisdom, which has normalised the existence of the most savage weapons of mass destruction ever known. It is the essential handbook for those who want to debunk the arguments of the industry and its supporters: deploying case studies, statistics and irrefutable evidence to demonstrate they are fundamentally flawed, both factually and logically. Far from protecting us, the book shows how the arms trade undermines our security by fanning the flames of war, terrorism and global instability. In countering these myths, the book points to ways in which we can combat the arms trade's malignant influence, reclaim our democracies and reshape our economies.

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Software Composition, SC 2007, held in Braga, Portugal, in March 2007. The workshop has been organized as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2007.

The 15 revised full papers and 5 revised short papers presented together with the abstract of 1 invited talk were carefully selected during two rounds of reviewing and improvement from 59 submissions. The papers are organized in topical sections on composition contracts, composition design and analysis, dynamic composition, short papers, aspect-oriented programming, and structural composition.

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

Track list
Late to the Flight
May I Be the Light
Rolling Thunder
Curse of the Contemporary
Hand Hold Hero
Shake Your Shelter
Lump is a Product (Credits)

Although there is often opposition to individual wars, most people continue to believe that the arms industry is necessary in some form: to safeguard our security, provide jobs and stimulate the economy. Not only conservatives, but many progressives and liberals, support it for these reasons. Indefensible puts forward a devastating challenge to this conventional wisdom, which has normalised the existence of the most savage weapons of mass destruction ever known. It is the essential handbook for those who want to debunk the arguments of the industry and its supporters: deploying case studies, statistics and irrefutable evidence to demonstrate they are fundamentally flawed, both factually and logically. Far from protecting us, the book shows how the arms trade undermines our security by fanning the flames of war, terrorism and global instability. In countering these myths, the book points to ways in which we can combat the arms trade's malignant influence, reclaim our democracies and reshape our economies.

Umfangreiche Uberprufungen von Stabtheorie und Berechnungsergebnissen durch die Verfasser belegen, dass der EDV-gestutzte Entwurf eines Tragwerks grob fehlerhaft sein kann. Das vorliegende Buch klart die Frage, wie wirklichkeitsnah die Resultate aktueller Stabstatik-Software ausfallen. Mit Hilfe zahlreicher Referenzbeispiele kann jeder Anwender diese Frage fur die von ihm genutzte Software prufen. Daruber hinaus wird ein Abriss der genauen geometrisch nichtlinearen Biegetorsionstheorie und deren Aufbereitung fur die FEM dargestellt. Dieses Buch ist ein unverzichtbares Hilfsmittel fur Aufsteller und Prufer von Standsicherheitsnachweisen sowie fur Software-Entwickler. Prof. Dr.-Ing. Gunter Lumpe ist seit 1991 Professor fur Stahlbau an der Hochschule Biberach. Er war uber zehn Jahre im industriellen Stahl- und Anlagenbau praktisch tatig. Prof. Dr.-Ing. Volker Gensichen war im Industrie- und Anlagenbau tatig. Bis 2007 lehrte er Massivbau und Stahlbau an der FH Munster. Er beschaftigt sich mit der Verifikation der Ergebnisse von Statik-Software und ist stellv. Vorsitzender im VDI-Ausschuss Softwaregestutzte Tragsicherheitsnachweise .

Leadership and organisational structures which are not adjusted to the cultural background of the employees concerned are most likely to produce sub-optimal results (House, 2004). Therefore it is necessary to develop appropriate leadership and organisational structures in order to fully grasp the cultural environment to be encountered in the professional world. This book presents a research project that was carried out to develop leadership and organisational structures in accordance with the requirements created by different professional backgrounds within the aviation industry. The identification of the different professional cultures was undertaken using a standardised questionnaire. The development of the questionnaire was carried out with the help of the GLOBE study (House, et al., 2004), one of the most extensive research efforts ever undertaken in the field of organisational and national cultures. The main characteristic of the GLOBE study is the development of nine dimensions which serve to identify and characterise any culture. These dimensions are referred to as 'core cultural dimensions'. Using this newly developed questionnaire, it was not only possible to isolate 12 different professional cultures, but also to identify their distinguishing traits which served as the base for the subsequent development of leadership and organisational structures. The survey was complemented by open interviews served to broaden and deepen the results gained with the standardised questionnaire. The research outcomes open the door to a new and important element of cultural research, complementary to those of organisational and national cultures. Although the study was carried out in the aviation industry, the results gained also appear to be transferable to other industries due to the large variety of professions isolated within the course of the presented study and the specific nature of the aviation industry itself.

Whether the war zone be in Africa, Sri Lanka, Chechnya or Afghanistan, most people are not killed by hi-tech or heavy weaponry, but by the small arms, cheap and accessible, that have flooded into so many countries in recent years. Crime rates involving guns have also soared, as South Africa and Kenya have experienced. Yet much of this cross-border arms trade is illegal. Several governments, including the United States, Canada and Mexico, are now pressing for a new global treaty on illegal trafficking in small arms. This book is a fascinating, highly informative and policy-relevant investigation into an issue about which far too little is known, and which raises crucial questions about the black market.

"If They Hadn't Gone" is an encyclopedia of biographical and statistical information covering 472 baseball players whose careers were affected by war. Its lists include brief biographies and lifetime stats for replacement-players who, before Pearl Harbor, would have been over-the-hill or below major-league quality. But, in war or in peace, baseball was the American pastime. Writing early in 1942, President Roosevelt urges Kenesaw M. Landis (then Baseball Commissioner) to "play ball " for the sake of morale. Allen prints the letter in facsimile: "It would be best for the country to keep baseball going," writes Roosevelt, "even if the quality of the teams is lowered by the greater use of older players."