Download or read book ICSE SEIP 2020 written by and published by . This book was released on 2020 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings of the ACM IEEE 42nd International Conference on Software Engineering Software Engineering in Practice written by Gregg Rothermel and published by . This book was released on 2020 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2020 IEEE ACM 42nd International Conference on Software Engineering Software Engineering in Practice ICSE SEIP written by IEEE Staff and published by . This book was released on 2020-10-05 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: ICSE is the premier forum for researchers to present and discuss the most recent innovations, trends, outcomes, experiences, and challenges in the field of software engineering The scope is broad and includes all original and unpublished results of empirical, conceptual, experimental, and theoretical software engineering research

Download or read book Information Systems and Technologies written by Alvaro Rocha and published by Springer Nature. This book was released on 2022-05-10 with total page 651 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers the following main topics: A) information and knowledge management; B) organizational models and information systems; C) software and systems modeling; D) software systems, architectures, applications and tools; E) multimedia systems and applications; F) computer networks, mobility and pervasive systems; G) intelligent and decision support systems; H) big data analytics and applications; I) human–computer interaction; J) ethics, computers and security; K) health informatics; L) information technologies in education; M) information technologies in radio communications; N) technologies for biomedical applications. This book is composed by a selection of articles from The 2022 World Conference on Information Systems and Technologies (WorldCIST'22), held between April 12 and 14, in Budva, Montenegro. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences, and challenges of modern information systems and technologies research, together with their technological development and applications.

Download or read book Handbook of Artificial Intelligence written by Dumpala Shanthi and published by Bentham Science Publishers. This book was released on 2023-11-13 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence (AI) is an interdisciplinary science with multiple approaches to solve a problem. Advancements in machine learning (ML) and deep learning are creating a paradigm shift in virtually every tech industry sector. This handbook provides a quick introduction to concepts in AI and ML. The sequence of the book contents has been set in a way to make it easy for students and teachers to understand relevant concepts with a practical orientation. This book starts with an introduction to AI/ML and its applications. Subsequent chapters cover predictions using ML, and focused information about AI/ML algorithms for different industries (health care, agriculture, autonomous driving, image classification and segmentation, SEO, smart gadgets and security). Each industry use-case demonstrates a specific aspect of AI/ML techniques that can be used to create pipelines for technical solutions such as data processing, object detection, classification and more. Additional features of the book include a summary and references in every chapter, and several full-color images to visualize concepts for easy understanding. It is an ideal handbook for both students and instructors in undergraduate level courses in artificial intelligence, data science, engineering and computer science who are required to understand AI/ML in a practical context.

Download or read book Automated Technology for Verification and Analysis written by Zhe Hou and published by Springer Nature. This book was released on 2021-10-13 with total page 384 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

Download or read book Database and Expert Systems Applications written by Christine Strauss and published by Springer Nature. This book was released on 2022-07-28 with total page 469 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set, LNCS 13426 and 13427, constitutes the thoroughly refereed proceedings of the 33rd International Conference on Database and Expert Systems Applications, DEXA 2022, held in Vienna in August 2022. The 43 full papers presented together with 20 short papers in these volumes were carefully reviewed and selected from a total of 120 submissions. The papers are organized around the following topics: Big Data Management and Analytics, Consistency, Integrity, Quality of Data, Constraint Modelling and Processing, Database Federation and Integration, Interoperability, Multi-Databases, Data and Information Semantics, Data Integration, Metadata Management, and Interoperability, Data Structures and much more.

Download or read book Automated Technology for Verification and Analysis written by Étienne André and published by Springer Nature. This book was released on 2023-10-21 with total page 453 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

Download or read book Systems Modelling and Management written by Önder Babur and published by Springer Nature. This book was released on 2020-10-16 with total page 197 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.

Download or read book Testing Software and Systems written by David Clark and published by Springer Nature. This book was released on 2022-05-09 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

Download or read book Formal Methods Foundations and Applications written by Haniel Barbosa and published by Springer Nature. This book was released on 2024-01-02 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

Download or read book Handbook of Research on Applied Data Science and Artificial Intelligence in Business and Industry written by Chkoniya, Valentina and published by IGI Global. This book was released on 2021-06-25 with total page 653 pages. Available in PDF, EPUB and Kindle. Book excerpt: The contemporary world lives on the data produced at an unprecedented speed through social networks and the internet of things (IoT). Data has been called the new global currency, and its rise is transforming entire industries, providing a wealth of opportunities. Applied data science research is necessary to derive useful information from big data for the effective and efficient utilization to solve real-world problems. A broad analytical set allied with strong business logic is fundamental in today’s corporations. Organizations work to obtain competitive advantage by analyzing the data produced within and outside their organizational limits to support their decision-making processes. This book aims to provide an overview of the concepts, tools, and techniques behind the fields of data science and artificial intelligence (AI) applied to business and industries. The Handbook of Research on Applied Data Science and Artificial Intelligence in Business and Industry discusses all stages of data science to AI and their application to real problems across industries—from science and engineering to academia and commerce. This book brings together practice and science to build successful data solutions, showing how to uncover hidden patterns and leverage them to improve all aspects of business performance by making sense of data from both web and offline environments. Covering topics including applied AI, consumer behavior analytics, and machine learning, this text is essential for data scientists, IT specialists, managers, executives, software and computer engineers, researchers, practitioners, academicians, and students.

Download or read book Proceedings of World Conference on Artificial Intelligence Advances and Applications written by Ashish Kumar Tripathi and published by Springer Nature. This book was released on 2023-12-03 with total page 543 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a collection of outstanding research papers presented at the World Conference on Artificial Intelligence: Advances and Applications (WCAIAA 2023), organized by Sir Padampat Singhania University, India and is technically sponsored by Soft Computing Research Society during March 18–19, 2023. The topics covered are agent-based systems, evolutionary algorithms, approximate reasoning, bioinformatics and computational biology, artificial intelligence in modeling and simulation, natural language processing, brain-machine interfaces, collective intelligence, computer vision and speech understanding, data mining, swarm intelligence, machine learning, human-computer interaction, intelligent sensor, devices and applications, and intelligent database systems.

Download or read book Model Driven Engineering and Software Development written by Luís Ferreira Pires and published by Springer Nature. This book was released on 2023-09-04 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8–10, 2021 and February 6–8, 2022. The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development.

Download or read book Search Based Software Engineering written by Una-May O'Reilly and published by Springer Nature. This book was released on 2021-09-30 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021. The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.

Download or read book Neural Information Processing written by Biao Luo and published by Springer Nature. This book was released on 2023-11-14 with total page 594 pages. Available in PDF, EPUB and Kindle. Book excerpt: The six-volume set LNCS 14447 until 14452 constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023. The 652 papers presented in the proceedings set were carefully reviewed and selected from 1274 submissions. They focus on theory and algorithms, cognitive neurosciences; human centred computing; applications in neuroscience, neural networks, deep learning, and related fields.

Download or read book Proceedings of First International Conference on Computational Electronics for Wireless Communications written by Sanyog Rawat and published by Springer Nature. This book was released on 2022-01-03 with total page 679 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book includes high-quality papers presented at Proceedings of First International Conference on Computational Electronics for Wireless Communications (ICCWC 2021), held at National Institute of Technology, Kurukshetra, Haryana, India, during June 11–12, 2021. The book presents original research work of academics and industry professionals to exchange their knowledge of the state-of-the-art research and development in computational electronics with an emphasis on wireless communications. The topics covered in the book are radio frequency and microwave, signal processing, microelectronics and wireless networks.