Download or read book 2023 IEEE ACM International Workshop on Automated Program Repair APR written by IEEE Staff and published by . This book was released on 2023-05-16 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recent years have witnessed an explosive growth of works on automated program repair in various scientific communities including software engineering, programming languages and formal methods, and this growth has culminated in successful deployments of program repair technology in industry Despite these considerable advances, program repair still faces fundamental technological and societal challenges This workshop will create an opportunity for the research community to coordinate its effort for addressing these challenges, share recent ideas and results, and formulate an agenda for future research
Download or read book 2023 IEEE ACM International Workshop on Automated Program Repair APR written by and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Reuse and Software Quality written by Achilleas Achilleos and published by Springer Nature. This book was released on with total page 197 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Search Based Software Engineering written by Paolo Arcaini and published by Springer Nature. This book was released on 2024-01-04 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 2023.The 7 full and 7 short papers included in this book were carefully reviewed and selected from 23 submissions. They focus on formulating various optimization problems in software engineering as search problems, addressing them with search techniques, intending to automate complex software engineering tasks.
Download or read book Chatbot Research and Design written by Asbjørn Følstad and published by Springer Nature. This book was released on with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Ecosystems written by Tom Mens and published by Springer Nature. This book was released on 2023-11-06 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book highlights recent research advances in various domains related to software ecosystems such as library reuse, collaborative development, cloud computing, open science, sentiment analysis and machine learning. A key aspect of software ecosystems is that software products belong to ever more interdependent networks of co-evolving software components. The ever-increasing importance of social coding platforms has made software ecosystems indispensable to software practitioners, in commercial as well as open-source settings. The book starts with an introductory chapter that provides a historical account of the origins of software ecosystems. It provides the necessary context about the domain of software ecosystems by highlighting its different perspectives, definitions, and representations. It also exemplifies the variety of software ecosystems that have emerged during the previous decades. The remaining book is composed of five parts: Part I contains two chapters on software ecosystem representations, Part II two chapters that focus on complementary ways and techniques of analyzing software ecosystems. Next, Part III includes two chapters that focus on aspects related to the evolution within software ecosystems, while Part IV looks at workflow automation and infrastructure-as-code ecosystems. Finally, Part V focuses on ecosystems for software modeling and for data-intensive software. This book is intended for researchers and practitioners interested in data mining, tooling, and empirical analysis of software ecosystems. The reader will appreciate chapters that cover a wide spectrum of social and technical aspects of software ecosystems, each including an overview of the state of the art. Chapter 2 The Software Heritage Open Science Ecosystem is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book Computational Collective Intelligence written by Ngoc Thanh Nguyen and published by Springer Nature. This book was released on 2023-09-12 with total page 859 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering written by Elisabetta Di Nitto and published by . This book was released on 2015 with total page 1068 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Program Synthesis written by Sumit Gulwani and published by . This book was released on 2017-07-11 with total page 138 pages. Available in PDF, EPUB and Kindle. Book excerpt: Program synthesis is the task of automatically finding a program in the underlying programming language that satisfies the user intent expressed in the form of some specification. Since the inception of artificial intelligence in the 1950s, this problem has been considered the holy grail of Computer Science. Despite inherent challenges in the problem such as ambiguity of user intent and a typically enormous search space of programs, the field of program synthesis has developed many different techniques that enable program synthesis in different real-life application domains. It is now used successfully in software engineering, biological discovery, compute-raided education, end-user programming, and data cleaning. In the last decade, several applications of synthesis in the field of programming by examples have been deployed in mass-market industrial products. This monograph is a general overview of the state-of-the-art approaches to program synthesis, its applications, and subfields. It discusses the general principles common to all modern synthesis approaches such as syntactic bias, oracle-guided inductive search, and optimization techniques. We then present a literature review covering the four most common state-of-the-art techniques in program synthesis: enumerative search, constraint solving, stochastic search, and deduction-based programming by examples. It concludes with a brief list of future horizons for the field.
Download or read book Advances and Trends in Artificial Intelligence Theory and Applications written by Hamido Fujita and published by Springer Nature. This book was released on with total page 525 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Nearest Neighbor NN Norms written by Belur V. Dasarathy and published by . This book was released on 1991 with total page 472 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Serverless Computing Principles and Paradigms written by Rajalakshmi Krishnamurthi and published by Springer Nature. This book was released on 2023-05-11 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book explores how advances in graphic processing units (GPUs), programmable logic devices (TPUs), and field-programmable gate arrays have altered the serverless computing landscape (FPGAs). Distributed system architectures and implementations have undergone significant changes due to the popularity of serverless computing. Making and releasing product applications, doing market research, and maintaining customer interactions might all benefit from the reduced infrastructure expenses made possible by serverless computing. This book is a great resource for teachers and students interested in learning more about serverless computing. Some of the main questions surrounding serverless technology, such as scalability and performance distribution, are answered. Concepts and fundamentals of computing performance such as cost-free operation, good time and resource management, fairness, and interoperability are discussed. Serverless is at the forefront of this shift, which has made data-intensive, distributed applications, and open-source platforms essential for any modern computer to function. Data-centric queuing, real-time logging and monitoring, querying, and alarms are all examples of serverless services.
Download or read book Automated Machine Learning written by Frank Hutter and published by Springer. This book was released on 2019-05-17 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself. This book serves as a point of entry into this quickly-developing field for researchers and advanced students alike, as well as providing a reference for practitioners aiming to use AutoML in their work.
Download or read book The Formal Semantics of Programming Languages written by Glynn Winskel and published by MIT Press. This book was released on 1993-02-05 with total page 388 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.Starting with basic set theory, structural operational semantics is introduced as a way to define the meaning of programming languages along with associated proof techniques. Denotational and axiomatic semantics are illustrated on a simple language of while-programs, and fall proofs are given of the equivalence of the operational and denotational semantics and soundness and relative completeness of the axiomatic semantics. A proof of Godel's incompleteness theorem, which emphasizes the impossibility of achieving a fully complete axiomatic semantics, is included. It is supported by an appendix providing an introduction to the theory of computability based on while-programs. Following a presentation of domain theory, the semantics and methods of proof for several functional languages are treated. The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi. Throughout, the relationship between denotational and operational semantics is stressed, and the proofs of the correspondence between the operation and denotational semantics are provided. The treatment of recursive types - one of the more advanced parts of the book - relies on the use of information systems to represent domains. The book concludes with a chapter on parallel programming languages, accompanied by a discussion of methods for specifying and verifying nondeterministic and parallel programs.
Download or read book Power Analysis Attacks written by Stefan Mangard and published by Springer Science & Business Media. This book was released on 2008-01-03 with total page 351 pages. Available in PDF, EPUB and Kindle. Book excerpt: Power analysis attacks allow the extraction of secret information from smart cards. Smart cards are used in many applications including banking, mobile communications, pay TV, and electronic signatures. In all these applications, the security of the smart cards is of crucial importance. Power Analysis Attacks: Revealing the Secrets of Smart Cards is the first comprehensive treatment of power analysis attacks and countermeasures. Based on the principle that the only way to defend against power analysis attacks is to understand them, this book explains how power analysis attacks work. Using many examples, it discusses simple and differential power analysis as well as advanced techniques like template attacks. Furthermore, the authors provide an extensive discussion of countermeasures like shuffling, masking, and DPA-resistant logic styles. By analyzing the pros and cons of the different countermeasures, this volume allows practitioners to decide how to protect smart cards.
Download or read book Low Power Computer Vision written by George K. Thiruvathukal and published by CRC Press. This book was released on 2022-02-22 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: Energy efficiency is critical for running computer vision on battery-powered systems, such as mobile phones or UAVs (unmanned aerial vehicles, or drones). This book collects the methods that have won the annual IEEE Low-Power Computer Vision Challenges since 2015. The winners share their solutions and provide insight on how to improve the efficiency of machine learning systems.
Download or read book Trust in Human Robot Interaction written by Chang S. Nam and published by Academic Press. This book was released on 2020-11-17 with total page 614 pages. Available in PDF, EPUB and Kindle. Book excerpt: Trust in Human-Robot Interaction addresses the gamut of factors that influence trust of robotic systems. The book presents the theory, fundamentals, techniques and diverse applications of the behavioral, cognitive and neural mechanisms of trust in human-robot interaction, covering topics like individual differences, transparency, communication, physical design, privacy and ethics. Presents a repository of the open questions and challenges in trust in HRI Includes contributions from many disciplines participating in HRI research, including psychology, neuroscience, sociology, engineering and computer science Examines human information processing as a foundation for understanding HRI Details the methods and techniques used to test and quantify trust in HRI