Chrysanthemum is a typical short-day (SD) plant that responds to shortening daylength during the transition from the vegetative to the reproductive phase. FLOWERING LOCUS T (FT)/Heading date 3a (Hd3a) plays a pivotal role in the induction of phase transition and is proposed to encode a florigen. Three FT-like genes were isolated from Chrysanthemum seticuspe (Maxim.) Hand.-Mazz. f. boreale (Maki...

Data-mining is the process of automatic extraction of novel, useful and understandable patterns from very large databases. High-performance, scalable, and parallel computing algorithms are crucial in data mining as datasets grow inexorably in size and complexity. Inductive logic is a research area in the intersection of machine learning and logic programming, which has been recently applied to ...

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of mi...

Karl Popper and David Miller [1983] have argued that there is no such thing as probabilistic inductive support, as conceived of, for example, in the Bayesian theory of evidence. A little more specifically, they argue that 'all probabilistic support is purely deductive' (p. 688), and that only probabilistic countersupport (disconfirmation) could be inductive in nature. Their interesting and stri...