A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case

By Zarba Calogero   Cantone Domenico   Schwartz Jacob  

Journal of Automated Reasoning, Vol. 33, Iss. 3-4, 2004-10 ,pp. : 251-269

Springer Publishing Company

Access to resources Recommend Favorite

Symbolic additive decomposition of rational functions

By Polyakov S.  

Programming and Computer Software, Vol. 31, Iss. 2, 2005-03 ,pp. : 60-64

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Non-linear system identification and fault detection method using RBF neural networks with set membership estimation

By Chai Wei   Qiao Junfei  

International Journal of Modelling, Identification and Control, Vol. 20, Iss. 2, 2013-08 ,pp. : 114-120

Inderscience Publishers

Access to resources Recommend Favorite

Additive symmetries: the non-negative case

By Daumas M.   Langlois P.  

Theoretical Computer Science, Vol. 291, Iss. 2, 2003-01 ,pp. : 143-157

Elsevier

Access to resources Recommend Favorite

Non-linear estimation is easy

By Fliess Michel   Join Cedric   Sira-Ramirez Hebertt  

International Journal of Modelling, Identification and Control, Vol. 4, Iss. 1, 2008-10 ,pp. : 12-27

Inderscience Publishers

Access to resources Recommend Favorite