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