The hybrid ARIMA-SVMs prediction models have been established recently, which take advantage of the unique strength of ARIMA and SVMs models in linear and nonlinear modeling, respectively. Built upon this hybrid ARIMA-SVMs models alike, this study goes further to extend them into the case of multistep-ahead prediction for air passengers traffic with the two most commonly used multistep-ahead pr...

While the purpose of conventional proof calculi is to axiomatise the set of valid sentences of a logic, refutation systems axiomatise the invalid sentences. Such systems are relevant not only for proof-theoretic reasons but also for realising deductive systems for nonmonotonic logics. We introduce Gentzen-type refutation systems for two basic three-valued logics and we discuss an application of...

In this paper I explore Kant’s critical discussions of the topic of miracles (including the important but neglected fragment from the 1780s called “On Miracles”) in an effort to answer the question in the title. Along the way I discuss some of the different kinds of “laws” in Kant’s system, and also the argument for his claim that, even if empirical miracles do occur, we will never be in a good...

The existence of power law distributions (also known as heavy-tailed distributions) in various natural and man-made scenarios has been demonstrated empirically over the years [6], and attracted a great deal of interest, resulting in models that would naturally predict such distributions. The areas in which power laws have been observed are very diverse, as evidenced by the following, not nearly...

A new approach is used to determine the transient probability functions of Markov processes. This new solution method is a sample path counting approach and uses dual processes and randomization. The approach is illustrated by determining transient probability functions for a three-state Markov process. This approach also provides a way to calculate transient probability functions for Markov pr...

In this paper I argue that syntactic categories are not part of UG but are acquired during first language acquisition as a result of doubling effects. In short, it is argued that a semantic operator OpF can only be (re-)analysed as a formal feature (that may yield a functional projection) if the language input exhibits doubling effects with respect to F. After providing a theoretical motivation...

This paper proposes two revisions to the Lexical Mapping Theory as part of UG and accounts for dative shift and the interaction between dative shift and passive in Chinese and English. The overall strategy is to maximize the universality of the Lexical Mapping Theory by allowing only morpholexical operations to be language-specific.