Название: Effective Theories in Programming Practice
Автор: Jayadev Misra
Издательство: ACM Books
Год: 2023
Страниц: 564
Язык: английский
Формат: pdf (true), epub
Размер: 20.7 MB

Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner. The book includes the background material needed to understand the explanations and to develop such explanations for other algorithms. The author demonstrates that clarity and simplicity are achieved not by avoiding formalism, but by using it properly. The book is self-contained, assuming only a background in high school mathematics and elementary program writing skills. It does not assume familiarity with any specific programming language. Starting with basic concepts of sets, functions, relations, logic, and proof techniques including induction, the necessary mathematical framework for reasoning about the correctness, termination and efficiency of programs is introduced with examples at each stage. Recursive programming is explained in Chapter 7 where an elementary version of the programming language Haskell is introduced.

Название: Logic, Automata, and Computational Complexity
Автор: Bruce M. Kapron
Издательство: ACM Books
Год: 2023
Страниц: 426
Язык: английский
Формат: pdf (true), epub
Размер: 12.6 MB

Professor Stephen A. Cook is a pioneer of the theory of computational complexity. His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for "his advancement of our understanding of the complexity of computation in a significant and profound way." This volume includes a selection of seminal papers embodying the work that led to this award, exemplifying Cook's synthesis of ideas and techniques from logic and the theory of computation including NP-completeness, proof complexity, bounded arithmetic, and parallel and space-bounded computation. These papers are accompanied by contributed articles by leading researchers in these areas, which convey to a general reader the importance of Cook's ideas and their enduring impact on the research community. The book also contains biographical material, Cook's Turing Award lecture, and an interview. Together these provide a portrait of Cook as a recognized leader and innovator in mathematics and Computer Science, as well as a gentle mentor and colleague.

Название: Python for Chemists
Автор: Christian Hill
Издательство: Cambridge University Press
Год: 2024
Страниц: 559
Язык: английский
Формат: pdf
Размер: 10.2 MB

This accessible and self-contained guide provides a comprehensive introduction to the popular programming language Python, with a focus on applications in chemistry and chemical physics. Ideally suited to students and researchers of chemistry learning to employ Python for problem-solving in their research, this fast-paced primer first builds a solid foundation in the programming language before progressing to advanced concepts and applications in chemistry. The required syntax and data structures are established, and then applied to solve problems computationally. Popular numerical packages are described in detail, including NumPy, SciPy, Matplotlib, SymPy, and Pandas. End of chapter problems are included throughout, with worked solutions available within the book. Additional resources, datasets, and Jupyter Notebooks are provided on a companion website, allowing readers to reinforce their understanding and gain confidence applying their knowledge through a hands-on approach.

Название: Artificial Intelligence & Blockchain in Cyber Physical Systems: Technologies & Applications
Автор: Muhammad Arif, Valentina Emilia Balas, Tabrez Nafis
Издательство: CRC Press
Год: 2024
Страниц: 259
Язык: английский
Формат: pdf (true)
Размер: 40.0 MB

This book explores the intersection of blockchain technology, artificial intelligence (AI) and cyber physical systems (CPS). It discusses how these technologies can be integrated to create secure and efficient CPS solutions. The book covers various topics, including the basics of blockchain and AI, their applications in CPS and the challenges of integrating these technologies. It also explores real-world examples of how blockchain and AI are used in CPS, such as smart cities, transportation systems and healthcare. The authors delve into the technical aspects of how blockchain and AI can be used together to enhance CPS security, data privacy and interoperability. They also discuss the potential benefits and limitations of these technologies and provide insights into the future of CPS. The goal of this project was to study time-series data and explore as many options as possible to accurately predict the stock price. Through my research I came to know about Recurrent Neural Networks (RNN) which are used specifically for sequence and pattern learning. They are networks with loops in them, allowing information to persist and thus having the ability to memorize the data accurately.

Название: Communication Patterns: A Guide for Developers and Architects (Final)
Автор: Jacqui Read
Издательство: O’Reilly Media, Inc.
Год: 2024
Страниц: 303
Язык: английский
Формат: True EPUB (Retail Copy)
Размер: 12.1 MB

Having a great idea or design is not enough to make your software project succeed. If you want stakeholders to buy into your design and teams to collaborate and contribute to the vision, you also need to communicate effectively. In this practical book, author Jacqui Read shows you how to successfully present your architecture and get stakeholders to jump on board. Misunderstanding and lack of buy-in leads to increasing costs, unmet requirements, and an architecture that is not what you intended. Through constructive examples and patterns, this book shows you how to create documentation and diagrams that actually get the message across to the different audiences you'll face. Software development and architecture have patterns and antipatterns that can be applied (or recognized) in writing code and architecting systems. A pattern is a reusable solution that has been shown to be effective when used to solve a problem. The biggest benefit is that someone else has done the hard work for you, and you just need to apply the solution to your particular situation and problem.

Название: Python 3 and Data Visualization
Автор: Oswald Campesato
Издательство: Mercury Learning and Information
Год: 2024
Страниц: 281
Язык: английский
Формат: pdf (true), epub (true)
Размер: 17.2 MB, 10.1 MB

Python 3 and Data Visualization offers readers a deep dive into the world of Python 3 programming and the art of data visualization. You will learn how to generate graphics using Pandas, Matplotlib, and Seaborn. In addition, an appendix contains SVG-based and D3-based graphics effects, along with links for many additional code samples. This book is intended primarily for those who have worked with Python and are interested in learning about graphics effects with Python libraries. It is also intended to reach an international audience of readers with highly diverse backgrounds in various age groups. Consequently, the book uses standard English rather than colloquial expressions that might be confusing to those readers. It provides a comfortable and meaningful learning experience for the intended readers.

Название: Development of Safety-Critical Systems: Architecture and Software
Автор: Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra
Издательство: Springer
Год: 2023
Страниц: 373
Язык: английский
Формат: pdf (true), epub
Размер: 37.2 MB

This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers. Software, like any other engineering product, is developed today by adhering to a well-established development process involving a well-defined set of activities. Over decades, it has been established that building software of industrial quality, leave alone software for safety or mission-critical systems, is not just about talented programmer(s) writing code. Industries have developed their own processes with an aim to produce quality software. A process must facilitate assessing the quality of the software. In addition, it is also necessary to (i) make the development of software person independent and (ii) make the software, especially large software, easier to maintain and manage.

Название: Numerical Methods for Black-Box Software in Computational Continuum Mechanics: Parallel High-Performance Computing
Автор: Sergey I. Martynenko
Издательство: De Gruyter
Год: 2023
Страниц: 148
Язык: английский
Формат: pdf (true)
Размер: 12.5 MB

The organization of the material is presented as follows. This introductory chapter I represents a theoretical analysis of the computational algorithms for a numerical solution of the basic equations in continuum mechanics. In this chapter, the general requirements for computational grids, discretization, and iterative methods for black-box software are examined. Finally, a concept of a two-grid algorithm for (de-)coupled solving multidimensional non-linear (initial-)boundary value problems in continuum mechanics (multiphysics simulation) in complex domains is presented. Chapter II contains descriptions of the sequential Robust Multigrid Technique which is developed as a general-purpose solver in black-box codes. This chapter presents the main components of the Robust Multigrid Technique (RMT) used in the two-grid algorithm (Chapter I) to compute the auxiliary (structured) grid correction. This includes the generation of multigrid structures, computation of index mapping, and integral evaluation. Finite volume discretization on the multigrid structures will be explained by studying a 1D linear model problem. In addition, the algorithmic complexity of RMT and black-box optimization of the problem-dependent components of RMT are analysed. Chapter III provides a description of parallel RMT. This chapter introduces parallel RMT-based algorithms for solving the boundary value problems and initial-boundary value problems in unified manner.

Название: Humanizing Artificial Intelligence: Psychoanalysis and the Problem of Control
Автор: Luca M. Possati
Издательство: De Gruyter
Год: 2023
Страниц: 116
Язык: английский
Формат: pdf (true), epub
Размер: 10.1 MB

What does humankind expect from Artificial Intelligence (AI)? What kind of relationship between man and intelligent machine are we aiming for? Does an AI need to be able to recognize human unconscious dynamics to act for the "best" of humans—that "best" that not even humans can clearly define? Humanizing AI analyses AI and its numerous applications from a psychoanalytical point of view to answer these questions. This important, interdisciplinary contribution to the social sciences, as applied to AI, shows that reflecting on AI means reflecting on the human psyche and personality; therefore conceiving AI as a process of deconstruction and reconstruction of human identity. AI gives rise to processes of identification and de-identification that are not simply extensions of human identities—as post-humanist or trans-humanist approaches believe—but completely new forms of identification. Humanizing AI will benefit a broad audience: undergraduates, postgraduates and teachers in sociology, social theory, science and technology studies, cultural studies, philosophy, social psychology, and international relations. It will also appeal to programmers, software designers, students, and professionals in the sciences.

Название: Embedded Expert's Guide to C: The Secrets to Becoming a Reliable Embedded C Expert
Автор: Chris Rose
Издательство: Ladey Adey Publications
ISBN: 978-1-913579-52-4
Год: 2023
Страниц: 277
Формат: PDF, EPUB
Размер: 7 Mб
Язык: English

Countless pieces of software are written in C. Every year, thousands of students learn the language. 50 years after first being created, it remains popular - especially for embedded applications.
That popularity means a great many books have been written on how to write C. So you might - quite reasonably - ask if the world really needs another one. The answer: "probably not."