The 16th Multidisciplinary Academic Conference in Prague 2020

This book constitutes the refereed proceedings of the 12th International Conference on Digital Forensics and Cyber Crime, ICDF2C 2021, held in Singapore in December 2021. Due to COVID-19 pandemic the conference was held virtually. The 22 reviewed full papers were selected from 52 submissions and present digital forensic technologies and techniques for a variety of applications in criminal investigations, incident response and information security. The focus of ICDS2C 2021 was on various applications and digital evidence and forensics beyond traditional cybercrime investigations and litigation.

This book is a collection of research papers and articles presented at the 3rd International Conference on Communications and Cyber-Physical Engineering (ICCCE 2020), held on 1-2 February 2020 at CMR Engineering College, Hyderabad, Telangana, India. Discussing the latest developments in voice and data communication engineering, cyber-physical systems, network science, communication software, image and multimedia processing research and applications, as well as communication technologies and other related technologies, it includes contributions from both academia and industry. This book is a valuable resource for scientists, research scholars and PG students working to formulate their research ideas and find the future directions in these areas. Further, it may serve as a reference work to understand the latest engineering and technologies used by practicing engineers in the field of communication engineering.

This 13-volume set LNCS 14862-14874 constitutes - in conjunction with the 6-volume set LNAI 14875-14880 and the two-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024. The total of 863 regular papers were carefully reviewed and selected from 2189 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications". Papers that focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.

In the era of Industry 4.0, the world is increasingly becoming smarter as everything from mobile phones to cars to TVs connects with unique addresses and communication mechanisms. However, in order to enable the smart world to be sustainable, ICT must embark into energy efficient paradigms. Green ICT is a moving factor contributing towards energy efficiency by reducing energy utilization through software or hardware procedures. Role of IoT in Green Energy Systems presents updated research trends in green technology and the latest product and application developments towards green energy. Covering topics that include energy conservation and harvesting, renewable energy, and green and underwater internet of things, this essential reference book creates further awareness of smart energy and critically examines the contributions of ICT towards green technologies. IT specialists, researchers, academicians, and students in the area of energy harvesting and energy management, and/or those working towards green energy technologies, wireless sensor networks, and smart applications will find this monograph beneficial in their studies.

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.