Название: Understanding Modelling and Programming
Автор: Andreas Prinz, Birger Møller-Pedersen, Joachim Fischer, Bernhard Thalheim
Издательство: Springer
Год: 2025
Страниц: 125
Язык: английский
Формат: pdf (true)
Размер: 15.0 MB

This book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development. After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for Computer Science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.

Название: Разработка приложений на базе GPT-4 и ChatGPT, 2-е издание
Автор: Оливье Келен, Мари-Алис Блете
Издательство: Спринт Бук
Год: 2025
Страниц: 304
Язык: русский
Формат: pdf
Размер: 19.5 MB

В этом издании мы расскажем вам о последних достижениях в области технологий искусственного интеллекта, а также о том, какой прогресс достигнут исследователями, разработчиками и энтузиастами, продолжающими расширять границы инноваций. Данная книга представляет собой подробное руководство для разработчиков на Python, желающих научиться создавать приложения с использованием больших языковых моделей. Авторы расскажут об основных возможностях и преимуществах моделей GPT-4 и GPT-3.5, а также принципах их работы. Здесь же вы найдете пошаговые инструкции по разработке приложений с использованием библиотеки для Python от OpenAI, в том числе инструментов для генерирования текста, отправки вопросов и получения ответов и создания интеллектуальных ассистентов. Издание содержит множество легковоспроизводимых примеров, которые помогут применить модели в своих проектах. Все примеры кода на Python доступны в репозитории GitHub.

Название: On Raising a Digital Human: A Personal Evolution
Автор: Norman I. Badler
Издательство: Springer
Серия: Synthesis Lectures on Computer Science
Год: 2025
Страниц: 224
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

This book tells the story of building digital virtual human models in the context of the background, choices, and occurrences that shaped the author's own involvement and personal evolution. Such digital models found motivating applications in engineering, anthropology, medical, and group simulation problems, and numerous connections to other disciplines informed and enriched their design, development, and deployment. This personal perspective on developments in the field is enhanced by extensive citations that provide pointers into relevant literature, recognize the contributions of co-authors and collaborators, and give external evidence for claims. Both academic and corporate interest in virtual beings has exploded in recent years, and while this book does not survey the current state of the art it is an essential window into how the field arrived where it is today. The technical discussions throughout the book are deliberately accessible with extensive references to the literature for further reading. This book will be of interest to readers who want to understand the history of virtual human beings, how they evolved, and especially how they must address numerous human characteristics to achieve any sense of "human-ness."

Название: Emotion Detection in Natural Language Processing
Автор: Federica Cavicchio
Издательство: Springer
Год: 2025
Страниц: 114
Язык: английский
Формат: pdf (true), epub
Размер: 10.1 MB

This book provides a practical guide on annotating emotions in natural language data and showcases how these annotations can improve Natural Language Processing (NLP) and Natural Language Understanding (NLU) models and applications. The author presents an introduction to emotion as well as the ethical considerations on emotion annotation. State-of-the-art approaches to emotion annotation in NLP and NLU including rule-based, machine learning, and deep learning applications are addressed. Theoretical foundations of emotion and the implication on emotion annotation are discussed along with the current challenges and limitations in emotion annotation. This book is appropriate for researchers and practitioners in the field of NLP and NLU and anyone interested in the intersection of natural language and emotion.

Название: Django for Beginners, 5th Edition: Build Modern Web Applications with Python
Автор: William S. Vincent
Издательство: Still River Press
Год: January 12, 2025
Страниц: 202
Язык: английский
Формат: epub
Размер: 12.7 MB

Build six real-world Django websites from scratch with authentication, content management systems, tests, permissions, and production-ready deployment. Django for Beginners is the fifth edition of the leading guide to building real-world web applications with Python. It takes a practical approach, introducing concepts through six projects designed to simulate real-world scenarios. From a Hello World website to a message board application, a blogging platform, and a newspaper CRM, you'll learn about Django's architecture and how to add new functionality step-by-step. Coverage includes best practices, enhanced testing, and a detailed deployment guide to ensure you're ready for real-world web development challenges. Django bills itself as “the web framework for perfectionists with deadlines,” an ode to its origins as a newspaper content management system (CMS) and its overriding approach of balancing features with practicality. From the beginning, Django was created for real-world developers who wanted a fast, elegant, and powerful way to build websites. Django is written in the wonderfully readable yet powerful Python programming language, arguably the most popular language in the world today.

Название: Alice and Bob Learn Secure Coding
Автор: Tanya Janca
Издательство: Wiley
Год: 2025
Страниц: 512
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

Unlock the power of secure coding with this straightforward and approachable guide! Discover a game-changing resource that caters to developers of all levels with Alice and Bob Learn Secure Coding. With a refreshing approach, the book offers analogies, stories of the characters Alice and Bob, real-life examples, technical explanations and diagrams to break down intricate security concepts into digestible insights that you can apply right away. Explore secure coding in popular languages like Python, Java, jаvascript, and more, while gaining expertise in safeguarding frameworks such as Angular, .Net, and React. Uncover the secrets to combatting vulnerabilities by securing your code from the ground up! Alice and Bob Learn Secure Coding is designed for a diverse audience, including software developers of all levels, budding security engineers, software architects, and application security professionals. Immerse yourself in practical examples and concrete applications that will deepen your understanding and retention of critical security principles.

Название: Logic in Computer Science
Автор: Hantao Zhang, Jian Zhang
Издательство: Springer
Год: 2025
Страниц: 488
Язык: английский
Формат: pdf (true), epub
Размер: 28.8 MB

Mathematical logic is an important basis for mathematics, Computer Science and Artificial Intelligence (AI) alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. In addition, it presents proof procedures for classical logics and decision procedures for checking the satisfiability of logical formulas. The book assumes no background in logic. It presents logics as practical tools for solving various problems in Artificial Intelligence and formal verification. Accordingly, it is well suited for (junior and senior) undergraduate and graduate students majoring in Computer Science or mathematics. Each chapter has about a dozen or so exercises to help the reader understand the materials.

Название: Ensemble Methods: Foundations and Algorithms, 2nd Edition
Автор: Zhi-Hua Zhou
Издательство: CRC Press
Серия: Chapman & Hall/CRC Machine Learning & Pattern Recognition
Год: 2025
Страниц: 364
Язык: английский
Формат: pdf (true), epub
Размер: 28.5 MB

Ensemble methods that train multiple learners and then combine them to use, with Boosting and Bagging as representatives, are well-known Machine Learning approaches. It has become common sense that an ensemble is usually significantly more accurate than a single learner, and ensemble methods have already achieved great success in various real-world tasks. Twelve years have passed since the publication of the first edition of the book in 2012. Many significant advances in this field have been developed. First, many theoretical issues have been tackled, for example, the fundamental question of why AdaBoost seems resistant to overfitting gets addressed, so that now we understand much more about the essence of ensemble methods. Second, ensemble methods have been well developed in more Machine Learning fields, e.g., isolation forest in anomaly detection, so that now we have powerful ensemble methods for tasks beyond conventional supervised learning. Third, ensemble mechanisms have also been found helpful in emerging areas such as Deep Learning and online learning.

Название: Coding mit KI für Dummies / Программирование с ИИ для чайников
Автор: Chris Minnick
Издательство: Wiley-VCH GmbH
Год: 2025
Страниц: 422
Язык: немецкий
Формат: epub (true)
Размер: 53,5 MB

Von der Prozessautomatisierung über die Code-Optimierung bis hin zur Erledigung von Kernaufgaben wie Dokumentation, Debugging und Aktualisierung - künstliche Intelligenz hilft Ihnen dabei, sich auf den Kern Ihrer Entwicklungsarbeit zu konzentrieren. In diesem Buch lernen Sie die wichtigsten Plattformen kennen, die Sie beim Coding unterstützen können. Sie erfahren, welche Möglichkeiten und welche Grenzen die KI-Tools haben und wie Sie diese für Routineaufgaben einsetzen, um neuen Code zu schreiben und Ihre Codequalität zu verbessern. So behalten Sie den Kopf frei für die wichtigen Aufgaben.

Название: Encyclopedia of Cryptography, Security and Privacy, 3rd Edition
Автор: Sushil Jajodia, Pierangela Samarati, Moti Yung
Издательство: Springer
Год: 2025
Страниц: 2864
Язык: английский
Формат: pdf (true)
Размер: 65.7 MB

A rich stream of papers and many good books have been written on cryptography, security, and privacy, but most of them assume a scholarly reader who has the time to start at the beginning and work his way through the entire text. The goal of Encyclopedia of Cryptography, Security, and Privacy, Third Edition is to make important notions of cryptography, security, and privacy accessible to readers who have an interest in a particular concept related to these areas, but who lack the time to study one of the many books in these areas. Cryptography is the discipline of writing a message in ciphertext (Cryptosystem), usually by a translation from plaintext according to some (frequently changing) keytext, with the aim of protecting a secret from adversaries, interceptors, intruders, interlopers, eavesdroppers, opponents or simply attackers, opponents, and enemies. Professional cryptography protects not only the plaintext, but also the key and more generally tries to protect the whole cryptosystem.