- Table View
- List View
A Concise Introduction to Robot Programming with ROS2
by Francisco Martín RicoA Concise Introduction to Robot Programming with ROS2 provides the reader with the concepts and tools necessary to bring a robot to life through programming. It will equip the reader with the skills necessary to undertake projects with ROS2, the new version of ROS. It is not necessary to have previous experience with ROS2 as it will describe its concepts, tools, and methodologies from the beginning. Key Features Uses the two programming languages officially supported in ROS2 (C++, mainly, and Python) Approaches ROS2 from three different but complementary dimensions: the Community, Computation Graph, and the Workspace Includes a complete simulated robot, development and testing strategies, Behavior Trees, and Nav2 description, setup, and use A GitHub repository with code to assist readers It will appeal to motivated engineering students, engineers, and professionals working with robot programming.
A Concise Introduction to Scientific Visualization: Past, Present, and Future
by Brad Eric Hollister Alex PangScientific visualization has always been an integral part of discovery, starting first with simplified drawings of the pre-Enlightenment and progressing to present day. Mathematical formalism often supersedes visual methods, but their use is at the core of the mental process. As historical examples, a spatial description of flow led to electromagnetic theory, and without visualization of crystals, structural chemistry would not exist. With the advent of computer graphics technology, visualization has become a driving force in modern computing. A Concise Introduction to Scientific Visualization – Past, Present, and Future serves as a primer to visualization without assuming prior knowledge. It discusses both the history of visualization in scientific endeavour, and how scientific visualization is currently shaping the progress of science as a multi-disciplinary domain.
The Concise PRINCE2®
by Colin BentleyThe only PRINCE2(R) checklist you'll ever need! Written by a former Chief Examiner for PRINCE2(R), this pocket guide contains all you need to prompt your memory at the crucial time. It is laid out in a clear and comprehensible format with helpful diagrams and tables, and will enable you to: bring to mind the information you need, just when you need it keep the key principles at the forefront of your mind focus on what you are trying to achieve follow the correct processes, in the right order tailor the system to suit your needs and objectives manage a successful project from beginning to end add value to your business.
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation)
by Wolfgang SchreinerThis book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.
concrete5 Beginner's Guide (2nd Edition)
by Remo LaubacherThis is a beginner's guide, which takes a clear, step-by-step approach to guide you through the process of creating and adding functionality to your site.This book is ideal for developers experienced with HTML and CSS and possibly PHP as well as JavaScript, who would like to build their first site with Concrete5. Some knowledge of PHP, MySQL, or HTML would be useful, but no experience with Concrete5 is expected.
concrete5 Beginner's Guide Second Edition
by Remo LaubacherThis is a beginner's guide, which takes a clear, step-by-step approach to guide you through the process of creating and adding functionality to your site.This book is ideal for developers experienced with HTML and CSS and possibly PHP as well as JavaScript, who would like to build their first site with Concrete5. Some knowledge of PHP, MySQL, or HTML would be useful, but no experience with Concrete5 is expected.
concrete5 Cookbook
by David StrackThe Cookbook-style recipes allow you to go both directly to your topic of interest or follow topics throughout a chapter to gain in-depth knowledge. This practical Cookbook will cater to the needs of both intermediate and advanced concrete5 developers.This book is geared towards intermediate to advanced PHP developers who would like to learn more about the concrete5 content management system. Developers already familiar with concrete5 will learn new time-saving tricks and will find the book to be a great reference tool.
concrete5 for Developers
by Sufyan Bin UzayrWhether you have had some previous experience with concrete5 or are entirely new to it, this book will help you understand all that you need to know in order to get started with concrete5 development. A background in PHP is required; some knowledge of HTML/CSS is needed in order to fully grasp the concepts underlying concrete5 theme development.
Concurrency Control in Distributed System Using Mutual Exclusion (Studies in Systems, Decision and Control #116)
by Nabendu Chaki Sukhendu Kanrar Samiran ChattopadhyayThe book presents various state-of-the-art approaches for process synchronization in a distributed environment. The range of algorithms discussed in the book starts from token based mutual exclusion algorithms that work on tree based topology. Then there are interesting solutions for more flexible logical topology like a directed graph, with or without cycle. In a completely different approach, one of the chapters presents two recent voting-based DME algorithms. All DME algorithms presented in the book aim to ensure fairness in terms of first come first serve (FCFS) order among equal priority processes. At the same time, the solutions consider the priority of the requesting processes and allocate resource for the earliest request when no such request from a higher priority process is pending.
Concurrency in C# Cookbook
by Stephen ClearyIf you're one of the many developers uncertain about concurrent and multithreaded development, this practical cookbook will change your mind. With more than 75 code-rich recipes, author Stephen Cleary demonstrates parallel processing and asynchronous programming techniques, using libraries and language features in .NET 4.5 and C# 5.0.Concurrency is becoming more common in responsive and scalable application development, but it's been extremely difficult to code. The detailed solutions in this cookbook show you how modern tools raise the level of abstraction, making concurrency much easier than before. Complete with ready-to-use code and discussions about how and why the solution works, you get recipes for using:async and await for asynchronous operationsParallel programming with the Task Parallel LibraryThe TPL Dataflow library for creating dataflow pipelinesCapabilities that Reactive Extensions build on top of LINQUnit testing with concurrent codeInterop scenarios for combining concurrent approachesImmutable, threadsafe, and producer/consumer collectionsCancellation support in your concurrent codeAsynchronous-friendly Object-Oriented ProgrammingThread synchronization for accessing data
Concurrency in C# Cookbook: Asynchronous, Parallel, and Multithreaded Programming
by Stephen ClearyIf you’re one of many developers still uncertain about concurrent and multithreaded development, this practical cookbook will change your mind. With more than 85 code-rich recipes in this updated second edition, author Stephen Cleary demonstrates parallel processing and asynchronous programming techniques using libraries and language features in .NET and C# 8.0.Concurrency is now more common in responsive and scalable application development, but it’s still extremely difficult to code. The detailed solutions in this cookbook show you how modern tools raise the level of abstraction, making concurrency much easier than before. Complete with ready-to-use code and discussions about how and why solutions work, these recipes help you:Get up to speed on concurrency and async and parallel programmingUse async and await for asynchronous operationsEnhance your code with asynchronous streamsExplore parallel programming with .NET’s Task Parallel LibraryCreate dataflow pipelines with .NET’s TPL Dataflow libraryUnderstand the capabilities that System.Reactive builds on top of LINQUtilize threadsafe and immutable collectionsLearn how to conduct unit testing with concurrent codeMake the thread pool work for youEnable clean, cooperative cancellationExamine scenarios for combining concurrent approachesDive into asynchronous-friendly object-oriented programmingRecognize and write adapters for code using older asynchronous styles
Concurrency in Go: Tools and Techniques for Developers
by Katherine Cox-BudayConcurrency can be notoriously difficult to get right, but fortunately, the Go open source programming language makes working with concurrency tractable and even easy. If you’re a developer familiar with Go, this practical book demonstrates best practices and patterns to help you incorporate concurrency into your systems.Author Katherine Cox-Buday takes you step-by-step through the process. You’ll understand how Go chooses to model concurrency, what issues arise from this model, and how you can compose primitives within this model to solve problems. Learn the skills and tooling you need to confidently write and implement concurrent systems of any size.Understand how Go addresses fundamental problems that make concurrency difficult to do correctlyLearn the key differences between concurrency and parallelismDig into the syntax of Go’s memory synchronization primitivesForm patterns with these primitives to write maintainable concurrent codeCompose patterns into a series of practices that enable you to write large, distributed systems that scaleLearn the sophistication behind goroutines and how Go’s runtime stitches everything together
Concurrency in .NET: Modern patterns of concurrent and parallel programming
by Riccardo TerrellSummaryConcurrency in .NET teaches you how to build concurrent and scalable programs in .NET using the functional paradigm. This intermediate-level guide is aimed at developers, architects, and passionate computer programmers who are interested in writing code with improved speed and effectiveness by adopting a declarative and pain-free programming style.Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyUnlock the incredible performance built into your multi-processor machines. Concurrent applications run faster because they spread work across processor cores, performing several tasks at the same time. Modern tools and techniques on the .NET platform, including parallel LINQ, functional programming, asynchronous programming, and the Task Parallel Library, offer powerful alternatives to traditional thread-based concurrency.About the BookConcurrency in .NET teaches you to write code that delivers the speed you need for performance-sensitive applications. Featuring examples in both C# and F#, this book guides you through concurrent and parallel designs that emphasize functional programming in theory and practice. You'll start with the foundations of concurrency and master essential techniques and design practices to optimize code running on modern multiprocessor systems. What's InsideThe most important concurrency abstractionsEmploying the agent programming model Implementing real-time event-stream processing Executing unbounded asynchronous operationsBest concurrent practices and patterns that apply to all platformsAbout the ReaderFor readers skilled with C# or F#.About the BookRiccardo Terrell is a seasoned software engineer and Microsoft MVP who is passionate about functional programming. He has over 20 years' experience delivering cost-effective technology solutions in a competitive business environment.Table of ContentsPART 1 - Benefits of functional programming applicable to concurrent programs Functional concurrency foundationsFunctional programming techniques for concurrencyFunctional data structures and immutabilityPART 2 - How to approach the different parts of a concurrent programThe basics of processing big data: data parallelism, part 1PLINQ and MapReduce: data parallelism, part 2Real-time event streams: functional reactive programmingTask-based functional parallelismTask asynchronicity for the winAsynchronous functional programming in F#Functional combinators for fluent concurrent programmingApplying reactive programming everywhere with agentsParallel workflow and agent programming with TPL DataflowPART 3 - Modern patterns of concurrent programming appliedRecipes and design patterns for successful concurrent programmingBuilding a scalable mobile app with concurrent functional programming
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #10160)
by Thomas Gibson-Robinson Philippa Hopcroft Ranko LazićThis festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more. Many of these areas are reflected in the 15 invited research articles in this festschrift, and in the presentations at the "BILL-60" symposium held in Oxford, UK, on January 9 and 10, 2017.
Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany (Studies in Computational Intelligence #1091)
by Bernd-Holger Schlingloff Thomas Vogel Andrzej SkowronThis book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.
Concurrent Patterns and Best Practices: Build scalable apps with patterns in multithreading, synchronization, and functional programming
by Atul S. KhotA definitive guide to mastering and implementing concurrency patterns in your applicationsKey FeaturesBuild scalable apps with patterns in multithreading, synchronization, and functional programmingExplore the parallel programming and multithreading techniques to make the code run fasterEfficiently use the techniques outlined to build reliable applicationsBook DescriptionSelecting the correct concurrency architecture has a significant impact on the design and performance of your applications. This book explains how to leverage the different characteristics of parallel architecture to make your code faster and more efficient. To start with, you'll understand the basic concurrency concepts and explore patterns around explicit locking, lock free programming, futures & actors. Then, you'll get insights into different concurrency models and parallel algorithms and put them to practice in different scenarios to realize your application's true potential. We'll take you through multithreading design patterns, such as master, slave, leader, follower, map-reduce, and monitor, also helping you to learn hands-on coding using these patterns. Once you've grasped all of this, you'll move on to solving problems using synchronizer patterns. You'll discover the rationale for these patterns in distributed & parallel applications, followed by studying how future composition, immutability and the monadic flow help create more robust code. Toward the end of the book, you'll learn about the actor paradigm and actor patterns - the message passing concurrency paradigm.What you will learnExplore parallel architecture Get acquainted with concurrency models Internalize design themes by implementing multithreading patterns Get insights into concurrent design patterns Discover design principles behind many java threading abstractions Work with functional concurrency patternsWho this book is forThis is a must-have guide for developers who want to learn patterns to build scalable and high-performing apps. It’s assumed that you already have a decent level of programming knowledge.
Concurrent Programming: Algorithms, Principles, And Foundations
by Michel RaynalThe advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local computations in order to realize a common task. This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book. In this book the author explains synchronization and the implementation of concurrent objects, presenting in a uniform and comprehensive way the major theoretical and practical results of the past 30 years. Among the key features of the book are a new look at lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); an introduction to the atomicity consistency criterion and its properties and a specific chapter on transactional memory; an introduction to mutex-freedom and associated progress conditions such as obstruction-freedom and wait-freedom; a presentation of Lamport's hierarchy of safe, regular and atomic registers and associated wait-free constructions; a description of numerous wait-free constructions of concurrent objects (queues, stacks, weak counters, snapshot objects, renaming objects, etc.); a presentation of the computability power of concurrent objects including the notions of universal construction, consensus number and the associated Herlihy's hierarchy; and a survey of failure detector-based constructions of consensus objects. The book is suitable for advanced undergraduate students and graduate students in computer science or computer engineering, graduate students in mathematics interested in the foundations of process synchronization, and practitioners and engineers who need to produce correct concurrent software. The reader should have a basic knowledge of algorithms and operating systems.
Concurrent Programming in Mac OS X and iOS: Unleash Multicore Performance with Grand Central Dispatch (Oreilly And Associate Ser.)
by Vandad NahavandipoorNow that multicore processors are coming to mobile devices, wouldn't it be great to take advantage of all those cores without having to manage threads? This concise book shows you how to use Apple's Grand Central Dispatch (GCD) to simplify programming on multicore iOS devices and Mac OS X. Managing your application's resources on more than one core isn't easy, but it's vital. Apps that use only one core in a multicore environment will slow to a crawl. If you know how to program with Cocoa or Cocoa Touch, this guide will get you started with GCD right away, with many examples to help you write high-performing multithreaded apps. Package your code as block objects and invoke them with GCD Understand dispatch queues--the pools of threads managed by GCD Use different methods for executing UI and non-UI tasks Create a group of tasks that GCD can run all at once Instruct GCD to execute tasks only once or after a delay Discover how to construct your own dispatch queues
Concurrent, Real-Time and Distributed Programming in Java: Threads, RTSJ and RMI
by Badr BenmammarThis book provides an introduction to concurrent, real-time, distributed programming with Java object-oriented language support as an algorithm description tool. It describes in particular the mechanisms of synchronization (cooperative and competitive) and sharing of data (internal class, static variables) between threads in Java. He then discusses the use of Java for real-time applications. Consequently, a presentation of the RTSJ (Real Time Specification for Java) specification dedicated to the development of real-time applications in Java is also introduced in this book. Finally, a presentation of programming distributed in Java is presented in this book. We are particularly interested in communication using the TCP Sockets and high-level communication using Java Remote Method Invocation (RMI). The book also contains an annex which contains a practical set of application exercises in relation to the theme of the book. Knowledge of the Java language is a prerequisite for understanding the book.
Condition: The Geometry of Numerical Algorithms (Grundlehren der mathematischen Wissenschaften #349)
by Felipe Cucker Peter BürgisserThis book gathers threads that have evolved across different mathematical disciplines into seamless narrative. It deals with condition as a main aspect in the understanding of the performance ---regarding both stability and complexity--- of numerical algorithms. While the role of condition was shaped in the last half-century, so far there has not been a monograph treating this subject in a uniform and systematic way. The book puts special emphasis on the probabilistic analysis of numerical algorithms via the analysis of the corresponding condition. The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level and reaching in its third part the recent developments and partial solutions for Smale's 17th problem which can be explained within a graduate course. Its middle part contains a condition-based course on linear programming that fills a gap between the current elementary expositions of the subject based on the simplex method and those focusing on convex programming.
Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence (Power Systems)
by W. H. Tang Q. H. WuIn recent years, rapid changes and improvements have been witnessed in the field of transformer condition monitoring and assessment, especially with the advances in computational intelligence techniques. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence applies a broad range of computational intelligence techniques to deal with practical transformer operation problems. The approaches introduced are presented in a concise and flowing manner, tackling complex transformer modelling problems and uncertainties occurring in transformer fault diagnosis. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence covers both the fundamental theories and the most up-to-date research in this rapidly changing field. Many examples have been included that use real-world measurements and realistic operating scenarios of power transformers to fully illustrate the use of computational intelligence techniques for a variety of transformer modelling and fault diagnosis problems. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence is a useful book for professional engineers and postgraduate students. It also provides a firm foundation for advanced undergraduate students in power engineering.
Condition Monitoring Using Computational Intelligence Methods: Applications in Mechanical and Electrical Systems
by Tshilidzi MarwalaCondition Monitoring Using Computational Intelligence Methods promotes the various approaches gathered under the umbrella of computational intelligence to show how condition monitoring can be used to avoid equipment failures and lengthen its useful life, minimize downtime and reduce maintenance costs. The text introduces various signal-processing and pre-processing techniques, wavelets and principal component analysis, for example, together with their uses in condition monitoring and details the development of effective feature extraction techniques classified into frequency-, time-frequency- and time-domain analysis. Data generated by these techniques can then be used for condition classification employing tools such as: * fuzzy systems; rough and neuro-rough sets; neural and Bayesian networks;hidden Markov and Gaussian mixture models; and support vector machines.
Conditionals and Modularity in General Logics (Cognitive Technologies)
by Dov M. Gabbay Karl SchlechtaThis text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.
Conducting Network Penetration and Espionage in a Global Environment
by Bruce MiddletonWhen it's all said and done, penetration testing remains the most effective way to identify security vulnerabilities in computer networks. Conducting Network Penetration and Espionage in a Global Environment provides detailed guidance on how to perform effective penetration testing of computer networks-using free, open source, and commercially avai
Conducting Quantitative Research in Education
by Margaret Kristin Merga Julia Elizabeth Morris Saiyidi Mat RoniThis book provides a clear and straightforward guide for all those seeking to conduct quantitative research in the field of education, using primary research data samples. While positioned as less powerful and somehow inferior, non-parametric tests can be very useful where the research can only be designed to accommodate data structure which is ordinal, or scale but violates a normality assumption, which is required for parametric tests. Non-parametric data are a staple of educational research, and as such, it is essential that educational researchers learn how to work with these data with confidence and rigour.