Proceedings of the 1st International Conference on Water Energy Food and Sustainability (ICoWEFS 2021)


Book Description

This book presents the proceedings of the 1st International Conference on Water Energy Food and Sustainability – ICoWEFS 2021, a major forum to foster innovation and exchange knowledge in the water-energy-food nexus, embracing the Sustainable Development Goals (SDGs) of the United Nations, bringing together leading academics, researchers and industrial experts. It contains the work of authors from 33 countries.




Proceedings of the 1st International Conference on Fluid, Thermal and Energy Systems


Book Description

This book comprises the proceedings of the 1st International Conference on Fluid, Thermal and Energy Systems. The contents of this book focus on phase change heat transfer, advanced energy systems, separated flows, turbulence and multi-phase modeling, computational fluid flow and heat transfer, thermal energy storage systems, integrated energy systems, nuclear thermal hydraulics, heat transfer in nanofluids, etc. This book serves as a useful reference to researchers, academicians, and students interested in the broad field of thermo-fluid science and engineering.







Proceedings of 2014 1st International Conference on Industrial Economics and Industrial Security


Book Description

This book collects 88 papers on the latest fundamental advances in the state of the art and practice of industrial economics and industrial security theories and practices, providing insights to address problems concerning the national economy, social development and economic security. The book is divided into four main sections: Industrial Economics; Industrial Security; Empirical Studies; and others, all of which cover different aspects, such as industrial organization, industrial structure, industrial development, industrial distribution and industrial policies, as well as theories on industrial security in globalization. It also covers four special sessions: Cultural Industry; National Economy; Finance Groups; and International Economics and Trade. The papers in each section describe state-of-art research works that are often oriented towards real-world applications and highlight the benefits of related methods and techniques for developing the emerging field of Industrial Economics and Industrial Security.




Cloud Computing


Book Description

This book presents both state-of-the-art research developments and practical guidance on approaches, technologies and frameworks for the emerging cloud paradigm. Topics and features: presents the state of the art in cloud technologies, infrastructures, and service delivery and deployment models; discusses relevant theoretical frameworks, practical approaches and suggested methodologies; offers guidance and best practices for the development of cloud-based services and infrastructures, and examines management aspects of cloud computing; reviews consumer perspectives on mobile cloud computing and cloud-based enterprise resource planning; explores software performance testing, open-source cloudware support, and assessment methodologies for modernization, migration and pre-migration; describes emerging new methodologies relevant to the cloud paradigm, and provides suggestions for future developments and research directions.




ICREEC 2019


Book Description

This book highlights peer reviewed articles from the 1st International Conference on Renewable Energy and Energy Conversion, ICREEC 2019, held at Oran in Algeria. It presents recent advances, brings together researchers and professionals in the area and presents a platform to exchange ideas and establish opportunities for a sustainable future. Topics covered in this proceedings, but not limited to, are photovoltaic systems, bioenergy, laser and plasma technology, fluid and flow for energy, software for energy and impact of energy on the environment.




Proceedings of the 1st International Conference on Electronics, Biomedical Engineering, and Health Informatics


Book Description

This Conference proceeding presents high-quality peer-reviewed papers from the International Conference on Electronics, Biomedical Engineering, and Health Informatics (ICEBEHI) 2020 held at Surabaya, Indonesia. The contents are broadly divided into three parts: (i) Electronics, (ii) Biomedical Engineering, and (iii) Health Informatics. The major focus is on emerging technologies and their applications in the domain of biomedical engineering. It includes papers based on original theoretical, practical, and experimental simulations, development, applications, measurements, and testing. Featuring the latest advances in the field of biomedical engineering applications, this book serves as a definitive reference resource for researchers, professors, and practitioners interested in exploring advanced techniques in the field of electronics, biomedical engineering, and health informatics. The applications and solutions discussed here provide excellent reference material for future product development.




Large-scale Distributed Systems and Energy Efficiency


Book Description

Addresses innovations in technology relating to the energy efficiency of a wide variety of contemporary computer systems and networks With concerns about global energy consumption at an all-time high, improving computer networks energy efficiency is becoming an increasingly important topic. Large-Scale Distributed Systems and Energy Efficiency: A Holistic View addresses innovations in technology relating to the energy efficiency of a wide variety of contemporary computer systems and networks. After an introductory overview of the energy demands of current Information and Communications Technology (ICT), individual chapters offer in-depth analyses of such topics as cloud computing, green networking (both wired and wireless), mobile computing, power modeling, the rise of green data centers and high-performance computing, resource allocation, and energy efficiency in peer-to-peer (P2P) computing networks. Discusses measurement and modeling of the energy consumption method Includes methods for energy consumption reduction in diverse computing environments Features a variety of case studies and examples of energy reduction and assessment Timely and important, Large-Scale Distributed Systems and Energy Efficiency is an invaluable resource for ways of increasing the energy efficiency of computing systems and networks while simultaneously reducing the carbon footprint.




Formal Analysis of Future Energy Systems Using Interactive Theorem Proving


Book Description

This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal analysis of generation and distribution cost, smart operations, and processing of energy in a smart grid. These formal theories are also employed to formally verify the cost and utility modeling for: Energy generation and distribution; Asymptotic bounds for online scheduling algorithms for plug-in electric vehicles; and Stability of the power converters for wind turbines. The proposed approach results in mechanized proofs for the specification, validation, and verification of corresponding smart grid problems. The formal mathematical theories developed can be applied to the formal analysis of several other hardware and software systems as well, making this book of interest to researchers and practicing engineers in a variety of power electronic fields.