Search results for ""springer international publishing ag""

This book puts emphasis on the isolation, taxonomy, diagnosis (phenotypic, serology and molecular biology), epizootiology, pathogenicity mechanisms, and methods of disease control (by vaccination, immunostimulation, probiotics, prebiotics, plant products, and antimicrobial compounds. Co-infections, which are attributed to more than one microbial species have been discussed. Shortcomings in knowledge have been highlighted. This sixth edition is the successor to the original version, first published in 1987, and which fills the need for an up-to-date comprehensive text on the biological aspects of the bacterial taxa which cause disease in finfish. The book is primarily targeted at researcher workers, including postgraduate students, and diagnosticians. It is anticipated that the readership will include veterinary microbiologists, public health scientists and microbial ecologists.

Read more less

This contributed volume focuses on competition policy enforcement in BRICS and developing counties. It examines the role and application of economic analysis and evidence in law enforcement procedures, as well as their influence on competition authorities’ policy-making. The contributors also address topics such as recent developments in competition law and practice, institutional design, indicators of performance in enforcement, the incorporation of public interest concerns in Competition Authority objectives, procedural fairness, procurement procedures and compulsory licensing.

Read more less

Authored by three world experts, this is a clinically focused book on pediatric anesthesia. "The Manual", as it is known, has long dominated the market for a succinct and practical resource on administering anesthesia to children and is used by residents, general anesthesiologists, nurse anesthetists, and pediatric anesthesiologists. This new edition retains the basic structure of the book and is updated throughout. Text-heavy in the current edition, the Seventh Edition features the addition of figures to chapters where they are especially helpful (eg, the chapter on cardiovascular surgery and cardiac procedures) and makes greater use of headings to break up the text and guide reading. From reviews of the Sixth Edition:"​This is an extremely well written book that I would recommend highly to anyone involved in anaesthetizing children. It is comprehensive enough to provide an excellent reference for trainees and general anaesthetists who occasionally deal with paediatric cases, while at the same time giving valuable supplemental information for paediatric anaesthetists encountering an unusual procedure or condition. In short, this is a book that would make a welcome addition to any anaesthetist's mobile library." --Anaesthesia

Read more less

This book provides a comprehensive, state-of-the-art account of the role of immunohistochemistry in the diagnosis of skin tumors, which is crucial given that overlapping histologic features and unusual morphologic changes can lead to considerable diagnostic uncertainty. The book reviews in detail the sensitivity and specificity of commonly available antibodies and their pattern of immunostaining. readers will learn when to order antibodies and how to interpret findings. In addition, prognostic markers are evaluated and emphasis placed on the pitfalls commonly encountered when evaluating these neoplasms. The text is complemented by a wealth of superb images. Helpful histograms and algorithms are included, and clear guidance is provided on the application and interpretation of less commonly used antibodies and immunostains. Applied Immunohistochemistry in the Evaluation of Skin Neoplasms will serve as an extremely valuable resource for practicing dermatopathologists and pathologists.

Read more less

Building on the previous edition with contributions from internationally renowned experts this book provides a fully comprehensive resource for managing the post emergency/treatment stage of acute poisoning. Chapters incorporate evidence-based paradigms with up-to-date citations from the original medical literature. Topic areas covered include: diagnosis and management of the critically poisoned patient, including pediatric patients and poisoning in pregnancy; toxic syndromes including hepatotoxic and pulmonary syndromes as well as poisonings from medications, drugs of abuse, chemical and biological agents. This book is an essential resource for Clinical Toxicologists, Intensivists and Emergency Medicine specialists in training and in practice.

Read more less

This book offers an overview of how to manage private art collections, providing essential insights on art wealth management, art investment, art governance, and succession planning for art assets. It offers practical recommendations on sound art collection governance, but also examines the background of art markets and price building, including the influence of fashion and trends. Throughout history, art patronage has played an important role in the wealth of ultra-high-net-worth families and led to private museums funded by philanthropist collectors in order to celebrate their own tastes and leave a lasting legacy. Today, as a result of the growth of art investing by a new generation of wealthy collectors, not only artists but also wealthy families, sophisticated investors and their close advisors now face a more complex set of financial and managerial needs. As such, the contributions in this book will be of interest to collecting families, family offices, and professional advisors seeking to integrate art into their overall wealth management strategy, and to scholars in the fields of cultural economics, art dealers, curators, and art lovers.

Read more less

This book compares two buildings with different technologies and distinct environment from the combined viewpoints of civil engineering and architecture. The first is the most recent building of Columbia University in New York, the Northwest Science Building, a project designed by Rafael Moneo and Dan Brodkin of Ove Arup. The second one is the Burgo Tower in Oporto, by Eduardo Souto Moura and Rui Furtado of AFA, a building that brings a new perspective to the use of prefabrication technologies with local traditional construction systems. With the detailed analyses of recognized researchers in civil engineering and architecture, this book is a reflection upon the problems and solutions in the design and construction process of a prefabricated building system. This volume, like those to follow, brings together, building research and building design practice to enhance the knowledge of complementarity areas involved in construction, engineering and architecture. This is the first book in a new series "Building Research: Design, Construction and Technologies" which aims to bridge scientific research and professional practice to understand the Building Design problems. In each edition, one or two case studies (recognized buildings in the international design panorama) are analyzed with their authors to assess the design process and the construction development. To understand the problems involved, researchers, engineers and architects, are asked to contribute to this analysis with essays on building research issues, as building technology, construction management, acoustics, maintenance or prefabrication.

Read more less

The second edition of this textbook includes revisions based on the feedback on the first edition. In a new chapter the authors provide a concise introduction to the remainder of UML diagrams, adopting the same holistic approach as the first edition. Using a case-study-based approach for providing a comprehensive introduction to the principles of object-oriented design, it includes: A sound footing on object-oriented concepts such as classes, objects, interfaces, inheritance, polymorphism, dynamic linking, etc. A good introduction to the stage of requirements analysis Use of UML to document user requirements and design An extensive treatment of the design process Coverage of implementation issues Appropriate use of design and architectural patterns Introduction to the art and craft of refactoring Pointers to resources that further the reader's knowledge The focus of the book is on implementation aspects, without which the learning is incomplete. This is achieved through the use of case studies for introducing the various concepts of analysis and design, ensuring that the theory is never separate from the implementation aspects. All the main case studies used in this book have been implemented by the authors using Java. An appendix on Java provides a useful short tutorial on the language.

Read more less

The Springer Handbook of Odor is the definitive guide to all aspects related to the study of smell and their impact on human life. For the first time, this handbook aligns the senso-chemo-analytical characterization of everyday smells encountered by mankind, with the elucidation of perceptual, hedonic, behavioral and physiological responses of humans to such odors. From birth onwards we learn to interact with our environment using our sense of smell. Moreover, evolutionary processes have engendered a multi-faceted communication that is supported – even dominated – by olfaction. This compilation examines the responses of humans to odors at different stages of life, thereby building a foundation for a widely overseen area of research with broader ramifications for human life. The expert international authors and editor align aspects, concepts, methodologies and perspectives from a broad range of different disciplines related to the science of smell. These include chemistry, physiology, psychology, material sciences, technology but also disciplines related to linguistics, culture, art and design.This handbook, edited by an internationally renowned aroma scientist with the support of an outstanding team of over 60 authors, is an authoritative reference for researchers in the field of odors both in academia and in industry and is also a useful reference for newcomers to the area.

Read more less

The third edition of this concise, popular textbook on elementary differential equations gives instructors an alternative to the many voluminous texts on the market. It presents a thorough treatment of the standard topics in an accessible, easy-to-read, format. The overarching perspective of the text conveys that differential equations are about applications. This book illuminates the mathematical theory in the text with a wide variety of applications that will appeal to students in physics, engineering, the biosciences, economics and mathematics. Instructors are likely to find that the first four or five chapters are suitable for a first course in the subject.This edition contains a healthy increase over earlier editions in the number of worked examples and exercises, particularly those routine in nature. Two appendices include a review with practice problems, and a MATLAB® supplement that gives basic codes and commands for solving differential equations. MATLAB® is not required; students are encouraged to utilize available software to plot many of their solutions. Solutions to even-numbered problems are available on springer.com.

Read more less

This monograph presents the concept of agents and agent systems. It starts with a formal approach and then presents examples of practical applications. In order to form the principles of construction of autonomous agents, a model of the agent is introduced. Subsequent parts of the monograph include several examples of applications of the term agent. Descriptions of different examples of applications of agent systems in such fields as evolution systems, mobile robot systems, artificial intelligence systems are given. The book constitutes an outline of methodology of the design and realization of agent systems based on the M-agent architecture oriented on different areas of applications.

Read more less

Nowadays 3D Geoinformation is needed for many planning and analysis tasks. For example, 3D city and infrastructure models are paving the way for complex environmental and noise analyzes. 3D geological sub-surface models are needed for reservoir exploration in the oil-, gas-, and geothermal industry. Thus 3D Geoinformation brings together researchers and practitioners from different fields such as the geo-sciences, civil engineering, 3D city modeling, 3D geological and geophysical modeling, and, last but not least, computer science. The diverse challenges of 3D Geoinformation Science concern new approaches and the development of standards for above- and under-ground 3D modeling, efficient 3D data management, visualization and analysis. Finally, the integration of different 3D approaches and data models is seen as one of the most important challenges to be solved.

Read more less

The monograph offers a comprehensive discussion of the role of evaporites in hydrocarbon generation and trapping, and new information on low temperature and high temperature ores. It also provides a wealth of information on exploitable salts, in a comprehensive volume has been assembled and organized to provide quick access to relevant information on all matters related to evaporites and associated brines. In addition, there are summaries of evaporite karst hazards, exploitative methods and problems that can arise in dealing with evaporites in conventional and solution mining. This second edition has been revised and extended, with three new chapters focusing on ore minerals in different temperature settings and a chapter on meta-evaporites. Written by a field specialist in research and exploration, the book presents a comprehensive overview of the realms of low- and high-temperature evaporite evolution. It is aimed at earth science professionals, sedimentologists, oil and gas explorers, mining geologists as well as environmental geologists.

Read more less

This book collects the proceedings of the 2012 Abel Symposium, held at the Norwegian Academy of Science and Letters, Oslo. The Symposium, and this book, are focused on two important fields of modern mathematical analysis: operator-related function theory and time-frequency analysis; and the profound interplay between them.Among the original contributions and overview lectures gathered here are a paper presenting multifractal analysis as a bridge between geometric measure theory and signal processing; local and global geometry of Prony systems and Fourier reconstruction of piecewise-smooth functions; Bernstein's problem on weighted polynomial approximation; singular distributions and symmetry of the spectrum; and many others.Offering a selection of the latest and most exciting results obtained by world-leading researchers, the book will benefit scientists working in Harmonic and Complex Analysis, Mathematical Physics and Signal Processing.

Read more less

The dramatic worldwide increase in agricultural and industrial productivity has created severe environmental problems. Soil and groundwater reservoirs have been polluted with pesticides, xenobiotics and agro-chemicals. The global consensus to reduce inputs of chemical pesticides and agrochemical fertilizers, which are perceived at being hazardous by some consumers, has provided opportunities for the development of novel, benign sustainable crop management strategies.The future of agricultural depends upon our ability to enhance the productivity without damage to their long-term production potential. One of the strategies is the application of effective microbial products beneficial for both farmers and ecosystems. This kind of approach can ensure both ecological and economic sustainability. Soil microbial populations are immersed in framework of interactions, which are known to affect plant fitness and soil quality.For betterment of life of human being, improved quality and variety of products are formed due to versatile action of different group of microorganisms, Microbes are able to degrade solid waste material into compost which is a mixture of decayed organic matter, manure etc. Incomplete microbial degradation of organic waste where the microbial process varies aerobic to anaerobic form is stated as compost, if added to soil improves plant growth and development. The biological activities and microbial metabolism in the soil contribute to alter its mixture and fertility. Incorporation of organic remain in the form of compost is known to influence favourably the physio-chemical and biological properties of soil. The beneficial activities bestowed upon plants by compost utilization are multifaceted, hence most promising alternatives for achieving sustainable agricultural production.An increased awareness on compost has led to their use in agricultural concern. Contents in the present book will comprised various chapters on the role of beneficial bacteria in the composting process. The application is depicted to achieve the attainable productivity besides, in disease management and suppressiveness of organisms of phytopathogenic in nature. Significance of the compost elicits certain responses e.g. soil reclamation, soil fertility, soil health and disease management exhibit due to quality compost amendment in soil. It serves as low cost prospective option for sustainable crop production and protection.

Read more less

In this third, fully revised edition, the 10 volume Encyclopedia of Language and Education offers the newest developments, including an entirely new volume of research and scholarly content, essential to the field of language teaching and learning in the age of globalization. In the selection of topics and contributors, the Encyclopedia reflects the depth of disciplinary knowledge, breadth of interdisciplinary perspective, and diversity of socio-geographic experience in the language and education field. Throughout, there is an inclusion of contributions from non-English speaking and non-western parts of the world, providing truly global coverage. Furthermore, the authors have sought to integrate these voices fully into the whole, rather than as special cases or international perspectives in separate sections. The Encyclopedia is a necessary reference set for every university and college library in the world that serves a faculty or school of education, as well as being highly relevant to the fields of applied and socio-linguistics. The publication of this work charts the further deepening and broadening of the field of language and education since the publication of the first edition of the Encyclopedia in 1997 and the second edition in 2008.

Read more less

This book provides an introduction to the principles of both cardiovascular epidemiology and molecular pathophysiology; as a unique aspect, it also outlines and discusses the molecular concepts underlying epidemiological observations. This third volume is focused on the most common “cardiovascular events” to provide an overview on pathogenesis and clinical aspects. The book promotes the use of interdisciplinary approaches in the field of preventive medicine based on recent advances in molecular and cellular pathophysiology. The book offers a valuable resource for researchers in basic biomedical fields and clinical scientists alike, as well as guidelines for novel avenues of research in both basic pathophysiology and cardiovascular therapy and prevention.

Read more less

An energetic charged particle beam introduced to an rf cavity excites a wakefield therein. This wakefield can be decomposed into a series of higher order modes and multipoles, which for sufficiently small beam offsets are dominated by the dipole component. This work focuses on using these dipole modes to detect the beam position in third harmonic superconducting S-band cavities for light source applications. A rigorous examination of several means of analysing the beam position based on signals radiated to higher order modes ports is presented. Experimental results indicate a position resolution, based on this technique, of 20 microns over a complete module of 4 cavities. Methods are also indicated for improving the resolution and for applying this method to other cavity configurations. This work is distinguished by its clarity and potential for application to several other international facilities. The material is presented in a didactic style and is recommended both for students new to the field, and for scientists well-versed in the field of rf diagnostics.

Read more less

Therefore, with this book, I want to arouse your curiosity and give the reader, the courage to face the future better by introducing tools for deep diving into our outer and inner world with many hidden resources. The book brings the reader into humans' challenges with the ocean and its future.

Read more less

This book constitutes revised selected papers from the 21st Workshop on e-Business, WeB 2022, which took place virtually on December 10, 2022. The purpose of WeB is to provide a forum for researchers and practitioners to discuss findings, novel ideas, and lessons learned to address major challenges and map out the future directions for e-Business. The WeB 2022 theme was Digital Transformation in the Viral Age. The 8 full papers included in this volume were carefully reviewed and selected from a total of 31 submissions. They focus on issues, opportunities, and solutions related to e-business, digital transformation, and IT-enabled recovery in the viral age.

Read more less

This book describes the journey concept relating to cultural and social history of Western and non-Western worlds.

Read more less

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the27th International Conference onFoundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows:Part I: Infinite games; categorical semantics; automata and synthesis;Part II: Types and programming languages; logic and proofs; infinite-state systems.

Read more less

This book sheds new light on the interactions between the science of complexity and the science of systems. Though both of these fields have been independently studied extensively, their interrelations have not been satisfactorily analyzed. By a superficial view, both the sciences are based on the same principles of the holistic behavior of the ensembles consisting of components. The author providing an expert analysis on the theory of complexity and bridges the gap to generalize it, by elaborating on all the observable manifestations of complex forms and behaviors and explaining how it is related to general theory of systems. Particular attention is given to the use of chemical concepts throughout the text to demonstrate the theories as well as the interactions between the two. The central point of this book is the new rational representation of systems that origins from some chemical concepts about the structure of molecules and graph theoretical chemical theory. Thisnovel text ap

Read more less

This book is designed to be the introductory work in the Water-Energy-Environment-Governance from Interdisciplinary Perspectives Series and provides an in-depth look at sustainable development and management in the water sector across.

Read more less

This book will be of interest to scholars and post-graduate students working across Language Policy and Planning, Language in Education Policy, and Family Language Policy, as well as those in adjacent fields including Education Policy, Classroom Discourse, Linguistic Anthropology, Sociologyof Education, and Multilingualism.

Read more less

This book constitutes the refereed proceedings of the 15th International Conference on ICT Innovations 2023.

Read more less

This book journeys through the labyrinth of usable privacy, a place where the interplay of privacy and Human-Computer Interaction (HCI) reveals a myriad of challenges, solutions, and new possibilities.

Read more less

This book covers various topics and trends regarding Artificial Intelligence (AI), Internet of Things (IoT), and their applications in society, industry, and environment for achieving Sustainable Development Goals (SDGs) suggested by the United Nations. Additionally, it discusses their advancements and fusion as well as the realization of Artificial Intelligence of Things (AIoT). The book aims to provide an overview and recent research into the fusion, integration, advancements, and impact of these technologies in the context of SDGs achievement. The topics include the applications of AI, IoT, big data, AI-based and IoT-based cloud computing, machine learning and deep learning techniques, and blockchain among others for achieving SDGs. It also presents findings and discussions on potential application domains, addresses open issues and challenges, offers solutions, and provides suggestions for future research for achieving SDGs. The chapters are clustered, according to particular SDGso

Read more less

This book constitutes the refereed revised selected papers of the 10th Latin American Conference on High Performance Computing, CARLA 2023, held in Cartagena, Colombia, during September 18–22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: High Performance Computing (HPC), Artificial Intelligence using HPC Scale and High Performance Computing Applications.

Read more less

The main topic of this book is the calculation of underground structures at the limit states of serviceability.

Read more less

This book constitutes the refereed proceedings of the 6th International Conference on Information and Knowledge Systems, ICIKS 2023, held in Portsmouth, UK, during June 22–23, 2023.The 18 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: Decision Making, Recommender Systems, and Information Support Systems; Information Systems and Machine Learning; Knowledge Management, Context and Ontology; Cybersecurity and Intelligent Systems; and Natural Language Processing for Decision Systems.

Read more less

This book examines several epistemological regimes in studies of numerical data over the last four centuries. It distinguishes these regimes and mobilises questions present in the philosophy of science, sociology and historical works throughout the 20th century.

Read more less

The book intends to be a collection of research papers on algebra and related topics, most of which were presented at the international Workshop on Associative Rings and Algebras with additional structures (WARA22).

Read more less

This open access book offers an essential overview of brain, head and neck, and spine imaging. Over the last few years, there have been considerable advances in this area, driven by both clinical and technological developments. Written by leading international experts and teachers, the chapters are disease-oriented and cover all relevant imaging modalities, with a focus on magnetic resonance imaging and computed tomography.IDKD books are rewritten (not merely updated) every four years, which means they offer a comprehensive review of the state-of-the-art in imaging. The book is clearly structured and features learning objectives, abstracts, subheadings, tables and take-home points, supported by design elements to help readers navigate the text. It will particularly appeal to general radiologists, radiology residents, and interventional radiologists who want to update their diagnostic expertise, as well as clinicians from other specialties who are interested in imaging for their patient care.

Read more less

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;

Read more less

This book discusses the challenges that modern and flexible workplace concepts pose for managers. Drawing on a hybrid methodological approach that combines a literature review with practical lessons learned as a workplace change consultant, it offers managers concrete advice on how to lead in multi-space environments.

Read more less

This book constitutes the proceedings of the 26th International Conference on Information Security, ISC 2023, which took place in Groningen, The Netherlands, in November 2023.The 29 full papers presented in this volume were carefully reviewed and selected from 90 submissions. The contributions were organized in topical sections as follows: privacy; intrusion detection and systems; machine learning; web security; mobile security and trusted execution; post-quantum cryptography; multiparty computation; symmetric cryptography; key management; functional and updatable encryption; and signatures, hashes, and cryptanalysis.

Read more less

Climate change has put the survival andviability of wine-growing regions at risk. Whereas the implementation of sustainableapproaches was once seen as a source of competitive advantage, it is now criticalto the survival of the industry. Winetourism should therefore aim to minimize possible cultural and environmentaldamage while improving the economic and social well-being of the wine-growingregion. Contributing to the targets of SDG 8, specifically target 8.9: ‘By 2030,devise and implement policies to promote sustainable tourism that creates jobsand promotes local culture and products,’ this book argues that wine tourism canbe considered as a catalyst for the environmental sustainability of wineries. Chaptershighlight the economic, socioeconomic, environmental, socio-cultural impact ofwine tourism around the world, before concluding with a look to the future trendsand challenges. It features best practices from around the world that wineriesand wine tourism companies can incorporate into their core business functionsto make their operations more sustainable and also showcases how wineries have designedtheir tourism offerings to meet sustainable tourism development objectives

Read more less

This timely and practical book presents the state-of-the-art of unicompartmental knee arthroplasty exploring half a century of reflection, reluctance and research around this increasingly common technique.In the opening part readers will discover UKA's history, controversies as well as standard and emerging indications.

Read more less

Several paradigms associated with the management of knee arthritis are being challenged and debated, and currently, there is no arthroplasty text available that bridges knee alignment options with various implant choices and technological advances available to the knee arthroplasty surgeon.

Read more less

This new edition aims to examine the impacts of maltreatment of both children and social minorities, such as homosexuals and gender dysphoric individuals or those affected by disabilities, in women, in patients, and describes skills that are of value in supporting victims of maltreatment and preventing discrimination.

Read more less

This textbook provides an exhaustive exploration of Opportunistic Networks (OppNets).

Read more less

This volume comprises the proceedings of the International Workshop, ShapeMI 2023, which took place alongside MICCAI 2023 on October 8, 2023, in Vancouver, British Columbia, Canada.The 23 selected full papers deal with all aspects of leading methods and applications for advanced shape analysis and geometric learning in medical imaging.

Read more less

This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, held in Wuhan, China, during October 2023. The 20 full papers presented together with 3 short papers were carefully reviewed and selected from 71 submissions. The conference focuses on Fundamentals & Cryptographic Primitives; Cryptanalysis; Signature; Encryption; Privacy Preservation; and Blockchain Security.

Read more less

The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023. The 90 full papers included in the proceedings were carefully reviewed and selected from 242 submissions. They have been organized in topical sections as follows:Part I: Best papers; resource allocation and planning; rules and feature extraction; AI and education; agent systems; explainability; AI models; Part II: Transformer applications; convolutional neural networks; deep learning applications; reinforcement learning and GAN; classification; machine learning analysis;Part III: Evolutionary algorithms; optimization strategies; computer vision; language and models; graph neural networks; pattern recognition; AI applications.

Read more less

The three-volume set LNAI 14195, 14196, and 14197 constitutes the refereed proceedings of the 12th Brazilian Conference on Intelligent Systems, BRACIS 2023, which took place in Belo Horizonte, Brazil, in September 2023. The 90 full papers included in the proceedings were carefully reviewed and selected from 242 submissions. They have been organized in topical sections as follows:Part I: Best papers; resource allocation and planning; rules and feature extraction; AI and education; agent systems; explainability; AI models; Part II: Transformer applications; convolutional neural networks; deep learning applications; reinforcement learning and GAN; classification; machine learning analysis;Part III: Evolutionary algorithms; optimization strategies; computer vision; language and models; graph neural networks; pattern recognition; AI applications.

Read more less

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

Read more less

This book aims to provide a comprehensive study on various aspects of environmental pollution dynamics using geospatial technology and modeling techniques. The utility of geospatial technology will be demonstrated for the effective study of environmental pollution, as space and location are very important for effective environmental health surveillance. The timeliness of the work is due to the increasing relevance of geospatial technology applications in environmental health investigations. Moreover, different types of pollution are covered in detail, including air and soil, all of which are analyzed using latest Remote Sensing and GIS technology. The basics of environmental pollution and its impacts are covered in the book's first part, while the second part focuses on the use of geospatial technology in investigating and modeling various instances of environmental pollution. The third part discusses policy measures for mitigating environmental pollution hazards, using geospatial analyses and data to craft informed policy decisions. The primary audience for the book is researchers working in the field of environmental pollution with incorporation of geospatial technology, including upper-level undergraduate and graduate students taking courses in remote sensing and its environmental applications. The secondary audience is academicians, planners, environmentalists and policymakers working in the field of environment protection and management.

Read more less