Environmental Software Systems Fostering Information Sharing

This book constitutes the refereed proceedings of the 10th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2013, held in Neusiedl am See, Austria, in June 2013. The 65 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: environmental application in the scope of the future Internet; smart and mobile devices used for environmental applications; information tools for global environmental assessment; environmental applications in risk and crises management; SEIS as a part of the 7th environment action programme of EU; human interaction and human factors driving future EIS/EDSS developments; environmental management/-accounting and -statistics; and information systems and applications.

This book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015, held in Melbourne, Australia, in March 2015. The 62 revised full papers presented were carefully reviewed and selected from 104 submissions. The papers are organized in the following topical sections: information systems, information modeling and semantics; decision support tools and systems; modelling and simulation systems; architectures, infrastructures, platforms and services; requirements, software engineering and software tools; analytics and visualization; and high-performance computing and big data.

This book constitutes the refereed proceedings of the 12th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2017, held in Zadar, Croatia, in May 2017. The 35 revised full papers presented together with 4 keynote lectures were carefully reviewed and selected from 46 submissions. The papers deal with environmental challenges and try to provide solutions using forward-looking and leading-edge IT technology. They are organized in the following topical sections: air and climate; water and hydrosphere; health and biosphere; risk and disaster management; information systems; and modelling, visualization and decision support.

This is a book is a collection of articles that will be submitted as full papers to the AGILE annual international conference. These papers go through a rigorous review process and report original and unpublished fundamental scientific research. Those published cover significant research in the domain of geographic information science systems. This year the focus is on geographic information science as an enabler of smarter cities and communities, thus we expect contributions that help visualize the role and contribution of GI science in their development.

Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand properties and evolution laws of existing complex and adaptive systems—man-made such as smart electrical grids or natural ones such as biological networks. A tribute to Professor Kaisa Sere’s contributions to the field of computer science, From Action Systems to Distributed Systems: The Refinement Approach is the first book to address the impact of refinement through a multitude of formal methods ranging from Action Systems to numerous related approaches in computer science research. It presents a state-of-the-art review on the themes of distributed systems and refinement. A fundamental part of Kaisa Sere’s research consisted of developing Action Systems, a formalism for modeling, analysing, and constructing distributed systems. Within the design of distributed systems, Kaisa Sere’s main research focus was on refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits. Presenting scientific contributions from renowned researchers around the world, this edited book consists of five sections: Modeling, Analysis, Proof, Refinement, and Applications. Each chapter has been thoroughly reviewed by experts in the field. The book covers both traditional aspects in formal methods research, as well as current and innovative research directions. It describes the transition from the strong theory of refinement to a methodology that can be applied in practice, with tool support. Examining industrial applications of the methods discussed, this book is a suitable resource for graduate students, researchers, and practitioners interested in using formal methods to develop distributed systems of quality.

Machine learning continues to have myriad applications across industries and fields. To ensure this technology is utilized appropriately and to its full potential, organizations must better understand exactly how and where it can be adapted. Further study on the applications of machine learning is required to discover its best practices, challenges, and strategies. The Research Anthology on Machine Learning Techniques, Methods, and Applications provides a thorough consideration of the innovative and emerging research within the area of machine learning. The book discusses how the technology has been used in the past as well as potential ways it can be used in the future to ensure industries continue to develop and grow. Covering a range of topics such as artificial intelligence, deep learning, cybersecurity, and robotics, this major reference work is ideal for computer scientists, managers, researchers, scholars, practitioners, academicians, instructors, and students.

A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.

Scientific research on climate change has given rise to a variety of images picturing climate change. These range from colorful expert graphics, model visualizations, photographs of extreme weather events like floods, droughts or melting ice, symbols like polar bears, to animated and interactive visualizations. Climate change graphics have not only increased knowledge about the subject, they have begun to influence popular awareness of global weather events. The status of climate pictures today is particularly crucial, as global climate change as a long-term process cannot be seen. When images are widely distributed, they are able to shape how the world is thought about and seen. It is this implicit basic assumption of the power of images to influence reality that this book addresses: today's images might become the blueprint for tomorrow's realities. »Image Politics of Climate Change« combines a wide interdisciplinary range of perspectives and questions, treated here in sixteen interdisciplinary case studies. The author's specializations include both visual practice and theory: in the fields of climate sciences, computer graphics, art, curating, art history and visual studies, communication and cultural science, environmental and science & technology studies. The close interlinking of these viewpoints promotes in-depth insights into issues of production and analysis of climate visualization.