Kinetics of the Photoreduction of \u3cem\u3ep\u3c/em\u3e-nitrobenzoic Acid on Ag and AgxAu1-x Nanoparticle Films

A recent strategy to increase the efficiency of photovoltaic and photoemissive devices has been to include metal nanolayers in contact with an organic layer inside these devices. Metal nanoparticles (especially Ag and Au) are known to catalyze photoreactions of organic molecules on their surfaces. The reactivity of organics at nanometal surfaces has implications for device lifetimes; therefore, it is important to understand how nanoparticle size and composition influence reaction rates. The photoreduction of p-nitrobenzoate (PNBA) to p,p’-azodibenzoate (PPADBA) on Ag nanoparticles is an excellent model system for studying such reactions. We have measured the reaction rate of PNBA to PPADBA on Ag and Au based nanoparticle surfaces using surface-enhanced Raman spectroscopy (SERS). SERS is a highly sensitive spectroscopic tool, which provides molecular fingerprints that can be used to identify molecular species present on metal nanoparticle surfaces. These surfaces are made from layers from Ag and AgxAu1-x alloy nanoparticles with diameters ranging from 50-80 nm

Evaluating Sums over the Matsubara Frequencies

Perturbative calculations in field theory at finite temperature involve sums over the Matsubara frequencies. Besides the usual difficulties that appear in perturbative computations, these sums give rise to some new obstacles that are carefully analized here. I present a fast and realible recipe to work out sums over the Matsubara frequencies. As this algorithm leads to deal with very cumbersome algebraic expressions, it has been written for computers by using the symbolic manipulation program Mathematica. It is also shown this algorithm to be self-consistent when it is applied to more than one loop computations.Comment: 10 page

A GPU-Computing Approach to Solar Stokes Profile Inversion

We present a new computational approach to the inversion of solar photospheric Stokes polarization profiles, under the Milne-Eddington model, for vector magnetography. Our code, named GENESIS (GENEtic Stokes Inversion Strategy), employs multi-threaded parallel-processing techniques to harness the computing power of graphics processing units GPUs, along with algorithms designed to exploit the inherent parallelism of the Stokes inversion problem. Using a genetic algorithm (GA) engineered specifically for use with a GPU, we produce full-disc maps of the photospheric vector magnetic field from polarized spectral line observations recorded by the Synoptic Optical Long-term Investigations of the Sun (SOLIS) Vector Spectromagnetograph (VSM) instrument. We show the advantages of pairing a population-parallel genetic algorithm with data-parallel GPU-computing techniques, and present an overview of the Stokes inversion problem, including a description of our adaptation to the GPU-computing paradigm. Full-disc vector magnetograms derived by this method are shown, using SOLIS/VSM data observed on 2008 March 28 at 15:45 UT

Integration of simulation and multimedia in automatically generated Internet courses

The final publication is available at Springer via http://dx.doi.org/10.1007/0-306-47532-4_5This paper describes the automatic generation of simulation-based Internet courses by means of an object-oriented continuous simulation language (OOCSMP), and a compiler for this language (C-OOL). Several multimedia extensions added to the language are also described. These extensions provide the student with a better understanding of the simulated models. The paper finally describes a course developed using the multimedia extensions

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory

We propose an axiomatic generic framework for modelling weak memory. We show how to instantiate this framework for SC, TSO, C++ restricted to release-acquire atomics, and Power. For Power, we compare our model to a preceding operational model in which we found a flaw. To do so, we define an operational model that we show equivalent to our axiomatic model. We also propose a model for ARM. Our testing on this architecture revealed a behaviour later acknowl-edged as a bug by ARM, and more recently 31 additional anomalies. We offer a new simulation tool, called herd, which allows the user to specify the model of his choice in a concise way. Given a specification of a model, the tool becomes a simulator for that model. The tool relies on an axiomatic description; this choice allows us to outperform all previous simulation tools. Additionally, we confirm that verification time is vastly improved, in the case of bounded model checking. Finally, we put our models in perspective, in the light of empirical data obtained by analysing the C and C++ code of a Debian Linux distribution. We present our new analysis tool, called mole, which explores a piece of code to find the weak memory idioms that it uses