Filter by
Non-commuting Variations in Mathematics and Physics:A Survey
This text presents and studies the method of so –called noncommuting variations in Variational Calculus. This method was pioneered by Vito Volterra who noticed that the conventional Euler-Lagrange (EL-) equations are not applicable in Non-Holonomic Mechanics and suggested to modify the basic rule used in Variational Calculus. This book presents a survey of Variational Calculus with no…
- Edition
- 1
- ISBN/ISSN
- 1860-6245
- Collation
- XIV, 235
- Series Title
- Interaction of Mechanics and Mathematics
- Call Number
- -
Financial Cryptography and Data Security
This book constitutes the refereed proceedings of three workshops held at the 19th International Conference on Financial Cryptography and Data Security, FC 2015, in San Juan, Puerto Rico, in January 2015. The 22 full papers presented were carefully reviewed and selected from 39 submissions. They feature the outcome of the Second Workshop on Bitcoin Research, BITCOIN 2015, the Third Workshop …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48051-9
- Collation
- XII, 309
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Filtering and Control of Stochastic Jump Hybrid Systems
The book is a timely reflection of the developing area of filtering and control theories for Markovian jump hybrid systems with various kinds of imperfect information. It is a collection of a series of latest research results and therefore serves as a useful textbook for senior and/or graduate students who are interested in knowing 1) the state-of-the-art of linear filtering and control areas, …
- Edition
- -
- ISBN/ISSN
- 978-3-319-31915-5
- Collation
- XIX, 212
- Series Title
- Studies in Systems, Decision and Control
- Call Number
- -
Filtering and Control for Classes of Two-Dimensional Systems
The methods developed provide a framework for stability and performance analysis, optimal and robust controller and filter design and model approximation for the systems considered. Solutions to the design problems are couched in terms of linear matrix inequalities. For readers interested in the state of the art in linear filtering, control and model reduction, Filtering and Control for Clas…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13698-1
- Collation
- XVI, 336
- Series Title
- Studies in Systems, Decision and Control
- Call Number
- -
File Management Made Simple, Windows Edition
Why is that? What is the common factor? It’s simple really. Each of these issues can be attributed to poor file management skills. In my experience, the people with the worst file management skills are simply the ones that lack an understanding of how to navigate the Windows operating system. However this situation can be easily rectified. And once you can successfully navigate your computer'…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1082-6
- Collation
- XVIII, 179
- Series Title
- -
- Call Number
- -
Design and implementation of the MTX operating system
This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, comple…
- Edition
- -
- ISBN/ISSN
- 9783319175751
- Collation
- xxi, 539 pages
- Series Title
- -
- Call Number
- 005.3
ISCS 2014: Interdisciplinary Symposium on Complex Systems
The book you hold in your hands is the outcome of the “2014 Interdisciplinary Symposium on Complex Systems” held in the historical city of Florence. The book consists of 37 chapters from 4 areas of Physical Modeling of Complex Systems, Evolutionary Computations, Complex Biological Systems and Complex Networks. All 4 parts contain contributions that give interesting point of view on complexi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10758-5
- Collation
- X, 374
- Series Title
- -
- Call Number
- 004 ISC
IP Cores Design from Specifications to Production: Modeling, Verification, Op…
This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs and system-on-chip (SoC) buses. Readers will also benefit from the author’s practical coverage …
- Edition
- -
- ISBN/ISSN
- 978-3-319-22034-5
- Collation
- IX, 154
- Series Title
- -
- Call Number
- 537.5 IPC
Android Quick APIs Reference
The Android Quick APIs Reference is a condensed code and APIs reference for the new Google Android 5.0 SDK. It presents the essential Android APIs in a well-organized format that can be used as a handy reference. You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a software development kit and APIs reference…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-0523-5
- Collation
- XVI, 280
- Series Title
- -
- Call Number
- 003.5 CIN a
Analytic Curve Frequency-Sweeping Stability Tests for Systems with Commensura…
In this brief the authors establish a new frequency-sweeping framework to solve the complete stability problem for time-delay systems with commensurate delays. The text describes an analytic curve perspective which allows a deeper understanding of spectral properties focusing on the asymptotic behavior of the characteristic roots located on the imaginary axis as well as on properties invariant …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-15717-7
- Collation
- XVIII, 130
- Series Title
- SpringerBriefs in Electrical and Computer Engineering
- Call Number
- 003.5 GUA a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography