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