1
Pubblicazione 2015
Sommario: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...
Testo
Elettronico eBook
5
Pubblicazione 2012
Sommario: ... of Autonomous Robots -- Solving SONET Problems using a Hybrid Scatter Search Algorithm -- Investigating a...
Testo
Elettronico eBook
6
Pubblicazione 2010
Sommario: ... Algorithm for Real Parameter Function Optimization Problems -- The RM-MEDA Based on Elitist Strategy...
Testo
Elettronico eBook
7
Pubblicazione 2013
Sommario: ...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...
Testo
Elettronico eBook
9
Pubblicazione 2013
Sommario: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
Testo
Elettronico eBook
10
Pubblicazione 2014
Sommario: ... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...
Testo
Elettronico eBook
11
Pubblicazione 2005
Sommario: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Testo
Elettronico eBook
12
Pubblicazione 2007
Sommario: ... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...
Testo
Elettronico eBook
13
di Lew, Art., Lew, Art., Mauch, Holger.
Pubblicazione 2007
Sommario: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Testo
Elettronico eBook
15
Pubblicazione 2015
Sommario: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Testo
Elettronico eBook
16
di Ferreira, Candida., Ferreira, Candida.
Pubblicazione 2006
Sommario: ...-RNC Algorithm -- Automatically Defined Functions in Problem Solving -- Polynomial Induction and Time...
Testo
Elettronico eBook
17
Pubblicazione 2015
Sommario: ... -- Various Problems of Artificial Intelligence -- Constraint Optimization Production Planning Problem. A Note...
Testo
Elettronico eBook
18
Pubblicazione 2015
Sommario: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
Testo
Elettronico eBook
19
Pubblicazione 2014
Sommario: ... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...
Testo
Elettronico eBook
20
Pubblicazione 2015
Sommario: ...-objective Quadratic Programming Problems in a Probabilistic Fuzzy Environment -- Partial Commutation on Some...
Testo
Elettronico eBook