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 Solutions 2011


Book Description

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, followed by the second conference in 2006 ( with INSA again, at St. Malo, France), and the third conference in 2009 (in Padova and Venice, in association with the University of Pado




Concrete Solutions 2014


Book Description

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 us partnering with the University of Padua in 2009 and with TU Dresden in 2011. This conference is being held for the first time in the UK, in association with Queen’s University Belfast and brings together delegates from 36 countries to discuss the latest advances and technologies in concrete repair. Earlier conferences were dominated by electrochemical repair, but there has been an interesting shift to more unusual methods, such as bacterial repair of concrete plus an increased focus on service life design aspects and modelling, with debate and discussion on the best techniques and the validity of existing methods. Repair of heritage structures is also growing in importance and a number of the papers have focused on the importance of getting this right, so that we may preserve our rich cultural heritage of historic structures. This book is an essential reference work for those working in the concrete repair field, from Engineers to Architects and from Students to Clients.




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.




Finite Element Design of Concrete Structures


Book Description

In Finite Element Design of Concrete Structures: practical problems and their solutions the author addresses this blind belief in computer results by offering a useful critique that important details are overlooked due to the flood of information from the output of computer calculations. Indeed, errors in the numerical model may lead in extreme cases to structural failures as the collapse of the so-called Sleipner platform has demonstrated.




Software Reuse in the Emerging Cloud Computing Era


Book Description

"This book clarifies the present fast-advancing literature of the current state of art and knowledge in the areas of the development and reuse of reusable assets in emerging software systems and applications"--Provided by publisher.




Design of Reinforced Concrete


Book Description

Publisher Description




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.




Software Design and Development: Concepts, Methodologies, Tools, and Applications


Book Description

Innovative tools and techniques for the development and design of software systems are essential to the problem solving and planning of software solutions. Software Design and Development: Concepts, Methodologies, Tools, and Applications brings together the best practices of theory and implementation in the development of software systems. This reference source is essential for researchers, engineers, practitioners, and scholars seeking the latest knowledge on the techniques, applications, and methodologies for the design and development of software systems.