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.     

Practical implementation of possibilistic probability mass functions

 Probability assessments of events are often linguistic in nature. We model them by means of possibilistic probabilities (a version of Zadeh's fuzzy probabilities with a behavioural interpretation) with a suitable shape for practical implementation (on a computer). Employing the tools of interval analysis and the theory of imprecise probabilities we argue that the verification of coherence for these possibilistic probabilities, the corrections of non-coherent to coherent possibilistic probabilities and their extension to other events and gambles can be performed by finite and exact algorithms. The model can furthermore be transformed into an imprecise first-order model, useful for decision making and statistical inference.