Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
program functionality » protein functionality, programs functional, supra functionality
proceedings program » proceedings from
functionality https » functionality maps, functionality needs, functionality pt
intelligent » intelligence
program functionality » protein functionality, programs functional, supra functionality
proceedings program » proceedings from
functionality https » functionality maps, functionality needs, functionality pt
intelligent » intelligence
1
Argitaratua 2008
Aurkibidea:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2012
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2011
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”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
Argitaratua 2010
Aurkibidea:
“... Programming -- Parameter Evolution for a Particle Swarm Optimization Algorithm -- The Ant Colony Optimization...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2014
Aurkibidea:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2013
Aurkibidea:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Testu osoa
Baliabide elektronikoa
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Argitaratua 2013
Aurkibidea:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Testu osoa
Baliabide elektronikoa
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Argitaratua 2006
Aurkibidea:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”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 2014
Aurkibidea:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2015
Aurkibidea:
“... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2014
Aurkibidea:
“... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”Testu osoa
Baliabide elektronikoa
eBook