Computational Modelling of Concrete Structures


Book Description

This conference proceedings brings together the work of researchers and practising engineers concerned with computational modelling of complex concrete, reinforced concrete and prestressed concrete structures in engineering practice. The subjects considered include computational mechanics of concrete and other cementitious materials, including masonry. Advanced discretisation methods and microstructural aspects within multi-field and multi-scale settings are discussed, as well as modelling formulations and constitutive modelling frameworks and novel experimental programmes. The conference also considered the need for reliable, high-quality analysis and design of concrete structures in regard to safety-critical structures, with a view to adopting these in codes of practice or recommendations. The book is of special interest to researchers in computational mechanics, and industry experts in complex nonlinear simulations of concrete structures.




Computing with hp-ADAPTIVE FINITE ELEMENTS


Book Description

Offering the only existing finite element (FE) codes for Maxwell equations that support hp refinements on irregular meshes, Computing with hp-ADAPTIVE FINITE ELEMENTS: Volume 1. One- and Two-Dimensional Elliptic and Maxwell Problems presents 1D and 2D codes and automatic hp adaptivity. This self-contained source discusses the theory and implementat




Sandwich Structures 7: Advancing with Sandwich Structures and Materials


Book Description

Sandwich structures represent a special form of a laminated composite material or structural elements, where a relatively thick, lightweight and compliant core material separates thin stiff and strong face sheets. The faces are usually made of laminated polymeric based composite materials, and typically, the core can be a honeycomb type material, a polymeric foam or balsa wood. The faces and the core are joined by adhesive bonding, which ensures the load transfer between the sandwich constituent parts. The result is a special laminate with very high bending stiffness and strength to weight ratios. Sandwich structures are being used successfully for a variety of applications such as spacecraft, aircraft, train and car structures, wind turbine blades, boat/ship superstructures, boat/ship hulls and many others. The overall objective of the 7th International Conference on Sandwich Structures (ICSS-7) is to provide a forum for the presentation and discussion of the latest research and technology on all aspects of sandwich structures and materials, spanning the entire spectrum of research to applications in all the fields listed above.




Measuring, Monitoring and Modeling Concrete Properties


Book Description

This state-of-the-art volume covers the latest and future trends in measuring, monitoring and modeling the properties of cement based materials. The book contains 94 papers and presents the latest research work of renowned experts. It acts as a survey of the most up-to-date research in the field.




Proceedings of the 17th European Conference on Game-Based Learning


Book Description

These proceedings represent the work of contributors to the 24th European Conference on Knowledge Management (ECKM 2023), hosted by Iscte – Instituto Universitário de Lisboa, Portugal on 7-8 September 2023. The Conference Chair is Prof Florinda Matos, and the Programme Chair is Prof Álvaro Rosa, both from Iscte Business School, Iscte – Instituto Universitário de Lisboa, Portugal. ECKM is now a well-established event on the academic research calendar and now in its 24th year the key aim remains the opportunity for participants to share ideas and meet the people who hold them. The scope of papers will ensure an interesting two days. The subjects covered illustrate the wide range of topics that fall into this important and ever-growing area of research. The opening keynote presentation is given by Professor Leif Edvinsson, on the topic of Intellectual Capital as a Missed Value. The second day of the conference will open with an address by Professor Noboru Konno from Tama Graduate School and Keio University, Japan who will talk about Society 5.0, Knowledge and Conceptual Capability, and Professor Jay Liebowitz, who will talk about Digital Transformation for the University of the Future. With an initial submission of 350 abstracts, after the double blind, peer review process there are 184 Academic research papers, 11 PhD research papers, 1 Masters Research paper, 4 Non-Academic papers and 11 work-in-progress papers published in these Conference Proceedings. These papers represent research from Australia, Austria, Brazil, Bulgaria, Canada, Chile, China, Colombia, Cyprus, Czech Republic, Denmark, Finland, France, Germany, Greece, Hungary, India, Iran, Iraq, Ireland, Israel, Italy, Japan, Jordan, Kazakhstan, Kuwait, Latvia, Lithuania, Malaysia, México, Morocco, Netherlands, Norway, Palestine, Peru, Philippines, Poland, Portugal, Romania, South Africa, Spain, Sweden, Switzerland, Taiwan, Thailand, Tunisia, UK, United Arab Emirates and the USA.




Formal Methods for Industrial Critical Systems


Book Description

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.




Annual Report


Book Description




Index of Conference Proceedings


Book Description







Geotechnical Aspects of Underground Construction in Soft Ground


Book Description

Geotechnical Aspects of Underground Construction in Soft Ground comprises the second Fujita lecture, three keynote lectures and the regular papers presented at the Ninth International Symposium on Geotechnical Aspects of Underground Construction in Soft Ground (IS - Sao Paulo 2017, Sao Paulo, Brazil, 4-6 April 2017). The Symposium was organized by the Brazilian Tunnelling Committee (CBT) of the Brazilian Geotechnical Society (ABMS), under the auspices of the Technical Committee TC204 of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE). The contributions cover a wide range of topics: - Deep Excavations - Interaction with Adjacent Structures - Mechanized Excavations - Sequential Excavations - Physical Modelling and Field Tests - Case Histories Geotechnical Aspects of Underground Construction in Soft Ground is particularly aimed at academics and professionals interested or involved in geotechnical and underground engineering. Similarly to previous editions, the contributions are a valuable source of reference on the current practice on the analysis, design and construction of tunnels, deep excavations and large underground structures, with particular emphasis on the development, effects and control of ground movements, their interaction with existing structures, mitigation measures and risk management. IS - Sao Paulo 2017 is the latest in a series of ISSMGE’s TC204 symposia, which began in New Delhi (1993), followed by symposia in London (1996), Tokyo (1999), Toulouse (2002), Amsterdam (2005), Shanghai (2008), Rome (2011) and Seoul (2014).