Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
theory arrays » theory essays, theory ray, theory harry
arrays a » arrays _
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
theory arrays » theory essays, theory ray, theory harry
arrays a » arrays _
1
Table of Contents:
“...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
View full text
View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Framework for Real-Time Computing -- A Load Aware Channel Assignment and Link Scheduling Algorithm for Multi...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... of Redundancy Elimination Protocols for Wireless Sensor Networks -- A Light-Weighted Misused Key Detection...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”View full text
Electronic
eBook



