Название: Intelligent Optimization: Principles, Algorithms and Applications
Автор: Changhe Li, Shoufei Han, Sanyou Zeng
Издательство: Springer
Год: 2024
Страниц: 369
Язык: английский
Формат: pdf (true), epub
Размер: 34.6 MB

This textbook comprehensively explores the foundational principles, algorithms, and applications of intelligent optimization, making it an ideal resource for both undergraduate and postgraduate artificial intelligence courses. It remains equally valuable for active researchers and individuals engaged in self-study. Serving as a significant reference, it delves into advanced topics within the evolutionary computation field, including multi-objective optimization, dynamic optimization, constrained optimization, robust optimization, expensive optimization, and other pivotal scientific studies related to optimization. Firstly, the relationship between optimization and Machine Learning is discussed, and an example of Machine Learning task is given. Secondly, the mathematical formulation of an optimization problem is defined. Optimization problems are categorized into continuous optimization problems and discrete optimization problems. Finally, optimization algorithms are introduced and categorized into deterministic algorithms and probabilistic algorithms, where several terms regarding intelligent optimization are introduced. Designed to be approachable and inclusive, this textbook equips readers with the essential mathematical background necessary for understanding intelligent optimization. It employs an accessible writing style, complemented by extensive pseudo-code and diagrams that vividly illustrate the mechanisms, principles, and algorithms of optimization. With a focus on practicality, this textbook provides diverse real-world application examples spanning engineering, games, logistics, and other domains, enabling readers to confidently apply intelligent techniques to actual optimization problems. Recognizing the importance of hands-on experience, the textbook introduces the Open-source Framework for Evolutionary Computation platform (OFEC) as a user-friendly tool. This platform serves as a comprehensive toolkit for implementing, evaluating, visualizing, and benchmarking various optimization algorithms.

Название: Mathematics in Programming
Автор: Xinyu Liu
Издательство: Springer
Год: 2024
Страниц: 393
Язык: английский
Формат: pdf (true), epub
Размер: 50.15 MB

The book presents the mathematical view and tools of computer programming with broad and friendly context. It explains the basic concepts such as recursion, computation model, types, data, and etc. The book serves as an introductory and reference guide to the engineers, students, researchers, and professionals who are interested in functional programming, type system, and computer programming languages. The book covers seven topics. Firstly, it lays out the number system based on Peano Axioms and demonstrates the isomorphic computer data structures. Then, it introduces Lambda calculus as a computing model and recursion, an important programming structure, with the Y-combinator. It next presents the basic abstract algebra, including group and fields, and provides a friendly introduction to Galois theory. After that, it uses category theory as a tool to explain several concepts in computer programming, including the type system, polymorphism, null handler, and recursive data types, then followed by an application of program optimization. In the last two chapters, the author shows how to program with the concept of infinity through stream and lazy evaluation, and then explains the naïve set theory and transfinite numbers, from which the logic paradox arises. Finally, it introduces four historical views of mathematical foundation, as well as Gödel’s incompleteness theorems developed in 1930s, and how they define the boundaries of computer programming. Additionally, the book provides biographies, stories, and anecdotes of 25 mathematicians, along with over 130 exercises and their corresponding answers.

Название: Java Programming Exercises, Volume Two: Java Standard Library
Автор: Christian Ullenboom
Издательство: CRC Press
Год: 2025
Страниц: 323
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB

Take the next step in raising your coding skills and dive into the intricacies of Java Standard Libraries. You will continue to raise your coding skills, and test your Java knowledge on tricky programming tasks, with the help of the pirate Captain CiaoCiao. This is the second of two volumes which provide you with everything you need to excel in your Java journey, including tricks that you should know in detail as a professional, as well as intensive training for clean code and thoughtful design that carries even complex software. Many beginners in programming often ask themselves, “How can I strengthen my skills as a developer? How can I become a better programmer?” The answer is simple: study, attend webinars, learn, repeat, practice, and discuss your work with others. Many aspects of programming are similar to learning new skills. Just as a book can’t teach you how to play a musical instrument, watching the Fast and the Furious movie series won’t teach you how to drive. The brain develops patterns and structures through repeated practice. Learning a programming language and a natural language have many similarities. Consistent use of the language, and the desire and need to express and communicate in it (just as you need to do so to order a burger or a beer), leads to gradual improvement in skills. Books and webinars on learning a programming language are available, but reading, learning, practicing, and repeating are just one aspect of becoming a successful software developer. To create effective software solutions, you need to creatively combine your knowledge, just as a musician regularly practices finger exercises and maintains their repertoire. The more effective your exercises are, the faster you will become a master. This book aims to help you progress and gain more hands‑on experience.

Название: Java Programming Exercises, Volume One: Language Fundamentals and Core Concepts
Автор: Christian Ullenboom
Издательство: CRC Press
Год: 2025
Страниц: 321
Язык: английский
Формат: pdf (true)
Размер: 15.4 MB

Take the first step in raising your coding skills to the next level, and test your Java knowledge on tricky programming tasks, with the help of the pirate Captain CiaoCiao. This is the first of two volumes which provide you with everything you need to excel in your Java journey, including tricks that you should know in detail as a professional, as well as intensive training for clean code and thoughtful design that carries even complex software. Features: - About 200 tasks with commented solutions on different levels; - For all paradigms: object-oriented, imperative, and functional; - Clean code, reading foreign code, and object-oriented modeling; - With numerous best practices and extensively commented solutions to the tasks, these books provide the perfect workout for professional software development with Java.

Название: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Автор: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Издательство: Springer
Серия: Computer Science Foundations and Applied Logic
Год: 2024
Страниц: 708
Язык: английский
Формат: pdf (true), epub
Размер: 64.7 MB

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. The C programming language continues to be used in foundational software such as device drivers, networking software, operating systems, and controllers, and such software is of growing importance as computers are used in more and more products and cyber-physical systems. C is an attractive programming language for such systems because it provides low-level access to machine capabilities, explicit storage allocation, and pointer arithmetic. However, these same features make it difficult to use C safely and reliably. Programming safely and reliably in language such as C benefits greatly from tool support, which can record a programmer’s decisions and check that they are carried out consistently and without running into any semantic problems.

Название: DevSecOps Adventures: A Game-Changing Approach with Chocolate, LEGO, and Coaching Games, 2nd Edition
Автор: Dana Pylayeva
Издательство: Apress
Год: 2024
Страниц: 386
Язык: английский
Формат: pdf (true), epub
Размер: 35.4 MB

Discover a groundbreaking approach to introducing DevSecOps. DevSecOps Adventures uses three innovative games to help you to maximize engagement in your training and transform learners’ mindsets, turning even reluctant sceptics into supporters and advocates of the DevOps culture. The book’s first coaching game uses LEGO, Chocolate, and role cards to explore the roles and interdependencies of Dev, Ops, and Security. Readers will experience Aha! moments, expand their individual roles, develop T-shaped skills, and experiment with changing organizational culture. The simulations depict an end-to-end product delivery process, highlighting bottlenecks in the value delivery flow. Additionally, the book is updated with two new games, "Fear in the Workplace" and "Safety in the Workplace" which provide insights into safety culture, drawing inspiration from the works of Ron Westrum, William Kahn, Amy C. Edmondson, and Dr. David Rock. Through open conversations, participants learn to identify signs of a fear-ridden culture and apply safety-enhancing practices to foster a culture of experimentation and learning. This Second Edition is enhanced with real-life examples and includes the insights from important State of DevOps reports. For programmers or system admins/project managers who are new to DevOps.

Название: Разработка веб-приложений на PHP 8
Автор: Колесниченко Дмитрий
Издательство: Питер
Год: 2024
Формат: PDF
Страниц: 498
Размер: 288 Mb
Язык: Русский

На практических примерах описано создание веб-приложений на языке PHP версии 8.x. Даны начала разработки на PHP: установка и настройка Apache 2.4, PHP, MySQL и кроссплатформенной сборки XAMPP, выбор редактора PHP-кода, синтаксис языка, самые полезные функции и нововведения PHP 8.x. Рассмотрено создание веб-приложений с использованием популярного фреймворка Laravel и шаблонизатора Blade. В качестве хранилища данных использованы два сервера – самая современная версия MySQL и набирающая популярность СУБД MongoDB. Раскрыты особенности создания индикатора загрузки файла и разыменовывания массивов, приведены примеры устранения типичных SEO-ошибок, допускаемых программистами, описана работа с PDO, JSON, MP3, Curl, MobileDetec Особое внимание уделяется безопасности веб-приложений – рассматривается, как уберечь их от основных атак, как установить SSL-сертификат и как уберечь сам сервер от неприятностей.

Название: C# Microservices Web Applications: Building Scalable, Service-Oriented, Modern, Enterprise Applications
Автор: Theophilus Edet
Издательство: CompreQuest Books
Год: 2024
Страниц: 726
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

Unlock the Power of Microservices with C# and .NET Core. Are you ready to revolutionize your approach to building web applications? "C# Microservices Web Applications: Building Scalable, Service-Oriented, Modern, Enterprise Applications" is your essential guide to mastering microservices architecture with C# and .NET Core. This book is designed for developers and IT professionals eager to enhance their skills and build applications that are not only scalable but also resilient and maintainable. Dive into the world of microservices and discover how to create robust, efficient, and highly responsive web applications that can handle the demands of modern enterprise environments. Why should you consider microservices architecture for your next project? Microservices offer a modular approach to building applications, breaking down complex systems into smaller, independent services. This allows for greater flexibility, easier maintenance, and improved scalability. "C# Microservices Web Applications" provides a detailed, step-by-step guide to designing, developing, and deploying microservices using C# and .NET Core. The book covers everything from the fundamentals of microservices and domain-driven design to advanced topics like containerization, orchestration with Kubernetes, and security best practices. With practical examples and hands-on exercises, you'll gain the skills and confidence needed to apply these concepts in real-world projects. Don't wait any longer to take your skills to the next level. "C# Microservices Web Applications" is more than just a book—it's a comprehensive resource that will empower you to build modern, enterprise-grade web applications. Whether you're new to microservices or looking to deepen your knowledge, this book provides the insights, techniques, and best practices you need to succeed. Purchase your copy today and start your journey towards mastering microservices with C# and .NET Core. Transform your approach to software development and position yourself as a leader in the field. Your future in microservices starts here!

Название: Symbolic Regression
Автор: Gabriel Kronberger, Bogdan Burlacu, Michael Kommenda, Stephan M. Winkler
Издательство: CRC Press
Год: 2025
Страниц: 308
Язык: английский
Формат: pdf (true)
Размер: 12.9 MB

Symbolic Regression (SR) is one of the most powerful Machine Learning (ML) techniques that produces transparent models, searching the space of mathematical expressions for a model that represents the relationship between the predictors and the dependent variable without the need of taking assumptions about the model structure. Currently, the most prevalent learning algorithms for SR are based on Genetic Programming (GP), an evolutionary algorithm inspired from the well-known principles of natural selection. This book is an in-depth guide to GP for SR, discussing its advanced techniques, as well as examples of applications in science and engineering. The basic idea of GP is to evolve a population of solution candidates in an iterative, generational manner, by repeated application of selection, crossover, mutation, and replacement, thus allowing the model structure, coefficients, and input variables to be searched simultaneously. Given that explainability and interpretability are key elements for integrating humans into the loop of learning in Artificial Intelligence (AI), increasing the capacity for data scientists to understand internal algorithmic processes and their resultant models has beneficial implications for the learning process as a whole. This book represents a practical guide for industry professionals and students across a range of disciplines, particularly Data Science, engineering, and applied mathematics. Focused on state-of-the-art SR methods and providing ready-to-use recipes, this book is especially appealing to those working with empirical or semi-analytical models in science and engineering.

Название: User Experience Methods and Tools in Human-Computer Interaction
Автор: Constantine Stephanidis, Gavriel Salvendy
Издательство: CRC Press
Год: 2025
Страниц: 488
Язык: английский
Формат: pdf (true)
Размер: 15.1 MB

This book covers user experience methods and tools in designing user‑friendly products and servicesby encompassing widely utilized successful methods, including elicitation, analysis and establishment of requirements, collaborative idea generation with design teams and intended users, prototype testing and evaluation of the user experience through empirical and non‑empirical means. This book, titled "User Experience Methods and Tools in Human-Computer Interaction", serves as a comprehensive reference for user experience methods and tools in the design process of user‑friendly products and services. It provides an extensive overview of methods and tools tailored for each stage of the design process, with a primary focus on user research and prototyping. Methods discussed for the active involvement of users in the human‑centered design process entail requirements elicitation, ethnography, user observation, interviews, ideation, focus groups, brainstorming, participatory design, and crowdsourcing in UX research. This book equips readers with a comprehensive toolset for use throughout the design process, ensuring that what is created aligns with user needs and desires. In this regard, this book encompasses chapters on personas, scenarios, journey maps, storyboarding, task analysis and modeling, user modeling, digital human modeling, prototyping techniques, gamification design, and UX design tools. It covers a wide array of research and evaluation methods employed in HCI during design, from the initiation of the human‑centered development cycle to its culmination, elaborating on questionnaires and surveys, inspection methods for usability evaluation, usability testing, as well as eye tracking and physiological measurements for UX evaluation, along with approaches to facilitate user assistance and support.