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.
Collins International Primary Computing
Collins International Primary Computing series is structured around six themes relating to computing and digital literacy and offers learners a comprehensive and engaging approach to learning, enhanced by real-world applications. Each chapter is organised to develop essential skills, leading learners towards the creation of a final project.The project-based activities nurture creative skills and give learners the opportunity to make decisions and develop projects that matter to them. Stage 4 projects focus on everything from designing an online community to creating a podcast, giving children the tools to build key computing and ICT skills, linking the five strands of theory to the practice of computing, and showing learners how computers work.Collins International Primary Computing series provides in-depth coverage of the Cambridge curriculum frameworks for Primary Computing (0059) and Primary Digital Literacy (0072), as well as the UK national curriculum for Computing at primary level.Each chapter enables students to develop their computing and digital literacy skills through a fun, practical and relatable project. Stage 4 helps learners to design their own online community, create a podcast on a chosen industry robot or computer scientist, design and make a scrolling game, design an escape room with challenges to be solved using the Caesar Cipher or Pigpen Cipher and interrogate a global dataset and create a poster to raise awareness of a problem.Learners will build their understanding throughout the stage, using a rich variety of sources with an international focus to support their learning.With regular opportunities for discussion, group work, investigation and design, the Student's Book and Workbook encourage active learning throughout. This includes 'unplugged' learning to explore concepts and foster computational thinking skills. Each chapter concludes with an opportunity for learners to build and showcase their own work, consolidating their learning through self or peer assessment and reflection.Clear explanations, visually engaging activities and 'Key terms' features are designed to support young learners, especially those with English as a second or additional language.The course includes the latest hardware and software information, additionally exploring Artificial Intelligence and AI images and empowers learners to navigate the online world safely by equipping them with crucial digital safety skills.Written by Flip Computing - Rebecca Franks, Liz Smart and Dr Tracy Gardner - an all female team of experts with a breadth of computing experience across industry, education and research, and their culturally responsive approach provides teachers with an accessible and inclusive learning experience for all ages and inspires greater participation and tech career pathways for all.Will prepare students for a seamless transition to Stage 5.
The Robotic Gourmet, How Technology and Sociology Are Redefining the Culinary World
The Social Kitchen, How Culinary Traditions and Robotics Shape Modern Communities
Taste of the Future, Exploring Food, Society, and the Rise of Robotic Chefs
Turning Point
Modern information technology permeates and transforms our world--far more intensely than most of us realize. The book describes its origin, history, and essential drivers. It elaborates on the substantial importance the new world power of IT has gained for our social, economic, and political lives. It provides the reader with interesting, easily understandable, and balanced guidance on a complex topic. It highlights major development lines and explains concepts such as artificial intelligence, algorithms, and blockchains.
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.
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.
The Oyo Empire's Hidden Agreement with the Kanem-Bornu Kingdom
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.
A Prolegomenon to Differential Equations and Variational Methods on Graphs
Understanding and Mitigating Gender Bias in Information Retrieval Systems
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.
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.
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.
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.
The City of Sussex and Her Encounter with Jesus Christ
In the heart of Sussex, a city known for its order and loyalty to its rulers, an extraordinary event shakes the very foundation of its people-the encounter with Jesus Christ. What begins as whispers of a mysterious stranger soon turns into a movement that cannot be silenced, even by the most powerful forces in the city.The widow, the fruit vendor, the young soldier, and the elderly man each witness the life, death, and miraculous resurrection of the man who changes everything. As the truth spreads, they are faced with a choice: to stand firm in faith or succumb to fear under the governor's rule.Despite relentless persecution, the people of Sussex refuse to be silenced. Their courage turns their city into a beacon of faith, and their story spreads beyond its walls, igniting a movement that no power can suppress.The City of Sussex and Her Encounter with Jesus Christ is a gripping tale of faith, resilience, and the unstoppable power of truth. It is a story of transformation-of a city, of its people, and of the world
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.
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.
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.
Polynomial Approximation for Data-Driven System Analysis and Control of Nonlinear Systems
This thesis presents data-driven methods for nonlinear systems, enabling the verification of system-theoretical properties and the design of state feedbacks based on measured trajectories. Despite noisy data, the developed methods provide rigorous guarantees and leverage convex optimization. Classical control techniques require a mathematical model of the system dynamics, which derivation from first principles often demands expert knowledge or is time-consuming. In contrast, data-based control methods determine system properties and controllers from system trajectories. Whereas recent developments address linear systems, dynamical systems are generally nonlinear in practice. Therefore, this thesis first introduces a data-based system representation for unknown polynomial systems to determine dissipativity and integral quadratic constraints via sum-of-squares optimization. The second part of the thesis establishes a polynomial representation of nonlinear systems based on polynomial interpolation. Due to the unknown interpolation polynomial, a set of polynomials containing the actual interpolation polynomial is deduced from noisy data. This set, along with a polynomial bound on the approximation error, forms the basis for determining dissipativity properties and designing state feedbacks with stability guarantees utilizing robust control techniques and sum-of-squares relaxation.
Acoustic and Linguistic Analysis in Neurological and Psychiatric Disorders
This book explores the use of speech and language analysis for evaluating and monitoring Major Depression Disorder (MDD), Alzheimer's Disease (AD), and Parkinson's Disease (PD). By combining acoustic and linguistic features with machine learning, it addresses challenges in diagnosis and symptom overlap while aiming to improve therapy outcomes and patient monitoring. For MDD, the study analyzes therapy effectiveness by evaluating speech descriptors' impact on therapy, changes in emotional and speech patterns, and neural embeddings' suitability for tracking depression levels using contrastive learning. In AD, it applies automatic speech analysis to classify the disease, predict cognitive states, and detect pre-clinical stages. This includes AD classification using acoustic, emotional, and linguistic features; cognitive state prediction aligned with clinical assessments; and detection of pre-clinical stages linked to the PSEN1 mutation. For PD, speech analysis focuses on classifying and predicting neurological and motor states, incorporating spectral-based representation learning for disease severity prediction and identifying depression through emotional speech analysis. The book also examines biases in data collection and emphasizes the need for robust, multilingual models to enable cross-language feature transferability. Findings demonstrate the potential of speech and language analysis to support diagnosis and monitor treatment across neurological and psychiatric disorders.
