Poorly connected groups

We investigate groups whose Cayley graphs have poor\-ly connected subgraphs. We prove that a finitely generated group has bounded separation in the sense of Benjamini--Schramm--Tim\'ar if and only if it is virtually free. We then prove a gap theorem for connectivity of finitely presented groups, and prove that there is no comparable theorem for all finitely generated groups. Finally, we formulate a connectivity version of the conjecture that every group of type $F$ with no Baumslag-Solitar subgroup is hyperbolic, and prove it for groups with at most quadratic Dehn function.Comment: 14 pages. Changes to v2: Proof of the Theorem 1.2 shortened, Theorem 1.4 added completing the no-gap result outlined in v

Metal fluorides, metal chlorides and halogenated metal oxides as Lewis acidic heterogeneous catalysts. Providing some context for nanostructured metal fluorides

Aspects of the chemistry of selected metal fluorides, which are pertinent to their real or potential use as Lewis acidic, heterogeneous catalysts, are reviewed. Particular attention is paid to β-aluminum trifluoride, aluminum chlorofluoride and aluminas γ and η, whose surfaces become partially fluorinated or chlorinated, through pre-treatment with halogenating reagents or during a catalytic reaction. In these cases, direct comparisons with nanostructured metal fluorides are possible. In the second part of the review, attention is directed to iron(III) and copper(II) metal chlorides, whose Lewis acidity and potential redox function have had important catalytic implications in large-scale chlorohydrocarbons chemistry. Recent work, which highlights the complexity of reactions that can occur in the presence of supported copper(II) chloride as an oxychlorination catalyst, is featured. Although direct comparisons with nanostructured fluorides are not currently possible, the work could be relevant to possible future catalytic developments in nanostructured materials

Slow, Continuous Beams of Large Gas Phase Molecules

Cold, continuous, high flux beams of benzonitrile, fluorobenzine, and anisole have been created. Buffer-gas cooling with a cryogenic gas provides the cooling and slow forward beam velocities. The beam of benzonitrile was measured to have a forward velocity peaked at 67 $\pm 5$ m s$^{-1}$, and a continuous flux of $10^{15}$ molecules s$^{-1}$. These beams provide a continuous source for high resolution spectroscopy, and provide an attractive starting point for further spatial manipulation of such molecules, including eventual trapping

Modeling Algorithms in SystemC and ACL2

We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of documentation, which in turn is translated to ACL2 for formal verification. The parser also generates a SystemC variant that is suitable as input to a high-level synthesis tool. As an illustration of this methodology, we describe a proof of correctness of a simple 32-bit radix-4 multiplier.Comment: In Proceedings ACL2 2014, arXiv:1406.123

Correction: A correlated topic model of Science

Correction to Annals of Applied Statistics 1 (2007) 17--35 [doi:10.1214/07-AOAS114]Comment: Published in at http://dx.doi.org/10.1214/07-AOAS136 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org

Of Cherries, Fudge, and Onions: Science and Its Courtroom Perversion

The thesis of this article is that the Supreme Court decision in Daubert v. Merrell Dow Pharmaceuticals, Inc.\u27s focus on the scientific method, however rigorously applied, invites certain classes of abuses. There are instances in which evidence can be made to look more scientific by a process that in fact and substance makes is utterly unscientific

How to allocate scarce health resources without discriminating against people with disabilities

One widely used method for allocating health care resources involves the use of cost-effectiveness analysis (CEA) to rank treatments in terms of quality-adjusted life-years (QALYs) gained. CEA has been criticized for discriminating against people with disabilities by valuing their lives less than those of non-disabled people. Avoiding discrimination seems to lead to the ’QALY trap’: we cannot value saving lives equally and still value raising quality of life. This paper reviews existing responses to the QALY trap and argues that all are problematic. Instead, we argue that adopting a moderate form of prioritarianism avoids the QALY trap and disability discrimination