The class of objects we consider are algebraic relations between the four kinds of classical Jacobi theta functions θj(z|τ), j = 1, . . . , 4, and their derivatives. We present an algorithm to prove such relations automatically where the function argument z is zero, but where the parameter τ in the upper half complex plane is arbitrary.

Log-ratio processor working at 500MHz applied to turn-by-turn beam position measurement was implemented. The processor circuit consists of two logarithmic amplifiers and a subtraction circuit. The output value is proportional to beam position. Before, the upper usable frequency of logarithmic amplify is lower than 500MHz. At present, several manufacturers support higher upper usable frequency o...

State-space modeling provides a powerful tool for system identification and prediction. In linear state-space models the data are usually assumed to be Gaussian and the models have certain structural constraints such that they are identifiable. In this paper we propose a non-Gaussian state-space model which does not have such constraints. We prove that this model is fully identifiable. We then ...

State-space modeling provides a powerful tool for system identification and prediction. In linear state-space models the data are usually assumed to be Gaussian and the models have certain structural constraints such that they are identifiable. In this paper we propose a non-Gaussian state-space model which does not have such constraints. We prove that this model is fully identifiable. We then ...

Identifying parameter values in mathematical models of cellular processes is crucial to ascertain if the hypotheses reflected in the model structure is consistent with the available experimental data. Due to the uncertainty in the parameter values, partially attributed to the necessary model abstraction of any cellular process, parameters are pragmatically estimated by varying their values to m...

The performance of support vector machine (SVM) heavily depends on its parameters. The parameter optimization for SVM is still an ongoing research issue. The current parameter optimization methods either are easy to fall into local optimal solution, or are time consuming. Moreover, some optimization methods depend also on the choice of parameters for them, provoking thus a vicious circle. In vi...