Concrete Solutions contains the contributions from some 30 countries to Concrete Solutions, the 6th International Conference on Concrete Repair (Thessaloniki, Greece, 20-23 June 2016). Strengthening and retrofitting are major themes in this volume, with NDT and electrochemical repair following closely, discussing the latest advances and technologies in concrete repair. The book brings together some interesting and challenging theoretical approaches and questions if we really understand and approach such topics as corrosion monitoring correctly. Concrete Solutions is an essential reference work for those working in the concrete repair field, from engineers to architects and from students to clients. The Concrete Solutions Series of international conferences on concrete repair began in 2003 with a conference held in St. Malo, France in association with INSA Rennes. Subsequent conferences have seen the Series partnering with the University of Padua (Italy) in 2009, with TU Dresden (Germany) in 2011 and with Queen’s University Belfast (Northern Ireland) in 2014. In 2016 Thessaloniki (Greece) hosted the conference, partnering with both Aristotle University of Thessaloniki (AUTH) and Democritus University of Thrace (DUTH). The next conference in the series will be held in 2019 in Istanbul.

The challenges facing humanity in the 21st century include climate change, population growth, overconsumption of resources, overproduction of waste and increasing energy demands. For construction practitioners, responding to these challenges means creating a built environment that provides accommodation and infrastructure with better whole-life performance using lower volumes of primary materials, less non-renewable energy, wasting less and causing fewer disturbances to the natural environment. Concrete is ubiquitous in the built environment. It is therefore essential that it is used in the most sustainable way so practitioners must become aware of the range of sustainable concrete solutions available for construction. While sustainable development has been embedded into engineering curricula, it can be difficult for students and academics to be fully aware of the innovations in sustainable construction that are developed by the industry. Sustainable Concrete Solutions serves as an introduction to and an overview of the latest developments in sustainable concrete construction. It provides useful guidance, with further references, to students, researchers, academics and practitioners of all construction disciplines who are faced with the challenge of designing, specifying and constructing with concrete.

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally. The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.

This book captures the state of the art of the durability of fibre-reinforced strain-hardening cement-based composites (SHCC) and the durability of structures or structural elements manufactured in full or in part with this class of modern construction materials. Highlights include: - Reflection on durability performance of existing applications in patch repair, a water reservoir and highway bridges. - Guidelines for tensile testing towards durability assessment of cracked SHCC. - New crack pattern related ingress rate indices for water and chloride into cracked SHCC. - The influence of low and high temperatures on SHCC durability performance. - The mechanism of crack control reducing ASR and corrosion rate, and results on chloride-induced corrosion of embedded steel reinforcement. - Self-healing of cracks in SHCC. - A conceptual durability design framework for SHCC and R/SHCC structures and members.

How much further should the affluent world push its material consumption? Does relative dematerialization lead to absolute decline in demand for materials? These and many other questions are discussed and answered in Making the Modern World: Materials and Dematerialization. Over the course of time, the modern world has become dependent on unprecedented flows of materials. Now even the most efficient production processes and the highest practical rates of recycling may not be enough to result in dematerialization rates that would be high enough to negate the rising demand for materials generated by continuing population growth and rising standards of living. This book explores the costs of this dependence and the potential for substantial dematerialization of modern economies. Making the Modern World: Materials and Dematerialization considers the principal materials used throughout history, from wood and stone, through to metals, alloys, plastics and silicon, describing their extraction and production as well as their dominant applications. The evolving productivities of material extraction, processing, synthesis, finishing and distribution, and the energy costs and environmental impact of rising material consumption are examined in detail. The book concludes with an outlook for the future, discussing the prospects for dematerialization and potential constrains on materials. This interdisciplinary text provides useful perspectives for readers with backgrounds including resource economics, environmental studies, energy analysis, mineral geology, industrial organization, manufacturing and material science.

In this era of technological progress and given the need for welfare and safety, everything that is manufactured and maintained must comply with such needs. We would all like to live in a safe house that will not collapse on us. We would all like to walk on a safe road and never see a chasm open in front of us. We would all like to cross a bridge and reach the other side safely. We all would like to feel safe and secure when taking a plane, ship, train, or using any equipment. All this may be possible with the adoption of adequate manufacturing processes, with non-destructive inspection of final parts and monitoring during the in-service life of components. Above all, maintenance should be imperative. This requires effective non-destructive testing techniques and procedures. This Special Issue is a collection of some of the latest research in these areas, aiming to highlight new ideas and ways to deal with challenging issues worldwide. Different types of materials and structures are considered, different non-destructive testing techniques are employed with new approaches for data treatment proposed as well as numerical simulations. This can serve as food for thought for the community involved in the inspection of materials and structures as well as condition monitoring.

These proceedings represent the work of researchers participating in the 11th International Conference on Intellectual Capital, Knowledge Management & Organisational Learning - ICICKM 2014, which this year is being held at The University of Sydney Business School, The University of Sydney, Australia. The Conference Co-Chairs are Dr John Dumay from Macquarie University, Sydney, Australia and Dr Gary Oliver from the University of Sydney, Australia. The conference will be opened with a keynote by Goran Roos, Advanced Manufacturing Council, Adelaide, Australia who will address the topic of "Intellectual capital in Australia: Economic development in a high cost economy." The second day will be opened with a from James Guthrie, University of Sydney, Australia on the topic of "Intellectual Capital and the Public Sector Research: Past, Present, and Future."

The international PURPLSOC (In Pursuit of Pattern Languages for Societal Change) platform aims to substantiate the relevance of Christopher Alexander’s pattern language approach in all major domains by showing its broad applicability and richness and bringing best practice examples from outside the scientific community into research. This anthology of 19 papers, proceedings of the PURPLSOC 2015 World Conference held at Danube University Krems in Austria, is the first outcome of this discussion and reflection. The papers bring a manifold and broad overview of the current state of the implementation of Alexander’s ideas in divergent fields. Additionally, PURPLSOC offers a platform for the research and discussion of Alexander’s most recent work: “The Nature of Order: An Essay on the Art of Building and the Nature of the Universe” (2004). The four volumes explore the “living process” with its “15 structure-preserving transformations” applied in the “unfolding of wholeness”.

Original research on performance of materials under a wide variety of blasts, impacts, severe loading and fireCritical information for protecting buildings and civil infrastructure against human attack, deterioration and natural disastersTest and design data for new types of concrete, steel and FRP materials This technical book is devoted to the empirical and theoretical analysis of how structures and the materials constituting them perform under the extreme conditions of explosions, fire, and impact. Each of the 119 fully refereed presentations is published here for the first time and was selected because of its original contribution to the science and engineering of how materials, bridges, buildings, tunnels and their components, such as beams and pre-stressed parts, respond to potentially destructive forces. Emphasis is placed on translating empirical data to design recommendations for strengthening structures, including strategies for fire and earthquake protection as well as blast mitigation. Technical details are provided on the development and behavior of new resistant materials, including reinforcements, especially for concrete, steel and their composites.

• New York Times bestseller • The 100 most substantive solutions to reverse global warming, based on meticulous research by leading scientists and policymakers around the world “At this point in time, the Drawdown book is exactly what is needed; a credible, conservative solution-by-solution narrative that we can do it. Reading it is an effective inoculation against the widespread perception of doom that humanity cannot and will not solve the climate crisis. Reported by-effects include increased determination and a sense of grounded hope.” —Per Espen Stoknes, Author, What We Think About When We Try Not To Think About Global Warming “There’s been no real way for ordinary people to get an understanding of what they can do and what impact it can have. There remains no single, comprehensive, reliable compendium of carbon-reduction solutions across sectors. At least until now. . . . The public is hungry for this kind of practical wisdom.” —David Roberts, Vox “This is the ideal environmental sciences textbook—only it is too interesting and inspiring to be called a textbook.” —Peter Kareiva, Director of the Institute of the Environment and Sustainability, UCLA In the face of widespread fear and apathy, an international coalition of researchers, professionals, and scientists have come together to offer a set of realistic and bold solutions to climate change. One hundred techniques and practices are described here—some are well known; some you may have never heard of. They range from clean energy to educating girls in lower-income countries to land use practices that pull carbon out of the air. The solutions exist, are economically viable, and communities throughout the world are currently enacting them with skill and determination. If deployed collectively on a global scale over the next thirty years, they represent a credible path forward, not just to slow the earth’s warming but to reach drawdown, that point in time when greenhouse gases in the atmosphere peak and begin to decline. These measures promise cascading benefits to human health, security, prosperity, and well-being—giving us every reason to see this planetary crisis as an opportunity to create a just and livable world.