1
Published 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... Hessian Curves -- Reduction-Centric Non-programmable Security Proof for the Full Domain Hash in the Random...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Band pass Filter with Improved Out of Band Performance -- Size Reduction of 4X4 Butler Matrix Using...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Fractal Dimension -- Networked Robots Personal Tastes Acquisition and Sharing -- Reduction of Rules of a...
View full text
Electronic eBook