Proceedings of the 2023 5th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2023)
Proceedings of the 2023 5th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2023)

Author: Hüseyin Bilgin

Publisher: Springer Nature

Published: 2023-12-13

Total Pages: 451

ISBN-13: 9464633166

DOWNLOAD EBOOK

This is an open access book.2023 5th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2023), will be held during October 27–29, 2023 in Xiamen, China. The primary goal of the conference is to promote research and developmental activities in Civil Engineering, Environment Resources and Energy Materials and another goal is to promote scientific information interchange between researchers, developers, engineers, students, and practitioners working all around the world. The conference will be held every year to make it an ideal platform for people to share views and experiences in Civil Engineering, Environment Resources and Energy Materials and related areas. A key aspect of this conference is the strong mixture of academia and industry. This allows for the free exchange of ideas and challenges faced by these two key stakeholders and encourage future collaboration between members of these groups.

Selected Papers from the Sixth International Symposium on Marine Propulsors
Selected Papers from the Sixth International Symposium on Marine Propulsors

Author: Sverre Steen

Publisher: MDPI

Published: 2020-12-29

Total Pages: 454

ISBN-13: 3039362488

DOWNLOAD EBOOK

Marine propulsors are key components of the many thousands of ships and boats operating in oceans, lakes, and rivers around the world. The performance of propulsors are important for the environmental impact of ships, underwater noise impact on aquatic fauna, and crew and passenger comfort and safety. This book presents nineteen papers devoted to the hydrodynamics of different types of marine propulsors (conventional propellers, thrusters, and novel solutions). Most of the papers are extended papers from the sixth International Symposium on Marine Propulsors (SMP 2019). Several of the papers deal with cavitation, vortices, and energy saving devices. The papers present high-quality research performed using Computational Fluid Dynamics (CFD) and Experimental Fluid Dynamics (EFD) as well Artificial Intelligence (AI).

MARINE 2011, IV International Conference on Computational Methods in Marine Engineering
MARINE 2011, IV International Conference on Computational Methods in Marine Engineering

Author: Luís Eça

Publisher: Springer Science & Business Media

Published: 2013-03-19

Total Pages: 278

ISBN-13: 9400761430

DOWNLOAD EBOOK

This book contains selected papers from the Fourth International Conference on Computational Methods in Marine Engineering, held at Instituto Superior Técnico, Technical University of Lisbon, Portugal in September 2011. Nowadays, computational methods are an essential tool of engineering, which includes a major field of interest in marine applications, such as the maritime and offshore industries and engineering challenges related to the marine environment and renewable energies. The 2011 Conference included 8 invited plenary lectures and 86 presentations distributed through 10 thematic sessions that covered many of the most relevant topics of marine engineering today. This book contains 16 selected papers from the Conference that cover “CFD for Offshore Applications”, “Fluid-Structure Interaction”, “Isogeometric Methods for Marine Engineering”, “Marine/Offshore Renewable Energy”, “Maneuvering and Seakeeping”, “Propulsion and Cavitation” and “Ship Hydrodynamics”. The papers were selected with the help of the recognized experts that collaborated in the organization of the thematic sessions of the Conference, which guarantees the high quality of the papers included in this book.

The Logic of Software. A Tasting Menu of Formal Methods
The Logic of Software. A Tasting Menu of Formal Methods

Author: Wolfgang Ahrendt

Publisher: Springer Nature

Published: 2022-07-04

Total Pages: 531

ISBN-13: 3031081668

DOWNLOAD EBOOK

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification.

Proceedings of the 5th International Conference on Industrial Engineering (ICIE 2019)
Proceedings of the 5th International Conference on Industrial Engineering (ICIE 2019)

Author: Andrey A. Radionov

Publisher: Springer Nature

Published: 2019-11-14

Total Pages: 1449

ISBN-13: 303022063X

DOWNLOAD EBOOK

This book highlights recent findings in industrial, manufacturing and mechanical engineering, and provides an overview of the state of the art in these fields, mainly in Russia and Eastern Europe. A broad range of topics and issues in modern engineering are discussed, including the dynamics of machines and working processes, friction, wear and lubrication in machines, surface transport and technological machines, manufacturing engineering of industrial facilities, materials engineering, metallurgy, control systems and their industrial applications, industrial mechatronics, automation and robotics. The book gathers selected papers presented at the 5th International Conference on Industrial Engineering (ICIE), held in Sochi, Russia in March 2019. The authors are experts in various fields of engineering, and all papers have been carefully reviewed. Given its scope, the book will be of interest to a wide readership, including mechanical and production engineers, lecturers in engineering disciplines, and engineering graduates.