Systemanalyse og systemdesign

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

Excel para análise de dados é um guia completo que explora o mundo da Business Intelligence e da análise de dados utilizando o Excel. Este livro abrange tudo, desde a importação e limpeza de dados até à criação de dashboards e visualizações interactivas. Quer seja um principiante ou um utilizador experiente do Excel, este livro irá equipá-lo com as competências e os conhecimentos necessários para analisar e visualizar dados de forma eficaz.Nos primeiros capítulos, aprenderá as noções básicas do Excel como uma ferramenta para a análise de dados, incluindo a configuração do Excel para a análise de dados e a navegação na interface do Excel. Em seguida, o livro aborda as técnicas de importação e limpeza de dados, ensinando-o a importar dados para o Excel, a limpar e transformar dados e a lidar com erros e dados em falta.O livro também abrange técnicas avançadas de análise de dados, tais como a utilização de fórmulas e funções para análise, a realização de análises estatísticas e a utilização do Solver para otimização. Além disso, ficará a conhecer a modelação de dados e o Power Query, criando relações entre tabelas e combinando dados de várias fontes.Com foco na visualização de dados, o livro explora a criação de tabelas e gráficos avançados, utilizando sparklines e barras de dados, personalizando elementos de gráficos e visualizando dados geográficos. Também aborda as tabelas dinâmicas e o Power Pivot para análise avançada de dados, bem como o Power View e o Power Map para visualização interactiva de dados.Além disso, o livro aborda tópicos como a análise de dados com o Excel Solver, macros do Excel para automatizar tarefas de análise de dados e a utilização de suplementos do Excel para análise estatística e transformação de dados. Conclui com as melhores práticas para a visualização de dados, incluindo a escolha do gráfico correto para os seus dados, a conceção de painéis de controlo e relatórios eficazes e a apresentação eficaz de informações sobre dados.Quer seja um profissional de negócios, analista ou estudante, "Excel para análise de dados" é o seu guia definitivo para aproveitar o poder do Excel para Business Intelligence e análise de dados.

Excel for Data Insights is a comprehensive guide that explores the world of Business Intelligence and data analysis using Excel. This book covers everything from importing and cleansing data to creating interactive dashboards and visualizations. Whether you are a beginner or an experienced Excel user, this book will equip you with the skills and knowledge needed to effectively analyze and visualize data.In the first few chapters, you will learn the basics of Excel as a tool for data insights, including setting up Excel for data analysis and navigating the Excel interface. The book then dives into data import and cleansing techniques, teaching you how to import data into Excel, clean and transform data, and handle errors and missing data.The book also covers advanced data analysis techniques, such as using formulas and functions for analysis, performing statistical analysis, and utilizing Solver for optimization. Additionally, you will learn about data modeling and Power Query, creating relationships between tables, and combining data from multiple sources.With a focus on data visualization, the book explores creating advanced charts and graphs, using sparklines and data bars, customizing chart elements, and visualizing geographic data. It also delves into PivotTables and Power Pivot for advanced data analysis, as well as Power View and Power Map for interactive data visualization.Furthermore, the book covers topics like data analysis with Excel Solver, Excel macros for automating data analysis tasks, and using Excel add-ins for statistical analysis and data transformation. It concludes with best practices for data visualization, including choosing the right chart for your data, designing effective dashboards and reports, and presenting data insights effectively.Whether you are a business professional, analyst, or student, "Excel for Data Insights" is your ultimate guide to harnessing the power of Excel for Business Intelligence and data analysis.

This handbook distils the wealth of expertise and knowledge from a large community of researchers and industrial practitioners in Software Product Lines (SPLs) gained through extensive and rigorous theoretical, empirical, and applied research. It is a timely compilation of well-established and cutting-edge approaches that can be leveraged by those facing the prevailing and daunting challenge of re-engineering their systems into SPLs. The selection of chapters provides readers with a wide and diverse perspective that reflects the complementary and varied expertise of the chapter authors. This perspective covers the re-engineering processes, from planning to execution.SPLs are families of systems that share common assets, allowing a disciplined software reuse. The adoption of SPL practices has shown to enable significant technical and economic benefits for the companies that employ them. However, successful SPLs rarely start from scratch, but instead, they usually start from a set of existing systems that must undergo well-defined re-engineering processes to unleash new levels of productivity and competitiveness.Practitioners will benefit from the lessons learned by the community, captured in the array of methodological and technological alternatives presented in the chapters of the handbook, and will gain the confidence for undertaking their own re-engineering challenges. Researchers and educators will find a valuable single-entry point to quickly become familiar with the state-of-the-art on the topic and the open research opportunities; including undergraduate, graduate students, and R&D engineers who want to have a comprehensive understanding of techniques in reverse engineering and re-engineering of variability-rich software systems.

This book constitutes refereed proceedings of the Fourth International Conference on Emerging Technology Trends in Electronics, Communication and Networking, ET2ECN 2021. The volume covers a wide range of topics, including electronic devices, VLSI design and fabrication, photo electronic systems and applications, integrated optics, embedded systems, wireless communication, optical communication, free-space optics, signal processing, image/audio/video processing, wireless sensor networks, next-generation networks, network security, and many others. The book will serve as a valuable reference resource for academia and researchers across the globe.

This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 11 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 45 submissions. The conference covers a wide range of embedded systems design aspects, including machine learning accelerators, and power management and programmable dataflow systems.

This book presents recent advances in performability analysis methods and their applications in different fields. It covers various aspects of performability such as quality, reliability, maintainability, availability, safety, security, and sustainability that are essential in complex engineering systems such as electrical grids, chemical plants, naval defense systems, structures, nuclear reactors, railways, etc. This book is a collection of research works contributed by the former students of Professor KB Mishra who is a renowned researcher in reliability engineering. This book is useful for the researchers and professionals working in the area of performability engineering.

This book constitutes the refereed proceedings of the 9th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2023, held in Ho-Chi-Minh City, Vietnam, during August 2-3, 2023. The 23 full papers were selected from 55 submissions and are organized thematically in tracks on telecommunications systems and networks; information processing and data analysis; industrial networks and intelligent systems; security and privacy.

This book constitutes the proceedings of the 12th International Congress on Telematics and Computing, WITCOM 2023, held in Puerto Vallarta, Mexico, in November 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 88 submissions. The papers are focused on the topics of artificial intelligence techniques, data science, blockchain, environment monitoring, cybersecurity, education, and software for communications protocols.

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.

This book constitutes the refereed post-conference proceedings of the Fifth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2022, held in Amsterdam in October 2022.The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: IoT for Smart Villages, Security and Safety, Smart Home, Development, Engineering, Machine Learning, and Applications.

This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4¿6, 2023.The 23 full papers and 1 short papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections as follows: High Performance Computing and Parallelized Computing, Storage Systems and File Management, Networking and Cloud Computing, Computer Architecture and Hardware Acceleration, Machine Learning and Data Analysis, Distinguished Work from Student Competition.

This book constitutes the constitutes the refereed proceedings of the 10th IFIP WG 6.12 European Conference on Service-Oriented and Cloud Computing , ESOCC 2023, held in Larnaca, Cyprus, during October 24¿26, 2023. The 12 full papers and 4 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Microservices; Quality of Service; Service Orchestration; Edge Computing; PhD Symposium; and Industry Projects Track.

This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held in Florence, Italy, in June 2023.The 26 papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering. The sessions covered a wide range of topics including robustness analysis, machine learning, edge and cloud computing, as well as more traditional topics on stochastic modelling, techniques and tools.

This book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023. The 17 full papers were carefully reviewed and selected from 33 submissions. The papers focus on the latest research that leverages the understanding of key principles, processes, and mechanisms in biological systems for development of novel information and communications technologies (bio-inspired ICT). BICT 2023 will also highlight innovative research and technologies being developed for biomedicine that are inspired by ICT (ICT-inspired biomedicine).

A step-by-step guide that will help you create, share, and deploy applications across your organization using Microsoft Power AppsPurchase of the print or Kindle book includes a free PDF eBookKey FeaturesBuild apps from scratch to solve real-world business scenariosLearn how to keep app data secure with expanded coverage on DataverseIncorporate AI into your app building process using AI Builder and CopilotBook DescriptionMicrosoft Power Apps provides a modern approach to building low-code business applications for mobiles, tablets, browsers, and Microsoft Teams. The second edition of Learn Microsoft Power Apps will guide you in creating well designed and secure apps that transform old processes and workflows.Learn Microsoft Power Apps starts with an introduction to Power Apps to help you feel comfortable with the creation experience. Using screenshots from the latest UI, you will be guided through how to create an app, building your confidence to start developing further. This book will help you design, set up, and configure your first application by writing simple formulas. You'll learn about the different types of apps you can build in Power Apps and which one applies best to your requirements.In addition to this, you'll learn how to identify the right data storage system for you, with new chapters covering how to integrate apps with SharePoint or Dataverse. As you advance, you'll be able to use various controls, connectors, and data sources to create a powerful, interactive app. For example, this book will help you understand how Power Apps can use Microsoft Power Automate, Power BI, and Azure functionalities to improve your applications. Finally, you will be introduced to the emerging Power Apps Copilot tool, which uses artificial intelligence to accelerate the app building process.By the end of this Power Apps book, you'll be ready to confidently develop lightweight business applications with minimal code.What you will learnUnderstand the Power Apps ecosystem and licensingTake your first steps building canvas appsDevelop apps using intermediate techniques such as the barcode scanner and GPS controlsExplore new connectors to integrate tools across the Power PlatformStore data in Dataverse using model-driven appsDiscover the best practices for building apps cleanly and effectivelyUse AI for app development with AI Builder and CopilotWho this book is forThis book is intended for business analysts, IT professionals, and both developers and non-developers alike. If you want to meet business needs by creating purpose-built apps, this book is for you. To get the most out of this book, it is recommended that you have a basic understanding of Microsoft 365 as you will interact with various elements of it while developing apps.Table of ContentsIntroducing Power AppsCreating Your First Canvas Power AppCreating Apps in SharePointPublishing and Leveraging in Power AppsExploring ControlsExploring FormulasExploring Reusable ControlsWorking With DataIntroducing ConnectorsUsing GPS in Power AppsWorking with Images and BarcodesSecuring Your PowerAppsWorking OfflineUsing Power Automate with Power AppsUsing Azure with Power AppsVisualizing DataIntroducing Artificial IntelligenceIntroducing Microsoft DataverseIntroducing Model-Driven AppsCreating Model-Driven AppsExploring Environments and Data PoliciesIntroducing the Future of Power AppsGood Practices for Creating Power AppsAppendix

"e;This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers  a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded computing and software. Its conceptual clarity, the style of explanations and the examples make the abstract concepts accessible for a wide audience."e;Janos Sztipanovits, DirectorE. Bronson Ingram Distinguished Professor of EngineeringInstitute for Software Integrated SystemsVanderbilt UniversityReal-Time Systems focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting.  Compared to the Second Edition, new developments in communication standards for time-sensitive networks, such as TSN and Time-Triggered Ethernet are addressed. Furthermore, this edition includes a new chapter on real-time aspects in cloud and fog computing.The book is written as a standard textbook for a high-level undergraduate or graduate course on real-time embedded systems or cyber-physical systems.  Its practical approach to solving real-time problems, along with numerous summary exercises, makes it an excellent choice for researchers and practitioners alike.