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.

El Autor de esta obra sencilla y f cil de leer, nos muestra durante la lectura de toda la obra, qu ideas y sentimientos pueden activarse para cualquier persona que siente cari o por otra. Es en verdad interesante la lectura de estas peque as prosas, mismas que contienen, adem?'s de el sentimiento de ese momento del Autor, un punto de vista sobre ese tema que no habr amos considerado en la mayor a de ellas. Es en verdad una lectura recomendable por su estructura, f cil de seguir debido a que todos y cada uno de los temas tratados son independientes uno de otro. No necesariamente debe seguirse el orden como secuencia. Como es natural en la conversaci n, se tocan muchos temas diferentes. Esperamos que sea de su agrado.

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.

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.

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.

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

The 14 revised full papers presented together with 3 invited lectures were carefully selected from 31 initial submissions. The papers discuss formal approaches to test and analyze programs and monitor and guide their executions by using techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime verification use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.

This book constitutes the refereed proceedings of the 15th International Conference on Computational Collective Intelligence,  ICCCI 2023, held in Budapest, Hungary, during September 27–29, 2023. The 63 full papers included in this book were carefully reviewed and selected from 218 submissions. They are organized in topical sections as follows: collective intelligence and collective decision-making; deep learning techniques;  natural language processing; data mining and machine learning; social networks and intelligent systems; cybersecurity, blockchain technology and Internet of Things; cooperative strategies for decision making and optimization; computational intelligence for digital content understanding;  knowledge engineering and application for Industry 4.0; computational intelligence in medical applications; and ensemble models and data fusion.

This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004), held in Madrid, Spain, September 27 30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve meetings of this well-established conference series were held in Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), Houston, USA (2002), and Berlin, Germany (2003). The scope of the papers presented at FORTE 2004 covered semantic models and application of formal description languages (in particular, automata and Petri Nets), as well as the veri?cation and testing of communication and d- tributedsystems.Theconferencewasprecededby2half-daytutorialsbyRoberto GorrieriandFarnWang.Theproceedingscontainthe20regularpapersaccepted and presented at the conference. They were selected from 54 submitted papers inacarefulselectionprocedurebasedontheassessmentofthreerefereesforeach paper. The proceedings also include the papers contributed by the three invited speakers: Mart ?n Abadi, Tommaso Bolognesi, and Juan Quemada."

This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: - TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce - EPEW: 1st European Performance Engineering Workshop - ITM: 1st International Workshop on Integration of Testing Methodologies In total, the calls for papers of the workshops attracted 62 high-quality s- missions. The program committees of the workshops selected 27 papers after a rigorous review process in which every paper was reviewed by at least three - viewers. In these proceedings, the papersaregrouped accordingto the workshop they belong to. In addition to the selected papers, there was a keynote speech by Prof. Rob Pooley, from the Heriot-Watt University, UK. We wantto express our gratitude for their ?nancial support both to the U- versidaddeCastilla-LaManchaandtotheJuntadeComunidadesdeCastilla-La Mancha. Besides, we are in debt to all the authors who submitted high-quality papers to the workshops: Without their e?ort and interest, it would have been impossible to organize the workshops. We would also like to thank the program committee members of the three workshops for their collaboration during the reviewing process

This two-volume set (LNAI 9329 and LNAI 9330) constitutes the refereed proceedings of the 7th International Conference on Collective Intelligence, ICCCI 2014, held in Madrid, Spain, in September 2015. The 110 full papers presented were carefully reviewed and selected from 186 submissions. They are organized in topical sections such as multi-agent systems; social networks and NLP; sentiment analysis; computational intelligence and games; ontologies and information extraction; formal methods and simulation; neural networks, SMT and MIS; collective intelligence in Web systems - Web systems analysis; computational swarm intelligence; cooperative strategies for decision making and optimization; advanced networking and security technologies; IT in biomedicine; collective computational intelligence in educational context; science intelligence and data analysis; computational intelligence in financial markets; ensemble learning; big data mining and searching.

This two-volume set (LNAI 9329 and LNAI 9330) constitutes the refereed proceedings of the 7th International Conference on Collective Intelligence, ICCCI 2014, held in Madrid, Spain, in September 2015. The 110 full papers presented were carefully reviewed and selected from 186 submissions. They are organized in topical sections such as multi-agent systems; social networks and NLP; sentiment analysis; computational intelligence and games; ontologies and information extraction; formal methods and simulation; neural networks, SMT and MIS; collective intelligence in Web systems - Web systems analysis; computational swarm intelligence; cooperative strategies for decision making and optimization; advanced networking and security technologies; IT in biomedicine; collective computational intelligence in educational context; science intelligence and data analysis; computational intelligence in financial markets; ensemble learning; big data mining and searching.

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.

The conference hosted 5 workshops: The "Second International Workshop on Behavioural Types (BEAT2)." The aim was to pursue research topics in the use of behavioural type theory as the basis for new foundations, programming languages and software development methods for communication-intensive distributed systems. The "Third Workshop on Formal Methods in the Development of Software (WS-FMDS)." The aim was to bring together scientists and practitioners active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The "Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK)." In many engineering-based application areas such as in the railway domain, formal methods have reached a level of maturity that already enables the compilation of a so-called body of knowledge. The "Second International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD)." The aim was to bring together researchers and practitioner from academia, industry, government and non-government organisations to present research results and exchange experience, ideas and solutions for modelling and analysing complex systems. In particular in areas including economy, governance, health, biology, ecology, climate and poverty reduction. The "7th International Workshop on Foundations and Techniques for Open Source Software Certification (Open Cert)." The aim was to bring together researchers from Academia and Industry interested in the quality assessment of OSS projects, as well as the metrics, procedures and tools used in OSS communities and for the measurement and assessment of OSS quality.

This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009.

The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.

El Autor de esta obra sencilla y f cil de leer, nos muestra durante la lectura de toda la obra, qu ideas y sentimientos pueden activarse para cualquier persona que siente cari o por otra. Es en verdad interesante la lectura de estas peque as prosas, mismas que contienen, adem?'s de el sentimiento de ese momento del Autor, un punto de vista sobre ese tema que no habr amos considerado en la mayor a de ellas. Es en verdad una lectura recomendable por su estructura, f cil de seguir debido a que todos y cada uno de los temas tratados son independientes uno de otro. No necesariamente debe seguirse el orden como secuencia. Como es natural en la conversaci n, se tocan muchos temas diferentes. Esperamos que sea de su agrado.

Nonlinear dynamo theory is central to our understanding of the magnetic structures of planets, stars and galaxies. This volume presents an updated and coherent view of recent advances in this significant and expanding area with contributions from some of the leading authors in the field. Both kinetic and dynamic approaches to the subject are considered with topics including fast dynamos, topological methods in dynamo theory, physics of the solar cycle and the fundamentals of mean field dynamo. This volume provides a useful source of reference for graduate students and researchers in theoretical astrophysics and applied mathematics interested in cosmic magnetism and related topics such as turbulence, convection and more general nonlinear physics.