Filter by
Optimized Packings with Applications
This volume presents a selection of case studies that address a substantial range of optimized object packings (OOP) and their applications. The contributing authors are well-recognized researchers and practitioners. The mathematical modelling and numerical solution aspects of each application case study are presented in sufficient detail. A broad range of OOP problems are discussed: these incl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18899-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Optimization of Stochastic Discrete Systems and Control on Complex Networks …
This book presents the latest findings on stochastic dynamic programming models and on solving optimal control problems in networks. It includes the authors’ new findings on determining the optimal solution of discrete optimal control problems in networks and on solving game variants of Markov decision problems in the context of computational networks. First, the book studies the finite state…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11833-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Optimization of Polynomials in Non-Commuting Variables
This book presents recent results on positivity and optimization of polynomials in non-commuting variables. Researchers in non-commutative algebraic geometry, control theory, system engineering, optimization, quantum physics and information science will find the unified notation and mixture of algebraic geometry and mathematical programming useful. Theoretical results are matched with algorithm…
- Edition
- -
- ISBN/ISSN
- 978-3-319-33338-0
- Collation
- -
- Series Title
- -
- Call Number
- -
The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves B…
This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15368-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Human-Inspired Balancing and Recovery Stepping for Humanoid Robots
Robustly maintaining balance on two legs is an important challenge for humanoid robots. The work presented in this book represents a contribution to this area. It investigates efficient methods for the decision-making from internal sensors about whether and where to step, several improvements to efficient whole-body postural balancing methods, and proposes and evaluates a novel method for effic…
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0903-5
- Collation
- -
- Series Title
- -
- Call Number
- 629 KAU h
Efficiently Conducting Quality-of-Service Analyses by Templating Architectura…
Previously, software architects were unable to effectively and efficiently apply reusable knowledge (e.g., architectural styles and patterns) to architectural analyses. This work tackles this problem with a novel method to create and apply templates for reusable knowledge. These templates capture reusable knowledge formally and can efficiently be integrated in architectural analyses.
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0756-7
- Collation
- -
- Series Title
- -
- Call Number
- 005 LEH e
Efficient Algorithms for Large-Scale Image Analysis
This work develops highly efficient algorithms for analyzing large images. Applications include object-based change detection and screening. The algorithms are 10-100 times as fast as existing software, sometimes even outperforming FGPA/GPU hardware, because they are designed to suit the computer architecture. This thesis describes the implementation details and the underlying algorithm enginee…
- Edition
- -
- ISBN/ISSN
- 978-3-86644-786-8
- Collation
- -
- Series Title
- -
- Call Number
- 003 WAS e
Design and Application of Quantified Self Approaches for Reflective Learning …
Learning by reflection is one of the core processes for improving work performance. We provide a novel approach for reflective learning support by transferring and adapting practices from the Quantified Self to workplace settings. This book contributes with an integrated model for technical support of reflective learning, mobile and web-based applications designed for quantifying and gathering …
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0406-1
- Collation
- -
- Series Title
- -
- Call Number
- 003 PEL d
Detection and characterization of inclusions in impedance tomography
The topic of this work are two further developments of the Factorization method for electrical impedance tomography.We present a modification of this method that is capable of detecting mixed inclusions, i.e. both inclusions with a higher as well as inclusions with a lower conductivity than the background medium. In addition, we derive a new method to compute the conductivity inside inclusions …
- Edition
- -
- ISBN/ISSN
- 978-3-86644-635-9
- Collation
- -
- Series Title
- -
- Call Number
- 003 SCH d
The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Bézi…
This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan WoleÅ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10193-4
- 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