Numerical and Computational Methods in Structural Engineering and Mechanics
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.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Advanced Management Information Systems
This is a textbook for advanced courses on Management Information Systems (MIS). It bridges the gap between theoretical frameworks and practical applications, offering insights into both foundational principles and emerging trends. Covering topics such as artificial intelligence, data analytics, enterprise architecture, and information systems governance, the book explores the multifaceted nature of MIS and its transformative impact on modern organizations. Each chapter integrates foundational IS research with the latest insights, applying these to case studies to ensure both relevance and academic rigor. Topics include business-IT alignment, data-driven decision-making, and the ethical challenges of managing information systems in today's complex, interconnected world. Through a combination of theoretical models, practical frameworks, and real-world examples, this book equips readers with the tools needed to navigate the evolving MIS landscape. The book is designed for advanced learners, building upon foundational MIS concepts to provide deeper insights into the field. It is particularly valuable for students pursuing a bachelor's degree in Information Systems or related disciplines, as well as for those enrolled in master's programs focused on IS. Additionally, professionals looking to enhance their expertise will find this book a useful resource. Since it does not cover introductory topics in detail, a basic understanding of the field of information systems is recommended for fully engaging with the material.
Algorithmic Aspects of Cloud Computing
This book constitutes the refereed proceedings of the 9th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2024, held in London, UK, during September 2024. The 9 full papers and 1 short paper presented here were carefully reviewed and selected from 18 submissions.They focus on various topics in the emerging area of algorithmic aspects of Computing and data management in modern Cloud-based systems.
Intelligent Systems of Computing and Informatics in Sustainable Urban Development
This book explores intelligent systems in computing and informatics, focusing specifically on their role in advancing Sustainable Development Goal (SDG) No. 11 - Sustainable Cities and Communities.SDG 11 is part of the 17 Sustainable Development Goals adopted by the United Nations in 2015. From innovative urban planning to efficient resource management and enhanced community well-being, the book navigates through the multifaceted applications of intelligent systems in the pursuit of sustainable urban development. By emphasizing practical insights, readers gain actionable knowledge to apply the concepts in diverse urban contexts. The authors provide a holistic perspective on the integration of intelligent systems within the context of SDG No. 11.The book comprehensively explores the intersection of computing, informatics, and sustainable urban development. Real-world examples and case studies are used to illustrate the successful implementation of intelligent systems in creating sustainable cities. Readers will learn about the integration of computing technologies and informatics in urban environments, aiming to create smarter, resilient, and sustainable cities. With the ever-evolving nature of technology and urban development, this book delves into the latest advancements in intelligent systems, ensuring that readers are equipped with insights into cutting-edge technologies and their potential impact on sustainable cities. A multidimensional approach using computing, informatics, urban planning, and sustainability studies facilitates a more comprehensive understanding of the challenges and opportunities in creating intelligent, sustainable urban environments.Practitioners in urban planning, technology, and related fields can utilize this book as a practical guide for implementing intelligent systems and best practices in making informed decisions. Researchers can also leverage the comprehensive coverage of the topic to inform and substantiate their own studies and investigations.
Intelligent Systems of Computing and Informatics in Sustainable Urban Development
This book explores intelligent systems in computing and informatics, focusing specifically on their role in advancing Sustainable Development Goal (SDG) No. 11 - Sustainable Cities and Communities.SDG 11 is part of the 17 Sustainable Development Goals adopted by the United Nations in 2015. From innovative urban planning to efficient resource management and enhanced community well-being, the book navigates through the multifaceted applications of intelligent systems in the pursuit of sustainable urban development. By emphasizing practical insights, readers gain actionable knowledge to apply the concepts in diverse urban contexts. The authors provide a holistic perspective on the integration of intelligent systems within the context of SDG No. 11.The book comprehensively explores the intersection of computing, informatics, and sustainable urban development. Real-world examples and case studies are used to illustrate the successful implementation of intelligent systems in creating sustainable cities. Readers will learn about the integration of computing technologies and informatics in urban environments, aiming to create smarter, resilient, and sustainable cities. With the ever-evolving nature of technology and urban development, this book delves into the latest advancements in intelligent systems, ensuring that readers are equipped with insights into cutting-edge technologies and their potential impact on sustainable cities. A multidimensional approach using computing, informatics, urban planning, and sustainability studies facilitates a more comprehensive understanding of the challenges and opportunities in creating intelligent, sustainable urban environments.Practitioners in urban planning, technology, and related fields can utilize this book as a practical guide for implementing intelligent systems and best practices in making informed decisions. Researchers can also leverage the comprehensive coverage of the topic to inform and substantiate their own studies and investigations.
Operations Research and Enterprise Systems
This book constitutes the refereed proceedings of extended papers of the 13th International Conference on Operations Research and Enterprise Systems, ICORES 2024, held in Rome, Italy, during February 24-26, 2024 The 4 full papers and 4 short papers included in this book were carefully reviewed and selected from 63 submissions. This ICORES 2024 focus to bring together researchers, engineers, faculty, and practitioners interested in both theoretical advances and practical applications of operations research.
The Landauer Principle and Its Implementations in Physics, Chemistry and Biology
Hci for Cybersecurity, Privacy and Trust
This book constitutes the refereed proceedings of the 7th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 27th International Conference, HCI International 2025, in Gothenburg, Sweden, during June 22-27, 2025. Two volumes of the HCII 2025 proceedings are dedicated to this year's edition of the HCI-CPT conference. The first volume focuses on topics related to Human-Centered Cybersecurity and Risk Management, as well as Cybersecurity Awareness, and Training. The second volume focuses on topics related to Privacy, Trust, and Legal Compliance in Digital Systems, as well as Usability, Privacy, and Emerging Threats.
Hci for Cybersecurity, Privacy and Trust
This book constitutes the refereed proceedings of the 7th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 27th International Conference, HCI International 2025, in Gothenburg, Sweden, during June 22-27, 2025. Two volumes of the HCII 2025 proceedings are dedicated to this year's edition of the HCI-CPT conference. The first volume focuses on topics related to Human-Centered Cybersecurity and Risk Management, as well as Cybersecurity Awareness, and Training. The second volume focuses on topics related to Privacy, Trust, and Legal Compliance in Digital Systems, as well as Usability, Privacy, and Emerging Threats.
Integer Programming and Combinatorial Optimization
This book constitutes the refereed proceedings of the 26th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2025, held in Baltimore, MD, USA, during June 11-13, 2025. The 33 papers presented here were carefully reviewed and selected from 109 submissions. These papers focus on the recent developments in theory, computation, and applications of integer programming and combinatorial optimization.
Discrete Mathematics
Discrete Mathematics presents the material in an easily accessible manner. Beside the usual content (expanded a little bit), a special writing style is used. We start with the natural numbers, function and relations, as well as the powerset lattice. The second chapter illustrates set theory with its laws and the Generalized Continuum Hypothesis. Chapter 3 delivers Boolean Algebra, with the double exponential formula for the # different boolean functions. The next chapter covers the induction, direct, and indirect proof. Chapter 5 presents combinatorics: Rules of sum, product, quotient, the pigeonhole principle, in/exclusion, permutation and binomial coefficient, plus Stirling numbers of 1st and 2nd kind as well as the Bell number; additionally, the recurrence relation with back- and forward reasoning is offered. We conclude with general and conditional probability, incl. the Monty Hall problem. Discrete Mathematics presents the material in a lively fashion, including topics which are usually not presented. Providing an annex with questions and solutions it offers the chance to the readers worldwide to grasp the subject in this handy and clearly arranged treatise.
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2025, held in Paris, France, during June 22-27, 2025. The 21 full papers and 1 short paper included in this book were carefully reviewed and selected from 48 submissions. They deal with topics such as composition and synthesis; workflow nets; process mining; model checking; communication & concurrency; timed and stochastic Petri nets; etc. The proceedings also include one invited talk in full paper length.
General Topology and Analysis
General Topology and Analysis provide a theoretical foundation that supports research in various practical applications. However, students often consider these subjects challenging. In response, the book provides a straightforward and comprehensive presentation of the material. This book covers all the essential topological structures in an abstract manner to understand concepts such as continuity, homeomorphism, and limits. It also delves into metric spaces and complete spaces, which are crucial special cases of topological spaces. Additionally, it explores the fixed-point theorem and its applications and fundamental theorems. It also includes compact topological spaces and connected topological spaces, and it addresses normed vector spaces and continuous linear (or multilinear) applications, which are fundamental tools in functional analysis. Also, the book contains examples that could be useful for students interested in electrical engineering. Moreover, diagrams in the book are designed not only to clarify the specific topic but also to connect that topic with other branches of topology and geometry. The counter-examples, problems, and exercises are well chosen in order of difficulty. This book serves as a textbook for graduate and advanced students interested in math applications to functional analysis, differential equations, computer science, control theory, and optimization.
Exploring Digitally-Mediated Communication with Corpora
Specialized corpora of the language of Computer-mediated Communication and Social Media are increasingly vital for the analysis of the "unparalleled and rapidly evolving diversity in terms of speakers and settings" in digital contexts, as well as of "language evolution seen through the lens of user-generated content, which gives access to a number of variants, socio- and idiolects" (Barbaresi 2019: 29-30). This volume brings together corpus-based, language-centered research on CMC and social media in linguistics, philologies, communication sciences, media, and social sciences with research questions from the fields of corpus and computational linguistics, language technology, text technology, and machine learning. It features research in which computational methods and tools are used for language-centered empirical analysis of CMC and social media phenomena as well as research on building, processing, annotating, representing, and exploiting CMC and social media corpora, including their integration in digital research infrastructures.
We Have Never Been Human
We Have Never Been Human boldly reimagines what it means to be human, challenging the traditional notions that bind our identity to biology and culture. From ancient mythologies to modern technologies, this book reveals a dynamic, ever-evolving human identity shaped by external forces and technological advancements.Blending insights from philosophy, technology studies, anthropology, and cultural critique, We Have Never Been Human offers an interdisciplinary exploration of our constructed identities and what they portend for the future of society. It raises essential questions: How has technology reshaped our self-perception? Are humans fixed beings, or are we endlessly evolving? What ethical, social, and political challenges arise as we integrate with intelligent machines?This book is a compelling read for those intrigued by the intersection of humanity and technology, offering profound insights into the essence of what it means to be human--or perhaps, what it means to evolve beyond the human.
