Prerequisites of Autonomous Software Operations in Home UbiHealth Described Formally with Denotational Mathematics

E-ISSN： 1942-9037|8|1|16-31

ISSN： 1942-9045

Source： International Journal of Software Science and Computational Intelligence (IJSSCI), Vol.8, Iss.1, 2016-01, pp. : 16-31

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Administration of Medical Contexts with Denotational Mathematics in Ubiquitous Computing Home Environments

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 7, Iss. 2, 2015-04 ,pp. : 1-30

IGI Global_journal

Access to resources Recommend Favorite

Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 5, Iss. 4, 2011-10 ,pp. : 61-82

IGI Global_journal

Access to resources Recommend Favorite

A Pragmatic Characterization of Concept Algebra: A Few Formal Remarks on Wang's Denotational Mathematics

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 9, Iss. 3, 2017-07 ,pp. : 1-15

IGI Global_journal

Access to resources Recommend Favorite

A System for Semi-Autonomous Tractor Operations

By Stentz A. Dima C. Wellington C. Herman H. Stager D.

Autonomous Robots, Vol. 13, Iss. 1, 2002-07 ,pp. : 87-104

Springer Publishing Company

Access to resources Recommend Favorite

Towards the Mathematics Software Bus

By Calmet J. Homann K.

Theoretical Computer Science, Vol. 187, Iss. 1, 1997-11 ,pp. : 221-230

Elsevier

Access to resources Recommend Favorite