Программы

3832 кн. Подписаться на жанр

Сортировать по:

дате добавления

названию

году выхода

количеству скачиваний

Handbook of Machine and Computer Vi...

Группа авторов

Handbook of Machine and Computer Vision

The second edition of this accepted reference work has been updated to reflect the rapid developments in the field and now covers both 2D and 3D imaging. Written by expert practitioners from leading companies operating in machine vision, this one-stop handbook guides readers through all aspects of image acquisition and image processing, including optics, electronics and software. The authors approach the subject in terms of industrial applications, elucidating such topics as illumination and...

Автор

Группа авторов

Formal Languages, Automata and Nume...

Michel Rigo

Formal Languages, Automata and Numeration Systems 2

The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a “simple” binary expansion, by B. Adamczewski and Y. Bugeaud. This book is at the heart of this...

Автор

Michel Rigo

Signal Processing for Cognitive Rad...

Sudharman K. Jayaweera

Signal Processing for Cognitive Radios

This book examines signal processing techniques for cognitive radios. The book is divided into three parts: Part I, is an introduction to cognitive radios and presents a history of the cognitive radio (CR), and introduce their architecture, functionalities, ideal aspects, hardware platforms, and state-of-the-art developments. Dr. Jayaweera also introduces the specific type of CR that has gained the most research attention in recent years: the CR for Dynamic Spectrum Access (DSA). Part II of the...

Автор

Sudharman K. Jayaweera

Discrete Wavelet Transform

D. Sundararajan

Discrete Wavelet Transform

Provides easy learning and understanding of DWT from a signal processing point of view Presents DWT from a digital signal processing point of view, in contrast to the usual mathematical approach, making it highly accessible Offers a comprehensive coverage of related topics, including convolution and correlation, Fourier transform, FIR filter, orthogonal and biorthogonal filters Organized systematically, starting from the fundamentals of signal processing to the more advanced topics of DWT and...

Автор

D. Sundararajan

Methoden der digitalen Signalverarb...

Norbert Stockhausen

Methoden der digitalen Signalverarbeitung

Vernetztes Lernen fur optimalen Studienerfolg: Das neue Lehrbuch ist eine umfassende Einfuhrung in die digitale Signalverarbeitung fur fur Studentinnen und Studenten der Ingenieur- und Naturwissenschaften. Es enthalt eine Vielzahl von grafischen Darstellungen zur Visualisierung von abstrakten Inhalten und stellt eine enge Verknupfung von Mathematik und praktischen Anwendungen her. Ein Lernprogramm auf der Basis von interaktiven PDFs stellt eine zusatzliche Moglichkeit zur Vernetzung der...

Автор

Norbert Stockhausen

Formal Methods Applied to Industria...

Группа авторов

Formal Methods Applied to Industrial Complex Systems

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical...

Автор

Группа авторов

Designing with Objects

Avinash C. Kak

Designing with Objects

Here is a book that takes the sting out of learning object-oriented design patterns! Using vignettes from the fictional world of Harry Potter, author Avinash C. Kak provides a refreshing alternative to the typically abstract and dry object-oriented design literature. Designing with Objects is unique. It explains design patterns using the short-story medium instead of sterile examples. It is the third volume in a trilogy by Avinash C. Kak, following Programming with Objects (Wiley, 2003) and...

Автор

Avinash C. Kak

Real-time Systems Scheduling 1

Группа авторов

Real-time Systems Scheduling 1

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with special emphasis on the key results obtained within the last decade. This book addresses foundations as well as the latest advances and findings in Real-Time Scheduling, giving all references to...

Автор

Группа авторов

Real-time Systems Scheduling 2

Группа авторов

Real-time Systems Scheduling 2

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them. It addresses foundations as well as the latest advances and findings in real-time scheduling, giving...

Автор

Группа авторов

Adaptive Processing of Brain Signal...

Saeid Sanei

Adaptive Processing of Brain Signals

In this book, the field of adaptive learning and processing is extended to arguably one of its most important contexts which is the understanding and analysis of brain signals. No attempt is made to comment on physiological aspects of brain activity; instead, signal processing methods are developed and used to assist clinical findings. Recent developments in detection, estimation and separation of diagnostic cues from different modality neuroimaging systems are discussed. These include...

Автор

Saeid Sanei

Knowledge and Discourse Matters

Lesley Crane

Knowledge and Discourse Matters

This book provides a practical approach to harnessing knowledge in organizations. Its focus is on knowledge sharing, tacit knowing, and a view of knowledge as an accomplishment in social interaction. The aim of this book is to explore and show how the phenomena of trust, risk and identity, as contexts constructed by speakers themselves, influence and mediate knowledge sharing in organizational encounters. The research particularly reveals how tacit knowledge (knowing), affects the scope and...

Автор

Lesley Crane

Algorithms and Ordering Heuristics...

Mohamed Wahbi

Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems

DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence. A wide variety of problems in artificial intelligence are solved using the constraint satisfaction problem paradigm. However, there are several applications in multi-agent coordination that are of a distributed nature. In this type of application, the knowledge about the problem, that is, variables and constraints, may be logically or...

Автор

Mohamed Wahbi

Introduction to Lattice Theory with...

Vijay K. Garg

Introduction to Lattice Theory with Computer Science Applications

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory. The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions. The book presents algorithmic proofs of theorems whenever possible. These proofs are written in the calculational...

Автор

Vijay K. Garg

Signal Integrity

Fabien Ndagijimana

Signal Integrity

This book presents the necessary concepts for the design and testing of radiofrequency and high-speed circuits. Signal and propagation theory is presented for the various circuit levels, from the chip to the PCB. The co-existence of high-speed wideband signals of radiofrequency signals and supply circuits is developed in order to provide design rules for engineers and Masters-level students. The subjects covered include: interconnections and signal integrity; spectral analysis techniques for...

Автор

Fabien Ndagijimana

Theory and Applications of Image Re...

Arthur Ardeshir Goshtasby

Theory and Applications of Image Registration

A hands-on guide to image registration theory and methods—with examples of a wide range of real-world applications Theory and Applications of Image Registration offers comprehensive coverage of feature-based image registration methods. It provides in-depth exploration of an array of fundamental issues, including image orientation detection, similarity measures, feature extraction methods, and elastic transformation functions. Also covered are robust parameter estimation, validation methods,...

Автор

Arthur Ardeshir Goshtasby

Rapid Prototyping Software for Avio...

Nicolas Larrieu

Rapid Prototyping Software for Avionics Systems

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production. This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the certification aspects of the solution produced. This method takes advantage of the model-based design...

Автор

Nicolas Larrieu

Fundamentals of Pervasive Informati...

Vijay Kumar

Fundamentals of Pervasive Information Management Systems

A comprehensive new edition on mobile computing—covering both mobile and sensor data The new paradigm of pervasive computing was born from the needs of highly mobile workers to access and transfer data while on the go. Significant advances in the technology have lent and will continue to lend prevalence to its use—especially in m-commerce. Covering both mobile data and sensor data, this comprehensive text offers updated research on sensor technology, data stream processing, mobile database...

Автор

Vijay Kumar

Programming Multicore and Many-core...

Группа авторов

Programming Multicore and Many-core Computing Systems

Programming multi-core and many-core computing systems Sabri Pllana, Linnaeus University, Sweden Fatos Xhafa, Technical University of Catalonia, Spain Provides state-of-the-art methods for programming multi-core and many-core systems The book comprises a selection of twenty two chapters covering: fundamental techniques and algorithms; programming approaches; methodologies and frameworks; scheduling and management; testing and evaluation methodologies; and case studies for programming multi-core...

Автор

Группа авторов

Digital Signal Processing Using the...

Donald S. Reay

Digital Signal Processing Using the ARM Cortex M4

Features inexpensive ARM® Cortex®-M4 microcontroller development systems available from Texas Instruments and STMicroelectronics. This book presents a hands-on approach to teaching Digital Signal Processing (DSP) with real-time examples using the ARM® Cortex®-M4 32-bit microprocessor. Real-time examples using analog input and output signals are provided, giving visible (using an oscilloscope) and audible (using a speaker or headphones) results. Signal generators and/or audio sources, e.g. iPods,...

Автор

Donald S. Reay

Formal Languages, Automata and Nume...

Michel Rigo

Formal Languages, Automata and Numeration Systems 1

Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory). Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword...

Автор

Michel Rigo

Formal Methods Applied to Complex S...

Группа авторов

Formal Methods Applied to Complex Systems

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved...

Автор

Группа авторов

Analog and Mixed-Signal Electronics

Karl Stephan

Analog and Mixed-Signal Electronics

A practical guide to analog and mixed-signal electronics, with an emphasis on design problems and applications This book provides an in-depth coverage of essential analog and mixed-signal topics such as power amplifiers, active filters, noise and dynamic range, analog-to-digital and digital-to-analog conversion techniques, phase-locked loops, and switching power supplies. Readers will learn the basics of linear systems, types of nonlinearities and their effects, op-amp circuits, the high-gain...

Автор

Karl Stephan

Scheduling of Large-scale Virtualiz...

Flavien Quesnel

Scheduling of Large-scale Virtualized Infrastructures

System virtualization has become increasingly common in distributed systems because of its functionality and convenience for the owners and users of these infrastructures. In Scheduling of Large-scale Virtualized Infrastructures, author Flavien Quesnel examines the management of large-scale virtual infrastructures with an emphasis on scheduling up to 80,000 virtual machines on 8,000 nodes. The text fills a need for updated software managing to meet the increasing size of virtual infrastructures....

Автор

Flavien Quesnel

Computational Paralinguistics

Björn Schuller

Computational Paralinguistics

This book presents the methods, tools and techniques that are currently being used to recognise (automatically) the affect, emotion, personality and everything else beyond linguistics (‘paralinguistics’) expressed by or embedded in human speech and language. It is the first book to provide such a systematic survey of paralinguistics in speech and language processing. The technology described has evolved mainly from automatic speech and speaker recognition and processing, but also takes into...

Автор

Björn Schuller

←
1
2
...
142
143
144
145
146
147
148
...
159
160
→
стр.

Для правообладателей и по всем вопросам knigism.info@yandex.ru