Property Testing of Regular Tree Languages

We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is -complete on ordered trees. A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research.     

An expert system for managing medical appropriateness criteria based on computer algebra techniques

This article presents the development of an expert system for managing medical appropriateness criteria together with an outline of its theoretical foundations. Techniques borrowed from computer algebra (Gröbner bases) are applied to this field of medicine.

The steps of the expert system construction process are as follows. First, the knowledge provided in table format by experts in coronary diseases is translated into a set of production rules of a rule-based expert system (RBES). Kleene's three-valued logic augmented with modal operators is chosen in order to manage uncertainty.     

Définition théorique des paramètres en fort niveau d’un multipôle actif non linéaire

In this paper, large signal non linear P parameters are rigorously defined, allowing the characterization of non linear active n-port circuits in the frequency domain with the aim of computer aided design of power microwave devices. No a priori conditions bind the parameters to the variables describing the input signal. However the following rules apply to the parameters: they may be function of any input variables of the n-port circuit; the expression of the large-signal parameters should become identical to the expression of the linear parameters characterizing the n-port circuit under linear operating conditions when the values of the input variables tend to zero. An application of the definition to afet is demonstrated.     

Machine learning for vessel trajectories using compression,alignments and domain knowledge

In this paper we present a machine learning framework to analyze moving object trajectories from maritime vessels. Within this framework we perform the tasks of clustering, classification and outlier detection with vessel trajectory data. First, we apply a piecewise linear segmentation method to the trajectories to compress them. We adapt an existing technique to better retain stop and move information and show the better performance of our method with experimental results. Second, we use a similarity based approach to perform the clustering, classification and outlier detection tasks using kernel methods. We present experiments that investigate different alignment kernels and the effect of piecewise linear segmentation in the three different tasks. The experimental results show that compression does not negatively impact task performance and greatly reduces computation time for the alignment kernels. Finally, the alignment kernels allow for easy integration of geographical domain knowledge. In experiments we show that this added domain knowledge enhances performance in the clustering and classification tasks.     

Comment on "From the summation-by-parts algorithm to Pi"

Comments on the paper by Mosig (IEEE Antennas and Propagation Magazine, vol.47, p.38-40, 2005 December). The paper by Mosig discussed acceleration of convergence of series. Without commenting on either the validity or efficiency of his method, the present author would like to draw attention to an existing method, published long ago by D. Shanks (1955). Briefly stated, this method takes a sequence and defines partial sums, which is described in this paper.     

Local structural characterization of Zn:Cd:Se ternary semiconductors

We have studied the local atomic structure around Zn and Cd, in CdSe, ZnSe, and ordered and disordered Zn_0.5Cd_0.5Se thin films, grown by molecular beam epitaxy (MBE) and atomic layer epitaxy (ALE) using X-ray absorption spectroscopy (XAS). Zn K-shell X-ray absorption fine structure (XAFS) shows that the Zn–Se pair nearest neighbor distance is the same in both ordered and disordered ternary samples. This result shows that the ordered (or disordered growth) does not have a significant effect in the nearest neighbor Zn environment. However, results from K-shell Cd XAFS show that the Cd–Se pair nearest neighbor distance in the Zn_0.5Cd_0.5Se ordered film exhibits a contraction compared to the same pair distance in the disordered Zn_0.5Cd_0.5Se sample and the binary CdSe compound. This suggests that the shortest Zn–Se nearest neighbor distance regulates the Cd–Se nearest neighbor distance in the ternary compounds, when these are grown in an ordered, layer by layer, fashion.     

Switching and PI control of walking motions of planar biped walkers

A companion paper has addressed the problem of designing controllers that induce exponentially stable, periodic walking motions at a fixed walking rate for a planar, biped robot with one degree of underactuation. This note provides two additional control features: 1) the ability to compose such controllers to obtain walking at several discrete walking rates with guaranteed stability during the transitions; and 2) the ability to regulate the average walking rate to a continuum of values.