The Logic of Software. A Tasting Menu of Formal Methods

Posted By: AvaxGenius
The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday by Wolfgang Ahrendt
English | PDF,EPUB | 2022 | 531 Pages | ISBN : 303108165X | 80.6 MB

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.

Fertigation: A Pathway to Sustainable Food Production: Basics and Applications

Posted By: AvaxGenius
Fertigation: A Pathway to Sustainable Food Production: Basics and Applications

Fertigation: A Pathway to Sustainable Food Production: Basics and Applications by Ahmed Mohamed Taha
English | PDF | 2022 | 136 Pages | ISBN : 3031055950 | 3.8 MB

This book introduces basic and practical information on fertigation to researchers, extension agents and growers. To provide understanding of the basic issues regarding the appropriate selection of fertilizer injectors, fertilizer compounds used in fertigation for growing various field and horticultural crops. The book provides useful basic principles and practical information concerning fertilizer management and fertigation techniques of field, horticulture, and medicinal and aromatic crops. The book focuses on the agronomic value of fertigation practice and provides the reader with best practical advice required for successful fertigation based on the field experience.

Nano Emulsions in Enhanced Oil Recovery

Posted By: AvaxGenius
Nano Emulsions in Enhanced Oil Recovery

Nano Emulsions in Enhanced Oil Recovery by Neha Saxena
English | PDF | 2022 | 54 Pages | ISBN : 303106688X | 1.7 MB

This book focuses on the use of nanoemulsion in enhanced oil recovery, along with a brief information about the emulsion and its types and different physico-chemical properties used to analyse the efficiency of the emulsions and nanoemulsions. The author discussed about the nanoemulsion, classification of emulsions and nanoemulsion and use of nanoemulsions in petroleum industry. A special attention has been laid on nanoemulsion and its advantages over commercial product, physico-chemical properties like emulsification, interfacial tension and wettability alteration study as a screening criteria for application in EOR. Given this content, this book offers an assessment for the undergraduate and postgraduate students of petroleum and chemical engineering along with the researchers working in the field of EOR. It is a subject of interest for oil and gas industry professionals.

Innovating Strategies and Solutions for Urban Performance and Regeneration

Posted By: AvaxGenius
Innovating Strategies and Solutions for Urban Performance and Regeneration

Innovating Strategies and Solutions for Urban Performance and Regeneration by Cristina Piselli
English | EPUB | 2022 | 352 Pages | ISBN : 303098186X | 302 MB

This book focuses on enhancing urban regeneration performance and strategies that pave the way toward sustainable urban development models and solutions. The book at hand thoroughly examines the latest studies on the regeneration of urban areas and attempts at alleviating the negative impacts associated with high population density and urban heat effects. It gathers contributions that combine theoretical reflections and international case studies on urban regeneration and transformation with the single goal of tackling existing social and economic imbalances and developing new solutions. The primary audience of this book will be from the field of architecture and urban planning, offering new insights on how to address the myriad of problems that our cities are facing.

Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases

Posted By: AvaxGenius
Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases

Artificial Intelligence and Machine Learning Methods in COVID-19 and Related Health Diseases by Victor Chang
English | EPUB | 2022 | 254 Pages | ISBN : 3031045963 | 37.5 MB

This Springer book provides a perfect platform to submit chapters that discuss the prospective developments and innovative ideas in artificial intelligence and machine learning techniques in the diagnosis of COVID-19.

3D Imaging—Multidimensional Signal Processing and Deep Learning

Posted By: AvaxGenius
3D Imaging—Multidimensional Signal Processing and Deep Learning

3D Imaging—Multidimensional Signal Processing and Deep Learning: 3D Images, Graphics and Information Technologies, Volume 1 by Lakhmi C. Jain
English | PDF | 2022 | 262 Pages | ISBN : 9811924473 | 8.3 MB

This book gathers selected papers presented at the conference “Advances in 3D Image and Graphics Representation, Analysis, Computing and Information Technology,” one of the first initiatives devoted to the problems of 3D imaging in all contemporary scientific and application areas. The two volumes of the book cover wide area of the aspects of the contemporary multidimensional imaging and outline the related future trends from data acquisition to real-world applications based on new techniques and theoretical approaches.

Proceedings of the 7th International Conference and Exhibition on Sustainable Energy and Advanced Materials

Posted By: AvaxGenius
Proceedings of the 7th International Conference and Exhibition on Sustainable Energy and Advanced Materials

Proceedings of the 7th International Conference and Exhibition on Sustainable Energy and Advanced Materials (ICE-SEAM 2021), Melaka, Malaysia by Mohd Fadzli Bin Abdollah
English | PDF | 2022 | 481 Pages | ISBN : 981193178X | 49.7 MB

This book gathers the proceedings of the 7th International Conference and Exhibition on Sustainable Energy and Advanced Materials (ICE-SEAM), held on November 2021, a virtual conference organized in Melaka, Malaysia. It focuses on two relatively broad areas—advanced materials and sustainable energy—and a diverse range of subtopics:

Congress on Intelligent Systems Proceedings of CIS 2021, Volume 2

Posted By: AvaxGenius
Congress on Intelligent Systems Proceedings of CIS 2021, Volume 2

Congress on Intelligent Systems Proceedings of CIS 2021, Volume 2 by Mukesh Saraswat
English | PDF | 2022 | 914 Pages | ISBN : 9811691126 | 22.8 MB

This book is a collection of selected papers presented at the Second Congress on Intelligent Systems (CIS 2021), organized by Soft Computing Research Society and CHRIST (Deemed to be University), Bengaluru, India during September 4 – 5, 2021. It includes novel and innovative work from experts, practitioners, scientists and decision-makers from academia and industry.
Science Internet of things information security embedded systems real-time systems cloud computing big data analysis quantum computing automation systems bio-inspired intelligence cognitive systems cyber physical systems data analytics data web mining data science intelligence for security intelligent decision making systems intelligent information processing intelligent transportation artificial intelligence machine vision imaging sensors technology image segmentation convolutional neural network video classification image classification soft computing pattern recognition human–computer interaction robotic devices systems autonomous vehicles intelligent control systems human motor control game playing evolutionary algorithms algorithms swarm optimization neural network deep learning supervised learning unsupervised learning fuzzy logic rough sets computational optimization neuro-fuzzy systems

Congress on Intelligent Systems: Proceedings of CIS 2021, Volume 1

Posted By: AvaxGenius
Congress on Intelligent Systems: Proceedings of CIS 2021, Volume 1

Congress on Intelligent Systems: Proceedings of CIS 2021, Volume 1 by Mukesh Saraswat
English | PDF | 2022 | 933 Pages | ISBN : 981169415X | 22.1 MB

This book is a collection of selected papers presented at the Second Congress on Intelligent Systems (CIS 2021), organized by Soft Computing Research Society and CHRIST (Deemed to be University), Bengaluru, India, during September 4 – 5, 2021. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry.
Science Internet of things information security embedded systems real-time systems cloud computing big data analysis quantum computing automation systems bio-inspired intelligence cognitive systems cyber physical systems data analytics data/web mining data science intelligence for security intelligent decision making systems intelligent information processing intelligent transportation artificial intelligence machine vision imaging sensors technology image segmentation convolutional neural network video classification image classification soft computing pattern recognition human–computer interaction robotic devices systems autonomous vehicles intelligent control systems human motor control game playing evolutionary algorithms swarm optimization neural network deep learning supervised learning unsupervised learning fuzzy logic rough sets computational optimization neuro-fuzzy systems

Information Technologies and Mathematical Modelling. Queueing Theory and Applications

Posted By: AvaxGenius
Information Technologies and Mathematical Modelling. Queueing Theory and Applications

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 20th International Conference, ITMM 2021, Named after A.F. Terpugov, Tomsk, Russia, December 1–5, 2021, Revised Selected Papers by Alexander Dudin
English | PDF | 2022 | 383 Pages | ISBN : 3031093305 | 15 MB

This book constitutes revised selected papers of the 20th International Conference on Information Technologies and Mathematical Modelling, ITMM 2021, named after A.F. Terpugov, held in Tomsk, Russia, in December 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode.

Digital Business and Intelligent Systems

Posted By: AvaxGenius
Digital Business and Intelligent Systems

Digital Business and Intelligent Systems: 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4–6, 2022, Proceedings by Mirjana Ivanovic
English | PDF | 2022 | 273 Pages | ISBN : 3031098498 | 21.1 MB

This book constitutes the refereed proceedings of the 15th International Baltic Conference on Digital Business and Intelligent Systems, Baltic DB&IS 2022, held in Riga, Latvia, in July 2022.

Advanced Informatics for Computing Research

Posted By: AvaxGenius
Advanced Informatics for Computing Research

Advanced Informatics for Computing Research: 5th International Conference, ICAICR 2021, Gurugram, India, December 18–19, 2021, Revised Selected Papers by Ashish Kumar Luhach
English | PDF | 2022 | 289 Pages | ISBN : 3031094689 | 29.5 MB

This volume constitutes selected and revised papers of the 5th International Conference on Advanced Informatics for Computing Research, ICAICR 2021, held in Gurugram, India, in December 2021.

Handbook of Pediatric Surgery

Posted By: AvaxGenius
Handbook of Pediatric Surgery

Handbook of Pediatric Surgery, Second Edition by Chandrasen K. Sinha
English | PDF,EPUB | 2022 | 570 Pages | ISBN : 3030844668 | 43.2 MB

The new, fully updated edition of this book gives a concise overview of all important topics and is designed to provide information to recognise and treat common pediatric surgical conditions: namely, symptoms and signs, investigation, and management. A logical, evidence-based practice is encouraged by the use of flow charts, tables, and algorithms. This edition has been thoroughly revised to reflect the rapid progress in the world of pediatric surgery including the subspecialties of general pediatric surgery, urology, hepatobiliary surgery, organ transplantation, minimally invasive surgery (including robotic surgery), and bariatric surgery. This book also provides an anatomical and physiological background to aid understanding.

Intelligent Systems and Pattern Recognition

Posted By: AvaxGenius
Intelligent Systems and Pattern Recognition

Intelligent Systems and Pattern Recognition: Second International Conference, ISPR 2022, Hammamet, Tunisia, March 24–26, 2022, Revised Selected Papers by Akram Bennour
English | PDF | 2022 | 417 Pages | ISBN : 3031082761 | 55.8 MB

This volume constitutes selected papers presented during the Second International Conference on Intelligent Systems and Pattern Recognition, ISPR 2022, held in Hammamet, Tunisia, in March 2022. Due to the COVID-19 pandemic the conference was held online.

Advances in Bias and Fairness in Information Retrieval

Posted By: AvaxGenius
Advances in Bias and Fairness in Information Retrieval

Advances in Bias and Fairness in Information Retrieval: Third International Workshop, BIAS 2022, Stavanger, Norway, April 10, 2022, Revised Selected Papers by Ludovico Boratto
English | PDF | 2022 | 166 Pages | ISBN : 3031093151 | 10.2 MB

This book constitutes refereed proceedings of the Third International Workshop on Algorithmic Bias in Search and Recommendation, BIAS 2022, held in April, 2022.