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