Название: The Application of Formal Methods. Essays Dedicated to Jim Woodcock on the Occasion of His Retiremen
Автор: Editors: Simon Foster, Augusto Sampaio
Издательство: Springer
Год выхода: 2024
Страниц: 388
Формат: PDF
Размер: 24 MB
Язык: английский

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators.

After a PhD on software verification at the University of Liverpool, Jim has combined a successful career in academia with outstanding industry research, in particular he has been a pioneer in applying mathematical modelling approaches in critical industries.

Название: Getting Started with Artificial Intelligence
Автор: Lynn Walker
Издательство: Winmedia Press
Серия: Artificial Intelligence Fundamentals Book 3
Год: 2024
Страниц: 177
Язык: английский
Формат: pdf
Размер: 10.1 MB

Getting Started with Artificial Intelligence by Lynn Walker is a comprehensive guide designed for intermediate to advanced students eager to explore the world of AI. This book demystifies the core technologies driving Artificial Intelligence (AI), providing a practical, hands-on approach to understanding and leveraging AI for personal and professional growth. In this book, you will learn about the ethical considerations of AI, the importance of mass adoption for defense against misuse, and how to approach AI with a critical mind to mitigate misinformation. Through a structured, project-based learning methodology, you will build a Personalized Learning Assistant (PLA) that adapts to your learning pace and preferences, offering interactive exercises, immediate feedback, and resource recommendations. This book will provide you with a practical and hands-on introduction to working with AI. We'll dive into the essential tools, techniques, and processes you need to create your own AI projects. This isn't just about learning theory—it's about building real-world skills and acquiring the knowledge to confidently navigate the exciting world of AI development. We'll be taking everything you learned from the first two books and putting it into action. You'll discover how to set up your AI development environment, master fundamental programming skills, and manage data effectively for AI projects. We'll then guide you through building your very first AI project - a personalized learning assistant that will teach you the core concepts of AI through interactive learning experiences.

Название: Introduction to Artificial Intelligence
Автор: Lynn Walker
Издательство: Winmedia Press
Серия: Artificial Intelligence Fundamentals Book 1
Год: 2024
Язык: английский
Формат: pdf
Размер: 24.4 MB

Dive into the expansive world of Artificial Intelligence (AI) through the pages of "Introduction to Artificial Intelligence," where complex concepts are distilled into an accessible and engaging narrative. Designed for students, professionals, and enthusiasts alike, this comprehensive guide not only explores AI's technical fundamentals but also examines its profound impact on our society and industries. Part 1: The Foundations of Artificial Intelligence The journey begins with a clear definition of Artificial Intelligence, distinguishing between its subfields and the concepts of weak (narrow) and strong (general) AI. Explore AI's relationship to human intelligence and its broader implications on society. The historical context provided in the second chapter traces AI from its inception through various milestones, including the AI winters and its recent resurgence, setting the stage for a deeper exploration of its capabilities. Part 2: Unveiling the Techniques and Approaches of AI In the heart of the book, delve into the core techniques powering AI today. Understand the role of data, grasp fundamental Machine Learning principles, and discover the applications of Deep Learning. Special emphasis is given to cutting-edge fields like natural language processing and computer vision, illustrating how these technologies are reshaping the digital landscape. Part 3: The Impact of AI in Our World AI’s transformative power across various industries is thoroughly analyzed in this section. Whether you're a student aiming to make a career in AI, a professional seeking to gain a deeper understanding of its applications, or simply an enthusiast curious about Artificial Intelligence, this book is designed to provide a comprehensive yet understandable overview of this dynamic field.

Название: Generative AI and LLMs Natural Language Processing and Generative Adversarial Networks
Автор: S. Balasubramaniam, Seifedine Kadry, A. Prasanth, Rajesh Kumar Dhanaraj
Издательство: De Gruyter
Год: 2024
Страниц: 289
Язык: английский
Формат: True EPUB, MOBI
Размер: 10.1 MB

Generative Artificial Intelligence (GAI) and Large Language Models (LLM) are Machine Learning algorithms that operate in an unsupervised or semi-supervised manner. These algorithms leverage pre-existing content, such as text, photos, audio, video, and code, to generate novel content. The primary objective is to produce authentic and novel material. In addition, there exists an absence of constraints on the quantity of novel material that they are capable of generating. New material can be generated through the utilization of Application Programming Interfaces (APIs) or natural language interfaces, such as the ChatGPT developed by Open AI and Bard developed by Google. The field of Generative Artificial Intelligence (GAI) stands out due to its unique characteristic of undergoing development and maturation in a highly transparent manner, with its progress being observed by the public at large. The current era of Artificial Intelligence is being influenced by the imperative to effectively utilise its capabilities in order to enhance corporate operations. Specifically, the use of large language model (LLM) capabilities, which fall under the category of Generative AI, holds the potential to redefine the limits of innovation and productivity. However, as firms strive to include new technologies, there is a potential for compromising data privacy, long-term competitiveness, and environmental sustainability. This book delves into the exploration of Generative Artificial Intelligence (GAI) and LLM. It examines the historical and evolutionary development of generative AI models, as well as the challenges and issues that have emerged from these models and LLM. This book also discusses the necessity of generative AI-based systems and explores the various training methods that have been developed for generative AI models, including LLM pretraining, LLM fine-tuning, and reinforcement learning from human feedback.

Название: Построение Интернет-приложений на языке Java
Автор: Фридман А.Л.
Издательство: М.: Горячая линия — Телеком
Год: 2015
Формат: pdf
Страниц: 336
Размер: 10 mb
Язык: Русский

В систематизированном виде рассматриваются технологии создания Интернет-приложений на основе языка Ява (Java). Описывается сам язык Ява, средства построения аплетов языка Ява и построение сложных Интернет-приложений на основе средств J2EE.
Для программистов, начинающих изучение языка Ява и программирование для Интернет, будет полезна студентам и аспирантам.

Название: AI Basics for Managers: A Comprehensive Guide for Managers to Implement, Measure, and Optimize AI in Business Operations Within the AI Revolution
Автор: Andrew Hinton
Издательство: Book Bound Studios
Серия: AI Fundamentals
Год: October 19, 2023
Страниц: 166
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

Unleash the Power of AI in Your Business and Confidently Navigate the Future. "AI Basics for Managers" is a revolutionary non-fiction book that demystifies the complex world of Artificial Intelligence (AI) for business leaders. This book, written by Andrew Hinton, a renowned AI and business strategy expert, offers practical insights, tools, and strategies that will empower managers to leverage AI for business growth and success. In this comprehensive guide, Andrew Hinton draws on extensive research and real-world case studies to explain key AI concepts, technologies, and their applications in business. AI technologies have the potential to revolutionize various aspects of management, from automating routine tasks and enhancing decision-making processes to improving customer experiences and driving innovation. By leveraging these cutting-edge tools, managers can unlock new opportunities for growth, efficiency, and competitive advantage. To begin our exploration of AI technologies, let us first clearly understand what Artificial Intelligence (AI) is. At its core, AI refers to developing computer systems that can perform tasks that typically require human intelligence. These tasks include learning from experience, recognizing patterns, understanding natural language (NLP), and making decisions based on complex data.

Название: Тестируем яблоко. Смартфоны, планшеты и часы
Автор(ы): Осина А.М., Гадеев Р.А.
Издательство: Ridero
Год: 2023
Страниц: 184
Формат: PDF
Размер: 38 Мб
Язык: русский

Задумывались ли вы, как часто даже опытные тестировщики, изучая новые рабочие инструменты, думают про себя: «Если бы я только знал это раньше…»? Эта книга предназначена для профессионалов в сфере тестирования и содержит всю самую необходимую информацию об инструментах и лучших практиках, которые использует каждый инженер по тестированию iOS в своей работе. Благодаря этой книге вы не только лишь сможете начать тестировать эффективнее и качественнее, но и повысите свою цену на рынке труда.

Название: Essential Math for AI: Exploring Linear Algebra, Probability and Statistics, Calculus, Optimization Techniques, and More
Автор: Andrew Hinton
Издательство: Book Bound Studios
Год: November 12, 2023
Страниц: 172
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

Are you ready to unlock the mathematical secrets that power today's most advanced Artificial Intelligence systems? "Essential Math for AI" is an essential guide for anyone looking to understand the complex mathematical underpinnings of Artificial Intelligence (AI). Whether you're an AI enthusiast, a student, or a professional in the field, this book is tailored to enrich your knowledge and prepare you for the future of AI innovation. "Essential Math for AI" provides a comprehensive overview of the mathematical concepts propelling AI forward and offers a glimpse into the future of how these disciplines will continue to shape the AI landscape. With chapter summaries to consolidate your learning and a clear path charted for future exploration, this book is your roadmap to becoming well-versed in the mathematics of AI. Take the next step in your AI journey. Embrace the mathematical challenges and opportunities with "Essential Math for AI."

Название: Core Technologies of Artificial Intelligence
Автор: Lynn Walker
Издательство: Winmedia Press
Серия: Artificial Intelligence Fundamentals Book 2
Год: 2024
Страниц: 197
Язык: английский
Формат: pdf
Размер: 13.6 MB

Unlock the transformative potential of Artificial Intelligence with "Core Technologies of Artificial Intelligence." This comprehensive guide demystifies the intricate world of AI, offering readers an in-depth understanding of the fundamental technologies driving this revolutionary field. Perfect for students, professionals, and AI enthusiasts, this book provides a structured learning path from basic concepts to advanced methodologies. Explore essential topics such as Machine Learning, Deep Learning, natural language processing (NLP), AI in robotics, and the latest advancements like quantum computing and neuromorphic engineering. Each chapter is meticulously designed to build on the previous one, ensuring a cohesive and engaging learning experience. Key Features: Advanced Machine Learning Techniques: Master complex methods, including ensemble methods, feature engineering, and model optimization; Deep Learning Architectures: Gain expertise in deep learning models such as CNNs, RNNs, Transformers, Autoencoders, and GANs; Natural Language Processing: Understand advanced NLP methodologies, from sentiment analysis to speech recognition technologies.

Название: Artificial Intelligence for Science (AI4S): Frontiers and Perspectives Based on Parallel Intelligence
Автор: Qinghai Miao, Fei-Yue Wang
Издательство: Springer
Год: 2024
Страниц: 118
Язык: английский
Формат: pdf (true), epub
Размер: 19.5 MB

This book presents a comprehensive framework for analyzing, evaluating, and guiding Artificial Intelligence (AI) for Sciences (AI4Sci) research, offering a unified approach that facilitates analysis across various academic fields through a shared set of dimensions and indicators. It provides a systematic overview of recent AI4Sci advances in various disciplines and offers insights into the latest issues in and prospects of AI4Sci. The book is based on the theory of Parallel Intelligence (PI), which forms the foundation for the general AI4Sci framework. By analyzing multiple cases in various academic fields, this framework integrates key elements of AI4Sci, such as real scientific problems, datasets, virtual systems, AI methods, human roles, and organizational mechanisms, from a multidimensional perspective. It also assesses and summarizes the limitations of AI4Sci, incorporating the latest advances in AI for fundamental models. Lastly, it explores the impact of DeSci and DAO, as well as TAO, on AI4Sci ecosystem development and prospects. Through its balanced approach, the book offers readers a goal-oriented perspective, focusing on a concise presentation of the core ideas and reducing detailed descriptions of specific AI4Sci cases to a minimum. As Artificial Intelligence (AI) rapidly advances in recent years, its application in various scientific fields such as physics, chemistry, biology, astronomy, and others is also emerging. This technology, known as AI for Sciences (AI4S), is revolutionizing scientific research by providing new tools and techniques for analyzing data, discovering patterns, and making predictions, etc.