Microstructural Analysis of Benzoxazine Cationic Ring-Opening Polymerization Pathways

Herein, an evaluation of the initial step of benzoxazine polymerization is presented by mass spectrometry, with a focus on differentiating the phenoxy and phenolic products formed by distinct pathways of the cationic ring opening polymerization (ROP) mechanism of polybenzoxazine formation. The use of infrared multiple photon dissociation (IRMPD) and ion mobility spectrometry (IMS) techniques allows for differentiation of the two pathways and provides valuable insights into the ROP mechanism. The results suggest that type I pathway is favored in the initial stages of the reaction yielding the phenoxy product, while type II product should be observed at later stages when the phenoxy product would interconvert to the most stable type II phenolic product. Overall, the findings presented here provide important information on the initial step of the benzoxazine polymerization, allowing the development of optimal polymerization conditions and represents a way to evaluate other multifunctional polymerization processes.     

Anodic and Cathodic Platinum Dissolution Processes Involve Different Oxide Species

The degradation of Pt-containing oxygen reduction catalysts for fuel cell applications is strongly linked to the electrochemical surface oxidation and reduction of Pt. Here, we study the surface restructuring and Pt dissolution mechanisms during oxidation/reduction for the case of Pt(100) in 0.1 M HClO₄ by combining operando high-energy surface X-ray diffraction, online mass spectrometry, and density functional theory. Our atomic-scale structural studies reveal that anodic dissolution, detected during oxidation, and cathodic dissolution, observed during the subsequent reduction, are linked to two different oxide phases. Anodic dissolution occurs predominantly during nucleation and growth of the first, stripe-like oxide. Cathodic dissolution is linked to a second, amorphous Pt oxide phase that resembles bulk PtO₂ and starts to grow when the coverage of the stripe-like oxide saturates. In addition, we find the amount of surface restructuring after an oxidation/reduction cycle to be potential-independent after the stripe-like oxide has reached its saturation coverage.     

An approximate logic for measures

We present a logical framework for formalizing connections between finitary combinatorics and measure theory or ergodic theory that have appeared in various places throughout the literature. We develop the basic syntax and semantics of this logic and give applications, showing that the method can express the classic Furstenberg correspondence and to give short proofs of the Szemerédi Regularity Lemma and the hypergraph removal lemma. We also derive some connections between the modeltheoretic notion of stability and the Gowers uniformity norms from combinatorics.     

Dotplot: A Program for Exploring Self-Similarity in Millions of Lines of Text and Code

Abstract

An interactive program, dotplot, has been developed for browsing millions of lines of text and source code, using an approach borrowed from biology for studying homology (self-similarity) in DNA sequences. With conventional browsing tools such as a screen editor, it is difficult to identify structures that are too big to fit on the screen. In contrast, with dotplots we find that many of these structures show up as diagonals, squares, textures, and other visually recognizable features, as will be illustrated in examples selected from biology and two new application domains, text (AP news, Canadian Hansards) and source code (5ESS®). In an attempt to isolate the mechanisms that produce these features, we have synthesized similar features in dotplots of artificial sequences. We also introduce an approximation that makes the calculation of dotplots practical for use in an interactive browser.     

Coboundaries of irreducible markov operators onC(K)

LetK be a compact Hausdorff space, and letT be an irreducible Markov operator onC(K). We show that ifgεC(K) satisfies sup _N ‖Σ _j ^=0N T ^j g‖<∞, then (and only then) there existsfεC(K) with (I − T)f=g. Generalizing the result to irreducible Markov operator representations of certain semi-groups, we obtain that bounded cocycles are (continuous) coboundaries. For minimal semi-group actions inC(K), no restriction on the semi-group is needed.     

Zigzag inequalities: a new class of facet-inducing inequalities for Arc Routing Problems

In this paper we introduce a new class of facet-inducing inequalities for the Windy Rural Postman Problem and the Windy General Routing Problem. These inequalities are called Zigzag inequalities because they cut off fractional solutions containing a zigzag associated with variables with 0.5 value. Two different types of inequalities, the Odd Zigzag and the Even Zigzag inequalities, are presented. Finally, their application to other known Arc Routing Problems is discussed.     

Two Kinds of Monoclinic-I Martensite and some Insight into the Microstructures they Form

By analysing the facet structure of the convex polytope generated by the twelve transformation strains of cubic to monoclinic-I martensite, we show that there are two different kinds of monoclinic-I martensite. These two kinds differ in the sign of a material parameter. While the symmetry properties of both kinds are the same, the geometrical structure of the set of recoverable strains is different. A key idea is to consider the convex polytope formed by the transformation strains and to study its facets. Another insight is to use invariant theory to exploit the fact that compatible cones are algebraic surfaces. (© 2012 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Inductivism and Parmenidean epistemology: Kyburg’s way

cording to Henry Kyburg, all extralogical and extramathematical propositions accepted as evidence and all propositions accepted inductively on the basis of such evidence are uncertain. There is a possibility of error. Consequently, neither the corpus of inductively accepted statements nor the corpus of statements accepted as evidence can serve as a standard for serious possibility in the sense I have deployed since the 1970s. The standard for serious possibility remains an unchanging Parmenidean standard. In contrast to other Parmenidean epistemologists that eschew inductive acceptances Kyburg insists that the corpus of evidence and of inductively accepted statements is subject to critical review and change; but the changes have no bearing on the standard for serious possibility.have always agreed with Henry’s emphasis on a distinction between acceptance as evidence and inductive acceptance. But I have insisted that the corpus of evidence or state of full belief is a standard for serious possibility and that the standard is subject to modification.burg does think of acceptance as evidence and inductive acceptance as modal notions and has recently used the expression “serious possibility” in this connection. But when Kyburg and Teng speak of “risky knowledge”, they are speaking of claims that might be false in the sense of serious possibility that they seem to be suggesting is immune to change and seems to correlate with serious possibility as I have used it since the 1970s. So acceptance (both inductive and evidential) are modal notions subject to change but are not to be confused with the notion of serious possibility of error or riskiness.