Lecture Slides for Programming in C++ (Version 2018-02-15)

Lecture Slides for Programming in C++ (Version 2018-02-15)

Author: Michael D. Adams

Publisher: Michael Adams

Published: 2018-02-15

Total Pages: 2142

ISBN-13: 1550586254

DOWNLOAD EBOOK

This document, which consists of over 2000 lecture slides, offers a wealth of information on many topics relevant to programming in C++, including coverage of the C++ language itself, the C++ standard library and a variety of other libraries, numerous software tools, and an assortment of other programming-related topics. The coverage of the C++ language and standard library is current with the C++17 standard. C++ PROGRAMMING LANGUAGE. Many aspects of the C++ language are covered from introductory to more advanced. This material includes: the preprocessor, language basics (objects, types, values, operators, expressions, control-flow constructs, functions, and namespaces), classes, templates (function, class, variable, and alias templates, variadic templates, template specialization, and SFINAE), lambda expressions, inheritance (run-time polymorphism and CRTP), exceptions (exception safety and RAII), smart pointers, memory management (new and delete operators and expressions, placement new, and allocators), rvalue references (move semantics and perfect forwarding), concurrency (memory models, and happens-before and synchronizes-with relationships). C++ STANDARD LIBRARY AND VARIOUS OTHER LIBRARIES. Various aspects of the C++ standard library are covered including: containers, iterators, algorithms, I/O streams, time measurement, and concurrency support (threads, mutexes, condition variables, promises and futures, atomics, and fences). A number of Boost libraries are discussed, including the Intrusive, Iterator, and Container libraries. The OpenGL library and GLSL are discussed at length, along with several related libraries, including: GLFW, GLUT, and GLM. The CGAL library is also discussed in some detail. SOFTWARE TOOLS. A variety of software tools are discussed, including: static analysis tools (e.g., Clang Tidy), code sanitizers (e.g., ASan, UBSan, and TSan), debugging and testing tools (e.g., Catch2), performance analysis tools (e.g., Perf, PAPI, Gprof, and Valgrind/Callgrind), build tools (e.g., CMake and Make), and version control systems (e.g., Git). OTHER TOPICS. An assortment of other programming-related topics are also covered, including: data structures, algorithms, computer arithmetic (e.g., floating-point arithmetic and interval arithmetic), cache-efficient algorithms, vectorization, good programming practices, and software documentation.


Genetic Programming Theory and Practice XVIII

Genetic Programming Theory and Practice XVIII

Author: Wolfgang Banzhaf

Publisher: Springer Nature

Published: 2022-02-11

Total Pages: 220

ISBN-13: 9811681139

DOWNLOAD EBOOK

This book, written by the foremost international researchers and practitioners of genetic programming (GP), explores the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. In this year’s edition, the topics covered include many of the most important issues and research questions in the field, such as opportune application domains for GP-based methods, game playing and co-evolutionary search, symbolic regression and efficient learning strategies, encodings and representations for GP, schema theorems, and new selection mechanisms. The book includes several chapters on best practices and lessons learned from hands-on experience. Readers will discover large-scale, real-world applications of GP to a variety of problem domains via in-depth presentations of the latest and most significant results.


Smart Data and Computational Intelligence

Smart Data and Computational Intelligence

Author: Faddoul Khoukhi

Publisher: Springer

Published: 2019-02-28

Total Pages: 299

ISBN-13: 3030119149

DOWNLOAD EBOOK

This book gathers the proceedings of the International Conference on Advanced Information Technology, Services and Systems (AIT2S-18), which was held in Mohammedia, Morocco on October 17–18, 2018. Presenting the latest research in the fields of Modern Information Engineering Concepts and Communication Systems, the book will also be of interest to those working in emerging fields such as Advances in Networking and Sensor Networks, Advances in Software Engineering, Multimedia Systems, E-learning, Big Data, Intelligent Information Systems and Advances in Natural Language Processing.


Managing the Human Dimension of Disasters

Managing the Human Dimension of Disasters

Author: Kjell Brataas

Publisher: Routledge

Published: 2021-03-30

Total Pages: 321

ISBN-13: 0429798210

DOWNLOAD EBOOK

Managing the Human Dimension of Disasters provides the most comprehensive and up-to-date analysis on how individuals cope with tragedy and loss. Kjell Brataas gives a voice to those who have suffered and have been affected by unimaginable trauma. Noted experts recount stories and share their knowledge of how they assisted victims following tragedies such as the Manchester Arena bombing, the 2004 Indian Ocean tsunami, terror attacks, several aircraft disasters and school shootings, the 9/11 attacks and the COVID-19 pandemic. The book focuses on those affected by a disaster, including the bereaved, survivors and first responders. Leaders of support groups formed after these tragedies, trauma therapists and psychologists from three continents offer their experiences dealing with victims and the aftermath of disaster. Chapters provide guidance on memorializing tragedies, site visits, donation management, media relations, social media, grief counseling and human resilience. Readers will be shown that psychological support is critical after a disaster and learn from those who deal with emergencies. Brataas’ unmatched volume offers new understandings, recommendations, best practices and benchmarks on how best to assist victims in the aftermath of disaster. A valuable resource for students, researchers and practitioners.


PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

Author: Alexander Ivrii

Publisher: TU Wien Academic Press

Published: 2020-09-11

Total Pages: 284

ISBN-13: 3854480423

DOWNLOAD EBOOK

Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing ground-breaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.


An Introduction to Knowledge Graphs

An Introduction to Knowledge Graphs

Author: UMUTCAN. FENSEL SERLES (DIETER.)

Publisher: Springer Nature

Published: 2024

Total Pages: 440

ISBN-13: 3031452569

DOWNLOAD EBOOK

This textbook introduces the theoretical foundations of technologies essential for knowledge graphs. It also covers practical examples, applications and tools. Knowledge graphs are the most recent answer to the challenge of providing explicit knowledge about entities and their relationships by potentially integrating billions of facts from heterogeneous sources. The book is structured in four parts. For a start, Part I lays down the overall context of knowledge graph technology. Part II “Knowledge Representation” then provides a deep understanding of semantics as the technical core of knowledge graph technology. Semantics is covered from different perspectives, such as conceptual, epistemological and logical. Next, Part III “Knowledge Modelling” focuses on the building process of knowledge graphs. The book focuses on the phases of knowledge generation, knowledge hosting, knowledge assessment, knowledge cleaning, knowledge enrichment, and knowledge deployment to cover a complete life cycle for this process. Finally, Part IV (simply called “Applications”) presents various application areas in detail with concrete application examples as well as an outlook on additional trends that will emphasize the need for knowledge graphs even stronger. This textbook is intended for graduate courses covering knowledge graphs. Besides students in knowledge graph, Semantic Web, database, or information retrieval classes, also advanced software developers for Web applications or tools for Web data management will learn about the foundations and appropriate methods.


Software Engineering Methods in Intelligent Algorithms

Software Engineering Methods in Intelligent Algorithms

Author: Radek Silhavy

Publisher: Springer

Published: 2019-05-07

Total Pages: 482

ISBN-13: 3030198073

DOWNLOAD EBOOK

This book presents software engineering methods in the context of the intelligent systems. It discusses real-world problems and exploratory research describing novel approaches and applications of software engineering, software design and algorithms. The book constitutes the refereed proceedings of the Software Engineering Methods in Intelligent Algorithms Section of the 8th Computer Science On-line Conference 2019 (CSOC 2019), held on-line in April 2019.


Mathematical Research for Blockchain Economy

Mathematical Research for Blockchain Economy

Author: Panos Pardalos

Publisher: Springer Nature

Published: 2020-02-13

Total Pages: 252

ISBN-13: 3030371107

DOWNLOAD EBOOK

This book presents the best papers from the 1st International Conference on Mathematical Research for Blockchain Economy (MARBLE) 2019, held in Santorini, Greece. While most blockchain conferences and forums are dedicated to business applications, product development or Initial Coin Offering (ICO) launches, this conference focused on the mathematics behind blockchain to bridge the gap between practice and theory. Every year, thousands of blockchain projects are launched and circulated in the market, and there is a tremendous wealth of blockchain applications, from finance to healthcare, education, media, logistics and more. However, due to theoretical and technical barriers, most of these applications are impractical for use in a real-world business context. The papers in this book reveal the challenges and limitations, such as scalability, latency, privacy and security, and showcase solutions and developments to overcome them.


Programming Languages and Systems

Programming Languages and Systems

Author: Ilya Sergey

Publisher: Springer Nature

Published: 2022-03-28

Total Pages: 604

ISBN-13: 3030993361

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.


ECAI 2020

ECAI 2020

Author: G. De Giacomo

Publisher: IOS Press

Published: 2020-09-11

Total Pages: 3122

ISBN-13: 164368101X

DOWNLOAD EBOOK

This book presents the proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), held in Santiago de Compostela, Spain, from 29 August to 8 September 2020. The conference was postponed from June, and much of it conducted online due to the COVID-19 restrictions. The conference is one of the principal occasions for researchers and practitioners of AI to meet and discuss the latest trends and challenges in all fields of AI and to demonstrate innovative applications and uses of advanced AI technology. The book also includes the proceedings of the 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) held at the same time. A record number of more than 1,700 submissions was received for ECAI 2020, of which 1,443 were reviewed. Of these, 361 full-papers and 36 highlight papers were accepted (an acceptance rate of 25% for full-papers and 45% for highlight papers). The book is divided into three sections: ECAI full papers; ECAI highlight papers; and PAIS papers. The topics of these papers cover all aspects of AI, including Agent-based and Multi-agent Systems; Computational Intelligence; Constraints and Satisfiability; Games and Virtual Environments; Heuristic Search; Human Aspects in AI; Information Retrieval and Filtering; Knowledge Representation and Reasoning; Machine Learning; Multidisciplinary Topics and Applications; Natural Language Processing; Planning and Scheduling; Robotics; Safe, Explainable, and Trustworthy AI; Semantic Technologies; Uncertainty in AI; and Vision. The book will be of interest to all those whose work involves the use of AI technology.