1
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Qualitative Modeling and Simulation of Bacterial Regulatory Networks -- Integrated Analysis from...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Recovery -- Extending Databases to Precision-Controlled Retrieval of Qualitative Information -- An Approach...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... and Parallel Reasoning in the Semantic Web -- Exploring the Wisdom of the Tweets: Towards Knowledge Acquisition...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...
View full text
Electronic eBook