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