Pragmatic Python Programming
Explore the world of programming languages through Python and learn the building blocks of writing programs. This book covers Python 3.10, explaining it through six key concepts. Each chapter contains a real-world example with practical advice and a section on advanced concepts. You'll start by reviewing the concept of expressions and functions, which are two of the core building blocks of programming languages. You'll then move on to object-oriented concepts to help gain a practical understanding of Python, along with a chapter on control flow constructs. The book also takes a close look at sequences, explaining constructs and additional types, and wraps up with a chapter on modules, focusing on how to use and create packages. Whether you're new to programming or already an experienced developer, upon finishing this book, you will have a solid understanding of Python's state-of-the-art development features.What You Will LearnStudy the six main concepts of the programming languagesLearn how to use programming language constructs through examplesReview the core Python language notations and concepts.Start using Python as a working language Who This Book Is ForSoftware developers wanting to gain professional core Python knowledge quickly, and non-developers wanting to gain an understanding of programming concepts.
Parallel Programming and Concurrency with C# 10 and .NET 6
Leverage the latest parallel and concurrency features in .NET 6 when building your next application and explore the benefits and challenges of asynchrony, parallelism, and concurrency in .NET via practical examplesKey Features: Learn to implement parallel programming and handle concurrency in .NET efficientlySwitch threads while debugging and learn how to monitor specific threads in Visual StudioDiscover how to cancel tasks with callbacks, by polling, or by using a task with wait handlesBook Description: .NET has included managed threading capabilities since the beginning, but early techniques had inherent risks: memory leaks, thread synchronization issues, and deadlocks. This book will help you avoid those pitfalls and leverage the modern constructs available in .NET 6 and C# 10, while providing recommendations on patterns and best practices for parallelism and concurrency. Parallel, concurrent, and asynchronous programming are part of every .NET application today, and it becomes imperative for modern developers to understand how to effectively use these techniques.This book will teach intermediate-level .NET developers how to make their applications faster and more responsive with parallel programming and concurrency in .NET and C# with practical examples. The book starts with the essentials of multi-threaded .NET development and explores how the language and framework constructs have evolved along with .NET. You will later get to grips with the different options available today in .NET 6, followed by insights into best practices, debugging, and unit testing.By the end of this book, you will have a deep understanding of why, when, and how to employ parallelism and concurrency in any .NET application.What You Will Learn: Prevent deadlocks and race conditions with managed threadingUpdate Windows app UIs without causing exceptionsExplore best practices for introducing asynchronous constructs to existing codeAvoid pitfalls when introducing parallelism to your codeImplement the producer-consumer pattern with Dataflow blocksEnforce data sorting when processing data in parallel and safely merge data from multiple sourcesUse concurrent collections that help synchronize data across threadsDebug an everyday parallel app with the Parallel Stacks and Parallel Tasks windowsWho this book is for: This book is for beginner to intermediate-level .NET developers who want to employ the latest parallel and concurrency features in .NET when building their applications. Readers should have a solid understanding of the C# language and any version of the .NET Framework or .NET Core.
Metaprogramming with Python
A practical approach to metaprogramming with real-world examples that enables the development of advanced frameworks, libraries, and applications using PythonKey Features: Learn applied metaprogramming through a simple step-by-step approachWork with easily understandable examples and explanations that take you deep into the theory of metaprogrammingGet practical experience in writing reusable code with real-world examplesBook Description: Effective and reusable code makes your application development process seamless and easily maintainable. With Python, you will have access to advanced metaprogramming features that you can use to build high-performing applications.The book starts by introducing you to the need and applications of metaprogramming, before navigating the fundamentals of object-oriented programming. Next, you will learn about simple decorators, work with metaclasses, and later focus on introspection and reflection. You'll also delve into generics and typing before defining templates for algorithms. As you progress, you will understand your code using abstract syntax trees and explore method resolution order. This Python book also shows you how to create your own dynamic objects before structuring the objects through design patterns. Finally, you will learn simple code-generation techniques along with discovering best practices and eventually building your own applications.By the end of this learning journey, you'll have acquired the skills and confidence you need to design and build reusable high-performing applications that can solve real-world problems.What You Will Learn: Understand the programming paradigm of metaprogramming and its needRevisit the fundamentals of object-oriented programmingDefine decorators and work with metaclassesEmploy introspection and reflection on your codeApply generics, typing, and templates to enhance your codeGet to grips with the structure of your code through abstract syntax trees and the behavior through method resolution orderCreate dynamic objects and generate dynamic codeUnderstand various design patterns and best practicesWho this book is for: If you are an intermediate-level Python programmer looking to enhance your coding skills by developing reusable and advanced frameworks, then this book is for you. Basic knowledge of Python programming will help you get the most out of this learning journey.
jOOQ Masterclass
Learn the best way to write SQL in Java by taking control of SQL in your app via a type-safe, dynamic and versatile API that supports almost any type or feature compatible with a database and emphasizes SQL syntax correctnessKey Features: Write complex, type-safe, and dynamic SQL using the powerful jOOQ APITackle complex persistence tasks, such as lazy fetching, R2DBC, transactions, and batching while sustaining high traffic in your modern Java applicationsUse a comprehensive SPI to shape and extend jOOQ according to your needsBook Description: jOOQ is an excellent query builder framework that allows you to emulate database-specific SQL statements using a fluent, intuitive, and flexible DSL API. jOOQ is fully capable of handling the most complex SQL in more than 30 different database dialects.jOOQ Masterclass covers jOOQ from beginner to expert level using examples (for MySQL, PostgreSQL, SQL Server, and Oracle) that show you how jOOQ is a mature and complete solution for implementing the persistence layer. You'll learn how to use jOOQ in Spring Boot apps as a replacement for SpringTemplate and Spring Data JPA. Next, you'll unleash jOOQ type-safe queries and CRUD operations via jOOQ's records, converters, bindings, types, mappers, multi-tenancy, logging, and testing. Later, the book shows you how to use jOOQ to exploit powerful SQL features such as UDTs, embeddable types, embedded keys, and more. As you progress, you'll cover trending topics such as identifiers, batching, lazy loading, pagination, and HTTP long conversations. For implementation purposes, the jOOQ examples explained in this book are written in the Spring Boot context for Maven/Gradle against MySQL, Postgres, SQL Server, and Oracle.By the end of this book, you'll be a jOOQ power user capable of integrating jOOQ in the most modern and sophisticated apps including enterprise apps, microservices, and so on.What You Will Learn: Enable the jOOQ Code Generator in any combination of Java and Kotlin, Maven and GradleGenerate jOOQ artifacts directly from database schema, or without touching the real databaseUse jOOQ DSL to write and execute a wide range of queries for different databasesUnderstand jOOQ type-safe queries, CRUD operations, converters, bindings, and mappersImplement advanced SQL concepts such as stored procedures, derived tables, CTEs, window functions, and database viewsImplement jOOQ multi-tenancy, tuning, jOOQ SPI, logging, and testingWho this book is for: This book is for Java developers who write applications that interact with databases via SQL. No prior experience with jOOQ is assumed.
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.
Domain-Driven Design with Java - A Practitioner's Guide
Adopt a practical and modern approach to architecting and implementing DDD-inspired solutions to transform abstract business ideas into working software across the entire spectrum of the software development life cycleKey Features: Implement DDD principles to build simple, effective, and well-factored solutionsUse lightweight modeling techniques to arrive at a common collective understanding of the problem domainDecompose monolithic applications into loosely coupled, distributed components using modern design patternsBook Description: Domain-Driven Design (DDD) makes available a set of techniques and patterns that enable domain experts, architects, and developers to work together to decompose complex business problems into a set of well-factored, collaborating, and loosely coupled subsystems.This practical guide will help you as a developer and architect to put your knowledge to work in order to create elegant software designs that are enjoyable to work with and easy to reason about. You'll begin with an introduction to the concepts of domain-driven design and discover various ways to apply them in real-world scenarios. You'll also appreciate how DDD is extremely relevant when creating cloud native solutions that employ modern techniques such as event-driven microservices and fine-grained architectures. As you advance through the chapters, you'll get acquainted with core DDD's strategic design concepts such as the ubiquitous language, context maps, bounded contexts, and tactical design elements like aggregates and domain models and events. You'll understand how to apply modern, lightweight modeling techniques such as business value canvas, Wardley mapping, domain storytelling, and event storming, while also learning how to test-drive the system to create solutions that exhibit high degrees of internal quality.By the end of this software design book, you'll be able to architect, design, and implement robust, resilient, and performant distributed software solutions.What You Will Learn: Discover how to develop a shared understanding of the problem domainEstablish a clear demarcation between core and peripheral systemsIdentify how to evolve and decompose complex systems into well-factored componentsApply elaboration techniques like domain storytelling and event stormingImplement EDA, CQRS, event sourcing, and much moreDesign an ecosystem of cohesive, loosely coupled, and distributed microservicesTest-drive the implementation of an event-driven system in JavaGrasp how non-functional requirements influence bounded context decompositionsWho this book is for: This book is for intermediate Java programmers looking to upgrade their software engineering skills and adopt a collaborative and structured approach to designing complex software systems. Specifically, the book will assist senior developers and hands-on architects to gain a deeper understanding of domain-driven design and implement it in their organization. Familiarity with DDD techniques is not a prerequisite; however, working knowledge of Java is expected.
Create an Enterprise-Level Test Automation Framework with Appium
Think from a framework design perspective and move beyond straightforward coding skills. You'll design an enterprise level test framework that is capable of supporting both TDD and BDD at the same time, using the latest open source tools and coding best practices. Taking a less-is-more approach, superfluous information is excised in favor of sleek and direct instruction and focused coding practices.Your framework will be built with Spring-Boot, Gradle, and Junit. And it will support HP QC integration, Allure (TDD, BDD), Extent (BDD), and customized Pdf reporting (TDD, BDD). Extensive utilities are provided, such as HP ALM integration, device management utilities, email reporting, pdf reporting, OCR utility, Log utility, and more! There's also a special chapter on internationalization/localization testing in multiple languages. After reading this book, you'll have full confidence in your ability to build new test automation frameworks for yourself. Though primarily written for software professionals who are in test automation, recent engineering graduates who have programming knowledge and want to prepare for a role in mobile test automation will also find what's taught here helpful. Test engineers and computer science graduates alike can use what they learn here to become absolute pros in test automation.What You'll LearnDesign an enterprise level mobile test automation framework capable of supporting both TDD and BDD Work with the latest open source tools and coding best practices Build with Spring-Boot, Gradle, and Junit while supporting HP QC integration, Allure, Extent, and customized PDF reportingWho This Book Is ForSoftware professionals working in test automation. Recent engineering graduates who have programming knowledge and want to prepare for a role in mobile test automation should also find it helpful.
JavaScript from Frontend to Backend
Delve into the world of web development with Vue.js, Node.js, and MongoDB by exploring essential JavaScript concepts on the client side and the server sideKey Features: Get up and running with JavaScript, the most popular web development language in the worldCut through the complexity and focus on the simple aspects of web developmentBuild a simple web application using Vue.js, Node.js, and MongoDBBook Description: JavaScript, the most widely used programming language in the world, has numerous libraries and modules and a dizzying array of need-to-know topics. Picking a starting point can be difficult. Enter JavaScript from Frontend to Backend. This concise, practical guide will get you up to speed in next to no time.This book begins with the basics of variables and objects in JavaScript and then moves quickly on to building components on the client-side with Vue.js and a simple list management application. After that, the focus shifts to the server-side and Node.js, where you'll examine the MVC model and explore the Express module. Once you've got to grips with the server-side and the client-side, the only thing that remains is the database. You'll discover MongoDB and the Mongoose module. In the final chapter of this fast-paced guide, you'll combine all these pieces to integrate a Vue.js application into a Node.js server, using Express to structure the server code and MongoDB to store the information.By the end of this book, you will have the skills and confidence to successfully implement JavaScript concepts in your own projects and begin your career as a JavaScript developer.What You Will Learn: Trigger deferred processing with JavaScriptImplement Express and MongoDB with Node.jsBuild components with Vue.jsUnderstand how to create and use modules with Node.jsFamiliarize yourself with npmBuild a client-side application entirely with JavaScriptDive into full stack development with Vue.js, Node.js, and MongoDBWho this book is for: This book is for JavaScript developers looking to strengthen their core JavaScript concepts and implement them in building full stack apps. Prior knowledge of HTML and CSS is a must.
Programming C# 10
C# is undeniably one of the most versatile programming languages available to engineers today. With this comprehensive guide, you'll learn just how powerful the combination of C# and .NET can be. Author Ian Griffiths guides you through C# 10.0 and .NET 6 fundamentals and techniques for building cloud, web, and desktop applications. Designed for experienced programmers, this book provides many code examples to help you work with the nuts and bolts of C#, such as generics, LINQ, and asynchronous programming features. You'll get up to speed on .NET 6 and the latest C# 9.0 and 10.0 additions, including records, enhanced pattern matching, and new features designed to remove "ceremony" to improve productivity. Understand how .NET has changed in the most recent releases, and learn what it means for application development Select the most appropriate C# language features for any task Learn when to use the new features and when to stick with older ones Examine the range of functionality available in .NET's class libraries Learn how you can apply these class libraries to practical programming tasks Explore numerous small additions to .NET that improve expressiveness "Unlike books that focus on Visual Studio and technologies that interact with C#, this one covers the core language, and mastery of this core is essential to successfully building good software. It covers important concepts followed by generous code examples to explain them. It's thorough, detailed, and gets at the nooks and crannies of the language rarely covered elsewhere. It's a complete course on C#." --Jeremy Morgan Software/DevOps Engineer Ian Griffiths has worked in various aspects of computing, including computer networking, embedded real-time systems, broadcast television systems, medical imaging, and all forms of cloud computing. Ian is a Technical Fellow at endjin, and a Microsoft MVP in Developer Technologies. He's the author of several O'Reilly books and has written courses on Windows Presentation Foundation (WPF) and TPL Tables. Technology brings him joy.
Integrated Software Architecture-Based Reliability Prediction for IT Systems
With the increasing importance of reliability in business and industrial IT systems, new techniques for architecture-based software reliability prediction are becoming an integral part of the development process. This dissertation thesis introduces a novel reliability modelling and prediction technique that considers the software architecture with its component structure, control and data flow, recovery mechanisms, its deployment to distributed hardware resources and the system�s usage profile.
MySQL Cookbook
For MySQL, the price of popularity comes with a flood of questions from users on how to solve specific data-related issues. That's where this cookbook comes in. When you need quick solutions or techniques, this handy resource provides scores of short, focused pieces of code, hundreds of worked-out examples, and clear, concise explanations for programmers who don't have the time (or expertise) to resolve MySQL problems from scratch. In this updated fourth edition, authors Sveta Smirnova and Alkin Tezuysal provide more than 200 recipes that cover powerful features in both MySQL 5.7 and 8.0. Beginners as well as professional database and web developers will dive into topics such as MySQL Shell, MySQL replication, and working with JSON. You'll learn how to: Connect to a server, issue queries, and retrieve results Retrieve data from the MySQL Server Store, retrieve, and manipulate strings Work with dates and times Sort query results and generate summaries Assess the characteristics of a dataset Write stored functions and procedures Use stored routines, triggers, and scheduled events Perform basic MySQL administration tasks Understand MySQL monitoring fundamentals
High-Performance Programming in C# and .NET
Enhance your applications' performance using best practices for benchmarking, application profiling, asynchronous programming, designing responsive UIs, gRPC communication, and distributed applicationsKey Features: - Make the best use of performance enhancements in C# 10.0 and .NET 6- Boost application performance by identifying hardware bottlenecks and common performance pitfalls- Get to grips with best practices and techniques for improving the scalability of distributed systemsBook Description: Writing high-performance code while building an application is crucial, and over the years, Microsoft has focused on delivering various performance-related improvements within the .NET ecosystem. This book will help you understand the aspects involved in designing responsive, resilient, and high-performance applications with the new version of C# and .NET.You will start by understanding the foundation of high-performance code and the latest performance-related improvements in C# 10.0 and .NET 6. Next, you'll learn how to use tracing and diagnostics to track down performance issues and the cause of memory leaks. The chapters that follow then show you how to enhance the performance of your networked applications and various ways to improve directory tasks, file tasks, and more. Later, you'll go on to improve data querying performance and write responsive user interfaces. You'll also discover how you can use cloud providers such as Microsoft Azure to build scalable distributed solutions. Finally, you'll explore various ways to process code synchronously, asynchronously, and in parallel to reduce the time it takes to process a series of tasks.By the end of this C# programming book, you'll have the confidence you need to build highly resilient, high-performance applications that meet your customer's demands.What You Will Learn: - Use correct types and collections to enhance application performance- Profile, benchmark, and identify performance issues with the codebase- Explore how to best perform queries on LINQ to improve an application's performance- Effectively utilize a number of CPUs and cores through asynchronous programming- Build responsive user interfaces with WinForms, WPF, MAUI, and WinUI- Benchmark ADO.NET, Entity Framework Core, and Dapper for data access- Implement CQRS and event sourcing and build and deploy microservicesWho this book is for: This book is for software engineers, professional software developers, performance engineers, and application profilers looking to improve the speed of their code or take their skills to the next level to gain a competitive advantage. You should be a proficient C# programmer who can already put the language to good use and is also comfortable using Microsoft Visual Studio 2022Table of Contents- Introducing C# 10.0 and .NET 6- Implementing C# Interoperability- Predefined Data Types and Memory Allocations- Memory Management- Application Profiling and Tracing- The .NET Collections - LINQ Performance- File and Stream I/O- Enhancing the Performance of Networked Applications- Setting Up Our Database Project- Benchmarking Relational Data Access Frameworks- Responsive User Interfaces- Distributed Systems- Multi-Threaded Programming- Parallel Programming- Asynchronous Programming
Moodle 4 E-Learning Course Development - Fifth Edition
Leverage Moodle 4.0's improved UX features and new tools to create effective courses in today's competitive world of online learning, including blended live and on-demand deliveryKey Features: Design courses that are easy to navigate and have easy-to-use productivity toolsEffectively incorporate text, audio, video, and graphics that are ADA compliant and meet the needs of all kinds of learnersBuild the best assessment tools for your learning objectivesBook Description: Moodle 4.0 maintains its flexible, powerful, and easy-to-use platform while adding impressive new features to enhance the user experience for student success.This updated edition addresses the opportunities that come with a major update in Moodle 4.0. You'll learn how to determine the best way to use the Moodle platform's new features and configure your courses to align with your overall goals, vision, and even accreditation review needs. You'll discover how to plan an effective course with the best mix of resources and engaging assessments that really show what the learner has accomplished, and also keep them engaged and interested. This book will show you how to ensure that your students enjoy their collaborations and truly learn from each other. You'll get a handle on generating reports and monitoring exactly how the courses are going and what to do to get them back on track. While doing this, you can use Moodle 4.0's new navigation features to help keep students from getting "lost." Finally, you'll be able to incorporate functionality boosters and accommodate the changing needs and goals of our evolving world.By the end of this Moodle book, you'll be able to build and deploy your educational program to align with learning objectives and include an entire array of course content.What You Will Learn: Build courses that emphasize the achievement of learning objectivesWrite a variety of effective quizzes that can be taken online and offlineMake the most of the navigation and user experience improvements made to Moodle 4.0Build courses that reflect current interactive teaching practices, including hybrid learning with web conferencingOptimize all kinds of content - text, graphics, audio, video, and recorded webcastsEncourage student engagement and collaborationIncorporate functionality builders for more responsive and adaptive learningWho this book is for: This book is for novice as well as experienced course developers who want to incorporate Moodle 4.0's powerful features and make life easier for students, instructors, and administrators. The powerful and flexible Moodle platform will also help with accreditation and for deploying across devices to people in diverse situations.
Hands-On Data Structures and Algorithms with Python - Third Edition
Understand how implementing different data structures and algorithms intelligently can make your Python code and applications more maintainable and efficientKey Features: Explore functional and reactive implementations of traditional and advanced data structuresApply a diverse range of algorithms in your Python codeImplement the skills you have learned to maximize the performance of your applicationsBook Description: Choosing the right data structure is pivotal to optimizing the performance and scalability of applications. This new edition of Hands-On Data Structures and Algorithms with Python will expand your understanding of key structures, including stacks, queues, and lists, and also show you how to apply priority queues and heaps in applications. You'll learn how to analyze and compare Python algorithms, and understand which algorithms should be used for a problem based on running time and computational complexity. You will also become confident organizing your code in a manageable, consistent, and scalable way, which will boost your productivity as a Python developer.By the end of this Python book, you'll be able to manipulate the most important data structures and algorithms to more efficiently store, organize, and access data in your applications.What You Will Learn: Understand common data structures and algorithms using examples, diagrams, and exercisesExplore how more complex structures, such as priority queues and heaps, can benefit your codeImplement searching, sorting, and selection algorithms on number and string sequencesBecome confident with key string-matching algorithmsUnderstand algorithmic paradigms and apply dynamic programming techniquesUse asymptotic notation to analyze algorithm performance with regard to time and space complexitiesWrite powerful, robust code using the latest features of PythonWho this book is for: This book is for developers and programmers who are interested in learning about data structures and algorithms in Python to write complex, flexible programs. Basic Python programming knowledge is expected.
A Machine-Checked, Type-Safe Model of Java Concurrency
The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.
Template Metaprogramming with C++
Understand how to use modern C++ templates for writing maintainable, robust, and fast softwareKey Features: Grasp the fundamentals of and learn to write effective C++ templatesGet up to speed with the latest C++20 template features such as constraints and conceptsExplore different patterns and idioms to integrate templates in your program designBook Description: Learn how the metaprogramming technique enables you to create data structures and functions that allow computation to happen at compile time. With this book, you'll realize how templates help you avoid writing duplicate code and are key to creating generic libraries, such as the standard library or Boost, that can be used in a multitude of programs.The introductory chapters of this book will give you insights into the fundamentals of templates and metaprogramming. You'll then move on to practice writing complex templates and exploring advanced concepts such as template recursion, template argument deduction, forwarding references, type traits, and conditional compilation. Along the way, you'll learn how to write variadic templates and how to provide requirements to the template arguments with C++20 constraints and concepts. Finally, you'll apply your knowledge of C++ metaprogramming templates to implement various metaprogramming patterns and techniques.By the end of this book, you'll have learned how to write effective templates and implement metaprogramming in your everyday programming journey.What You Will Learn: Understand the syntax for all types of templatesDiscover how specialization and instantiation worksGet to grips with template argument deduction and forwarding referencesWrite variadic templates with easeBecome familiar with type traits and conditional compilationRestrict template arguments in C++20 with constraints and conceptsImplement patterns such as CRTP, mixins, and tag dispatchingWho this book is for: This book is for beginner-to-intermediate C++ developers who want to learn about template metaprogramming as well as advanced C++ developers looking to get up to speed with the new C++20 features related to templates and the the various idioms and patterns. Basic C++ coding experience is necessary to get started with this book.
Deductive verification of object-oriented software
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
High-performance and hardware-aware computing
High-performance system architectures are increasingly exploiting heterogeneity. The HipHaC workshop aims at combining new aspects of parallel, heterogeneous, and reconfigurable microprocessor technologies with concepts of high-performance computing and, particularly, numerical solution methods. Compute- and memory-intensive applications can only benefit from the fullhardware potential if all features on all levels are taken into account in a holistic approach.
Information flow control for java
Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden.
Proceedings of the 2010 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory
On the annual Joint Workshop of the Fraunhofer IOSB and the Karlsruhe Institute of Technology (KIT), Vision and Fusion Laboratory, the students of both institutions present their latest research findings on image processing, visual inspection, pattern recognition, tracking, SLAM, information fusion, non-myopic planning, world modeling, security in surveillance, interoperability, and human-computer interaction. This book is a collection of 16 reviewed technical reports of the 2010 Joint Workshop.
Proceedings of the 2012 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory
This book is a collection of 11 review technical reports summarizing the presentations at the 2012 Joint Workshop of Fraunhofer IOSB and Vision and Fusion Laboratory at KIT Karlsruhe, made by the students of the both institutions. The topics include image processing, visual inspection, pattern recognition and classification, human-machine interaction, world modeling, and optical signal processing.
Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation
This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques.
From Formal Semantics to Verified Slicing
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.
Probabilistic Models for 3D Urban Scene Understanding from Movable Platforms
This work is a contribution to understanding multi-object traffic scenes from video sequences. All data is provided by a camera system which is mounted on top of the autonomous driving platform AnnieWAY. The proposed probabilistic generative model reasons jointly about the 3D scene layout as well as the 3D location and orientation of objects in the scene. In particular, the scene topology, geometry as well as traffic activities are inferred from short video sequences.
Usage Policies for Decentralised Information Processing
Owners impose usage restrictions on their information, which can be based e.g. on privacy laws, copyright law or social conventions. Often, information is processed in complex constellations without central control. In this work, we introduce technologies to formally express usage restrictions in a machine-interpretable way as so-called policies that enable the creation of decentralised systems that provide, consume and process distributed information in compliance with their usage restrictions.
View-based textual modelling
This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes
Quality attributes, such as performance or reliability, are crucial for the success of a software system and largely influenced by the software architecture. Their quantitative prediction supports systematic, goal-oriented software design and forms a base of an engineering approach to software design. This thesis proposes a method and tool to automatically improve component-based software architecture (CBA) models based on such quantitative quality prediction techniques.
Learning Dynamic Systems for Intention Recognition in Human-Robot-Cooperation
This thesis is concerned with intention recognition for a humanoid robot and investigates how the challenges of uncertain and incomplete observations, a high degree of detail of the used models, and real-time inference may be addressed by modeling the human rationale as hybrid, dynamic Bayesian networks and performing inference with these models. The key focus lies on the automatic identification of the employed nonlinear stochastic dependencies and the situation-specific inference.
SQL Server Query Tuning and Optimization
Get well-versed with ready-to-use techniques for creating high-performance queries and applicationsKey Features: Speed up queries and dramatically improve application performance by both understanding query engine internals and practical query optimizationUnderstand how the query optimizer worksLearn about intelligent query processing and what is new in SQL Server 2022Book Description: SQL Server is a relational database management system developed by Microsoft. As a database server, it is a software product with the primary function of storing and retrieving data as requested by other software applications.This book starts by describing the inner workings of the query optimizer, and will enable you to use this knowledge to write better queries and provide the query engine with all the information it needs to produce efficient execution plans. As you progress, you'll get practical query optimization tips for troubleshooting underperforming queries. The book will also guide you through intelligent query processing and what is new in SQL Server 2022. Query performance topics such as the Query Store, In-Memory OLTP and columnstore indexes are covered as well.By the end of this book, you'll be able to get the best possible performance for your queries and applications.What You Will Learn: Troubleshoot queries using methods including extended events, SQL Trace, and dynamic management viewsUnderstand how the execution engine and query operators workSpeed up queries and improve app performance by creating the right indexesDetect and fix cardinality estimation errors by examining query optimizer statisticsMonitor and promote both plan caching and plan reuse to improve app performanceTroubleshoot and improve query performance by using the Query StoreImprove the performance of data warehouse queries by using columnstore indexesHandle query processor limitations with hints and other methodsWho this book is for: This book is for SQL Server developers who are struggling with slow query execution, database administrators who are tasked with troubleshooting slow application performance, and database architects who design SQL Server databases in support of line-of-business and data warehousing applications.
Quantifying and Predicting the Influence of Execution Platform on Software Component Performance
The performance of software components depends on several factors, including the execution platform on which the software components run. To simplify cross-platform performance prediction in relocation and sizing scenarios, a novel approach is introduced in this thesis which separates the application performance profile from the platform performance profile. The approach is evaluated using transparent instrumentation of Java applications and with automated benchmarks for Java Virtual Machines.
Human Pose Estimation with Implicit Shape Models
This work presents a new approach for estimating 3D human poses based on monocular camera information only. For this, the Implicit Shape Model is augmented by new voting strategies that allow to localize 2D anatomical landmarks in the image. The actual 3D pose estimation is then formulated as a Particle Swarm Optimization (PSO) where projected 3D pose hypotheses are compared with the generated landmark vote distributions.
Predicting software performance in symmetric multi-core and multiprocessor Environments
With today's rise of multi-core processors, concurrency becomes a ubiquitous challenge in software development.Performance prediction methods have to reflect the influence of multiprocessing environments on software performance in order to help software architects to find potential performance problems during early development phases. In this thesis, we address the influence of the operating system scheduler on software performance in symmetric multiprocessing environments.
Intelligent Business Process Optimization for the Service Industry
The company's sustainable competitive advantage derives from its capacity to create value for customers and to adapt the operational practices to changing situations. Business processes are the heart of each company. Therefore process excellence has become a key issue. This book introduces a novel approach focusing on the autonomous optimization of business processes by applying sophisticated machine learning techniques such as Relational Reinforcement Learning and Particle Swarm Optimization.
Introduction to C++
This book is primarily addressed to students who are taking a course on the C++ language, to those who wish to self-study the C++ language, as well as programmers who have experience with C and want to move on to C++.
JavaScript for Sound Artists
Learn how to program JavaScript while creating interactive audio applications with JavaScript for Sound Artists! This books explores the basics of JavaScript language programing so that readers can learn to build browser based audio applications, such as music synthesizers and drum machines.
Python for Data Science
A hands-on, real-world introduction to data analysis with the Python programming language, loaded with wide-ranging examples. Python is an ideal choice for accessing, manipulating, and gaining insights from data of all kinds. Python for Data Science introduces you to the Pythonic world of data analysis with a learn-by-doing approach rooted in practical examples and hands-on activities. You'll learn how to write Python code to obtain, transform, and analyze data, practicing state-of-the-art data processing techniques for use cases in business management, marketing, and decision support. You will discover Python's rich set of built-in data structures for basic operations, as well as its robust ecosystem of open-source libraries for data science, including NumPy, pandas, scikit-learn, matplotlib, and more. Examples show how to load data in various formats, how to streamline, group, and aggregate data sets, and how to create charts, maps, and other visualizations. Later chapters go in-depth with demonstrations of real-world data applications, including using location data to power a taxi service, market basket analysis to identify items commonly purchased together, and machine learning to predict stock prices.
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis
Model-based performance prediction systematically deals with the evaluation of software performance to avoid for example bottlenecks, estimate execution environment sizing, or identify scalability limitations for new usage scenarios. Such performance predictions require up-to-date software performance models. This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour).
Building Evacuation with Mobile Devices
The rapidly growing world population and increasingly dense settlements demand ever-larger and more complex buildings from today's engineers. In comparison to this technological progress, a building's equipment for emergency evacuation has been hardly developed further. This work presents a concept for a building evacuation system based on mobile devices. Furthermore, various algorithms for route planning with mobile devices and for indoor localization of mobile devices are addressed.
Tool-supported identification of functional concerns in object-oriented code
Concern identification aims to find the implementation of a functional concern in existing source code. In this work, concerns are described, using the Hierarchic Concern Model, as gray-boxes containing subconcerns, inputs, and outputs. The inputs and outputs are used as concern seeds to identify data-oriented abstractions of concern implementations, called concern skeletons. The identification approach is based on context free language reachability and supported by a tool, called CoDEx.
Programming Languages
Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.
Devops in Python
Take advantage of Python to automate complex systems with readable code. This new edition will help you move from operations/system administration into easy-to-learn coding.You'll start by writing command-line scripts and automating simple DevOps-style tasks followed by creating reliable and fast unit tests designed to avoid incidents caused by buggy automation. You'll then move on to more advanced cases, like using Jupyter as an auditable remote-control panel and writing Ansible and Salt extensions.The updated information in this book covers best practices for deploying and updating Python applications. This includes Docker, modern Python packaging, and internal Python package repositories. You'll also see how to use the AWS API, and the Kubernetes API, and how to automate Docker container image building and running. Finally, you'll work with Terraform from Python to allow more flexible templating and customization of environments.What You'll LearnUnderstand operating system automation with PythonPackage Python applicationsUse Python as a DevOps consoleReview Cloud automation with PythonWho This Book Is ForDevOps engineer. Site Reliability Engineer, or similar (including Platform, Production, and Systems), and whose organization uses Python.
Querying SQL Server
Learning real-world analytics using SQLKey FeaturesHands-on approach to learning the fundamentals of data analysisCovers all levels of SQL expertise from novice to master with examplesIncludes techniques and approaches to query complex databases more effectively DescriptionThis book will take you on an interactive journey to master SQL querying from the most fundamental to the most advanced level using various T-SQL techniques to provide meaningful insights from your SQL Server data.The book begins with an introduction to the fundamental concepts of both SQL and SQL Server. It then guides readers through the process of building queries, using simple and then more complex table joins and progressively more advanced data filtering, to deliver advanced queries based on a variety of SQL techniques. The reader will understand how to deliver relevant and trustworthy analysis of the data through learning how to apply fundamental computations in T-SQL, relational logic, and how to group and aggregate data. There is also coverage of other SQL concepts, such as formatting queries, writing subqueries, creating derived tables, joining and filtering tables, etc. In addition to that, the book discusses how to conduct rolling analyses, examine time-series data, and manage large and complex datasets.After finishing the book, readers won't merely be able to write complex queries; rather, they will be able to construct their methodology for analysing relational datasets and arriving at the desired insights.What you will learnAnalyze data using simple math and logic, multiple filters, and data aggregation.Become proficient with table expressions, subqueries, and writing complex computations.Perform rolling analysis and time series analysis using advanced methods.Review SQL concepts such as table joins, data filtering, query structuring, and table derivation.Who this book is forThis book is for data professionals, such as database developers, SQL developers, data analysts, and BI experts, who wish to construct complex queries and extract the desired analytics from their datasets. The book also encourages smart new learners to learn SQL and use it right away in their first jobs.Table of Contents1. Writing Basic SQL Queries2. Using Multiple Tables When Querying Data3. Using Advanced Table Joins4. Filtering Data5. Applying Complex Filters to Queries6. Making Simple Calculations7. Aggregating Output8. Working with Dates in SQL Server9. Formatting Text in Query Output10. Formatting Numbers and Dates11. Using Basic Logic to Enhance Analysis12. Subqueries13. Derived Tables14. Common Table Expressions15. Correlated Subqueries16. Dataset Manipulation17. Using SQL for More Advanced Calculations18. Segmenting and Classifying Data19. Rolling Analysis20. Analyzing Data Over Time21. Complex Data OutputRead more
Android UI Development with Jetpack Compose
Get started with creating intuitive native user interfaces on Android platforms Key Features: Understand the difference between the imperative (Android View) and declarative (Jetpack Compose) approachLearn about the structure of a Compose app, built-in Compose UI elements, and core concepts such as state hoisting and composition over inheritanceWrite, test, and debug composable functionsBook Description: Jetpack Compose is Android's new framework for building fast, beautiful, and reliable native user interfaces. It simplifies and significantly accelerates UI development on Android using the declarative approach. This book will help developers to get hands-on with Jetpack Compose and adopt a modern way of building Android applications. The book is not an introduction to Android development, but it will build on your knowledge of how Android apps are developed.Complete with hands-on examples, this easy-to-follow guide will get you up to speed with the fundamentals of Jetpack Compose such as state hoisting, unidirectional data flow, and composition over inheritance and help you build your own Android apps using Compose. You'll also cover concepts such as testing, animation, and interoperability with the existing Android UI toolkit.By the end of the book, you'll be able to write your own Android apps using Jetpack Compose.What You Will Learn: Gain a solid understanding of the core concepts of Jetpack ComposeDevelop beautiful, neat, and immersive UI elements that are user friendly, reliable, and performantBuild a complete app using Jetpack ComposeAdd Jetpack Compose to your existing Android applicationsTest and debug apps that use Jetpack ComposeFind out how Jetpack Compose can be used on other platformsWho this book is for: This book is for any mobile app developer looking to understand the fundamentals of the new Jetpack Compose framework and the benefits of native development. A solid understanding of Android app development, along with some knowledge of the Kotlin programming language, will be beneficial. Basic programming knowledge is necessary to grasp the concepts covered in this book effectively.
Django 4 for the Impatient
A quick-start guide to exploring and using Python and Django to develop web applications in minutesKey Features: - Develop web applications with Python and Django quickly- Understand Django features with short explanations and learn how to use them right away- Create a movie reviews app with a responsive user interface and deploy it to the cloudBook Description: Learning Django can be a tricky and time-consuming activity. There are hundreds of tutorials, loads of documentation, and many explanations that are hard to digest. However, this book enables you to use and learn Django in just a couple of days.In this book, you'll go on a fun, hands-on, and pragmatic journey to learn Django full stack development. You'll start building your first Django app within minutes. You'll be provided with short explanations and a practical approach that cover some of the most important Django features, such as Django Apps' structure, URLs, views, templates, models, CSS inclusion, image storage, authentication and authorization, Django admin panel, and many more. You'll also use Django to develop a movies review app and deploy it to the internet.By the end of this book, you'll be able to build and deploy your own Django web applications.What You Will Learn: - Understand and implement Django Apps' basic structure, including URLs, views, templates, and models- Add bootstrap to improve the aesthetics of the site- Create your own custom pages and have different URLs to route to them- Navigate between pages by adding a header bar to all pages- Work with databases and models- Explore the powerful built-in admin interface with Django- Use Django's powerful, built-in authentication system- Deploy your Django project on the internet for the world to useWho this book is for: This book is for Python developers at any level of experience with Python programming who want to build full-stack Python web applications using Django. The book is for absolute Django beginners.Table of Contents- Installing Python and Django- Understanding the Project Structure and Creating Our First App- Managing Django URLs- Generating HTML Pages with Templates- Working with Models- Displaying Objects from Admin- Understanding the Database- Extending Base Templates- Creating a Movie Detail Page- Implementing User Signup and Login- Letting Users Create, Read, Update, and Delete Movie Reviews- Deploying the Application to the Cloud
UI Animations with Lottie and After Effects
Understand and develop immersive animations along with animated stickers for Telegram using Bodymovin, After Effects and LottieFiles and integrate them in your React Native apps using this color guide to UI animationsKey Features: Explore key principles of storytelling, 2D digital animation, and design thinkingCreate animations in After Effects, learn how to export them with both Bodymovin and LottieFiles plugins, and tweak them using the LottieFiles platformUnderstand how to implement Lottie animations with React NativeBook Description: Lottie is a small and scalable JSON-based animation file. LottieFiles is the platform where Lottie animations can be uploaded, tested, and shared. By combining the LottieFiles plugin and the LottieFiles platform, you'll be able to create stunning animations that are easy to integrate in any device. You'll also see how to use the Bodymovin plugin in After Effects to export your animation to a JSON file.The book starts by giving you an overview of Lottie and LottieFiles. As you keep reading, you'll understand the entire Lottie ecosystem and get hands-on with classic 2D animation principles. You'll also get a step-by-step guided tour to ideate, sketch for storytelling, design an icon that will fulfill the needs and expectations of users based on UX, and finally animate it in Adobe After Effects. This will help you get familiar with the After Effects environment, work with vector shape layers, create and modify keyframes using layer properties, explore path and mask features, and adjust timing easily to create professional-looking animations.By the end of this animation book, you'll be able to create and export your own Lottie animations using After Effects and implement them in mobile apps using React Native. You'll also have an understanding of 2D animation best practices and principles that you can apply in your own projects.What You Will Learn: Get started with Lottie and integrate animations either by creating them from scratch or by downloading them through LottieFilesExplore the key principles of 2D classic animationUnderstand the basics to create your first animation using After EffectsExport your animations into Lottie JSON files through BodymovinIntegrate your very first Lottie icon animation inside your React Native appControl your animation within the app through React APIs, while exploring best practices and common pitfallsWho this book is for: This book is for developers and engineers who are already familiar with React Native, as well as UX and UI designers who want to create their own animations and integrate them with their platforms through React Native. Basic knowledge of JavaScript programming is assumed. Beginner-level illustration skills are also preferred, although not necessary.
Ruby on Rails Tutorial
Used by sites as varied as Hulu, GitHub, Shopify, and Airbnb, Ruby on Rails is one of the most popular frameworks for developing web applications, but it can be challenging to learn and use. Whether you're new to web development or new only to Rails, Ruby on RailsTM Tutorial, Seventh Edition, is the solution. Best-selling author and leading Rails developer Michael Hartl teaches Rails by guiding you through the development of three example applications of increasing sophistication. The tutorial's examples focus on the general principles of web development needed for virtually any kind of website. The updates to this edition include full compatibility with Rails 7. This indispensable guide provides integrated tutorials not only for Rails, but also for the essential Ruby, HTML, CSS, and SQL skills you need when developing web applications. Hartl explains how each new technique solves a real-world problem, and then he demonstrates it with bite-sized code that's simple enough to understand while still being useful. Whatever your previous web-development experience, this book will guide you to true Rails mastery. This book will help you Set up your Rails development environment Record version changes with Git and create a secure remote repository at GitHub Deploy your applications early and often with Heroku Go beyond generated code to truly understand how to build Rails applications from scratch Learn testing and test-driven development (TDD) Effectively use the model-view-controller (MVC) pattern Structure applications using the REST architecture Build static pages and transform them into dynamic ones Master the Ruby programming skills all Rails developers need Create high-quality site layouts and data models Implement registration and authentication systems, including validation and secure passwords Update, display, and delete users Upload and display images using Active Storage and Amazon S3 Implement account activation and password reset, including sending email with Rails Integrate JavaScript with Rails using Importmap Add social features and microblogging, including an introduction to Hotwire and Turbo "Ruby on RailsTM Tutorial by Michael Hartl has become a must-read for developers learning how to build Rails apps."--Peter Cooper, Editor of Ruby Inside Gemfiles are available at https: //gemfiles-7th-ed.railstutorial.org/Code listings are available at https: //github.com/learnenough/ruby_on_rails_tutorial_code_listings_7th_ed Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Core Java Interview Questions You'll Most Likely Be Asked
● Concept refresher for Java (includes Java 8 and Java 9)● Ideal prep guide for coding interviews - technical and HR rounds● Guidance for Resume building and Aptitude tests● Includes Scenario based questions● Developed and recommended by industry experts and placement expertsCore Java Interview Questions You'll Most Likely Be Asked: Second Edition is your perfect companion to stand above the rest in today's competitive job market.With this guide, you learn or refresh Core Java fundamentals and principles necessary for cracking the coding interview and acquaint yourself with real-life interview questions and strategies to reach the solutions. The Resume building tutorial and the Aptitude tests equip you to present yourself better even before the job interview.This book is a complete course in itself to prepare for your dream Java job placement.About the SeriesThis book is part of the Job Interview Questions series that has more than 75 books dedicated to interview questions and answers for different technical subjects and HR round related topics.This series of books is written by experienced placement experts and subject matter experts. Unlike comprehensive, textbook-sized reference guides, these books include only the required information for job search. Hence, these books are short, concise and ready-to-use by students and professionals.
