Important Considerations in Plasmon-Enhanced Electrochemical Conversion at Voltage-Biased Electrodes.

In this perspective we compare plasmon-enhanced electrochemical conversion (PEEC) with photoelectrochemistry (PEC). PEEC is the oxidation or reduction of a reactant at the illuminated surface of a plasmonic metal (or other conductive material) while a potential bias is applied. PEC uses solar light to generate photoexcited electron-hole pairs to drive an electrochemical reaction at a biased or unbiased semiconductor photoelectrode. The mechanism of photoexcitation of charge carriers is different between PEEC and PEC. Here we explore how this difference affects the response of PEEC and PEC systems to changes in light, temperature, and surface morphology of the photoelectrode

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of proofs. This work develops learning-based premise selection in two ways. First, a newly available minimal dependency analysis of existing high-level formal mathematical proofs is used to build a large knowledge base of proof dependencies, providing precise data for ATP-based re-verification and for training premise selection algorithms. Second, a new machine learning algorithm for premise selection based on kernel methods is proposed and implemented. To evaluate the impact of both techniques, a benchmark consisting of 2078 large-theory mathematical problems is constructed,extending the older MPTP Challenge benchmark. The combined effect of the techniques results in a 50% improvement on the benchmark over the Vampire/SInE state-of-the-art system for automated reasoning in large theories.Comment: 26 page

Formation of antiwaves in gap-junction-coupled chains of neurons

Using network models consisting of gap junction coupled Wang-Buszaki neurons, we demonstrate that it is possible to obtain not only synchronous activity between neurons but also a variety of constant phase shifts between 0 and \pi. We call these phase shifts intermediate stable phaselocked states. These phase shifts can produce a large variety of wave-like activity patterns in one-dimensional chains and two-dimensional arrays of neurons, which can be studied by reducing the system of equations to a phase model. The 2\pi periodic coupling functions of these models are characterized by prominent higher order terms in their Fourier expansion, which can be varied by changing model parameters. We study how the relative contribution of the odd and even terms affect what solutions are possible, the basin of attraction of those solutions and their stability. These models may be applicable to the spinal central pattern generators of the dogfish and also to the developing neocortex of the neonatal rat

Graphene-polyelectrolyte multilayer membranes with tunable structure and internal charge

One great advantage of graphene-polyelectrolyte multilayer (GPM) membranes is their tunable structure and internal charge for improved separation performance. In this study, we synthesized GO-dominant GPM membrane with internal negatively-charged domains, polyethyleneimine (PEI)-dominant GPM membrane with internal positively-charged domains and charge-balanced dense/loose GPM membranes by simply adjusting the ionic strength and pH of the GO and PEI solutions used in layer-by-layer membrane synthesis. A combined system of quartz crystal microbalance with dissipation (QCM-D) and ellipsometry was used to analyze the mass deposition, film thickness, and layer density of the GPM membranes. The performance of the GPM membranes were compared in terms of both permeability and selectivity to determine the optimal membrane structure and synthesis strategy. One effective strategy to improve the GPM membrane permeability-selectivity tradeoff is to assemble charge-balanced dense membranes under weak electrostatic interactions. This balanced membrane exhibits the highest MgCl2 selectivity (∼86%). Another effective strategy for improved cation removal is to create PEI-dominant membranes that provide internal positively-charged barrier to enhance cation selectivity without sacrificing water permeability. These findings shine lights on the development of a systematic approach to push the boundary of permeability-selectivity tradeoff for GPM membranes

Cosmology and Astrophysics from Relaxed Galaxy Clusters I: Sample Selection

This is the first in a series of papers studying the astrophysics and cosmology of massive, dynamically relaxed galaxy clusters. Here we present a new, automated method for identifying relaxed clusters based on their morphologies in X-ray imaging data. While broadly similar to others in the literature, the morphological quantities that we measure are specifically designed to provide a fair basis for comparison across a range of data quality and cluster redshifts, to be robust against missing data due to point-source masks and gaps between detectors, and to avoid strong assumptions about the cosmological background and cluster masses. Based on three morphological indicators - Symmetry, Peakiness and Alignment - we develop the SPA criterion for relaxation. This analysis was applied to a large sample of cluster observations from the Chandra and ROSAT archives. Of the 361 clusters which received the SPA treatment, 57 (16 per cent) were subsequently found to be relaxed according to our criterion. We compare our measurements to similar estimators in the literature, as well as projected ellipticity and other image measures, and comment on trends in the relaxed cluster fraction with redshift, temperature, and survey selection method. Code implementing our morphological analysis will be made available on the web.Comment: MNRAS, in press. 43 pages in total, of which 17 are tables (please think twice before printing). 18 figures, 4 tables. Machine-readable tables will be available from the journal and at the url below; code will be posted at http://www.slac.stanford.edu/~amantz/work/morph14

Magnetic relaxation in metallic films: Single and multilayer structures

The intrinsic magnetic relaxations in metallic films will be discussed. It will be shown that the intrinsic damping mechanism in metals is caused by incoherent scattering of itinerant electron-hole pair excitations by phonons and magnons. Berger [L. Berger, Phys. Rev. B 54, 9353 (1996)] showed that the interaction between spin waves and itinerant electrons in multilayers can lead to interface Gilbert damping. Ferromagnetic resonance (FMR) studies were carried out using magnetic single and double layer films. The FMR linewidth of the Fe films in the double layer structures was found to always be larger than the FMR linewidth measured for the single Fe films having the same thickness. The increase in the FMR linewidth scaled inversely with the film thickness, and was found to be linearly dependent on the microwave frequency. These results are in agreement with Berger's predictions. (C) 2002 American Institute of Physics

Flow reversal in coronary collaterals

We report a case of collateral flow reversal observed seven months after angioplasty and due to the progression of a second lesion in another vessel. Such an occurrence has not been reported previously in association with angioplasty. Its clinical implications are discusse

Proof-Pattern Recognition and Lemma Discovery in ACL2

We present a novel technique for combining statistical machine learning for proof-pattern recognition with symbolic methods for lemma discovery. The resulting tool, ACL2(ml), gathers proof statistics and uses statistical pattern-recognition to pre-processes data from libraries, and then suggests auxiliary lemmas in new proofs by analogy with already seen examples. This paper presents the implementation of ACL2(ml) alongside theoretical descriptions of the proof-pattern recognition and lemma discovery methods involved in it