1
出版 2005
书本目录: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
获取全文
电子 电子书
2
出版 2010
书本目录: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
获取全文
电子 电子书
3
出版 2010
书本目录: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
获取全文
电子 电子书
4
5
出版 2006
书本目录: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
获取全文
电子 电子书
6
出版 2010
书本目录: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
获取全文
电子 电子书
7
出版 2015
书本目录: ... Based Induction Motor Using v/f Method -- Application of New Hybrid Harmony Search Algorithms Based...
获取全文
电子 电子书
8
出版 2008
书本目录: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
获取全文
电子 电子书
9
Saeed, Walid
出版 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
获取全文
Thesis
10
出版 2005
书本目录: ... Parameterized Basic Kernels -- On the Limitations of Embedding Methods -- Leaving the Span -- Inductive...
获取全文
电子 电子书
11
出版 2005
书本目录: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
获取全文
电子 电子书
12
出版 2008
书本目录: ... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...
获取全文
电子 电子书
13
出版 2006
书本目录: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
获取全文
电子 电子书
14
出版 1999
书本目录: ... Induction Assays -- Experimental Embryological Methods for Analysis of Neural Induction in the Amphibian...
获取全文
电子 电子书
15
出版 2007
书本目录: ... Functions for Learning and Clustering -- Machine Learning in Ecosystem Informatics -- Challenge for Info...
获取全文
电子 电子书