Filter by
Building Bridges : Connections and Challenges in Modern Approaches to Numeric…
This volume contains contributed survey papers from the main speakers at the LMS/EPSRC Symposium “Building bridges: connections and challenges in modern approaches to numerical partial differential equations”. This meeting took place in July 8-16, 2014, and its main purpose was to gather specialists in emerging areas of numerical PDEs, and explore the connections between the different appro…
- Edition
- -
- ISBN/ISSN
- 978-3-319-41640-3
- Collation
- -
- Series Title
- -
- Call Number
- 004
Bridging Constraint Satisfaction and Boolean Satisfiability
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances. …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 004
Biometric Recognition
This book constitutes the refereed proceedings of the 10th Chinese Conference on Biometric Recognition, CCBR 2015, held in Tianjin, China, in November 2015. The 85 revised full papers presented were carefully reviewed and selected from among 120 submissions. The papers focus on face, fingerprint and palmprint, vein biometrics, iris and ocular biometrics, behavioral biometrics, application and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25417-3
- Collation
- -
- Series Title
- -
- Call Number
- 004
Biomedical Engineering Systems and Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, held in Lisbon, Portugal, in January 2015. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from a total of 375 submissions. The papers cover a wide range o…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27707-3
- Collation
- -
- Series Title
- -
- Call Number
- 004
Biologically Inspired Cognitive Architectures for Young Scientists
This book presents cutting-edge research focused on current challenges towards the realization of Biologically Inspired intelligent agents, or Cognitive Architectures (BICA). The chapters are written by both world-recognized experts (including Antonio Chella, Olivier Georgeon, Oliver Kutz, Antonio Lieto, David Vernon, Paul Verschure, and others) and young researchers. Together, they constitute …
- Edition
- -
- ISBN/ISSN
- 978-3-319-32554-5
- Collation
- -
- Series Title
- -
- Call Number
- 004
Bioinspired Computation in Artificial Systems
The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, held in Elche, Spain, in June 2015. The total of 103 contributions was carefully reviewed and selected from 190 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on a…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 004
BioInformation Processing : A Primer on Computational Cognitive Science
This book shows how mathematics, computer science and science can be usefully and seamlessly intertwined. It begins with a general model of cognitive processes in a network of computational nodes, such as neurons, using a variety of tools from mathematics, computational science and neurobiology. It then moves on to solve the diffusion model from a low-level random walk point of view. It also de…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 004
Bio-Inspired Computing Theories and Applications
This book constitutes the proceedings of the 10th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2015, held in Hefei, China, in September 2015. The 63 revised full papers presented were carefully reviewed and selected from 182 submissions. The papers deal with the following main topics: evolutionary computing, neural computing, DNA computing, and membrane…
- Edition
- -
- ISBN/ISSN
- 978-3-662-49014-3
- Collation
- -
- Series Title
- -
- Call Number
- 004.1
Bin-Picking : New Approaches for a Classical Problem
This book is devoted to one of the most famous examples of automation handling tasks – the “bin-picking” problem. To pick up objects, scrambled in a box is an easy task for humans, but its automation is very complex. In this book three different approaches to solve the bin-picking problem are described, showing how modern sensors can be used for efficient bin-picking as well as how classi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26500-1
- Collation
- -
- Series Title
- -
- Call Number
- 004
Big Visual Data Analysis : Scene Classification and Geometric Labeling
This book offers an overview of traditional big visual data analysis approaches and provides state-of-the-art solutions for several scene comprehension problems, indoor/outdoor classification, outdoor scene classification, and outdoor scene layout estimation. It is illustrated with numerous natural and synthetic color images, and extensive statistical analysis is provided to help readers visual…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0631-9
- Collation
- -
- Series Title
- -
- Call Number
- 004
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography