Filter by
Automation of Finite Element Methods
New finite elements are needed as well in research as in industry environments for the development of virtual prediction techniques. The design and implementation of novel finite elements for specific purposes is a tedious and time consuming task, especially for nonlinear formulations. The automation of this process can help to speed up this process considerably since the generation of the …
- Edition
- -
- ISBN/ISSN
- 978-3-319-39005-5
- Collation
- XXVIII, 346
- Series Title
- -
- Call Number
- 531
Automatic Speech Recognition : A Deep Learning Approach
This book provides a comprehensive overview of the recent advancement in the field of automatic speech recognition with a focus on deep learning models including deep neural networks and many of their variants. This is the first automatic speech recognition book dedicated to the deep learning approach. In addition to the rigorous mathematical treatment of the subject, the book also presents ins…
- Edition
- -
- ISBN/ISSN
- 978-1-4471-5779-3
- Collation
- XXVI, 321
- Series Title
- -
- Call Number
- 004
Automatic SIMD Vectorization of SSA-based Control Flow Graphs
Ralf Karrenberg presents Whole-Function Vectorization (WFV), an approach that allows a compiler to automatically create code that exploits data-parallelism using SIMD instructions. Data-parallel applications such as particle simulations, stock option price estimation or video decoding require the same computations to be performed on huge amounts of data. Without WFV, one processor core executes…
- Edition
- -
- ISBN/ISSN
- 978-3-658-10113-8
- Collation
- XVI, 187
- Series Title
- -
- Call Number
- 006.6
Automatic Design of Decision-Tree Induction Algorithms
Presents a detailed study of the major design components that constitute a top-down decision-tree induction algorithm, including aspects such as split criteria, stopping criteria, pruning and the approaches for dealing with missing values. Whereas the strategy still employed nowadays is to use a 'generic' decision-tree induction algorithm regardless of the data, the authors argue on the benefit…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14231-9
- Collation
- XII, 176
- Series Title
- -
- Call Number
- 006.312
Automated Technology for Verification and Analysis : 13th International Sympo…
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24953-7
- Collation
- XIII, 520
- Series Title
- -
- Call Number
- 006.3
JavaScript Object Programming
This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance. This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For clas…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1787-0
- Collation
- -
- Series Title
- -
- Call Number
- -
JavaScript Frameworks for Modern Web Dev
JavaScript Frameworks for Modern Web Dev is your guide to the wild, vast, and untamed frontier that is JavaScript development. The JavaScript tooling landscape has grown and matured drastically in the past several years. This book will serve as an introduction to both new and well established libraries, frameworks, and utilities that have gained popular traction and support from seasoned dev…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0662-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Automated Reasoning with Analytic Tableaux and Related Methods : 24th Interna…
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24312-2
- Collation
- XVI, 355
- Series Title
- -
- Call Number
- 006.4
Java Threads and the Concurrency Utilities
This concise book empowers all Java developers to master the complexity of the Java thread APIs and concurrency utilities. This knowledge aids the Java developer in writing correct and complex performing multithreaded applications. Java's thread APIs and concurrency utilities are among its most powerful and challenging APIs and language features. Java beginners typically find it very difficu…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1700-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Java I/O, NIO and NIO.
Java I/O, NIO and NIO.2 is a power-packed book that is an accelerated guide and reference on buffers, files, sockets, datagrams, and pipe channels as found in the Java I/O, NIO, and NIO.2 reference implementations. In this book, you'll also learn how and when to use selectors, regular expressions, including patterns, matchers and more. You'll learn how to work with Charsets, formatters and scan…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1565-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