In Situ Diffuse Reflectance Spectroscopy of Supported Chromium Oxide Catalysts: Kinetics of the Reduction Process with Carbon Monoxide

In situ diffuse reflectance spectra of supported chromium oxide catalysts are investigated for the first time at elevated temperatures under controlled reaction conditions using a specially designed diffuse reflection attachment. The obtained results are compared and discussed with those obtained by the classical diffuse reflectance spectroscopy technique. A novel method for studying the reduction kinetics of supported transition metal oxides is proposed. In the case of Cr(VI), the reduction is faster on silica than on alumina. A kinetic model is developed to explain the kinetics. It consists of the activation of CO by adsorption followed by the reduction of Cr^6+ with formation of surface carboxylates

New-Physics Effects on Triple-Product Correlations in Lambda_b Decays

We adopt an effective-lagrangian approach to compute the new-physics contributions to T-violating triple-product correlations in charmless Lambda_b decays. We use factorization and work to leading order in the heavy-quark expansion. We find that the standard-model (SM) predictions for such correlations can be significantly modified. For example, triple products which are expected to vanish in the SM can be enormous (~50%) in the presence of new physics. By measuring triple products in a variety of Lambda_b decays, one can diagnose which new-physics operators are or are not present. Our general results can be applied to any specific model of new physics by simply calculating which operators appear in that model.Comment: 20 pages, LaTeX, no figures. Added a paragraph (+ references) discussing nonfactorizable effects. Conclusions unchange

Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of areas, including finance and Internet-of-Things. However, a significant number of smart contracts deployed in practice suffer from security vulnerabilities, which enable malicious users to steal assets from a contract or to cause damage. Vulnerabilities present a serious issue since contracts may handle financial assets of considerable value, and contract bugs are non-fixable by design. To help developers create more secure smart contracts, we introduce FSolidM, a framework rooted in rigorous semantics for designing con- tracts as Finite State Machines (FSM). We present a tool for creating FSM on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Further, we introduce a set of design patterns, which we implement as plugins that developers can easily add to their contracts to enhance security and functionality

Structure and Microstructure Properties of Ball Milled Fe-Zn

Nanocrystalline Fe10 %Zn and Fe30 %Zn alloys have been prepared from pure elemental powders by mechanical alloying processing in a high energy planetary ball-mill. Microstructural, structural, and magnetic characterizations of the powders were investigated by X-ray diffraction, and vibrating sample magnometer. The crystallite size reduction to the nanometer scale is accompanied by an increase in the atomic level strain. The reaction between Fe and Zn leads to the formation of a bcc Fe(Zn) solid solution with a lattice parameter close to (0.2912 nm for Fe30 %Zn and 0,2885 nm for Fe10 %Zn) after 5 h of milling. The complete dissolution of the elemental Zn powders in the a-Fe lattice gives rise to the formation of a highly disordered Fe(Zn) solid solution, where a-Fe(Zn) nanograins have a crystallite size of (229,29 Å for Fe10 %Zn (24 h) 30,09 Å for Fe30 %Zn (24 h), on prolonged milling time. The coercivity and magnetization values are 18,90 (Fe10 %Zn)Oe and 26,59 (Fe30 %Zn) emu/g, respectively, after 24 h of milling. When you are citing the document, use the following link http://essuir.sumdu.edu.ua/handle/123456789/3514

Triple-Product Correlations in B -> V1 V2$ Decays and New Physics

In this paper we examine T-violating triple-product correlations (TP's) in B -> V1 V2 decays. TP's are excellent probes of physics beyond the standard model (SM) for two reasons: (i) within the SM, most TP's are expected to be tiny, and (ii) unlike direct CP asymmetries, TP's are not suppressed by the small strong phases which are expected in B decays. TP's are obtained via the angular analysis of B -> V1 V2. In a general analysis based on factorization, we demonstrate that the most promising decays for measuring TP's in the SM involve excited final-state vector mesons, and we provide estimates of such TP's. We find that there are only a handful of decays in which large TP's are possible, and the size of these TP's depends strongly on the size of nonfactorizable effects. We show that TP's which vanish in the SM can be very large in models with new physics. The measurement of a nonzero TP asymmetry in a decay where none is expected would specifically point to new physics involving large couplings to the right-handed b-quark.Comment: 42 pages, LaTeX, no figures. Title changed, several explanatory paragraphs added, references added, analysis and conclusions unchange

Polya's inequalities, global uniform integrability and the size of plurisubharmonic lemniscates

First we prove a new inequality comparing uniformly the relative volume of a Borel subset with respect to any given complex euclidean ball \B \sub \C^n with its relative logarithmic capacity in \C^n with respect to the same ball \B. An analoguous comparison inequality for Borel subsets of euclidean balls of any generic real subspace of \C^n is also proved. Then we give several interesting applications of these inequalities. First we obtain sharp uniform estimates on the relative size of \psh lemniscates associated to the Lelong class of \psh functions of logarithmic singularities at infinity on \C^n as well as the Cegrell class of \psh functions of bounded Monge-Amp\`ere mass on a hyperconvex domain \W \Sub \C^n. Then we also deduce new results on the global behaviour of both the Lelong class and the Cegrell class of \psh functions.Comment: 25 page

A new CP violating observable for the LHC

We study a new type of CP violating observable that arises in three body decays that are dominated by an intermediate resonance. If two interfering diagrams exist with different orderings of final state particles, the required CP-even phase arises due to the different virtualities of the resonance in each of the two diagrams. This method can be an important tool for accessing new CP phases at the LHC and future colliders.Comment: 22 pages, v2: discussion of charged particle decays and a few references added v3: typos corrected, matches published versio

R-parity-violating SUSY and CP violation in B --> phi K_s

Recent measurements of CP asymmetry in B --> phi K_S appear to be inconsistent with Standard Model expectations. We explore the effect of R-parity-violating SUSY to understand the data.Comment: Equations corrected. Conclusions unchanged. Latex, 6 pages, one fi

Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.Comment: Technical report that accompanies the paper accepted at the 14th International Conference on Formal Aspects of Component Softwar

Momentum asymmetries as CP violating observables

Three body decays can exhibit CP violation that arises from interfering diagrams with different orderings of the final state particles. We construct several momentum asymmetry observables that are accessible in a hadron collider environment where some of the final state particles are not reconstructed and not all the kinematic information can be extracted. We discuss the complications that arise from the different possible production mechanisms of the decaying particle. Examples involving heavy neutralino decays in supersymmetric theories and heavy Majorana neutrino decays in Type-I seesaw models are examined.Comment: 20 pages, 9 figures. Clarifying comments and one reference added, matches published versio