Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
upper functionality » support functionality, supra functionality, key functionality
parallel programs » parallel programming
programs upper » programs under
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
upper functionality » support functionality, supra functionality, key functionality
parallel programs » parallel programming
programs upper » programs under
function https » functions https, fiction https
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”View full text
Electronic
eBook
4
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
5
Published 2010
Table of Contents:
“... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... for Improvement of Upper Limb Motor Impairment and Function -- Constraint- Induced Movement Therapy...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... on the Lower and Upper Tensions for Cable-driven Parallel Robots -- Characterization of the Subsystems...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”View full text
Electronic
eBook