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