The Annual International Conference on Shi‘i Studies is organised by the Research and Publications Department of The Islamic College, London. The conference aims to provide a broad platform for scholars working in the field of Shi‘i Studies to present their latest research and to explore diverse opinions on Shi‘i thought, practice, and heritage. This book comprises a selection of papers from the first conference held on 9–10 May 2015. Themed ‘Shi‘i Studies: Past and Present’, the conference focused on the study of Shi‘ism from the seminary to academia.

The Annual International Conference on Shi‘i Studies is organised by the Research and Publications Department of The Islamic College, London. The conference aims to provide a broad platform for scholars working in the field of Shi‘i Studies to present their latest research and explore diverse opinions on Shi‘i thought, practice, and heritage. This book comprises a selection of papers from the eighth conference held on 13 May 2023.

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS 13, HAT-MASH, AI-Biz, JURISIN and SKL, held in Kanagawa, Japan, in November 1016. The 22 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. LENLS 13 was the 13th event in the series, and it focused on the formal and theoretical aspects of natural language. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop recognized internationally in the formal syntax-semantics-pragmatics community. It has been bringing together for discussion and interdisciplinary communication researchers working on formal theories of natural language syntax, semantics and pragmatics, (formal) philosophy, artificial intelligence and computational linguistics. HAT-MASH 2016 (Healthy Aging Tech mashup service, data and people) was the second international workshop bridges healthy aging and elderly care technology, information technology and service engineering. The main objective of this workshop was to provide a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. AI-Biz 2016 (Artificial Intelligence of and for Business) was the first workshop held to foster the concepts and techniques of Business Intelligence (BI) in Artificial Intelligence. BI should include such cutting-edge techniques as data science, agent-based modelling, complex adaptive systems, and IoT. The main purpose of this workshop is to provide a forum to discuss important research questions and practical challenges in Business Intelligence, Business Informatics, Data Analysis and Agent-based Modelling to exchange latest results, to join efforts in solving the common challenges. JURISIN 2016 was the tenth international workshop on Juris-informatics. Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop was to discuss both the fundamental and practical issues among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional “AI and law” area. SKL 2016 (The Third International Workshop on Skill Science) was aimed to internationalize the research on skill sciences through organizing the meeting. Human skills involve well-attuned perception and fine motor control, often accompanied by thoughtful planning. The involvement of body, environment, and tools mediating them makes the study of skills unique among researches of human intelligence.

This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.

With the ever-increasing usage of distance learning programs in academia, the need for well-designed automated systems has become vital to the success of open and distance education. Practical solutions should be discovered and disseminated to meet the software needs of instructors, academic researchers, and software engineers. System and Technology Advancements in Distance Learning meets this need, outlining computational methods, algorithms, implemented prototype systems, and applications of open and distance learning. It is targeted toward academic researchers and engineers who work with distance learning programs and software systems, as well as general participants of distance education.

This comprehensive technical guide explains game theory basics, architectures, protocols, security, models, open research issues, and cutting-edge advances and applications. Describing how to employ game theory in infrastructure-based wireless networks and multihop networks to reduce power consumption, it facilitates quick and easy reference to related optimization and algorithm methodologies. The book explains how to apply the game theoretic model to address resource allocation, congestion control, attacks, routing, energy management, packet forwarding, and MAC.

First multi-year cumulation covers six years: 1965-70.

This is the first handbook to cover comprehensively both software engineering and knowledge engineering - two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge engineering can easily understand and obtain useful information. Each chapter covers one topic and can be read independently of other chapters, providing both a general survey of the topic and an in-depth exposition of the state of the art. Practitioners will find this handbook useful when looking for solutions to practical problems. Researchers can use it for quick access to the background, current trends and most important references regarding a certain topic.The handbook consists of two volumes. Volume One covers the basic principles and applications of software engineering and knowledge engineering.Volume Two will cover the basic principles and applications of visual and multimedia software engineering, knowledge engineering, data mining for software knowledge, and emerging topics in software engineering and knowledge engineering.

This is the first handbook to cover comprehensively both software engineering and knowledge engineering OCo two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge engineering can easily understand and obtain useful information. Each chapter covers one topic and can be read independently of other chapters, providing both a general survey of the topic and an in-depth exposition of the state of the art. Practitioners will find this handbook useful when looking for solutions to practical problems. Researchers can use it for quick access to the background, current trends and most important references regarding a certain topic. The handbook consists of two volumes. Volume One covers the basic principles and applications of software engineering and knowledge engineering. Volume Two will cover the basic principles and applications of visual and multimedia software engineering, knowledge engineering, data mining for software knowledge, and emerging topics in software engineering and knowledge engineering. Sample Chapter(s). Chapter 1.1: Introduction (97k). Chapter 1.2: Theoretical Language Research (97k). Chapter 1.3: Experimental Science (96k). Chapter 1.4: Evolutionary Versus Revolutionary (108k). Chapter 1.5: Concurrency and Parallelisms (232k). Chapter 1.6: Summary (123k). Contents: Computer Language Advances (D E Cooke et al.); Software Maintenance (G Canfora & A Cimitile); Requirements Engineering (A T Berztiss); Software Engineering Standards: Review and Perspectives (Y-X Wang); A Large Scale Neural Network and Its Applications (D Graupe & H Kordylewski); Software Configuration Management in Software and Hypermedia Engineering: A Survey (L Bendix et al.); The Knowledge Modeling Paradigm in Knowledge Engineering (E Motta); Software Engineering and Knowledge Engineering Issues in Bioinformatics (J T L Wang et al.); Conceptual Modeling in Software Engineering and Knowledge Engineering: Concepts, Techniques and Trends (O Dieste et al.); Rationale Management in Software Engineering (A H Dutoit & B Paech); Exploring Ontologies (Y Kalfoglou), and other papers. Readership: Graduate students, researchers, programmers, managers and academics in software engineering and knowledge engineering."

"This book explores current advances in digital and mobile computing technologies from the user perspective, evaluating trust models and autonomic trust management covering the recent history of trust in digital environments to prospective future developments"--Provided by publisher.