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...
獲取全文
電子 電子書