In Inductive Logic Programming (ILP), since logic is a complete (universal) language, innitely many possible hypotheses are compatible (hence plausible) given the evidence. An intrinsic way of selecting the most convenient hypothesis from the set of possible theories is not only useful for model selection but it is also useful for guiding the search in the hypotheses space, as some ILP systems ...

Mizar, a proof-checking system, is used to build the Mizar Mathematical Library (MML). MML Query is a semantics-based tool for searching, browsing and presentation of the evolving MML content. The tool is becoming widely used as an aid for Mizar authors and plays an essential role in the ongoing reorganization of MML. We present new features of MML Query implemented in the third release and des...

cadmium is a highly toxic heavy metal and one of the most important environmental pollutants. cadmium has a particular interest among the heavy elements due to the high mobility, solubility, and toxicity for human, plants, and other organisms. in order to study cadmium toxic effect on green pepper, a completely randomized design was performed with three levels of cadmium (0, 0.25, and 0.5 mm as...

Multimodal machine learning (MML) is a tempting multidisciplinary research area where heterogeneous data from multiple modalities and (ML) are combined to solve critical problems. Usually, works use single modality, such as images, audio, text, signals. However, real-world issues have become now, handling them using of instead modality can significantly impact finding solutions. ML algorithms p...

HIV infection is characterized by immune system dysregulation, including depletion of CD4+ T cells, immune activation, and abnormal B- and T-cell responses. However, the immunologic mechanisms underlying lymphocytic dysfunctionality and whether it is restricted to immune responses against neo antigens, recall antigens, or both is unclear. Here, we immunized SIV-infected and uninfected rhesus ma...

The Rissanen (MDL) and Wallace (MML) formulations of learning by compact encoding only provide a decision criterion to choose between two or more models, they do not provide any guidance on how to search through the model space. Typically, deterministic search techniques such as the expectation maximization (EM) algorithm have been used extensively with the MML/MDL principles to find the single...