Filter by
A Guide to MATLAB For Beginners and Experienced Users
This book is a short, focused introduction to MATLAB, a comprehensive software system for mathematics and technical computing. It should be useful to both beginning and experienced users. It contains concise explanations of essential MATLAB commands, as well as easily understood instructions for using MATLAB's programming features, graphical capabilities, and desktop interface. It also includes…
- Edition
- -
- ISBN/ISSN
- 9781139164801
- Collation
- -
- Series Title
- -
- Call Number
- -
A Guide to Experimental Algorithmics
Computational experiments on algorithms can supplement theoretical analysis by showing what algorithms, implementations and speed-up methods work best for specific machines or problems. This book guides the reader through the nuts and bolts of the major experimental questions: What should I measure? What inputs should I test? How do I analyze the data? To answer these questions the book draws o…
- Edition
- -
- ISBN/ISSN
- 9780511843747
- Collation
- -
- Series Title
- -
- Call Number
- -
Research in Shape Modeling
This is a new edited volume on shape analysis presenting results in shape modeling and computational geometry from the 2013 Association for Women in Mathematics (AWM) symposium held at UCLA's Institute for Pure and Applied Mathematics (IPAM). In-depth discussion of shape modeling techniques is supplemented by full-color illustrations demonstrating the results of workshop-developed shape modelin…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16348-2
- Collation
- -
- Series Title
- -
- Call Number
- -
The Future of Software Quality Assurance
This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Optimal Sequence-Based Control of Networked Linear Systems
In Networked Control Systems (NCS), components of a control loop are connected by data networks that may introduce time-varying delays and packet losses into the system, which can severly degrade control performance. Hence, this book presents the newly developed S-LQG (Sequence-Based Linear Quadratic Gaussian) controller that combines the sequence-based control method with the well-known LQG ap…
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0305-7
- Collation
- XI, 156 S.
- Series Title
- Karlsruhe Series on Intelligent Sensor-Actuator-Systems / Karlsruher Institut für Technologie, Intelligent Sensor-Actuator-Systems Laboratory ; 15
- Call Number
- 003.74 FIS o
Uncertainty Theory
When no samples are available to estimate a probability distribution, we have to invite some domain experts to evaluate the belief degree that each event will happen. Perhaps some people think that the belief degree should be modeled by subjective probability or fuzzy set theory. However, it is usually inappropriate because both of them may lead to counterintuitive results in this case. In o…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44354-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Uncertain Differential Equations
This book introduces readers to the basic concepts of and latest findings in the area of differential equations with uncertain factors. It covers the analytic method and numerical method for solving uncertain differential equations, as well as their applications in the field of finance. Furthermore, the book provides a number of new potential research directions for uncertain differential equat…
- Edition
- -
- ISBN/ISSN
- 978-3-662-52729-0
- Collation
- -
- Series Title
- -
- Call Number
- -
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
A Formal Theory of Commonsense Psychology
Commonsense psychology refers to the implicit theories that we all use to make sense of people's behavior in terms of their beliefs, goals, plans, and emotions. These are also the theories we employ when we anthropomorphize complex machines and computers as if they had humanlike mental lives. In order to successfully cooperate and communicate with people, these theories will need to be represen…
- Edition
- -
- ISBN/ISSN
- 9781316584705
- Collation
- -
- Series Title
- -
- Call Number
- -
Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, …
Normal 0 false false false EN-US X-NONE X-NONE This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Trusted Systems, INTRUST 2014, held in Beijing, China, in December 2014. The conference brings together academic and industrial researchers, designers, and implementers with end-users of trusted systems, in order to foster the exchan…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27998-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography