Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
upper functionals » upper functions, order functionals, type functionals
programs upper » programs under
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
parallel programs » parallel programming
upper functionals » upper functions, order functionals, type functionals
programs upper » programs under
function https » functions https, fiction https
1
Udgivet 2010
Indholdsfortegnelse:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2006
Indholdsfortegnelse:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2010
Indholdsfortegnelse:
“... -- Creating an Upper-Confidence-Tree Program for Havannah -- Randomized Parallel Proof-Number Search -- Hex...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2015
Indholdsfortegnelse:
“...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2013
Indholdsfortegnelse:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2015
Indholdsfortegnelse:
“... for Improvement of Upper Limb Motor Impairment and Function -- Constraint- Induced Movement Therapy...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2015
Indholdsfortegnelse:
“... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2014
Indholdsfortegnelse:
“... on the Lower and Upper Tensions for Cable-driven Parallel Robots -- Characterization of the Subsystems...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2013
Indholdsfortegnelse:
“... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2007
Indholdsfortegnelse:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2007
Indholdsfortegnelse:
“... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2013
Indholdsfortegnelse:
“...-Contractive Maps, h Function and the Maximally regular Graph: A new methodology for data mining; Massimo...”Få fuldtekst
Electronisk
eBog