Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
computing program » comparing programs, computing progress, computer program
program problem » programs problem, programs problems, program program
functions https » foundations https
function https » fiction https
intelligent » intelligence
computing program » comparing programs, computing progress, computer program
program problem » programs problem, programs problems, program program
functions https » foundations https
function https » fiction https
intelligent » intelligence
1
Publicado em 2015
Sumário:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2012
Sumário:
“... of Autonomous Robots -- Solving SONET Problems using a Hybrid Scatter Search Algorithm -- Investigating a...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2010
Sumário:
“... Algorithm for Real Parameter Function Optimization Problems -- The RM-MEDA Based on Elitist Strategy...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2013
Sumário:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado em 2013
Sumário:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2014
Sumário:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Sumário:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2007
Sumário:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2005
Sumário:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2010
Sumário:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Sumário:
“...-RNC Algorithm -- Automatically Defined Functions in Problem Solving -- Polynomial Induction and Time...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2015
Sumário:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2015
Sumário:
“... -- Various Problems of Artificial Intelligence -- Constraint Optimization Production Planning Problem. A Note...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2014
Sumário:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2014
Sumário:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2015
Sumário:
“... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”Obter o texto integral
Recurso Electrónico
livro electrónico