Characterization and voltammetric behavior of Pt(y)Mo(z)O(x)/C electrodes prepared by the thermal decomposition of polymeric precursors

Carbon-supported catalysts containing platinum and molybdenum oxide are prepared by thermal decomposition of polymeric precursors. The Pt(y)Mo(z)O(x)/C materials are characterized by energy dispersive X-ray spectroscopy, transmission electron microscopy, and X-ray diffraction. The catalysts present a well-controlled stoichiometry and nanometric particles. Molybdenum is present mainly as the MoO(3) orthorhombic structure, and no Pt alloys are detected. The voltammetric behavior of the electrodes is investigated; a correlation with literature results for PtMo/C catalysts prepared by other methods is established. The formation of soluble species and the aging effect are discussed. (C) 2009 Elsevier B.V. All rights reserved.

Synthesis of (Z)-tributylstannyl enynes: systematic studies of Sonogashira cross-coupling reactions between (E)-1-iodovinyl-1-tributylstannanes and terminal acetylenes using amines or tetrabutylammonium hydroxide (TBAOH) as activator

Sonogashira cross-coupling reactions involving (E)-iodo vinyl stannanes and terminal acetylenes were carried out in the presence of Pd(PPh(3))(4), Cul and several amines, affording (Z)-tributylstannyl enynes in moderate to good yields (62-91%). Utilizing the catalytic system containing Pd(PPh(3))(4) (5%), Cul (10%), and TBAOH (40% in aqueous media) as activator, better yields (72-91%) and lower reaction times were achieved. (C) 2011 Elsevier Ltd. All rights reserved.

Preliminary Reliability and Repeatability of the Brazilian Version of the Revised Knox Preschool Play Scale

The aim of this study was to create an adaptation of the Revised Knox Preschool Play Scale (RKPPS) for the Brazilian population, as well as to apply the instrument with statistical analysis to verify the preliminary intra-rater and inter-rater reliability and repeatability of the instrument. The instructions presented by Beaton et al. regarding adaptation of instruments were followed to perform a cross-cultural adaptation of the RKPPS. A preliminary test of the Portuguese version was performed on 18 children with no motor, cognitive or sensory impairment. The video recordings of this administration were analysed on two separate occasions by two examiners within a 5-month interval, using the scores suggested by Pfeifer. The Spearman`s test was used in the statistical analysis of the obtained data. The author of the RKPPS agreed with the small necessary cultural adaptations. The Spearman test revealed a high correlation coefficient and good significance levels for both intra- and inter-raters values. This study demonstrated the reliability and repeatability of the Brazilian version of the RKPPS. This is a preliminary study and further studies are needed in order to validate the scale to be administered in the Brazilian population. Copyright (C) 2010 John Wiley & Sons, Ltd.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Proving Temporal Properties of Z Specifications Using Abstraction

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.