Springer international publishing jul 2017 (648 risultati)

Buch. Condizione: Neu. Neuware -This book investigates what influence online incivility-through user-generated comments on news websites-has on public debate. Built on the premise that public discussions about important topics are vital to a healthy democracy, the book analyzes 3,508 online comments in order to understand what factors in comments make them more susceptible to incivility, defined as nasty remarks rife with profanity. It also examines comments for attributes of deliberation, which are discussions across difference supported by evidence and rational arguments. Using an experiment, the book shows that uncivil comments jumpstart a chain reaction, leading first to negative emotion and then to greater intention to get politically involved. Overall, Online Incivility and Public Debate: Nasty Talk argues that while incivility mars online debate, it may also spark interest in important topics and allow for positive 'deliberative moments' of quality discussion. 236 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Keeping in mind that we can only see the universe from the comfort of our home galaxy, Bascom begins his text by meticulously laying the necessary groundwork to understand the Big Bang's mathematics without using any equations. He then paints a freeze-frame picture of our universe as if we had taken a three-dimensional picture with a giant camera. Within this picture, he traces forces beginning with the smallest (a single atom) to the biggest (the cosmos), keeping in mind that in this frozen moment everything further away from the observer spatially is also further away from the observer in time; that is, older. Soon a very real and very vivid image of the Big Bang appears (especially in things that are loud or hot), echoing down through time and into our everyday lives, reflected in every atom during every measurement. Then, slowly but deliberately, Bascom unfreezes this picture, ratcheting each moment from one to the next, showing us how and why quantum particles are constantly in contact with the Big Bang and why that allows the particles to pop in and out of existence from moment to moment, what a photon is, and what exactly we mean when we say that free space has energy.Whether you're interested in the Big Bang, the weirdness of quantum mechanics, or simply enjoy thinking about the biggest, loudest, and oldest things in our universe, this book will help you question your deepest notions about time and space, while staying firmly rooted in empirical observation.Throughout the text, Bascom sidesteps traditional non-fiction modes, using colorful explanations and vivid imagery to place the reader in simultaneous contact with both the Big Bang and fundamental particles. As a result, Bascom provides the tools and language necessary to contemplate the strangeness of our universe. 107 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about how electricity has profoundly changed the way we live, work, and play. Some twenty topics are covered, with an abundance of graphs and images to build a comprehensive picture.Each looks at the developments, and the people who initiated them, together with how one led to the next and their subsequent impact on society. Topics include electric supply, lighting through X-rays, and all those appliances that make our homes so comfortable.Most homes at the end of the twentieth century were full of electrical equipment, much of which was regarded as essential. It ran from lights, washing machines, fridges, freezers, kettles, telephones and so on, to the more subtle things such as wipers and starter motors on cars. In 1900, in all but a tiny minority of houses, there were none of these things. It is very difficult for us now to imagine a world without electrical equipment everywhere, and yet it has only taken a century. The Electric Centuryexamines how we got from then to now.The nineteenth is often described as the century of steam from the impact it had on employment and transport, and The Electric Century makes a similar claim as the description of the twentieth. Electricity and the equipment using it are so pervasive that they have affected every corner of modern life. 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -How could the newly authorized space shuttle help in the U.S. quest to build a large research station in Earth orbit As a means of transporting goods, the shuttle could help supply the parts to the station. But how would the two entitles be physically linked Docking technologies had to constantly evolve as the designs of the early space stations changed. It was hoped the shuttle would make missions to the Russian Salyut and American Skylab stations, but thesewere postponed until the Mir station became available, while plans for getting a new U. S. space station underway were stalled.In Linking the Space Shuttle and Space Stations, the author delves into the rich history of the Space Shuttle and its connection to these early space stations, culminating in the nine missions to dock the shuttle toMir. By 1998, after nearly three decades of planning and operations, shuttle missions to Mir had resulted in:- A proven system to link up the space shuttle to a space station- Equipment and hands-on experience in handling tons of materials- An infrastructure to support space station assembly and resupplyEach of these played a pivotal role in developing the skills and procedures crucial to the creation of the later, much larger and far more complex International Space Station, as described in the companionvolume Assembling and Supplying the ISS: The Space Shuttle Fulfills Its Mission. 268 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is open access under a CC BY 4.0 licenseThis book explores the magical and medical history of executions from the eighteenth to the early twentieth century by looking at the afterlife potency of criminal corpses, the healing activities of the executioner, and the magic of the gallows site. The use of corpses in medicine and magic has been recorded back into antiquity. The lacerated bodies of Roman gladiators were used as a source of curative blood, for instance. In early modern Europe, a great trade opened up in ancient Egyptian mummies and the fat of executed criminals, plundered as medicinal cure-alls. However, this is the first book to consider the demand for the blood of the executed, the desire for human fat, the resort to the hanged man's hand, and the trade in hanging rope in the modern era. It ends by look at the spiritual afterlife of dead criminals. 118 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is open access under a CC BY 4.0 license.This book provides an original and challenging analysis of one of the most pressing social issues of our times: intergenerational inequality. Based on recent mixed-method research, it explores the extent and scope of generational divides through an up-to-date analysis of the changing opportunities for young people in Britain across different life domains. A central question addressed is whether current changes are best understood as growing inequalities within and across age groups, or whether we face a genuine intergenerational decline over the life course of this and future generations of youth. Andy Green's controversial manifesto for intergenerational equity includes replacing higher education fees with a tax on graduates of all ages; the introduction of capital gains tax on sales of first homes; voting at 16, and a new charter of rights for private tenants. 176 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book traces the evolution of the constitutional order, explaining Donald Trump's election as a symptom of a degraded democratic-capitalist system. Beginning with the framers' vision of a balanced system-balanced between the public and private spheres, between government power and individual rights-the constitutional order evolved over two centuries until it reached its present stage, Democracy, Inc., in which corporations and billionaires wield herculean political power. The five conservative justices of the early Roberts Court, including the late Antonin Scalia, stamped Democracy, Inc., with a constitutional imprimatur, contravening the framers' vision while simultaneously claiming to follow the Constitution's original meaning. The justices believed they were upholding the American way of life, but they instead placed our democratic-capitalist system in its gravest danger since World War II. With Neil Gorsuch replacing Scalia, the new Court must choose: Will it follow the early Roberts Court in approving and bolstering Democracy, Inc., or will it restore the crucial balance between the public and private spheres in our constitutional system 284 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present book offers a compelling sketch of how technological advances have shaped humankind's evolution and how they can unlock ways to combat climate change and environmental threats. It also reveals new perspectives on climate change and sustainable development by harnessing technology.Given today's conditions, only a homeless vegan could achieve a sustainable ecological footprint. In reality, it would be impossible, and even destructive, to attempt to save the planet by discontinuing consumption. It would disrupt evolution and threaten the driving forces of the technology that is our hope for combating climate change and environmental threats in the future. This is the opinion of Rune Westergård, engineer, entrepreneur, and environmental debater, with several decades of experience from the field of environmental and energy technology. He challenges many established truths on consumption and sustainability and demonstrates how and why they are flawed. From his point of view, both continued global growth and increased welfare are entirely possible within the ecological limitations of our planet. Once we learn to put technology to our best advantage, one planet will be enough. 168 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book focuses on the interplay between Eulerian and Lagrangian conservation laws for systems that admit physical motivation and originate from continuum mechanics. Ultimately, it highlights what is specific to and beneficial in the Lagrangian approach and its numerical methods. The two first chapters present a selection of well-known features of conservation laws and prepare readers for the subsequent chapters, which are dedicated to the analysis and discretization of Lagrangian systems.The text is at the frontier of applied mathematics and scientific computing and appeals to students and researchers interested in Lagrangian-based computational fluid dynamics. It also serves as an introduction to the recent corner-based Lagrangian finite volume techniques. 368 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In geometry processing and shape analysis, several applications have been addressed through the properties of the Laplacian spectral kernels and distances, such as commute time, biharmonic, diffusion, and wave distances.Within this context, this book is intended to provide a common background on the definition and computation of the Laplacian spectral kernels and distances for geometry processing and shape analysis. To this end, we define a unified representation of the isotropic and anisotropic discrete Laplacian operator on surfaces and volumes; then, we introduce the associated differential equations, i.e., the harmonic equation, the Laplacian eigenproblem, and the heat equation. Filtering the Laplacian spectrum, we introduce the Laplacian spectral distances, which generalize the commute-time, biharmonic, diffusion, and wave distances, and their discretization in terms of the Laplacian spectrum. As main applications, we discuss the design of smooth functions and the Laplacian smoothing of noisy scalar functions.All the reviewed numerical schemes are discussed and compared in terms of robustness, approximation accuracy, and computational cost, thus supporting the reader in the selection of the most appropriate with respect to shape representation, computational resources, and target application. 140 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To find 'criteria of simplicity' was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematicians in Paris. At the same time, simplicity and economy of means are powerful impulses in the creation of artworks. This was an inspiration for a conference, titled the same as this volume, that took place at the Graduate Center of the City University of New York in April of 2013. This volume includes selected lectures presented at the conference, and additional contributions offering diverse perspectives from art and architecture, the philosophy and history of mathematics, and current mathematical practice. 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -You Must be Very Intelligent is the author's account of studying for a PhD in a modern, successful university. Part-memoir and part-exposé, this book is highly entertaining and unusually revealing about the dubious morality and desperate behaviour which underpins competition in twenty-first century academia. This witty, warts-and-all account of Bodewits years as a PhD student in the august University of Edinburgh is full of success and failure, passion and pathos, insight, farce and warm-hearted disillusionment. She describes a world of collaboration and backstabbing; nefarious financing and wasted genius; cosmopolitan dreamers and discoveries that might just change the world. Is this a smart people's world or a drip can of weird species Modern academia is certainly darker and stranger than one might suspect. This book will put a wry, knowing smile on the faces of former researchers. And it is a cautionary parable for innocents who still believe that lofty academia is erected upon moral high ground. 356 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7 th EAI International Conference on Sensor Systems and Software, S-Cube 2016, held in Sophia Antipolis, Nice, France, in December 2016.The 15 revised full papers and 5 invited papers cover technologies for wireless sensor networks, smart city and industry 4.0 applications, and smart sensing. 212 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In image processing and computer vision applications such as medical or scientific image data analysis, as well as in industrial scenarios, images are used as input measurement data. It is good scientific practice that proper measurements must be equipped with error and uncertainty estimates. For many applications, not only the measured values but also their errors and uncertainties, should be-and more and more frequently are-taken into account for further processing. This error and uncertainty propagation must be done for every processing step such that the final result comes with a reliable precision estimate. The goal of this book is to introduce the reader to the recent advances from the field of uncertainty quantification and error propagation for computer vision, image processing, and image analysis that are based on partial differential equations (PDEs). It presents a concept with which error propagation and sensitivity analysis can be formulated with a set of basic operations. The approach discussed in this book has the potential for application in all areas of quantitative computer vision, image processing, and image analysis. In particular, it might help medical imaging finally become a scientific discipline that is characterized by the classical paradigms of observation, measurement, and error awareness. This book is comprised of eight chapters. After an introduction to the goals of the book (Chapter 1), we present a brief review of PDEs and their numerical treatment (Chapter 2), PDE-based image processing (Chapter 3), and the numerics of stochastic PDEs (Chapter 4). We then proceed to define the concept of stochastic images (Chapter 5), describe how to accomplish image processing and computer vision with stochastic images (Chapter 6), and demonstrate the use of these principles for accomplishing sensitivity analysis (Chapter 7). Chapter 8 concludes the book and highlights new research topics for the future. 164 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is open access under a CC BY 4.0 license.This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analyses of physical behavior as implied by the numerical solutions, and how to apply the methods and software to solve problems in the fields of physics and biology. 507 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Conference on Digital Economy, ICDEc 2017, held in Sidi Bou Said, Tunisia, in May 2017.The 18 papers presented in this volume were carefully reviewed and selected from 46 submissions. The theme of ICDEc 2017 was 'Digital Economy: Emerging Technologies and Business Innovation'. The conference offered a number of sessions discussing innovative research focusing on emerging technologies which support the digital transformation of business and the economy: digital marketing, digital economy and e-learning, data science and security, and uncertainty in Web data. 236 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the tutorial lectures of the 6th European Business Intelligence and Big Data Summer School, eBISS 2016, held in Tours, France, in July 2016. Tutorials were given by renowned experts and covered recent and various aspects of Business Intelligence and Big Data processing, including analytics on graph data, machine translation, pattern mining, scalability, and energy consumption. This volume contains the corresponding lecture notes of the summer school. 152 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Brief provides an in-depth look at crime and corruption in Russian Law Enforcement, in the fifteen years since the 2009 police reforms. It focuses on corruption and organized crime at various levels of public services and law enforcement, how these organized crime networks operate, and how to enhance police integrity and legitimacy in this context.It begins with a short overview of the history of law enforcement in the Soviet and Post-Soviet context, and the scope of organized crime on the operations of local businesses, public services, and bureaucratic offices. It provides an in depth examination of how organized crime developed in this context, to fill a void between the supply and demand of various goods and services. Based on an in-depth survey of police integrity and corruption in Russia, it provides key insights into how countries in a transition to democracy can maintain and enhance legitimacy of their police force.This Brief will be of interest to researchers in Criminology and Criminal Justice, particularly with a focus on policing, corruption or organized crime, as well as related disciplines such as political science. 67 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book explores two recent crises in British political economy: the crisis of 1976-9, for which the trade unions were impugned, and the 2007 economic crisis, for which bankers were (at least initially) blamed. The author argues that the 'crisis resolution' of the former - principally the Thatcherite reforms of the 1980s - led to the emergence of the banking crisis. Further, Kirkland demonstrates how narratives of blame have emerged and were used in both instances to promote specific agendas. Narrations of blame and crises were used to curb the trade union powers in the 1980s, whilst the 2007 crisis was quickly reframed as one of excessive government spending, which in turn has led to policies of austerity. 224 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a detailed study of the Thai rubber industry and its utilisation of renewable resources, focussing on the use of open source software in building supply chain models. By describing elements that the supply chain is composed of and relating this to Thailand's rubber industry, the authors then outline the construction of a Discrete Event Simulation (DES) model and use open source software to model renewable resources in this particular supply chain. Emphasis is placed on the way that modelling can aid the important decision-making required in the exploitation of natural resources. By taking a hands-on approach and offering a valuable guide for readers, this book not only appeals to academics in the fields of industrial engineering, operations, logistics and supply chain management, but also to practitioners, policy-makers and associations involved in the rubber industry. 180 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Group Decision and Negotiation, GDN 2017, held in Stuttgart, Germany, in August 2017. The field of Group Decision and Negotiation focuses on decision processes with at least two participants and a common goal but conflicting individual goals. Research areas of Group Decision and Negotiation include electronic negotiations, experiments, the role of emotions in group decision and negotiations, preference elicitation and decision support for group decisions and negotiations, and conflict resolution principles.The 14 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They were organized in topical sections named: general topics in group decision and negotiation; conflict resolution; emotions in group decision and negotiation; negotiation support systems and studies; and preference modeling for group decision and negotiation. The book also contains two invited talks in full paper length. 244 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book approaches newly emerging religious groups through the interplay between religious and non-religious spheres in the specific context of Vietnam. It considers the new religious groups as a part of religious reconfiguration in Vietnam caused by intensified interactions among these spheres. It explores changes of relationship between religions, and changes between the religious sphere and the political, economic and public spheres in contemporary Vietnam. Specifically, it traces trajectories of religious development in relation to politico-economic changes in this rapidly modernising nation. It tests a hypothesis that at least some new yet unrecognized new religious groups have a positive/ active role in modernisation rather than a negative/reactive role.To this end, the book draws on a number of research approaches and methodologies in an effort to provide readers with a multi-faceted understanding of Vietnam's new religious groups. The research is interdisciplinary in orientation, drawing on sociology and anthropology. It is also comparative in that it bases its argument on a consideration of three distinct new religious groups in Vietnam. The research is also qualitative and ethnographic in that it drew on some of the techniques associated with participant observation during a sustained period of fieldwork amongst the three religious groups.The concept of religious reconfiguration developed in this book provides a framework for the study of religion in Vietnam which opens the way to further analysis from a comparative perspective. Meanwhile, an emphasis upon religious reinvention which addresses processes of remaking, transforming, legitimating andaccommodatingcan be useful for research into New Religious Movementselsewherein Asia. A research in the challenges of new religions could act as a catalyst for interdisciplinary studies based on detailed empirical study of religious diversity and of religious freedom by other scholars. It is hoped that this research might help to give a voice to religious minorities that are often the victim of stereotyping, misunderstanding, and punitive treatment.The book is suitable for post-graduate students and social researchers who are interested in religious revival, religious diversification, State-religion relationships, and State's regulation of new religions. 180 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -European digital libraries have existed in diverse forms and with quite different functions, priorities, and aims. However, there are some common features of European-based initiatives that are relevant to non-European communities. There are now many more challenges and changes than ever before, and the development rate of new digital libraries is ever accelerating. Delivering educational, cultural, and research resources-especially from major scientific and cultural organizations-has become a core mission of these organizations. Using these resources they will be able to investigate, educate, and elucidate, in order to promote and disseminate and to preserve civilization. Extremely important in conceptualizing the digital environment priorities in Europe was its cultural heritage and the feeling that these rich resources should be open to Europe and the global community.In this book we focus on European digitized heritage and digital culture, and its potential in the digital age. We specifically look at the EU and its approaches to digitization and digital culture, problems detected, and achievements reached, all with an emphasis on digital cultural heritage. We seek to report on important documents that were prepared on digitization; copyright and related documents; research and education in the digital libraries field under the auspices of the EU; some other European and national initiatives; and funded projects.The aim of this book is to discuss the development of digital libraries in the European context by presenting, primarily to non-European communities interested in digital libraries, the phenomena, initiatives, and developments that dominated in Europe. We describe the main projects and their outcomes, and shine a light on the number of challenges that have been inspiring new approaches, cooperative efforts, and the use of research methodology at different stages of the digital libraries development. The specific goals are reflected in the structure of the book, which can be conceived as a guide to several main topics and sub-topics. However, the author's scope is far from being comprehensive, since the field of digital libraries is very complex and digital libraries for cultural heritage is even moreso. 204 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The congestion control mechanism has been responsible for maintaining stability as the Internet scaled up by many orders of magnitude in size, speed, traffic volume, coverage, and complexity over the last three decades. In this book, we develop a coherent theory of congestion control from the ground up to help understand and design these algorithms. We model network traffic as fluids that flow from sources to destinations and model congestion control algorithms as feedback dynamical systems. We show that the model is well defined. We characterize its equilibrium points and prove their stability. We will use several real protocols for illustration but the emphasis will be on various mathematical techniques for algorithm analysis.Specifically we are interested in four questions:1. How are congestion control algorithms modelled 2. Are the models well defined 3. How are the equilibrium points of a congestion control model characterized 4. How are the stability of these equilibrium points analyzed For each topic, we first present analytical tools, from convex optimization, to control and dynamical systems, Lyapunov and Nyquist stability theorems, and to projection and contraction theorems. We then apply these basic tools to congestion control algorithms and rigorously prove their equilibrium and stability properties. A notable feature of this book is the careful treatment of projected dynamics that introduces discontinuity in our differential equations.Even though our development is carried out in the context of congestion control, the set of system theoretic tools employed and the process of understanding a physical system, building mathematical models, and analyzing these models for insights have a much wider applicability than to congestion control. 216 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The identification and interpretation of the signs of breast cancer in mammographic images from screening programs can be very difficult due to the subtle and diversified appearance of breast disease. This book presents new image processing and pattern recognition techniques for computer-aided detection and diagnosis of breast cancer in its various forms. The main goals are: (1) the identification of bilateral asymmetry as an early sign of breast disease which is not detectable by other existing approaches; and (2) the detection and classification of masses and regions of architectural distortion, as benign lesions or malignant tumors, in a unified framework that does not require accurate extraction of the contours of the lesions. The innovative aspects of the work include the design and validation of landmarking algorithms, automatic Tabár masking procedures, and various feature descriptors for quantification of similarity and for contour independent classification of mammographic lesions. Characterization of breast tissue patterns is achieved by means of multidirectional Gabor filters. For the classification tasks, pattern recognition strategies, including Fisher linear discriminant analysis, Bayesian classifiers, support vector machines, and neural networks are applied using automatic selection of features and cross-validation techniques. Computer-aided detection of bilateral asymmetry resulted in accuracy up to 0.94, with sensitivity and specificity of 1 and 0.88, respectively. Computer-aided diagnosis of automatically detected lesions provided sensitivity of detection of malignant tumors in the range of [0.70, 0.81] at a range of falsely detected tumors of [0.82, 3.47] per image. The techniques presented in this work are effective in detecting and characterizing various mammographic signs of breast disease. 188 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributionsacross a remarkably wide range of topics, including real-time, concurrent,and probabilistic models of computation, logic in computer science, andmodel checking. Since 1995, he has been one of the prime movers behind the modelchecking tool for real-time systems UPPAAL, for which he was a co-recipient ofthe CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation. 680 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereedproceedings of the 14th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2017, held inPrague, Czech Republic, in August 2017.The 23 full papers together with 4 short papers presented in this volume were carefully reviewed and selected from 77 submissions.The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience. 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 15th German Conference on Multiagent System Technologies, MATES 2017, held in Lepzig, Germany, in August 2017. The 17 full papers presented in this volume were carefully reviewedand selected from 24 submissions for inclusion in the proceedings. Over these 15 years, the MATES conference series has beenaiming at the promotion of and the cross-fertilization between theory and applicationof intelligent agents and multi-agent systems. 312 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2017, held in Lyon, France, in August 2017 in conjunction with DEXA 2017. The 15 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in the following topical sections: Privacy in Mobile Environments; Transparence and Privacy Enhancing Technologies; Security Measures; Cloud - IoT Security and Privacy; Security Awareness and Social Engineering - Policy Languages. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 8thScandinavian Conference on Information Systems, SCIS 2017, held in Halden, Norway, in August 2017. The 11 full papers presented in this volume were carefully reviewed and selected from 24 submissions. They focus on so-called 'smart' systems that prevail in many areas and influence work processes, communication, leasure activities and lifelong learning, and they deal with questions in design, implementation and adaptation in organizations. 172 pp. Englisch.…