Inductive concept learning is the task of learning to assign cases to a discrete set of classes. In real-world applications of concept learning, there are many different types of ...
In this study, a neural network based approach is used to predict the presence of Maturity Onset Diabetes type 3, referred as MODY3 Type II diabetes mellitus. The study has used b...
Nawaz Khan, Chukwuemeka A. Ikejiaku, Shahedur Rahm...
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...