We consider the question whether all the coefficients in the series expansions of some specific rational functions are positive, and we demonstrate how computer algebra can help answering questions arising in this context. By giving partial computer proofs, we provide new evidence in support of some longstanding open conjectures. Also two new conjectures are made.

Identification of statistical patterns from observed time series of spatially distributed sensor data is critical for performance monitoring and decision making in human-engineered complex systems, such as electric power generation, petrochemical, and networked transportation. This paper presents an information-theoretic approach to identification of statistical patterns in such systems, where ...

the freiheitssatz of magnus for one-relator groups is one of the cornerstones of combinatorial group theory. in this short note which is mostly expository we discuss the relationship between the freiheitssatz and corre-sponding results in free power series rings over fields. these are related to results of schneerson not readily available in english. this relationship uses a faithful representa...

in this paper, optimum location of power system stabilizers in order to damp inter-area oscillations has been investigated by using modal series method. nonlinear effects grow in dynamical behaviors of heavily loaded stressed power systems significantly. hence linear based methods and techniques no longer present clear and exact response of the systems. in this article by defining new nonlinear...

The analysis of time series is extremely important in the field of medicine, because this is the format of many medical data types. Most of the approaches that address this problem are based on numerical algorithms that calculate distances, clusters, reference models, etc. However, a symbolic rather than numerical analysis is sometimes needed to search for the characteristics of time series. Sy...

This research studies TV commercial from cultural-conflict view point and tries to analyze mutual relation between parent-child generations. It applies signifier's method for reflecting TV commercials. Signifying qualitative method on the base of General signifies along with "first levels signifiers" and "Second level signifiers" obtained Symbolic displacement. This research shows TV commerci...

In this paper, an automatic symbolic version of the recurrent power series method has been established for integrating the equations of motion of comets taking into account the perturbations of the giant planets and the non-gravitational effects terms. This new version has the advantage of selecting the coefficients of the power series solutions from the equations of motion of the respective bo...