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
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