You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Through the collaboration of the software engineering community with the quantum computing community new architectural paradigms for quantum-enabled computing systems will be anticipated and developed. The book starts with a chapter that introduces the main concepts and general foundations related to quantum computing. This is followed by a number of chapters dealing with the quantum software engineering methods and techniques. Topics like the Talavera Manifesto for quantum software engineering, frameworks for hybrid systems, formal methods...
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Metadata and Semantic Research, MTSR 2018, held in Limassol, Cyprus, on October 23-26, 2018. The 19 full and 16 short papers presented were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on metadata, linked data, semantics, ontologies and SKOS; digital libraries, information retrieval, big, linked, social and open data; cultural collections and applications; Knowledge IT Artifacts (KITA) in professional communities and aggregations; Digital Humanities and Digital Curation (DHC); European and national projects; agriculture, food and environment; open repositories, research information systems and data infrastructures.
The five-volume set LNCS 11536, 11537, 11538, 11539, and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019. The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the workshops). The papers were organized in topical sections named: Part I: ICCS Main Track Part II: ICCS Main Track; Track of Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Track of Agent-Based Simulations, Adaptive Algorithms and Solvers; Track of Applicatio...
This book constitutes the proceedings of the First International Conference, AI4S 2023, held in Pune, India, during September 4-5, 2023. The 14 full papers and the 2 short papers included in this volume were carefully reviewed and selected from 72 submissions. This volume aims to open discussion on trustworthy AI and related topics, trying to bring the most up to date developments around the world from researchers and practitioners.
This book constitutes the refereed proceedings of the 1st International Congress on Blockchain and Applications 2020, BLOCKCHAIN’20, held in L’Aquila, Italy, in October 2020. Among the scientific community, blockchain and artificial intelligence are a promising combination that will transform the production and manufacturing industry, media, finance, insurance, e-government, etc. Nevertheless, there is no consensus with schemes or best practices that would specify how blockchain and artificial intelligence should be used together. The 21 full papers presented were carefully reviewed and selected from over 40 submissions. They contain the latest advances on blockchain and artificial intelligence and on their application domains, exploring innovative ideas, guidelines, theories, models, technologies, and tools, and identifying critical issues and challenges that researchers and practitioners must deal with in future research.
This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020, held in Faro, Portugal*, in September 2020. The 27 full papers and 12 short papers were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections: quality aspects in machine learning, AI and data analytics; evidence-based software quality engineering; human and artificial intelligences for software evolution; process modeling, improvement and assessment; software quality education and training; quality aspects in quantum computing; safety, security and privacy; ICT verification and validation; RE, MDD and agile. *The conference was held virtually due to the COVID-19 pandemic.
This book examines the relationship between information and communication technology (ICT) and politics in a global perspective.
This book constitutes selected and revised papers presented at the First International Conference on Electronic Governance with Emerging Technologies, EGETC 2022, held in Tampico, Mexico, in September 2022. The 15 full papers and 2 short papers presented were thoroughly reviewed and selected from the 54 submissions. This volume focuses on the recent developmentsin the domain of eGovernment and governance of digital organizations also aims to shed light on the emerging research trends and their applications.
This book constitutes the refereed proceedings of the 12th International Conference on Videogame Sciences and Arts, VJ 2020, held in Mirandela, Portugal, in November 2020.* The 10 full papers presented were carefully reviewed and selected from 46 submissions. *The conference was held online due to the COVID-19 pandemic.
This book constitutes the refereed proceedings of the 11th International Conference on Videogame Sciences and Arts, VJ 2019, held in Aveiro, Portugal, in November 2019. The 20 full papers presented were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Games and Theories; Table Boards; eSports; Uses and Methodologies; Game Criticism.