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