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
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays a » arrays _
computational programming » computation programming, computational program, computing programming
detection computational » section computational, prediction computational, interactions computational
mathematics arrays » mathematics arab, mathematics across, mathematics essays
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 2010
Table of Contents:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Computer Graphics, Imaging and Vision -- Efficient Genetic Algorithms for Arabic Handwritten...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
11
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
12
Published 2007
Table of Contents:
“... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... for Authentication -- An Escalated Approach to Ant Colony Clustering Algorithm for Intrusion Detection System...”View full text
Electronic
eBook
14
Table of Contents:
“... Arrays -- More Advanced GUI Programming -- Tools and Examples....”
View full text
View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... of Tiling Arrays Using a Shortest Path Approach -- Efficient and Accurate Construction of Genetic Linkage...”View full text
Electronic
eBook