Computable Structure Theory
This is the first book which gives a unified theory for countable and uncountable computable structures. The work treats computable linear orderings, graphs, groups and Boolean algebras unified with computable metric and Banach spaces, profinite groups, and the like. Further, it provides the first account of these that exploits effective versions of dualities, such as Stone and Pontryagin dualities. The themes are effective classification and enumeration. Topics and features: - - - - - This unique volume is aimed at graduate students and researchers in computability theory, as well as mathematicians seeking to understand the algorithmic content of structure theory. Being self-contained, it provides ample opportunity for self-study.
Systems, Software and Services Process Improvement
The two-volume set CCIS 2657 + 2658 constitutes the refereed proceedings of the 32nd European Conference on Systems, Software and Services Process Improvement, EuroSPI 2025, held in Riga, Latvia, during September 17-19, 2025. The 42 papers included in these proceedings were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Part I: SPI and Emerging and Multidisciplinary Approaches to Software Engineering; SPI and Standards and Safety and Security Norms; SPI and Functional Safety and Cybersecurity. Part II: Sustainability and Life Cycle Challenges; SPI and Recent Innovations; Digitalisation of Industry, Infrastructure and E-Mobility; SPI and Agile.
IMU, ICM, Medals, Prizes, and Laureates
The book begins with the formal establishment of the International Mathematical Union (IMU) and its purpose of promoting international cooperation in mathematics by supporting and assisting the international Congress of Mathematicians (ICM) every four years. The book presents the most important features of each ICM (from 1897 to 2022) including the history of various medals and awards, particularly the Fields Medal, which is regarded as one of the highest honors a mathematician can receive and has been described as the Nobel Prize of mathematics. For each Laureate, the book provides their family background, a short description of the work that led to the award, a history of academic jobs, research conducted after receiving the award, and a list of further honors and awards. This book will stimulate all mathematicians, especially students who think that mathematics is less rewarding compared to other disciplines.
Advances in Computational Mathematics and Applied Mathematics
New Trends in Stochastic Processes, Probability and Statistics
Methodology for Integrating the Scenario Databases of Simulation Systems
Using Concept Maps to More Efficiently Create Intelligence Information Models
Using Hierarchical Temporal Memory for Detecting Anomalous Network Activity
Augmenting Latent Dirichlet Allocation and Rank Threshold Detection With Ontologies
The Automatic Identification of Text During the Disassembly of Binary Machine Language
An Update on Analyzing Differences Between Public and Private Sector Information Resource Management
Modeling and Analysis of Multicommodity Network Flows via Goal Programming
Analysis of Effects of BGP Black Hole Routing on a Network Like the NIPRNET
Collective Principles and the Formation of the Internet
This book describes how distinctive socio-political commitments and cultural practices developed upon the internet in the later 20th and early 21st century and considers what lies ahead in those terms. Five decades after the internet's technological structure began to be erected, and three decades after engagement with it started burgeoning, an active and global collective formation has grown upon it. This collective formation is dubbed the 'Internet Polity' here and is distinguishable from, and yet embedded within, real-world collectives. Despite divergences and conflicts, its organization is based on certain shared principles and its culture characterized by distinctive discursive practices. This book examines how the Internet Polity developed until 2010, in terms of the technological and cultural features that have supported it. Accordingly, the Internet Polity's emerging prospects are considered. Topics and features: Gives an original framework for understanding the global collective grounded on the internet as a social space Presents a history of the technological basis and communication features of this collective, from the beginnings to 2010 Offers an interdisciplinary perspective that cuts across most disciplines of the humanities and social sciences Describes the histories of and debates surrounding popular terms like 'cyberspace, ' 'information superhighway, ' 'Internet of Things, ' 'hacker, ' etc. This wide-ranging and original book is for researchers, graduate students, professionals and informed readers who are interested in information technology and political culture, digital humanities, sociolinguistics and communication studies, history of the internet, contemporary social organization and political philosophy.
Digital Urban Evolution
In an era of rapid technological advancement, the intersection of innovation and urban sustainability has become more crucial than ever. "Digital Urban Evolution" presents a comprehensive analysis of cutting-edge technologies reshaping our cities. From cloud computing and 5G networks to IoT integration, this authoritative work explores how emerging technologies are revolutionizing urban development while promoting sustainability. The book offers valuable insights for researchers, practitioners, and policymakers, examining the practical applications of these innovations in enhancing individual security, satisfaction, and operational efficiency in urban areas. Drawing from extensive research and real-world examples, it provides a thorough overview of current trends, challenges, and solutions in urban sustainability. This timely work not only catalogues the latest technological advancements but also presents actionable frameworks for their implementation, making it an indispensable resource for anyone involved in urban planning, technology integration, or sustainable development.
Product Lifecycle Management. Leveraging Ai, Digital Twins, and Smart Technologies
This two-volume set constitutes the refereed proceedings of the 21st IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2024, held in Bangkok, Thailand, during July 7-10, 2024. The 64 full papers presented in this book were carefully reviewed and selected from 105 submissions. PLM 2024 aims to integrate business approaches to the collaborative creation, management and dissemination of product and process data throughout the extended enterprises that create, manufacture and operate engineered products and systems.
Applications and Development of Underwater Robotics and Underwater Vision Technology
Numerical Solution and Applications of Fractional Differential Equations, 2nd Edition
Innovative technologies for fake news detection. Monograph
In the monograph, different methodologies for identifying disinformation and fake news sources have been studied, and intelligent methods and innovative tools for fake news detection have been proposed. The monograph is intended for specialists in cybersecurity, machine learning, linguistics, information resources processing and analysis, and artificial intelligence systems, as well as for those obtaining an educational and scientific level of higher education in information technology knowledge. The research was carried out with the grant support of the National Research Fund of Ukraine, "Information system development for automatic detection of misinformation sources and inauthentic behaviour of chat users", project number 33/0012 from 3/03/2025 (2023.04/0012).
Data Structures
Unlock the power of efficient programming with this comprehensive guide to Data Structures. Whether you're an undergraduate student diving into computer science or a professional preparing for technical interviews, this book provides the perfect balance of theoretical knowledge and practical application. Through clear explanations, intuitive diagrams, and industry-verified code examples, you'll master essential concepts from basic arrays to advanced data structures. Each chapter builds upon the last, offering a systematic approach to understanding how data can be organized, manipulated, and optimized for real-world applications. What sets this book apart is its focus on practical implementation, featuring carefully curated exercises and real-world use cases that bridge the gap between theory and actual software development. With content validated by industry professionals and a structure that caters to both beginners and intermediate learners, this resource serves as your complete companion for mastering data structures.
Graph Transformation
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.The 10 full papers and 1 short paper included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum, ranging from advancements in the classical theory of graph transformation to the integration of artificial intelligence approaches with graph transformations, the fuzzing of graph databases, and applications of graph transformation in areas such as dialogue management systems and threat analysis.
Members, Methods, and Measures
Stepping into an IT leadership role for the first time? Feeling overwhelmed by the transition from technical expert to people manager? You're not alone.In Members, Methods, and Measures, Thomas E. Armstrong delivers the guide he wishes he had when he was thrust into management--without a roadmap, training, or support. Drawing on years of experience leading high-performing technology teams, Armstrong breaks down the challenges of IT leadership with real-world insights, practical frameworks, and battle-tested strategies.This book is your crash course in mastering IT Management. Learn how to: - Build and manage a high-impact IT team--from hiring and onboarding to retention and career development.- Navigate the shift from doer to leader--avoid the common pitfalls that derail new managers.- Set priorities, delegate effectively, and drive results without micromanaging or burning out.- Manage up, down, and across--communicate with executives, gain stakeholder buy-in, and earn your team's trust.- Measure what matters--ensure your team's work is recognized and valued by the business.Packed with actionable advice, real-world examples, and insights from industry leaders, Members, Methods, and Measures is the ultimate playbook for IT professionals making the leap to management. Whether stepping into leadership for the first time or looking to refine your skills, this book will equip you with the tools, confidence, and strategies to build a thriving, high-performing team.
