Search alternatives:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel exact » parallel ant, parallel explicit
function https » functions https, fiction https
exact program » advact program
1
Published 2006
Table of Contents: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Parallelization of Exact Charge Conservative Particle Simulation Code by High Performance Fortran -- Pipelined...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Equilibrium Prices: Does Theory Meet Practice? -- Efficient Exact Algorithms on Planar Graphs: Exploiting...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Coefficient of Skewness of Auxiliary Variable -- Exact Traveling Wave Solutions of Time-Dependent Ginzburg...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Generation: Minimax Objective Functions -- Reporting Flock Patterns -- On Exact Algorithms for Treewidth...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...) and the Hypersphere Condition -- Direct Kinematics of an Orthogonal 6PRRS Parallel Manipulator -- The Hidden Robot...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... of Feasible Learning Functionals -- Parallelism Increases Iterative Learning Power -- Prescribed Learning...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Algorithms -- A Survey of Probabilistic Model Building Genetic Programming -- Efficiency Enhancement...
View full text
Electronic eBook
20
Published 2014
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook