Manuel Nunez

Quang Thuy Ha

Adrianna Kozierkiewicz

Andrzej Sieminski

This book offers a unique blend of reports on both theoretical models and their applications in the area of Intelligent Information and Database Systems. The reports cover a broad range of research topics, including advanced learning techniques, knowledge engineering, Natural Language Processing (NLP), decision support systems, Internet of things (IoT), computer vision, and tools and techniques for Intelligent Information Systems. They are extended versions of papers presented at the ACIIDS 2018 conference (10th Asian Conference on Intelligent Information and Database Systems), which was held in Dong Hoi City, Vietnam on 19–21 March 2018. What all researchers and students of computer science need is a state-of-the-art report on the latest trends in their respective areas of interest. Over the years, researchers have proposed increasingly complex theoretical models, which provide the theoretical basis for numerous applications. The applications, in turn, have a profound influence on virtually every aspect of human activities, while also allowing us to validate the underlying theoretical concepts.

Modern Approaches for Intelligent Information and Database Systems

Ngoc Thanh Nguyen

Gottfried Vossen

Jan Treur

János Botzheim

László Gulyás

This book constitutes the refereed proceedings of the 15th International Conference on Advances in Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27–29, 2023. The 59 full papers included in this book were carefully reviewed and selected from 218 submissions. They were organized in topical sections as follows: Collective Intelligence and Collective Decision-Making, Deep Learning Techniques, Natural Language Processing, Data Minning and Machine learning, Social Networks and Speek Communication, Cybersecurity and Internet of Things, Cooperative Strategies for Decision Making and Optimization, Digital Content Understanding and Apllication for Industry 4.0 and Computational Intelligence in Medical Applications.

15th International Conference, ICCCI 2023, Budapest, Hungary, September 27–29, 2023, Proceedings

Advances in Computational Collective Intelligence

Antonio Ferriz-Mas

Nonlinear dynamo theory is central to understanding the magnetic structures of planets, stars and galaxies. In chapters contributed by some of the leading scientists in the field, this text explores some of the recent advances in the field. Both kinetic and dynamic approaches to the subject are considered, including fast dynamos, topological methods in dynamo theory, physics of the solar cycle and the fundamentals of mean field dynamo. Advances in Nonlinear Dynamos is ideal for graduate students and researchers in theoretical astrophysics and applied mathematics, particularly those interested in cosmic magnetism and related topics, such as turbulence, convection, and more general nonlinear physics.

Advances in Nonlinear Dynamos

Paul Baker

Mercedes G. Merayo

This volume contains the proceedings of TESTCOM/FATES 2009, a Joint Conference of the 21st IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 9th International Workshop on Formal Approachesto Testing of Software (FATES). TESTCOM/FATES 2009 was held in Eindhoven, The Netherlands, during November 2–4, 2009. In this edition, TESTCOM/FATES was part of the ?rst Formal Methods Week (FMweek). TESTCOM/FATES aims at being a forum for researchers, developers, and testers to review, discuss, and learn about new approaches, concepts, theories, methodologies, tools, and experiences in the ?eld of testing of communicating systemsandsoftware.TESTCOMhasa longhistory.Previouslyitwascalled- ternationalWorkshoponProtocolTest Systems (IWPTS) and changedits name latertoInternationalWorkshoponTestingofCommunicatingSystem(IWTCS). The previous events were held in Vancouver, Canada (1988); Berlin, Germany (1989);McLean,USA (1990);Leidschendam,TheNetherlands(1991);Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt,Germany(1996);Cheju Island,Korea(1997);Tomsk,Russia(1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); Sophia Antipolis, France (2003); Oxford, UK (2004); Montr´ eal, Canada (2005) andNew York,USA (2006).FATESalsohasits history.The previousworkshops were held in Aalborg, Denmark (2001); Brno, Czech Republic (2002); Montr´ eal, Canada (2003); Linz, Austria (2004); Edinburgh, UK (2005) and Seattle, USA (2006). TESTCOM and FATES became a joint conference in 2007: It has been held in Tallinn, Estonia (2007) and Tokyo, Japan (2008).

21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings

Testing of Software and Communication Systems

David de Frutos-Escrig

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2004

Manuel Nunez

Books

Your next favorite book is out there