High-density electrode array for imaging in vitro electrophysiological activity

The development of a high-density active microelectrode array for in vitro electrophysiology is reported. Based on the Active Pixel Sensor (APS) concept, the array integrates 4096 gold microelectrodes (electrode separation 20 microm) on a surface of 2.5 mmx2.5 mm as well as a high-speed random addressing logic allowing the sequential selection of the measuring pixels. Following the electrical characterization in a phosphate solution, the functional evaluation has been carried out by recording the spontaneous electrical activity of neonatal rat cardiomyocytes. Signals with amplitudes from 130 microVp-p to 300 microVp-p could be recorded from different pixels. The results demonstrate the suitability of the APS concept for developing a new generation of high-resolution extracellular recording devices for in vitro electrophysiology.

Canonical proof nets for classical logic

Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof. Providing a convincing proof-net counterpart to proofs in the classical sequent calculus is thus an important step in understanding classical sequent calculus proofs. By convincing, we mean that (a) there should be a canonical function from sequent proofs to proof nets, (b) it should be possible to check the correctness of a net in polynomial time, (c) every correct net should be obtainable from a sequent calculus proof, and (d) there should be a cut-elimination procedure which preserves correctness. Previous attempts to give proof-net-like objects for propositional classical logic have failed at least one of the above conditions. In Richard McKinley (2010) [22], the author presented a calculus of proof nets (expansion nets) satisfying (a) and (b); the paper defined a sequent calculus corresponding to expansion nets but gave no explicit demonstration of (c). That sequent calculus, called LK∗ in this paper, is a novel one-sided sequent calculus with both additively and multiplicatively formulated disjunction rules. In this paper (a self-contained extended version of Richard McKinley (2010) [22]), we give a full proof of (c) for expansion nets with respect to LK∗, and in addition give a cut-elimination procedure internal to expansion nets – this makes expansion nets the first notion of proof-net for classical logic satisfying all four criteria.

Microgram-Level Radiocarbon Determination of Carbonaceous Particles in Firn and Ice Samples: Pretreatment and Oc/Ec Separation

Carbonaceous particles that comprise organic carbon (OC) and elemental carbon (EC) are of increasing interest in climate research because of their influence on the radiation balance of the Earth. The radiocarbon determination of particulate OC and EC extracted from ice cores provides a powerful tool to reconstruct the long-term natural and anthropogenic emissions of carbonaceous particles. However, this C-14-based source apportionment method has not been applied for the firn section, which is the uppermost part of Alpine glaciers with a typical thickness of up to 50 m. In contrast to glacier ice, firn samples are more easily contaminated through drilling and handling operations. In this study, an alternative decontamination method for firn samples consisting of chiselling off the outer parts instead of rinsing them was developed and verified. The obtained procedural blank of 2.8 +/- 0.8 mu g C for OC is a factor of 2 higher compared to the rinsing method used for ice, but still relatively low compared to the typical OC concentration in firn samples from Alpine glaciers. The EC blank of 0.3 +/- 0.1 mu g C is similar for both methods. For separation of OC and EC for subsequent C-14 analysis, a thermal-optical method instead of the purely thermal method was applied for the first time to firn and ice samples, resulting in a reduced uncertainty of both the mass and C-14 determination. OC and EC concentrations as well as their corresponding fraction of modern for firn and ice samples from Fiescherhorn and Jungfraujoch agree well with published results, validating the new method.

Dynamic high-resolution computer simulation of isotachophoretic enantiomer separation and zone stability

The development of electrophoretic computer models and their use for simulation of electrophoretic processes has increased significantly during the last few years. Recently, GENTRANS and SIMUL5 were extended with algorithms that describe chemical equilibria between solutes and a buffer additive in a fast 1:1 interaction process, an approach that enables simulation of the electrophoretic separation of enantiomers. For acidic cationic systems with sodium and H3 0(+) as leading and terminating components, respectively, acetic acid as counter component, charged weak bases as samples, and a neutral CD as chiral selector, the new codes were used to investigate the dynamics of isotachophoretic adjustment of enantiomers, enantiomer separation, boundaries between enantiomers and between an enantiomer and a buffer constituent of like charge, and zone stability. The impact of leader pH, selector concentration, free mobility of the weak base, mobilities of the formed complexes and complexation constants could thereby be elucidated. For selected examples with methadone enantiomers as analytes and (2-hydroxypropyl)-β-CD as selector, simulated zone patterns were found to compare well with those monitored experimentally in capillary setups with two conductivity detectors or an absorbance and a conductivity detector. Simulation represents an elegant way to provide insight into the formation of isotachophoretic boundaries and zone stability in presence of complexation equilibria in a hitherto inaccessible way.

Improving accuracy and precision of ice core δD(CH4) analyses using methane pre-pyrolysis and hydrogen post-pyrolysis trapping and subsequent chromatographic separation

Firn and polar ice cores offer the only direct palaeoatmospheric archive. Analyses of past greenhouse gas concentrations and their isotopic compositions in air bubbles in the ice can help to constrain changes in global biogeochemical cycles in the past. For the analysis of the hydrogen isotopic composition of methane (δD(CH4) or δ2H(CH4)) 0.5 to 1.5 kg of ice was hitherto used. Here we present a method to improve precision and reduce the sample amount for δD(CH4) measurements in (ice core) air. Pre-concentrated methane is focused in front of a high temperature oven (pre-pyrolysis trapping), and molecular hydrogen formed by pyrolysis is trapped afterwards (post-pyrolysis trapping), both on a carbon-PLOT capillary at −196 °C. Argon, oxygen, nitrogen, carbon monoxide, unpyrolysed methane and krypton are trapped together with H2 and must be separated using a second short, cooled chromatographic column to ensure accurate results. Pre- and post-pyrolysis trapping largely removes the isotopic fractionation induced during chromatographic separation and results in a narrow peak in the mass spectrometer. Air standards can be measured with a precision better than 1‰. For polar ice samples from glacial periods, we estimate a precision of 2.3‰ for 350 g of ice (or roughly 30 mL – at standard temperature and pressure (STP) – of air) with 350 ppb of methane. This corresponds to recent tropospheric air samples (about 1900 ppb CH4) of about 6 mL (STP) or about 500 pmol of pure CH4.

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.