Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
properties functionality » protein functionality
functionality function » functionals function, functionaries function, functional functions
sequential properties » residential properties, sequential processes, sequence properties
parallel sequential » parallel sequencing, parallel sequence, parallel exponential
function https » functions https, fiction https
properties functionality » protein functionality
functionality function » functionals function, functionaries function, functional functions
sequential properties » residential properties, sequential processes, sequence properties
parallel sequential » parallel sequencing, parallel sequence, parallel exponential
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Simulations -- Sequential and Parallel Implementation of Networks -- Applications -- Parametric Studies...”View full text
Electronic
eBook
3
Table of Contents:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
View full text
View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... with Imperfect Information -- Relating Two Standard Notions of Secrecy -- Jump from Parallel to Sequential Proofs...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Knowledge and Query Answering in Locally Complete Databases -- Sequential, Parallel, and Quantified Updates...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Algorithm for Efficient Solution of 2D and 3D Shape Matching Problems -- Local Search in Parallel Linear...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“...Preface -- Operation Modes in Lower-Mobility Parallel Manipulators, by Josef Schadlbauer, Latifah...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... on MapReduce -- Efficient Mining of Density-Aware Distinguishing Sequential Patterns with Gap Constraints...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... on MapReduce -- Efficient Mining of Density-Aware Distinguishing Sequential Patterns with Gap Constraints...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Power Efficient AODV in Mobile Adhoc Network -- Voice Transformation using Radial Basis Function -- IPTC...”View full text
Electronic
eBook