Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts

By Liang Chuck   Nadathur Gopalan   Qi Xiaochu  

Journal of Automated Reasoning, Vol. 33, Iss. 2, 2004-09 ,pp. : 89-132

Springer Publishing Company

Access to resources Recommend Favorite

A coupling algorithm with second-order accuracy for thermal fluid-structure interaction

By Pironkov P.   Sternel D.C.   Schafer M.  

Progress in Computational Fluid Dynamics, An International Journal, Vol. 13, Iss. 2, 2013-03 ,pp. : 84-93

Inderscience Publishers

Access to resources Recommend Favorite

Coupling influence of ship dynamic flexure on high accuracy transfer alignment

By Wu Wei  

International Journal of Modelling, Identification and Control, Vol. 19, Iss. 3, 2013-07 ,pp. : 224-234

Inderscience Publishers

Access to resources Recommend Favorite

Accuracy and efficiency enhanced non-linear model order reduction

By Shaker Hamid Reza   Samavat Mahmoud  

International Journal of Modelling, Identification and Control, Vol. 2, Iss. 2, 2007-07 ,pp. : 147-153

Inderscience Publishers

Access to resources Recommend Favorite

Spam filtering: how the dimensionality reduction affects the accuracy of Naive Bayes classifiers

By Almeida Tiago  

Journal of Internet Services and Applications, Vol. 1, Iss. 3, 2011-02 ,pp. : 183-200

Springer Publishing Company

Access to resources Recommend Favorite