Concrete Solutions


Book Description

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.




Sustainable Concrete Solutions


Book Description

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.




Concrete Semantics


Book Description

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.




A Framework for Durability Design with Strain-Hardening Cement-Based Composites (SHCC)


Book Description

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.




Making the Modern World


Book Description

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.




Concrete Mathematics


Book Description

This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills - the skills needed to solve complex problems, to evaluate horrendous sums, and to discover subtle patterns in data. It is an indispensable text and reference not only for computer scientists - the authors themselves rely heavily on it! - but for serious users of mathematics in virtually every discipline. Concrete Mathematics is a blending of CONtinuous and disCRETE mathematics. "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems." The subject matter is primarily an expansion of the Mathematical Preliminaries section in Knuth's classic Art of Computer Programming, but the style of presentation is more leisurely, and individual topics are covered more deeply. Several new topics have been added, and the most significant ideas have been traced to their historical roots. The book includes more than 500 exercises, divided into six categories. Complete answers are provided for all exercises, except research problems, making the book particularly valuable for self-study. Major topics include: Sums Recurrences Integer functions Elementary number theory Binomial coefficients Generating functions Discrete probability Asymptotic methods This second edition includes important new material about mechanical summation. In response to the widespread use of the first edition as a reference book, the bibliography and index have also been expanded, and additional nontrivial improvements can be found on almost every page. Readers will appreciate the informal style of Concrete Mathematics. Particularly enjoyable are the marginal graffiti contributed by students who have taken courses based on this material. The authors want to convey not only the importance of the techniques presented, but some of the fun in learning and using them.




Nondestructive Testing in Composite Materials


Book Description

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.




ICICKM2014-Proceedings of the 11th International Conference on Intellectual Capital, Knowledge Management and Organisational Learning


Book Description

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."




Concrete : Microstructure, Properties, and Materials


Book Description

This textbook presents the art and science of concrete in a simple, clear, hands-on manner, focusing on the following: Cement and concrete are predicted to be the premier building material of the 21st Century; Includes unique diagrams, photographs, and summary tables; Updated to include new chapters on non-destructive methods for concrete; future challenges in concrete technology; an increased number of examples of concrete applications; and new developments in durability.




Pursuit of Pattern Languages for Societal Change - PURPLSOC


Book Description

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”.