Advances in Computational Intelligence. Micai 2024 International Workshops
Advances in Computational Intelligence. Micai 2024 International Workshops
Recent Trends in VLSI and Semiconductor Packaging
The International conference on Semiconductor Materials packaging, AI&ML, Reconfigurable VLSI architectures for IoT, future Communication Technologies ("SMART-2024") aimed to provide a platform for researchers, academicians, industry experts, and practitioners to exchange ideas, present research findings, and discuss emerging trends and challenges in the specified fields. "SMART-2024" seeked to foster collaboration, innovation, and knowledge dissemination by bringing together experts and stakeholders from diverse backgrounds to address key issues and explore new research directions. The conference targeted a diverse audience including researchers, academicians, scientists, engineers, technologists, industry professionals, students, policymakers, and other stakeholders interested in VLSI, IoT, AI-ML, communication systems, semiconductor packaging, hetero architecture devices, and Nano materials.
Responsible Software Engineering
Today's software applications need more than a friendly interface and correct algorithms. They also need to be responsible: to be beneficial for society and not cause harm. In an era of AI chatbots, deep fake images and videos, social media bubbles, expanding privacy regulations, and a warming planet, it's more important than ever to practice responsible software engineering so your products earn your users' trust--and deserve it. Responsible Software Engineering gathers the wisdom of over 100 Google employees to help you anticipate the effects of your software on the world and its inhabitants. It features expert advice and practical case studies so you can build better applications that are more ready for real-world situations: Treating people more fairly, regardless of their beliefs, culture, skin tone, and other attributes Operating more safely, to reduce the risk of physical, psychological, or financial harm Better protecting people's privacy, particularly when collecting personal information Incorporating wisdom from the social sciences, law, ethics, and other fields that many engineers may be unfamiliar with Reducing emissions of carbon dioxide (CO2), to address the risks of climate change
Greenlight Your Tech Career
No degree? No experience? No idea where to start? This book is for you!Tech jobs pay well and offer freedom, but job postings demand experience you don't have. Maybe you've thought about a computer science degree or a bootcamp-but here's the truth: neither truly prepares you for real jobs.This isn't another success story you can't replicate or a dry coding book. Instead, you'll dive into a fiction story that cleverly weaves in complicated tech terms, making them easy to grasp. Designed specifically for those with absolutely no prior programming experience or understanding of the tech industry, this book is definitely not for seasoned developers.Consider this your action plan-a step-by-step guide to gaining real experience, proving your skills, and getting hired fast. Forget meaningless exercises, "hello world" projects, or endless courses-this is about a practical strategy to break into the tech industry.Inside, you'll discover: How to start from zero-without a degree, bootcamp, or prior experienceWhy degrees and bootcamps often fall short-and what to do insteadHow to gain real experience that employers actually valueHow to prove your skills-so companies want to hire you, no waiting requiredHow to use AI to learn faster and stand outHow to get hired-without wasting time on the broken, traditional pathYou don't need permission, a diploma, or another tutorial to start your tech career. Real-world experience is the key to landing a tech job-and this book will show you exactly where to get it.Ready to write your own success story? Greenlight your career in tech today!
Algorithmic Worldmaking
Illuminates how algorithms, intertwined with human biases, damage political discourse and civic engagement.Algorithmic Worldmaking is an urgent exploration of the dynamic relationship between algorithms that encode their human creators' assumptions and the humans whose choices are shaped by these algorithms in search engines, social media, and other digital spaces. Transcending discussions of one or the other, Jeremy David Johnson traces the corrupting political and social influences that arise from their mutual interaction.Johnson uses the concept of kosmos in its sense of a dynamic order to frame the interplay between algorithms, humans, and their environments. He first shows how algorithms, far from being objective or unbiased, perpetuate human errors. Johnson then suggests a framework of four parts--navigation, exploration, maintenance, and monetization--to map the variety of political consequences to a society influenced by these four factors.Citing controversies at major platforms such as Google, YouTube, and Facebook, Johnson demonstrates how algorithms limit and shape human thought. He makes several persuasive arguments. First, algorithms and humans share agency but humans have exceptional responsibility. Second, the algorithmic kosmos mirrors and shapes social oppression. Third, algorithms incentivize capitalist exploitation. Last, these influences damage democratic deliberation.This landmark study is essential for scholars and students of political science, media studies, and those interested in the perilous implications of algorithmic systems on civic and political life.
Python for Absolute Beginners
This book eases you into the foundational aspects of Python 3.x with an extensive range of code samples that illustrate its diverse features. Start with Python tools and installations, and progressively learn intricacies like strings, loops, conditional logic, and much more. The appendices on NumPy and Pandas provide insights into efficient numerical operations, making it a holistic resource for novice programmers. Companion files with code samples are available for downloading from the publisher. FEATURES: Starts with the basics and advancing to complex topics, helping you grasp the essence of Python step-by-stepIncorporates a multitude of practical tasks, aiding in reinforcing concepts and honing skillsIncludes appendices on NumPy and Pandas which furnish a concise introduction to numerical operations in Python, rounding off your beginner's learning curveCompanion files with code samples are available for downloading from the publisher
A Concise Introduction to Software Engineering
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering - a key goal of this textbook. This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices essential for key tasks in software projects. It begins with a chapter covering industry-standard software, open-source tools, and the basics of prompt engineering for LLMs. The second chapter delves into project management, including development process models, planning, and team-working. Subsequent chapters focus on requirements analysis and specification, architecture design, software design, coding, testing, and application deployment. Each chapter presents concepts, practical methods, examples, the application of LLMs, and the role of open-source software. A companion website provides some comprehensive case studies, as well as teaching material including presentation slides. This textbook is ideal for an introductory course on software engineering where the objective is to develop knowledge and skills to execute a project--specifically in a team employing contemporary software engineering practices and using open source and LLMs. It is also suitable for professionals who want to be introduced to the systematic approach of software engineering and/or use of open source and LLMs. The author is a distinguished professor at IIIT-Delhi and a well-known academic in software engineering. He has served as vice president in Infosys Technologies Limited and as a visiting researcher at Microsoft Corporation. Reviews of the first edition: "This book's title provides an excellent description of its content. ... This compact volume is organized into eight well-focused chapters containing numerous examples and well-designed self-test exercises. Includes an excellent collection of references and a very useful index. Summing Up: Highly recommended. Upper-division undergraduate through professional readers; two-year technical program students." (J. Beidler, Choice, Vol. 46 (6)) "Jalote's intention in this book is to present just enough material to teach beginning software engineers what they need to know to do a development project that carries a smallproduct from conception through delivery. The result is a short book ... making this sort of book very attractive as a text for introductory software engineering. ... topics are well chosen and their discussion is good." (Christopher Fox, ACM Computing Reviews)
Automated Technology for Verification and Analysis
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.
Testing Software and Systems
This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Best Paper Award; Industry and Challenge Tracks; Mutation Testing and Code Generation; Advancing Code Vulnerability Detection; Short Papers; Tutorial; Journal First; Health Track; Innovations in Software Testing and AI Compliance; Improving Software Testing Reliability and Advancements in Testing Methodologies.
Excel Mastery
Buy the Paperback Version and Get the eBook Version Completely Free!Master Excel with Clarity and Confidence - Your Step-by-Step Guide to Excel MasteryAre you ready to unlock the power of Excel? Whether you're an absolute beginner or looking to level up your skills, this guide is designed to make learning Excel easy, practical, and enjoyable. Packed with clear illustrations, step-by-step instructions, and hands-on exercises, this book ensures you can confidently navigate Excel's most powerful features.What Makes This Book Stand Out?✅ Detailed Illustrations: Every concept and tutorial is accompanied by visuals, making it easy to follow each step. No guesswork-just clear guidance!✅ Practice Exercises with Solutions: Apply what you learn with practical exercises, and check your work with detailed solutions to solidify your understanding.✅ Beginner-Friendly to Advanced Skills: From mastering the basics to tackling advanced functions, this book grows with you.Excel Is Essential for Success!With over 80% of jobs requiring Excel skills, mastering this tool can give you the edge you need in your career, studies, or personal projects. This book doesn't just teach you Excel-it empowers you to apply it confidently in real-world scenarios.Get your copy now, and take the first step towards Excel mastery today!
Sailing a Software Company
Navigate Challenges with Resilience and Claim Your Treasure! Software development is messy. You start with a clear roadmap, but soon you're lost in uncharted waters-ballooning features, unforeseen dependencies, and endless bugs. Without a clear compass guiding the way, it's easy to drift, wasting time and losing momentum. The key? Resilience and a focus on measurable value. Clear the Decks You can't do it all, and trying will sink the ship. Saying no to non-critical features, pruning the backlog, and delaying releases when necessary aren't failures-they're strategies to keep the team focused on delivering what matters most. The Treasure Map Treasure isn't perfection; it's progress. It's seeing measurable value in every feature-whether that's improved user experience, reduced churn, or streamlined processes. Success comes from learning and improving with each sprint, not chasing unattainable ideals. Tools and Crew Your tools are your auto-pilot, but they're not the whole solution. CI/CD pipelines, automated testing, and monitoring dashboards are game-changers, but they only shine when paired with a strong crew. Invest in your people, provide clear goals, and foster a culture of trust and growth. It's the team, not the tools, that steers the ship. Learn from Mistakes Mistakes are inevitable-embrace them. Each error is a marker on your map, guiding you toward a better process. A failed deployment teaches rollback strategies; a misaligned feature highlights the need for clearer communication. Progress isn't about avoiding mistakes-it's about learning from them. Celebrate the Journey Don't wait for big wins to celebrate. A bug caught before production, a new developer's first successful feature, or a retro where the team solves a major issue-these are the real victories. Recognizing small wins keeps the crew motivated and reminds you why you love this work. Claim Your Treasure Your treasure isn't at the end of the map-it's in the journey. The lessons, relationships, and resilience you build along the way are the true rewards. So hoist the flag, clear the decks, and steer your ship with confidence. The treasure is yours to claim.
Data Structures and Algorithms in JavaScript
Not the Same Old JavaScript. Think you know JavaScript? Think again. This isn't your typical coding book--it's a deep dive into the powerful world of data structures and algorithms that will transform the way you approach problem solving in JavaScript. Whether you're a frontend developer tackling complex applications, a backend engineer building scalable systems, or a programmer preparing for technical interviews, this book will revolutionize the way you code. Key features include: Modern JavaScript techniques: Use the latest language features and functional programming principles for cleaner, more efficient code.Performance-focused approach: Analyze and optimize algorithms using Big O notation.Essential algorithms explained: Implement and fine-tune core algorithms like quicksort, merge sort, digital search, and binary search.Algorithm design strategies: Solve challenging problems with techniques like recursion, dynamic programming, backtracking, and brute-force search.Advanced data structures: Explore complex structures such as binary search trees, heaps, and graphs. Each chapter is carefully crafted with clear, no-nonsense explanations of complex concepts, real-world coding examples, and challenging questions (with answers at the end) to reinforce your understanding. Ready to break free from ordinary JavaScript? Whether your aim is to build cutting-edge web applications, optimize critical systems, or land your dream job, this book equips you with the advanced JavaScript knowledge that sets true experts apart.
Teach Yourself Visually Windows 11
A fully illustrated, up-to-date, and start-to-finish guide to using Windows 11 devices Tired of tech books that tell you what to do but never actually show you how to use your latest devices? Then Teach Yourself VISUALLY Windows 11, 2nd Edition is for you. This book walks you through exactly how to get things done in Microsoft's newest Windows updates with crystal-clear, high-resolution screenshots and pictures that won't leave you scratching your head and wondering, "Why didn't that work?" Teach Yourself Visually Windows 11 is a complete, start-to-finish visual tour of Windows 11. It will take you from "What do I do first?" to Windows guru, one picture and instruction at a time. Looking for help on how to set up your Windows 11 tablet, laptop, or desktop computer for the first time? Teach Yourself Visually Windows 11 has got you covered with the visual interface explanations, Wi-Fi connection assistance, and Microsoft account setup directions you need to make that PC come alive. And that's just chapter one. Teach Yourself VISUALLY Windows 11 will also guide you through how to customize your PC, get connected to--and stay safe on--the web, message and email your friends and family, find specific files on your hard drive, check the weather forecast, secure your device against hackers and looky-loos, and pretty much everything else you can think of. You'll find: Hundreds of hi-res, full-page images and screenshots that demonstrate basic and advanced Windows 11 tasks you'll use every day Techniques for making your PC easier to use, including changing the font size, using your voice to active your computer, and more Ways to share your photos, videos, voice notes, and messages with your loved ones See Microsoft's new Copilot AI in action and use generated text and images in your documents, emails, and chats Teach Yourself VISUALLY Windows 11 is the easiest, most intuitive, most fun, and most effective guide for everyone who prefers "show" over "tell" and who's ready to master their Windows 11 tablet, laptop, or desktop PC.
50 Algorithms Every Programmer Should Know - Second Edition
Delve into the realm of generative AI and large language models (LLMs) while exploring modern deep learning techniques, including LSTMs, GRUs, RNNs with new chapters included in this 50% new edition overhaulPurchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesFamiliarize yourself with advanced deep learning architecturesExplore newer topics, such as handling hidden bias in data and algorithm explainabilityGet to grips with different programming algorithms and choose the right data structures for their optimal implementationBook DescriptionThe ability to use algorithms to solve real-world problems is a must-have skill for any developer or programmer. This book will help you not only to develop the skills to select and use an algorithm to tackle problems in the real world but also to understand how it works.You'll start with an introduction to algorithms and discover various algorithm design techniques, before exploring how to implement different types of algorithms, with the help of practical examples. As you advance, you'll learn about linear programming, page ranking, and graphs, and will then work with machine learning algorithms to understand the math and logic behind them.Case studies will show you how to apply these algorithms optimally before you focus on deep learning algorithms and learn about different types of deep learning models along with their practical use.You will also learn about modern sequential models and their variants, algorithms, methodologies, and architectures that are used to implement Large Language Models (LLMs) such as ChatGPT.Finally, you'll become well versed in techniques that enable parallel processing, giving you the ability to use these algorithms for compute-intensive tasks.By the end of this programming book, you'll have become adept at solving real-world computational problems by using a wide range of algorithms.What you will learnDesign algorithms for solving complex problemsBecome familiar with neural networks and deep learning techniquesExplore existing data structures and algorithms found in Python librariesImplement graph algorithms for fraud detection using network analysisDelve into state-of-the-art algorithms for proficient Natural Language Processing illustrated with real-world examplesCreate a recommendation engine that suggests relevant movies to subscribersGrasp the concepts of sequential machine learning models and their foundational role in the development of cutting-edge LLMsWho this book is forThis computer science book is for programmers or developers who want to understand the use of algorithms for problem-solving and writing efficient code.Whether you are a beginner looking to learn the most used algorithms concisely or an experienced programmer looking to explore cutting-edge algorithms in data science, machine learning, and cryptography, you'll find this book useful.Python programming experience is a must, knowledge of data science will be helpful but not necessary.Table of ContentsCore AlgorithmsData StructuresSorting and Searching AlgorithmsDesigning AlgorithmsGraph AlgorithmsUnsupervised Machine Learning AlgorithmsSupervised Learning AlgorithmsNeural Network AlgorithmsNatural Language ProcessingSequential ModelsAdvanced Machine Learning ModelsRecommendation EnginesAlgorithmic Strategies for Data Handling Large-Scale AlgorithmsEvaluating Algorithmic SolutionsPractical Considerations
Bridging the Gap Between AI and Reality
This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.
Developing Mobile Apps
In today's fast-paced digital economy, mobile apps have become more than just tools - they're essential drivers of business success. For non-technical business executives, navigating the world of mobile app development can feel daunting, but understanding its core principles is critical for leading teams, making strategic decisions, and ensuring a return on investment. In Developing Mobile Apps, a comprehensive guide crafted by Mr. Barenboim, a seasoned technology executive with over 25 years of experience, you'll gain the knowledge needed to confidently steer your app development projects toward success. Written specifically for business leaders, this book demystifies the complexities of app development without relying on technical jargon. Drawing from a career managing global teams, launching multi-million-dollar platforms, and delivering apps used by millions of people, Mr. Barenboim bridges the gap between technology and business strategy. With advanced credentials in Computer Science and Business Administration, as well as having held software engineering, organizational leadership, and executive management positions at various firms including IBM, Tyco, Verizon, and Bankrate, Mr. Barenboim brings unparalleled insights into aligning app development with broader business objectives. This book takes you through the entire lifecycle of mobile app creation, from conceptualizing features that resonate with your audience to ensuring seamless design, rigorous testing, and effective post-launch scaling. Along the way, you'll discover actionable strategies to foster collaboration between technical and non-technical teams, use analytics to make informed decisions and balance user experience with business goals. Developing Mobile Apps is a must-read for business executives seeking to unlock the full potential of mobile technologies. Packed with real-world examples, actionable advice, and clear explanations, this guide will empower you to lead with confidence, build impactful digital products, and stay competitive in an increasingly app-driven world. Whether you're launching your first app or looking to refine your digital strategy, this book is your roadmap to success.
Advances in Computing
This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024. The 50 full papers and 5 short papers included in this book were carefully reviewed and selected from 124 submissions. They were organized in topical sections as follows: Artificial Intelligence; Pattern recognition and computer vision; Computational statistics and formal methods; Cyber security and information security; Data, information and knowledge; ICT for education and e-Learning; Industry 4.0 and digital transformation; Software engineering and automation.
Software Vulnerability Discovery Process
This book is an overview of basics and other related fundamentals pertaining to software vulnerability discovery as a process. This collaboration of academia and industry disseminates various practical mathematical modeling-based tools and analytics used for vulnerability discovery.
Advances in Computing
This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-6, 2024. The 50 full papers and 5 short papers included in this book were carefully reviewed and selected from 124 submissions. They were organized in topical sections as follows: Artificial Intelligence; Pattern recognition and computer vision; Computational statistics and formal methods; Cyber security and information security; Data, information and knowledge; ICT for education and e-Learning; Industry 4.0 and digital transformation; Software engineering and automation.
Job Scheduling Strategies for Parallel Processing
This book constitutes the refereed proceedings of the 27th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2024, held in San Francisco, CA, USA, on May 31, 2024. The 10 full papers included in this book were carefully reviewed and selected from 15 submissions. The JSSPP 2024 covers several interesting problems within the resource management and scheduling domains.
Modern Approach to C Programming
DESCRIPTION C is a powerful and versatile programming language used for building everything from operating systems to video games. This book equips you with the essential knowledge to solve problems and create efficient programs using C.This book provides a comprehensive guide to C programming, starting with the fundamentals of the C language and progressing to advanced topics. It begins by introducing the syntax, data types, operators, control flow statements, and functions. The book then delves into arrays and strings, two essential data structures in C programming. Subsequently, it explores advanced topics such as pointers, structures, unions, and file handling. This book will help readers have a solid understanding of C programming and be equipped to write efficient C programs.By the end of this book, you will be a confident C programmer, ready to write effective code and solve real-world problems. The book provides you with the foundational skills and knowledge to approach programming challenges with a newfound sense of ease, paving the way for a rewarding career as a C programmer.WHAT YOU WILL LEARN● Apply operators and control structures to create efficient programs.● Develop modular programs using functions for better code management.● Work with arrays to store and manipulate large datasets.● Use pointers for dynamic memory allocation and data manipulation.● Handle file input/output to store and retrieve program data. WHO THIS BOOK IS FORThis book is designed for beginners with no prior programming knowledge, as well as for those who wish to improve their C programming skills. It is ideal for undergraduate students, educators, and professionals from various disciplines, such as science, engineering, management, and technology, who want to develop strong problem-solving abilities using C.
Mastering Windows 365
Go from zero to hero by unlocking the latest advanced IT Pro skills for Windows 365, Intune and Intune Suite, Microsoft Copilot, AI PCs, and much more!Key Features: - Gain hands-on expertise in deploying and managing Windows 365 cloud PCs- Explore advanced features like Microsoft Intune, Graph API, and Security Copilot- Learn directly from Microsoft experts who helped shape Windows 365 and Azure Virtual DesktopBook Description: Windows 365 Cloud PC is a revolutionary Windows Cloud solution that offers users a seamless and secure Windows experience from virtually any device. The goal of this book is to help you understand, deploy, manage, secure, and optimize Windows 365 Cloud PCs, Intune Suite, Copilot+ AI PCs, and the new Windows App effectively.This comprehensive book takes you on an illuminating journey through the evolving landscape of Windows 365 cloud computing, delving into the core concepts, deployment intricacies, management strategies, and advanced capabilities of this cutting-edge technology. Prepare to embark on a tour into the realm of Windows cloud computing and witness the unfolding evolution of Windows as it becomes increasingly fueled by the synergy of Intune, Intune Suite, Windows Cloud, and AI technologies.Authored by visionaries from the Windows 365 product group and a distinguished Microsoft MVP, this book offers invaluable insights into the intricacies of Windows 365 - its functionalities, features, partner add-value solutions, and best practices. With a wealth of experience, these experts are poised to illuminate the path to the next generation of cloud computing, affording you a rare opportunity to grasp this cutting-edge technology from those embedded within the industryWhat You Will Learn: - Master the deployment and configuration of Windows 365 cloud PCs- Use Intune for streamlined cloud PC management and security- Automate workflows with Microsoft Graph for improved efficiency- Implement robust Microsoft security protocols with Copilot in Intune- Optimize performance, diagnose issues, and troubleshoot cloud environments- Stay ahead with insights into future innovations in cloud computing- Secure your Windows 365 Cloud PC connection efficientlyWho this book is for: This book is for IT administrators, architects, consultants, and CIOs looking to leverage and design Windows 365 cloud PCs effectively and train for the Modern Desktop MD-102 Administrator certification. This book is also for anyone seeking to move their virtualization or Windows endpoints to the cloud with ease. Basic understanding of modern management based on Microsoft Intune and Microsoft 365 is required.Table of Contents- Introduction- Architecture- Deploying Cloud PCs- Managing Cloud PCsPrefinals to Author- Intune Suite: Optimize and Secure Your Cloud PC Deployment- Application Management and Delivery to Cloud PCs- Managing Cloud PCs with Microsoft Copilot in Intune- Accessing Cloud PCs- Accessing Cloud PCs- Securing Cloud PCs- Next-generation NDA content- Analyzing, Monitoring, and Troubleshooting Cloud PCs- Windows 365 Partner Solutions- Community Experts Hall of Fame
Write Your Own Programs
This book introduces you to the world of computer programming. Little prior knowledge is needed except for starting a text editor and typing. The text accompanies you all the way, from first experiments to writing real-world programs. How does a computer work? Which components does a computer have? What is a computer program? How do I analyze problems? How do I formulate solutions in program code? This book answers all these questions by means of numerous example programs of increasing size and complexity, starting with simple code that displays a greeting and ending with a fun video game and a full-featured text editor.
Service-Oriented Computing
The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3-6, 2024. The 38 full papers and 19 short papers presented in these proceedings were carefully reviewed and selected from 255 submissions. The papers are organized in the following topical sections: Part I: Edge and IoT; Generative AI; Service Security and Privacy; and Processes and Workflows. Part II: Cloud Computing; QoS and SLA; Microservice; Service Recommendation; Emerging Technologies and Approaches; Service Composition; Blockchain; and Industry Papers.
Python Essentials You Always Wanted to Know
Learn Python the Easy Way with No Prior Experience!Key Features include: Comprehensive coverage of Python basicsIdeal for beginners and career changersReal-world applications and case studiesPractical examples and quizzes for reinforcementGet ready to program with Python- one of the most in-demand skills of this decade! If you are interested in learning programming, but not sure where to start, Python Essentials You Always Wanted to Know is your guide to learning Python, one of the most versatile and beginner-friendly programming languages. This book is designed with absolute beginners in mind, focusing on clear explanations and practical examples rather than technical jargon. Regardless of skill level, there's something here for everyone, from the basics of programming logic to more advanced topics like object-oriented programming and error handling. Whether you're a student, a professional transitioning into tech, or simply curious about coding, this book will help you to think like a programmer and enhance your programming skills.The book also includes a chapter dedicated to case studies, giving you the opportunity to practice and apply the discussed concepts. Additionally, you will gain exclusive access to an online glossary of functions and methods mentioned throughout the book to help you retain and understand crucial programming terms.After reading this book, you'll be able to: Understand programming fundamentals and Python syntaxApply data structures, functions, and modular programmingImplement object-oriented principles in your projectsLeverage Python for data analysis and business insightsPart of Vibrant Publishers' Self-Learning Management Series, the book serves as a valuable guide for developing programming skills to complement your existing expertise and advance your career.
Product-Focused Software Process Improvement
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024. The 18 full papers, 12 short papers, 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers, and one Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The main theme of PROFES 2024 was professional software process improvement (SPI) motivated by product, process, and service quality needs. The technical program of PROFES 2024 was selected by a committee of leading experts in software process improvement, software process modeling, and empirical software engineering.
We, Programmers
The Journey of Programming and Its Pioneers: From the Birth of Code to the Rise of AI In We, Programmers, software legend Robert C. Martin--"Uncle Bob"--dives deep into the world of programming, exploring the lives of the groundbreaking pioneers who built the foundation of modern computing. From Charles Babbage and Ada Lovelace to Alan Turing, Grace Hopper, and Dennis Ritchie, Martin shines a light on the figures whose brilliance and perseverance changed the world. This memoir-infused narrative provides a rich human history filled with technical insights for developers, examining the coding breakthroughs that shaped computing at the bit and byte level. By connecting these technical achievements with the human stories behind them, Martin gives readers a rare glimpse into the struggles and triumphs of the people who made modern technology possible. Depression, failure, and ridicule--these pioneers faced it all, and their stories intertwine with the evolution of computing itself as the field evolved from its humble beginnings to the cloud-based AIs of today. With the rise of AI, Martin also explores how this technology is transforming the future of programming and the ethical challenges that come with it. Notable topics include Understanding programming's roots and how they shaped today's tech landscape The human side of coding pioneers--what drove them, and what they overcame Key programming breakthroughs, from the early days of assembly to the rise of object-oriented languages The pivotal role World War II played in advancing computer science Insights and predictions regarding the ethical considerations surrounding AI and the future of programming For programmers, coders, and anyone fascinated by the intersection of people and machines, this guide to the history, humanity, and technology behind the code that powers our world today is a fascinating and essential read. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit籀ria, Brazil, during December 4-6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024. The 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers and 1 Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The contributions were organized in topical sections as follows: Industry Papers; Third Workshop on Engineering Processes and Practices for Quantum Software (PPQS 2024); and Doctoral Symposium Papers.
Modern Web Development with Angular
Learn modern Angular development and jumpstart your web development journey Start your journey in Angular development and learn to create powerful, scalable single page applications with this step-by-step book designed for beginners and experienced web developers. Discover the essentials of web development using Angular and TypeScript in a simple and practical way.Book Description Angular is one of the most popular and powerful frameworks for building dynamic, scalable web applications. With its robust ecosystem, it's widely used to create high-performance, enterprise-level applications. This book offers a hands-on approach to mastering Angular, guiding you from setting up your development environment to exploring advanced topics like unit testing. You'll start by learning how to set up Angular and create your first application, followed by gaining a solid understanding of TypeScript, enhancing your ability to work with Angular's strongly typed features. The book covers core building blocks like components, directives, pipes, and services, providing a strong foundation for robust applications. You'll also explore Angular's reactivity system and how to handle asynchronous data to build dynamic UIs. It dives into component communication, data flow, and both Reactive and Template-Driven forms, helping you implement form validation and handle user input effectively. Additionally, you'll master Angular's routing system, use Jest for unit testing, and explore new features like control flow syntax, Standalone components, and Signals. By the end, you'll be confident in building and managing Angular applications. What You'll LearnSet up your first Angular application and understand the basic structureMaster core concepts: components, directives, pipes, and servicesGet hands-on with TypeScript for typed, reliable web programmingExplore reactive programming with Angular and handle asynchronous dataBuild dynamic UIs with component communication and data flowImplement template-driven and reactive forms for better user experiencesLearn all about form validation to improve application reliabilityApply Angular routing and navigation to build seamless user journeysUse Jest for unit testing and ensure the performance of your applicationsDiscover advanced features like standalone components and signalsWho Is This Book For?This book is ideal for: Beginners who want to learn Angular for web developmentDevelopers looking to master Angular application developmentAnyone interested in building scalable Angular applications using modern approachesWhy Choose This Book?Comprehensive, easy-to-understand guides for every Angular programming topicPractical examples for building and managing real-world projectsFocused on web development success with up-to-date methodsNo copyrighted names, brands, or publisher references - fully compliant and originalGet started now and become confident in Angular web application development, JavaScript programming, and frontend frameworks.Table of Contents1. Setting up Angular2. Angular Application3. Introduction to Typescript4. Components, Directives, Pipes, and Services5. Getting Started with Reactivity6. Component Communication and Data Flow7. Reactive and Template-driven Forms8. Form Validation9. Routing10. Unit Testing Index
Terraform in Depth
An in-depth guide to everything Terraform, complete with newly established best practices and experienced insights into Infrastructure as Code. Terraform, and its new open source fork OpenTofu, practically eliminates manual infrastructure configuration, making it possible to script and automate almost every aspect of system management and administration. Its "Infrastructure as Code (IaC)" approach has a simple-yet-awesome premise: provision, update, scale, and replicate your infrastructure with the same ease as your application code. In Terraform in Depth, you'll discover absolutely everything you need to automate and manage your infrastructure with just a few lines of code. Inside Terraform in Depth, you'll learn how to: - Understand and write basic Terraform code - Avoid vendor lock-in with the open source OpenTofu - Switch between OpenTofu and Terraform as needed - Construct continuous integration and continuous delivery (CI/CD) pipelines with Terraform - Organize Terraform projects and modules for team-based, production use - Develop and test robust Terraform modules - Create custom Terraform providers Terraform in Depth is fully up to date with the latest versions, standards, and approaches of Terraform and OpenTofu. Complete and comprehensive, its one-stop approach covers everything from Terraform and OpenTofu's absolute basics all the way to advanced production uses. Every technique is illustrated with the kind of real-world examples infrastructure engineers encounter every day. About the book Terraform in Depth teaches you to effectively create and manage your infrastructure as Terraform code. Inside, you'll find essential insights into modern Terraform, including newly established patterns, best practices, and methods for empowering your development team with IaC. Each chapter is fully illustrated with hands-on examples, such as creating a flexible Terraform module to launch EC2 instances and debugging complex Terraform plans. Starting with the basics of reading and writing Terraform code, you'll quickly be able to define your infrastructure with Terraform and create reusable instances of your projects. Next, you'll dive into Terraform's advanced functions--including CI/CD pipelines, registries to distribute modules, and utilizing built-in tools for documentation, security, and module quality. Finally, you'll learn the secrets of Terraform code management, including rules for refactoring, testing modules, and advanced module patterns. About the reader For sysadmin and cloud engineers familiar with the CLI. About the author Robert Hafner has led engineering efforts at numerous startups, including Malwarebytes, Vicarious AI, and Rad AI. He is currently a Senior Principal Architect at a Fortune 100 Telecom in their Developer Experience organization. In his career, he has built large-scale infrastructure with reliability typically reserved for large organizations, while utilizing small, focused teams. When he's not working with computers, he's creating resin art or trying something new in the kitchen. He lives in Chicago with his amazing wife and two cats.
Graph Coloring
This book explores the problem of minimal valid graph coloring, first in the form of games and then of resolution algorithms. Emphasis is placed on deterministic, guaranteed and non-guaranteed methods. Stochastic methods are then just mentioned because they are already widely described in previous publications.The study then details a general quantum algorithm of polynomial complexity. A final chapter provides elements of reflection on diplomatic algorithms that, for the problem of coloring under resource constraints, seek a compromise minimizing frustrations. The appendix includes some mathematical additions and the source codes of the main algorithms presented, in particular the one of the quantum method.
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.
Building Resilient Architectures on AWS
Unlock the power of AWS to create resilient cloud architectures on AWS and operate your business efficiently using best practicesKey Features: - Transform chaos into reliability with real-world case studies and cutting-edge methods to design robust AWS architectures- Minimize downtime and protect business revenue through battle-tested architectural strategies- Implement scalable architecture solutions on AWS using proven patterns and best practices- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Building systems that can withstand failure is key to running a successful business on the cloud. Learn from distinguished AWS experts-Ajit, Imaya, and Rodrigue-who bring over four decades of experience in architecting enterprise-scale solutions, speaking at major AWS conferences, and implementing resilience strategies across diverse industries, as they guide you through building highly available and fault-tolerant applications on AWS.This book explores resiliency, offering steps to design, build, and operate resilient architectures on AWS. You'll master data security practices, backup strategies, and automation techniques, helping you build strong defenses and reliable recovery plans for resilience against disruptions. You'll also learn how to apply AWS Well-Architected pillars to design applications with redundancy, loose coupling, graceful degradation, and fault isolation. With architecture examples, you'll validate your design's effectiveness through resilient patterns, performance monitoring, and chaos engineering.By the end of this book, you'll be equipped with best practices for creating robust cloud infrastructures to ensure business continuity and success and become proficient at creating fault-tolerant systems, optimizing performance, and ensuring reliability across regions.What You Will Learn: - Master the key concepts and principles of building resilience in the cloud- Architect modern applications using serverless and containers following best practices- Use the AWS Well-Architected Framework to build durable architectures- Anticipate operational events with chaos engineering techniques- Understand when and how to use multi-region and cell-based architectures- Attain highly efficient and reliable workload architectures on AWS- Navigate the collaborative approach of the AWS Shared ResponsibilityWho this book is for: The book is for developers, architects, site reliability engineers, and IT managers who use cloud services for their workloads. It is particularly valuable for those using AWS to develop, deploy, and operate their applications. Prior knowledge of public cloud, architecting highly available infrastructure and applications, software development, deployment, and DevOps practices is assumed. Table of Contents- Understanding Resilience Concepts- Implementing Resilient Compute and Auto Scaling- Securing and Backing Up Critical Data- Orchestrating Graceful Degradation- Exploring the AWS Shared Responsibility Model- Learning AWS Well-Architected Principles for Resiliency- Architecting Fault-Tolerant Applications- Resiliency Considerations for Serverless Applications- Using Containers to Improve Resiliency- Resilient Architectures Across Regions- Examples of Resilient Architecture- Observability, Auditing, and Continuous Improvement- Performing Chaos Engineering Testing- Disaster Recovery Planning and Testing- Finalize Building Resilient Architecture Using AWS Resilience Services
