The Robotic Gourmet, How Technology and Sociology Are Redefining the Culinary World
Taste of the Future, Exploring Food, Society, and the Rise of Robotic Chefs
Machine Learning Applications in Seismology
The purpose of this Special Issue is to immerse readers in the transformative impact of machine learning-based artificial intelligence on seismology. From digital seismic data processing to the development of structured seismic catalogs, AI technology is poised to revolutionize our understanding of earthquakes. By enabling multiple geophysical observations, AI uncovers signals and patterns that traditional methods overlook, offering new insights into the physical processes of earthquakes. In this Special Issue, leading experts share their innovative ideas and latest findings in earthquake monitoring, early warning, and forecasting systems, all developed through cutting-edge machine learning methods, theories, and applications. Together, we explore the potential of AI in seismology, aiming to enhance our ability to predict and understand seismic events. This journey promises to advance our scientific knowledge and improve our preparedness for future earthquakes, paving the way for a safer and more informed world.
Mathematical Modeling and Analysis of Problems in Ecology, Epidemiology and Oncology
This reprint contains 11 papers that were reviewed, accepted, and published in the MDPI journal of Mathematics as part of the Special Issue on Mathematical Modeling and Analysis of Problems in Ecology, Epidemiology, and Oncology. The reprint covers a diverse range of topics in mathematical biology, including contemporary research in epidemiology, ecology, and oncology. The included articles discuss subjects such as monkeypox outbreaks, antiangiogenic therapy for malignant tumors, stochastic epidemic models, optimal treatment for prostate cancer, and models of harmful algal blooms and COVID-19. This collection serves as a foundation for readers to further explore these critical areas of research.
Algorithms and Architectures for Parallel Processing
The six-volume set, LNCS 15251-15256, constitutes the refereed proceedings of the 24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024, held in Macau, China, during October 29-31, 2024. The 91 full papers, 35 short papers and 5 workshop papers included in these proceedings were carefully reviewed and selected from 265 submissions. They focus on the many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems.
Algorithms and Architectures for Parallel Processing
The six-volume set, LNCS 15251-15256, constitutes the refereed proceedings of the 24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024, held in Macau, China, during October 29-31, 2024. The 91 full papers, 35 short papers and 5 workshop papers included in these proceedings were carefully reviewed and selected from 265 submissions. They focus on the many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems.
Algorithms and Architectures for Parallel Processing
The six-volume set, LNCS 15251-15256, constitutes the refereed proceedings of the 24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024, held in Macau, China, during October 29-31, 2024. The 91 full papers, 35 short papers and 5 workshop papers included in these proceedings were carefully reviewed and selected from 265 submissions. They focus on the many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems.
Distributed Computer and Communication Networks
This book constitutes the refereed post-conference proceedings of the 27th International Conference, on Distributed and Computer and Communication Networks, DCCN 2024, held in Moscow, Russia, during September 23-27, 2024.The 34 full papers and 2 short papers included in this book were carefully reviewed and selected from 107 submissions. They are organized in these topical sections: Computer and Communication Networks; Analytical Modeling of Distributed Systems; and Distributed Systems Applications.
Sofsem 2025: Theory and Practice of Computer Science
This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025. The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computer science and artificial intelligence focusing on AI-based algorithms and techniques, nature-inspired computing, machine learning theory, multi-agent algorithms and games, neural network theory, parallel and distributed computing, quantum computing, computability, decidability, classical and non-classical models of computation, computational complexity, computational learning, cryptographic techniques and security, data compression, data and pattern mining methods, discrete combinatorial optimization, automata, languages, machine models, rewriting systems, efficient data structures, graph structure and algorithms, logics of computation, robotics, and other relevant theory topics in computing and AI.
Algorithms and Architectures for Parallel Processing
The six-volume set, LNCS 15251-15256, constitutes the refereed proceedings of the 24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024, held in Macau, China, during October 29-31, 2024. The 91 full papers, 35 short papers and 5 workshop papers included in these proceedings were carefully reviewed and selected from 265 submissions. They focus on the many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems.
System Design on AWS
Enterprises building complex and large-scale applications in the cloud face multiple challenges. From figuring out the right tools to estimating the right provisioning, nearly every solution comes with a complicated set of choices and trade-offs. AWS provides a one-stop shop for building and scaling these applications, and this practical guide helps you decide which pieces to use and how to fit them together. Authors Jayanth Kumar and Mandeep Singh equip software architects and engineers with essential AWS and system design knowledge to help you make good decisions and overcome the challenges of designing and scaling enterprise software architecture. By diving into specific use cases, you'll understand how these principles and resources can be applied to real-world problems. With this book, you will: Learn the basics and best practices of successful system design Understand key AWS services and their strengths and limitations for building large-scale systems Examine engineering patterns and principles that best support large-scale systems, and learn how to design architecture with scalability, operations, and resilience in mind Learn what highly performant and cost-optimized architectures look like on AWS and the tools and frameworks that are best for specific use cases
Project Management
Project Management in a Transformative EraIn today's rapidly advancing technological and business landscape, project management has evolved from a task-focused role into a strategic leadership function. This shift demands that project managers navigate the convergence of IT and non-IT disciplines with precision and adaptability, reshaping industries and professional expectations.Duncan Sinclair, a veteran with 40 years of IT project management experience, has witnessed this transformation firsthand. From mainframe computing to AI, big data, and cloud technologies, Sinclair's career reflects the evolution of methodologies and leadership approaches. His insights form the foundation of this guide, which highlights the growing need for project managers to embrace strategic vision alongside technical expertise.Digital transformation has made IT essential to business success, with non-IT industries such as healthcare and manufacturing increasingly adopting advanced technologies. Traditional methods like Waterfall are no longer sufficient; emerging methodologies such as Agile, Lean, and Hybrid are now critical for flexibility and responsiveness in modern projects.The book underscores the importance of merging IT and non-IT project management, encouraging professionals to develop comprehensive skill sets that go beyond technical know-how. Strategic leadership, emotional intelligence, and business acumen are vital for aligning deliverables with organizational goals.Looking ahead, artificial intelligence is poised to revolutionize project management. AI tools optimize planning, automate repetitive tasks, and provide predictive insights, freeing managers to focus on high-value strategic functions. However, this also raises questions about how AI will redefine roles and the skills required to thrive in an AI-driven environment.This guide provides a roadmap for navigating these changes. By blending traditional principles with cutting-edge tools and methodologies, project managers, IT professionals, and businesses can stay competitive, deliver meaningful outcomes, and lead in an era where technology and strategy are increasingly intertwined.
Verification, Model Checking, and Abstract Interpretation
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20-21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.
Computing and Combinatorics
This three-volume set LNCS 15161, 15162 and 15163 constitutes the refereed proceedings of the 30th International Conference, COCOON 2024, held in Shanghai, China, during August 23-25, 2024. The 90 full papers and 6 short papers were carefully reviewed and selected from 277 submissions. COCOON 2024 provided an excellent venue for researchers working in the area of algorithms, theory of computation, computational complexity, and combinatorics related to computing.
Algorithms and Architectures for Parallel Processing
The six-volume set, LNCS 15251-15256, constitutes the refereed proceedings of the 24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024, held in Macau, China, during October 29-31, 2024. The 91 full papers, 35 short papers and 5 workshop papers included in these proceedings were carefully reviewed and selected from 265 submissions. They focus on the many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems.
A Prolegomenon to Differential Equations and Variational Methods on Graphs
Protect Your Business in the Digital Age
Let's face it: cybersecurity is one of those things we all know we should care about, like flossing or not eating dessert for breakfast-but who has the time? For small business owners especially, it's easy to feel like you're standing at the edge of a digital Grand Canyon, armed with little more than a paper umbrella for protection. But don't panic-Protect Your Business in the Digital Age is here to help.In this delightful and practical guide, you'll find everything you need to know about keeping your business safe from cyber threats, minus the baffling tech jargon and soul-crushing boredom. Written with wit and wisdom, this book tackles big questions like: How do I stop falling for phishing scams that sound like they're from my grandmother?Can I really make passwords that are both uncrackable and unmemorable?And what's the deal with AI-are we using it to fight hackers, or is it planning to take over the world?Packed with relatable anecdotes, simple action steps, and a pinch of humor, Protect Your Business in the Digital Age makes cybersecurity not just accessible but, dare we say, enjoyable. Whether you're running a mom-and-pop shop or managing a budding empire, this book will help you build a fortress of digital defense-without sacrificing your sanity (or your budget).So, grab a cup of coffee, settle in, and get ready to protect your business like a pro. Because in a world of cyber chaos, you've got this. And with Protect Your Business in the Digital Age, you'll even have a laugh along the way.
A Prolegomenon to Differential Equations and Variational Methods on Graphs
Verification, Model Checking, and Abstract Interpretation
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20-21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.
Humanizing AI with Personality
Humanizing AI with Personality examines artificial intelligence from ethical, business, and technical perspectives, offering a preliminary yet comprehensive guide for decision-makers interested in integrating conversational agents with distinct personalities. This book provides an understanding of the key factors for crafting AI systems imbued with human-like attributes, equipping them to engage thoughtfully with the varied demands of organizational contexts and societal expectations. By addressing the ethical challenges, technical approaches, and practical considerations associated with implementing AI with personality, this book serves as an essential resource for those seeking to understand the multiple dimensions involved.
Static Analysis
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area. The 18 papers included here were carefully reviewed and selected from 45 submissions.
Optimization Algorithms
This reprint of a Special Issue of Mathematics presents recent research on the theory and applications of optimization. The subjects that are addressed in the ten research papers cover a broad spectrum of optimization algorithms, such as unconstrained optimization, non-convex optimization, multi-objective optimization, graph theory, or flow shop scheduling.
Information Technology Ethics
This book explains moral dilemmas in the IT industry focussing on a different area of IT ethics. It starts by introducing theories, decision-making models, and the fundamental function of moral leadership in IT companies followed by ethical obligations related to intellectual property, privacy, professional ethics, and software development.
Scheduling Theory and Algorithms for Sustainable Manufacturing
This reprint of a Special Issue of Algorithms presents recent research on the applications of planning and scheduling models and algorithms to production systems and logistics, with the objective to increase production systems' sustainability. In the eleven research papers, several advanced models and algorithms for different sustainability issues are proposed to optimize energy consumption and achieve environmental benefits and resilience, as well as demonstrate how to reduce the cost of installing photovoltaic systems, organize sustainable inventory management, etc.
Exploring the Benefits of Numerical Simulation and Modelling
Theoretical Computer Science
This book constitutes the refereed proceedings of the 42nd National Conference on Theoretical Computer Science, NCTCS 2024, held in Qingdao, China, during July 19-21, 2024. The 13 full papers included in this book were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: Algorithm Design, Approximation Algorithms, Logics, and Artificial Intelligence Theory and Algorithm, Algorithm Application.
Sofsem 2025: Theory and Practice of Computer Science
This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025. The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computer science and artificial intelligence focusing on AI-based algorithms and techniques, nature-inspired computing, machine learning theory, multi-agent algorithms and games, neural network theory, parallel and distributed computing, quantum computing, computability, decidability, classical and non-classical models of computation, computational complexity, computational learning, cryptographic techniques and security, data compression, data and pattern mining methods, discrete combinatorial optimization, automata, languages, machine models, rewriting systems, efficient data structures, graph structure and algorithms, logics of computation, robotics, and other relevant theory topics in computing and AI.
From Battlefields to Hospitals, The Role of Cryptocurrency in International Aid Networks
From Battlefields to Hospitals: The Role of Cryptocurrency in International Aid Networks explores the transformative potential of cryptocurrencies in the realm of humanitarian aid. This book delves into how digital currencies, like Bitcoin and Ethereum, are revolutionizing the distribution of aid across borders, from conflict zones to disaster-stricken regions. With 22 chapters, the book covers various aspects of this revolution, including the empowerment of grassroots organizations, the enhancement of healthcare aid, and the overcoming of political barriers.Readers will discover how cryptocurrencies offer a transparent, secure, and efficient alternative to traditional financial systems, ensuring that aid reaches its intended recipients promptly and without corruption. The book also examines the integration of cryptocurrencies with emerging technologies, such as blockchain, AI, and digital identities, to further enhance the effectiveness of international aid efforts. Through detailed analysis and real-world examples, From Battlefields to Hospitals provides a comprehensive understanding of how digital currencies are reshaping the future of humanitarian aid.
Crypto for Crisis, Revolutionizing Global Military and Health Aid with Blockchain
Economies Unshackled, The Cryptocurrency Blueprint for Global Commerce
File System Forensics
Comprehensive forensic reference explaining how file systems function and how forensic tools might work on particular file systems File System Forensics delivers comprehensive knowledge of how file systems function and, more importantly, how digital forensic tools might function in relation to specific file systems. It provides a step-by-step approach for file content and metadata recovery to allow the reader to manually recreate and validate results from file system forensic tools. The book includes a supporting website that shares all of the data (i.e. sample file systems) used for demonstration in the text and provides teaching resources such as instructor guides, extra material, and more. Written by a highly qualified associate professor and consultant in the field, File System Forensics includes information on: Preliminary concepts for necessary studying file system forensics for anyone with basic computing experience but without specific knowledge on digital forensics and file systems File systems specific to Windows, Linux, and macOS, with coverage of FAT, ExFAT, and NTFS Advanced topics such as deleted file recovery, fragmented file recovery, searching for particular files, links, checkpoints, snapshots, and RAID Issues facing file system forensics today and various issues that might evolve in the field in the coming years File System Forensics is an essential, up-to-date reference on the subject for graduate and senior undergraduate students in digital forensics, as well as digital forensic analysts and other law enforcement professionals.
Algorithms and Discrete Applied Mathematics
This book constitutes the refereed proceedings of the 11th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2025, held in Coimbatore, India, during February 13-15, 2025. The 30 full papers included in this book were carefully reviewed and selected from 89 submissions.The conference had papers in algorithms and complexity, discrete applied mathematics, computational geometry, graph theory, graph colouring, graph partition, and domination in graphs.
Computational Algebra, Coding Theory and Cryptography
This Special Issue explores cutting-edge advancements in computational algebra, coding theory, and cryptography, emphasizing both theoretical foundations and practical applications. Topics covered in this Special Issue include algebraic structures in coding theory, cryptographic protocols, error-correcting codes, and their intersections with mathematical frameworks.
Blockchain Technology-a Breakthrough Innovation for Modern Industries
This Reprint, titled "Blockchain Technology-A Breakthrough Innovation for Modern Industries", provides an insightful exploration of how blockchain is revolutionizing industries by enhancing transparency, security, and efficiency. This collection comprises cutting-edge research and comprehensive reviews that address the challenges and opportunities blockchain presents across diverse sectors. The articles delve into theoretical advancements, innovative methodologies, and real-world applications of blockchain technology. Key themes include enhancing supply chain traceability, integrating blockchain with other advanced technologies like IoT and AI, securing financial transactions, and addressing cybersecurity threats in critical infrastructures. These contributions demonstrate blockchain's potential to drive sustainable development and foster innovation while tackling pressing industry challenges, such as scalability, interoperability, and regulatory compliance. Curated by guest editors involved in the W.E. B.E.S.T. (blockchain and smart contracts for the enhancement of the made in Italy excellence supply chains) project, this Reprint bridges academic research with practical insights, offering value to researchers, industry professionals, and policymakers alike.
Research on Fuzzy Logic and Mathematics with Applications
The notion of the fuzzy set was introduced by Lotfi A. Zadeh in 1965. Zadeh was also the founder of fuzzy logic. Since the advent of the notion of the fuzzy set, Zadeh and other researchers have used this important and interesting set to conduct a great deal of significant and novel research in fuzzy logic, fuzzy topology, fuzzy arithmetics, etc. This Special Issue deals with fuzzy logic and mathematics with applications in decision making, fuzzy control systems, and other engineering applications.
