XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.     

The effect of support morphology on the reaction of oxidative dehydrogenation of ethane to ethylene at short contact times

The oxidative dehydrogenation of ethane is carried out in short contact time reactors over Pt and LaMnO₃ based catalysts supported on a large number of different ceramic substrates (45, 60 and 80 ppi foam monoliths and 200, 400, 600, 900 and 1200 cpsi honeycomb monoliths). Experimental results, obtained under the same conditions at varying the C₂H₆/O₂ ratio, showed that the highest performance in terms of ethylene selectivity and yield is always attained on LaMnO₃ catalysts. Furthermore, the results are significantly influenced by the morphology and cell density of the support, with 45 and 60 ppi foams and 400 and 600 cpsi honeycombs giving the best performance. The experimental results are explained by means of geometrical and fluid dynamic considerations on the support, and by means of a 2D mathematical model, which clearly indicates an optimal intermediate cell density for maximising ethylene selectivity and yield.     

Surface adsorption of comb polymers by Monte Carlo simulations

This paper reports off-lattice Monte Carlo simulations of highly-branched comb homopolymers weakly adsorbed on a flat, featureless surface showing only covolume and dispersion interactions with the adsorbate. A minimal coarse-grained model, described by hard spheres connected by harmonic springs, was employed. The interaction energy of the adsorbed combs and linear chains is first discussed as a function of the molecular mass and of the number of beads in contact with the surface. The molecular size is then investigated as a function of backbone length and branching density at a fixed arm size. The apparent swelling exponents of the adsorbed combs are larger than those of the corresponding linear chains, and much larger than that of the free molecules. This result indicates a surface-induced stiffening of the comb backbone, further studied through the persistence length l_pers. It is found that l_pers increases upon adsorption over the free-molecule value, more so the larger is the branching density. Finally, the thickness of the adsorbed layer, the surface-induced molecular anisotropy and the molecular aspect ratio are investigated as a function of branching density and molecular mass.     

Environmentally friendly, heterogeneous acid and base catalysis for the methylation of catechol: Chances for the control of chemo-selectivity

The properties of catalysts with (i) Brønsted-type acidity (H-mordenite and Al/P mixed oxide), (ii) Lewis-type acidity (Al trifluoride) or (iii) basic characteristics (Mg/Fe mixed oxide) were investigated in the gas-phase methylation of catechol. When methanol was used as the methylating agent, H-mordenite and AlF₃ gave high selectivities to guaiacol (the product of O-methylation) under mild reaction conditions, that is at very low catechol conversions. An increase in temperature led to the transformation of guaiacol to phenol and cresols, and to considerable catalyst deactivation. The basic catalyst Mg/Fe/O also favored an extensive degradation of guaiacol to phenol. On the mildly acidic catalyst Al/P mixed oxide a stable catalytic performance and a high selectivity to guaiacol at 40% catechol conversion were obtained. When methylformate, a more reactive methylating agent, was used with AlF₃ and Mg/Fe mixed oxide as catalysts, higher catechol conversions and slower deactivation rates could be achieved under mild reaction conditions, with a low extent of guaiacol degradation. However, methylformate rapidly decomposed when temperatures above 350 °C were used. Finally, tests were made by reacting catechol and diethoxymethane with acid catalysts, with the aim of synthesizing methylenedioxybenzene. The latter product was obtained with high selectivity, but with very low yield, due to both catalyst deactivation and decomposition of diethoxymethane.     

Effects of CSCW on organizations

We consider the potential impact of Computer Supported Cooperative Work, with special reference to large technically advanced projects involving several organizations. It is vital that such projects are managed efficiently, without delays, since a product that reaches the market a few months earlier than its competitors enjoys a great advantage. Traditional methods of coordinating large projects, based on hierarchical communication, tend to produce delays, since technicians at remote sites are obliged to solve coordination problems by passing them up the hierachy. It would be better if such problems were solved by improvising conferences among the technicians; Computer Supported Cooperative Work will provide the technical means of implementing this heterarchical style of management without losing control of the project. The use of computers as a social medium raises methodological and ethical issues which are discussed in the final section.     

Two-Way Protocol with Imperfect Devices

The security of a deterministic quantum scheme for communication, namely the LM05 [1], is studied in presence of a lossy channel under the assumption of imperfect generation and detection of single photons. It is shown that the scheme allows for a rate of distillable secure bits higher than that pertaining to BB84 [2]. We report on a first implementation of LM05 with weak pulses.     

Good teaching inputs do not correspond to desired responses in ecological neural networks

In this paper we analyze how supervised learning occurs in ecological neural networks, i.e. networks that interact with an autonomous external environment and, therefore, at least partially determine with their behavior their own input. Using an evolutionary method for selecting good teaching inputs we surprisingly find that to obtain a desired outputX it is better to use a teaching input different fromX. To explain this fact we claim that teaching inputs in ecological networks have two different effects: (a) to reduce the discrepancy between the actual output of the network and the teaching input, (b) to modify the network's behavior and, as a consequence, the network's learning experiences. Evolved teaching inputs appear to represent a compromise between these two needs. We finally show that evolved teaching inputs that are allowed to change during the learning process function differently at different stages of learning, first giving more weight to (b) and, later on, to (a).