Here is presented a platform for automatic composition of inductive learning systems using ontologies called CAMLET, based on knowledge modeling and ontologies engineering technique. CAMLET constructs an inductive learning system with better competence to a given data set, using process and object ontologies. Afterwards, CAMLET instantiates and re nes a constructed system based on the following...

The concept of inductive database proposed by Mannila is a beautiful formalization of the interactive mining process In the concrete setting of association rule mining an inductive database provides virtual tables containing vir tually all itemsets and rules over the data The user does not care how these inductive tables are implemented for him mining is nothing but querying these tables For ex...

We introduce generalized version space trees, a novel data structure that serves as a condensed representation in inductive databases for graph mining. Generalized version space trees allow for a comfortable representation of version spaces and a natural way to efficiently process inductive queries and operations on version spaces. In particular, we focus on using generalized version space tree...

Synopsis: The interference of attosecond electron wavepackets, created by high harmonic and femtosecond laser pulses, is measured. The first electron wavepacket is generated by direct ionization of He, and the second one by the two step process of resonant excitation by the attosecond high harmonic pulse and subsequent ionization by the laser pulse. The amplitude and phase retrieved from the in...

We present an approach based on inductive theorem proving for verifying invariance properties of systems specified in Rewriting Logic, an executable specification language implemented (among others) in the Maude tool. Since theorem proving is not directly available for rewriting logic, we define an encoding of rewriting logic into its membership equational (sub)logic. Then, inductive theorem pr...

Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument differently according to the direction of risk aversion. In seeking to provide the most valid explanation of this, two kinds of models based on a Support Vector Machine (SVM) that process different knowledge spaces are p...

This paper presents a computational model of referential metaphor comprehension. This model is designed on top of Latent Semantic Analysis (LSA), a model of the representation of word and text meanings. Comprehending a referential metaphor consists in scanning the semantic neighbors of the metaphor in order to find words that are also semantically related to the context. The depth of that searc...

Silicon nanostructure surface fabricated from metal-assisted etching have been demonstrated as high sensitivity matrix-free laser desorption/ionization mass spectrometry chip. The silicon nanostructure morphology was found to have direct effect to the mass spectrometry ionization efficiency. Creation of different silicon nanostructure morphologies by changing the metal thickness, etching time a...