Negation as failure for disjunctive logic programming

We generalize the Negation-as-Failure procedure for disjunctive logic programming. Then we compare our method with related methods in the literature. We also propose a new completion theory for disjunctive logic programs which allows some program clauses to have inclusive meaning and the others exclusive meaning.     

The maximum bit rates of soliton communication systems with lumpedamplifiers and filters in different distances

The maximum bit rate of a soliton communication system with lumped amplifiers and optical filters is considered. When the dispersion of the fiber varies from one amplifier spacing to another amplifier spacing, the maximum bit rate is significantly reduced. To overcome the effect, the amplitude of the soliton is amplified so that it is still the average soliton corresponding to the fiber dispersion for an amplifier spacing. Thus, the maximum bit rate is only slightly less than that without the dispersion variations. For a given distance, the maximum bit rate limited by the stability and soliton interaction is obtained. The result is compared with that limited by the Gordon-Haus effect. For shorter transmission distance, the maximum bit rate is limited by the stability and soliton interaction. For longer transmission distance, the maximum bit rate is limited by the Gordon-Haus effect     

Contribution a l'etude du polymorphisme de Ga2S3: Structure cristalline de Mn0,23Ga1,85S3

The Mn_0.23Ga_1.85S₃ phase belongs to the solid solution $\text{ф}{}_0$, stable at low temperature in the Ga₂S₃MnS system. It is hexagonal superstructure of the wurtzite, with the Ga₂S₃α′ type ($\text{a}\text{= 6.397}\text{A}\text{?}$; $\text{c}\text{= 18.027}\text{A}\text{?}$Z = 6; space groupe P6₁ or P6₅). Its crystal structure has been refined by the least squares method to a final R = 0.06 with 323 independant reflections. This structure is closely related to Ga₂S₃ α described by Hahn and Frank, and differs only by the partial occupation of the vacant metal site of Ga₂S₃ by Mn atoms in statistical disorder.     

Continuous hydrogen evolution from cyclohexanes over platinum catalysts supported on activated carbon fibers

The continuous production of hydrogen from cyclohexanes is achieved effectively using Pt/ACF (ACF = activated carbon fiber) catalysts in a fixed-bed flow reactor. The Pt catalysts are more effective than a Pd/ACF catalyst for the reaction. Besides cyclohexane, methylcyclohexane, 1,4-dimethylcyclohexane, and p-menthane can also be employed as hydrogen source in the reaction system.     

Synthesis and Characterization of Segmented Block Copolymers Based on Hydroxyl‐Terminated Liquid Natural Rubber and α,ω‐Diisocyanato Telechelics

Summary: Segmented block copolymers, consisting of non‐polar soft segments from hydroxyl‐terminated liquid natural rubber (HTNR) and polar hard segments from α,ω‐diisocyanato telechelics obtained by “criss‐cross”‐cycloaddition, have been synthesized. The block copolymer formation took place under relatively mild reaction conditions at 80 °C in dichloroethane in the presence of dibutyltin dilaurate as a catalyst. The resulting block copolymers were characterized by spectroscopic techniques (¹H NMR, FTIR, UV‐vis spectroscopy) as well as GPC for molar mass determination. The block copolymers were compression molded in a hot stage press, and the resulting samples were characterized by DSC and stress‐strain measurement. The solubility and phase morphology of the materials have also been studied.

Segmented block copolymer from HTNR and α,ω‐diisocyanato telechelics     

A Knowledge Discovery System with Support for Model Selection and Visualization

The process of knowledge discovery in databases consists of several steps that are iterative and interactive. In each application, to go through this process the user has to exploit different algorithms and their settings that usually yield multiple models. Model selection, that is, the selection of appropriate models or algorithms to achieve such models, requires meta-knowledge of algorithm/model and model performance metrics. Therefore, model selection is usually a difficult task for the user. We believe that simplifying the process of model selection for the user is crucial to the success of real-life knowledge discovery activities. As opposed to most related work that aims to automate model selection, in our view model selection is a semiautomatic process, requiring an effective collaboration between the user and the discovery system. For such a collaboration, our solution is to give the user the ability to try various alternatives and to compare competing models quantitatively by performance metrics, and qualitatively by effective visualization. This paper presents our research on model selection and visualization in the development of a knowledge discovery system called D2MS. The paper addresses the motivation of model selection in knowledge discovery and related work, gives an overview of D2MS, and describes its solution to model selection and visualization. It then presents the usefulness of D2MS model selection in two case studies of discovering medical knowledge in hospital data—on meningitis and stomach cancer—using three data mining methods of decision trees, conceptual clustering, and rule induction.     

Dynamical Properties of the Field Phase in the Jaynes-Cummings Model

Abstract

Phase properties of a coherent field interacting with a two-level atom in an ideal cavity are studied using the new hermitian phase formalism of Pegg and Barnett. It is shown in particular that phase properties of the field reflect the collapse and revival phenomena. The effects of finite detuning and atomic coherences are treated. The results for the variance of the phase cosine are obtained and compared with those based on earlier approaches.