You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book highlights recent research on intelligent systems and nature-inspired computing. It presents 223 selected papers from the 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022), which was held online. The ISDA is a premier conference in the field of computational intelligence, and the latest installment brought together researchers, engineers, and practitioners whose work involves intelligent systems and their applications in industry. Including contributions by authors from 65 countries, the book offers a valuable reference guide for all researchers, students, and practitioners in the fields of computer science and engineering.
Leading primatologists, cognitive scientists, anthropologists, and linguists consider how language evolution can be understood by means of inference from the study of linked or analogous phenomena in language, animal behaviour, genetics, neurology, culture, and biology.
The irrigation suitability classification was achieved by using physical factors that include slope, rainfall, landuse, closeness to waterbodies (surface and groundwater) and soil characteristics for selected districts in Zimbabwe, Zambia, Malawi, and Kenya, some of the UU target countries. As cereals form the main food basket of the selected countries, and cereals are not tolerant to saline conditions, the report also provides maps showing high soil salinity areas of Makueni and Nakuru of Kenya, where soils are highly saline. However, soil salinity is insignificant in the other study districts and therefore not mapped. This report provides (a) a conceptual framework and detailed methodology for irrigation suitability mapping, including details of identified boundary maps and geospatial data, and (b) a synthesis model and maps on irrigation suitability mapping for the selected districts in the four target countries.
This two-volume set, LNCS 12923 and 12924, constitutes the thoroughly refereed proceedings of the 5th International Conference on Database and Expert Systems Applications, DEXA 2021. Due to COVID-19 pandemic, the conference was held virtually. The 37 full papers presented together with 31 short papers in these volumes were carefully reviewed and selected from a total of 149 submissions. The papers are organized around the following topics: big data; data analysis and data modeling; data mining; databases and data management; information retrieval; prediction and decision support.
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
This book presents the latest research on Ambient Intelligence (AmI) including software and applications in different areas such as Internet of Things, Multi-Agent Systems or e-Learning, among others. AmI is a paradigm emerging from Artificial Intelligence, in which computers are used as proactive tools for assisting people with their day-to-day activities, making everyone’s lives more comfortable. Another main concern of AmI originates from the human–computer interaction domain and focuses on offering ways to interact with systems in a more natural way by means of user-friendly interfaces. The published book correspond to technical and novel works carried out by scientists conducting re...
As humans, our many levels of language use distinguish us from the rest of the animal world. For many scholars, it is the recursive aspect of human speech that makes it truly human. But linguists continue to argue about what recursion actually is, leading to the central dilemma: is full recursion, as defined by mathematicians, really necessary for human language? Language and Recursion defines the elusive construct with the goal of furthering research into language and cognition. An up-to-date literature review surveys extensive findings based on non-verbal communication devices and neuroimaging techniques. Comparing human and non-human primate communication, the book’s contributors examin...