Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
linear programs » linear problems, linear programming
problem linear » problems nonlinear
https » http
linear programs » linear problems, linear programming
problem linear » problems nonlinear
https » http
1
Published 2008
Table of Contents:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”View full text
Electronic
eBook
2
Table of Contents:
“... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“.... Linear algebra -- 12.1 Vectors -- 12.2 Matrices -- 13. Graphics -- 13.1 Two-dimensional graphs -- 13.2...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”View full text
Electronic
eBook
5
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Algorithms for Two-Dimensional Rectangular Arrays -- Register Complexity of LOOP-, WHILE-, and GOTO-Programs...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Elimination Problems for Matrices -- A Full System of Invariants for Third-Order Linear Partial Differential...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- On the Parameterized Complexity of Some Optimization Problems Related to Multiple-Interval Graphs -- Succinct...”View full text
Electronic
eBook
19
Table of Contents:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Empty Rectangle and Square Problems in All Dimensions -- Connectivity Is Not a Limit for Kernelization...”View full text
Electronic
eBook