This two-volume set LNAI 14839-14840 constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2024, held in Halifax, NS, Canada, during May 17–20, 2024.The 43 full papers included in this book were carefully reviewed and selected from 56 submissions. They are organized in topical sections as follows:Part I: Rough Set Models and Foundations; Rule Induction and Machine Learning; Granular Computing; and Rough Set Applications.Part...

This two-volume set LNAI 14839-14840 constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2024, held in Halifax, NS, Canada, during May 17–20, 2024.The 43 full papers included in this book were carefully reviewed and selected from 56 submissions. They are organized in topical sections as follows:Part I: Rough Set Models and Foundations; Rule Induction and Machine Learning; Granular Computing; and Rough Set Applications.part...

Comprehensive review of current research on the causes of major fungal, bacterial and viral diseases of tree fruitSummarises current understanding of the ecology of key insect pests of tree fruitAssesses ways of improving integrated disease and pest management, with a particular focus on biological control

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical application...

The two-volume set LNCS 9242 + 9243 constitutes the proceedings of the 5th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2015, held in Suzhou, China, in June 2015.The total of 126 papers presented in the proceedings was carefully reviewed and selected from 416 submissions. They deal with big data, neural networks, image processing, computer vision, pattern recognition and graphics, object detection, dimensionality reduction and manifold learning,...

Integrated Pest Management: Current Concepts and Ecological Perspective presents an overview of alternative measures to traditional pest management practices using biological control and biotechnology. The removal of some highly effective broad-spectrum chemicals, caused by concerns over environmental health and public safety, has resulted in the development of alternative, reduced risk crop protection products. These products, less toxic to the environment and easily integrated into biolo...

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:Part I: Invited pa...

Insects have evolved very unique and interesting tactics using chemical signals to survive. Chemical ecology illustrates the working of the biological network by means of chemical analyses. Recent advances in analytical technology have opened the way to a better understanding of the more complicated and abyssal interactions of insects with other organisms including plants and microbes. This book covers recent research on insects and chemical communications and presents the current status a...

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. Th...

This book constitutes the proceedings of the 12th International Conference on Advanced Data Mining and Applications, ADMA 2016, held in Gold Coast, Australia, in December 2016.The 70 papers presented in this volume were carefully reviewed and selected from 105 submissions. The selected papers covered a wide variety of important topics in the area of data mining, including parallel and distributed data mining algorithms, mining on data streams, graph mining, spatial data mining, mul...

Although they are relative latecomers on the evolutionary scene, having emerged only 135?170 million years ago, angiosperms—or flowering plants—are the most diverse and species-rich group of seed-producing land plants, comprising more than 15,000 genera and over 350,000 species. Not only are they a model group for studying the patterns and processes of evolutionary diversification, they also play major roles in our economy, diet, and courtship rituals, producing our fruits, legumes, and gr...

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyb...