Free groups in central simple algebras without Tits` theorem

Let R be a noncommutative central simple algebra, the center k of which is not absolutely algebraic, and consider units a,b of R such that {a,a(b)} freely generate a free group. It is shown that such b can be chosen from suitable Zariski dense open subsets of R, while the a can be chosen from a set of cardinality \k\ (which need not be open).

On the semi-Riemannian bumpy metric theorem

We prove the semi-Riemannian bumpy metric theorem using equivariant variational genericity. The theorem states that, on a given compact manifold M, the set of semi-Riemannian metrics that admit only nondegenerate closed geodesics is generic relatively to the C(k)-topology, k=2, ..., infinity, in the set of metrics of a given index on M. A higher-order genericity Riemannian result of Klingenberg and Takens is extended to semi-Riemannian geometry.

The Borsuk-Ulam theorem for homotopy spherical space forms

In this work, we show for which odd-dimensional homotopy spherical space forms the Borsuk-Ulam theorem holds. These spaces are the quotient of a homotopy odd-dimensional sphere by a free action of a finite group. Also, the types of these spaces which admit a free involution are characterized. The case of even-dimensional homotopy spherical space forms is basically known.

Versatile microanalytical system with porous polypropylene capillary membrane for calibration gas generation and trace gaseous pollutants sampling applied to the analysis of formaldehyde, formic acid, acetic acid and ammonia in outdoor air

The analytical determination of atmospheric pollutants still presents challenges due to the low-level concentrations (frequently in the mu g m(-3) range) and their variations with sampling site and time In this work a capillary membrane diffusion scrubber (CMDS) was scaled down to match with capillary electrophoresis (CE) a quick separation technique that requires nothing more than some nanoliters of sample and when combined with capacitively coupled contactless conductometric detection (C(4)D) is particularly favorable for ionic species that do not absorb in the UV-vis region like the target analytes formaldehyde formic acid acetic acid and ammonium The CMDS was coaxially assembled inside a PTFE tube and fed with acceptor phase (deionized water for species with a high Henry s constant such as formaldehyde and carboxylic acids or acidic solution for ammonia sampling with equilibrium displacement to the non-volatile ammonium ion) at a low flow rate (8 3 nLs(-1)) while the sample was aspirated through the annular gap of the concentric tubes at 25 mLs(-1) A second unit in all similar to the CMDS was operated as a capillary membrane diffusion emitter (CMDE) generating a gas flow with know concentrations of ammonia for the evaluation of the CMDS The fluids of the system were driven with inexpensive aquarium air pumps and the collected samples were stored in vials cooled by a Peltier element Complete protocols were developed for the analysis in air of NH(3) CH(3)COOH HCOOH and with a derivatization setup CH(2)O by associating the CMDS collection with the determination by CE-C(4)D The ammonia concentrations obtained by electrophoresis were checked against the reference spectrophotometric method based on Berthelot s reaction Sensitivity enhancements of this reference method were achieved by using a modified Berthelot reaction solenoid micro-pumps for liquid propulsion and a long optical path cell based on a liquid core waveguide (LCW) All techniques and methods of this work are in line with the green analytical chemistry trends (C) 2010 Elsevier B V All rights reserved

Simultaneous determination of chromium and manganese in alumina by slurry sampling graphite furnace atomic absorption spectrometry using NbC and NaF as modifiers

This paper reports a method for the direct and simultaneous determination of Cr and Mn in alumina by slurry sampling graphite furnace atomic absorption spectrometry (SiS-SIMAAS) using niobium carbide (NbC) as a graphite platform modifier and sodium fluoride (NaF) as a matrix modifier. 350 mu g of Nb were thermally deposited on the platform surface allowing the formation of NbC (mp 3500 degrees C) to minimize the reaction between aluminium and carbon of the pyrolytic platform, improving the graphite tube lifetime up to 150 heating cycles. A solution of 0.2 mol L(-1) NaF was used as matrix modifier for alumina dissolution as cryolite-based melt, allowing volatilization during pyrolysis step. Masses (c.a. 50 mg) of sample were suspended in 30 ml of 2.0% (v/v) of HNO(3). Slurry was manually homogenized before sampling. Aliquots of 20 mu l of analytical solutions and slurry samples were co-injected into the graphite tube with 20 mu l of the matrix modifier. In the best conditions of the heating program, pyrolysis and atomization temperatures were 1300 degrees C and 2400 degrees C, respectively. A step of 1000 degrees C was optimized allowing the alumina dissolution to form cryolite. The accuracy of the proposed method has been evaluated by the analysis of standard reference materials. The found concentrations presented no statistical differences compared to the certified values at 95% of the confidence level. Limits of detection were 66 ng g(-1) for Cr and 102 ng g(-1) for Mn and the characteristic masses were 10 and 13 pg for Cr and Mn, respectively.

Feasibility of using in situ fusion for the determination of Co, Cr and Mn in Portland cement by direct solid sampling graphite furnace atomic absorption spectrometry

In situ fusion on the boat-type graphite platform has been used as a sample pretreatment for the direct determination of Co, Cr and Mn in Portland cement by solid sampling graphite furnace atomic absorption spectrometry (SS-GF AAS). The 3-field Zeeman technique was adopted for background correction to decrease the sensitivity during measurements. This strategy allowed working with up to 200 mu g of sample. The in situ fusion was accomplished using 10 mu L of a flux mixture 4.0% m/v Na(2)CO(3) + 4.0% m/v ZnO + 0.1% m/v Triton (R) X-100 added over the cement sample and heated at 800 degrees C for 20 s. The resulting mould was completely dissolved with 10 mu L of 0.1% m/v HNO(3). Limits of detection were 0.11 mu g g(-1) for Co, 1.1 mu g g(-1) for Cr and 1.9 mu g g(-1) for Mn. The accuracy of the proposed method has been evaluated by the analysis of certified reference materials. The values found presented no statistically significant differences compared to the certified values (Student`s t-test, p<0.05). In general, the relative standard deviation was lower than 12% (n = 5). (C) 2009 Elsevier B.V. All rights reserved.

Environmental formaldehyde analysis by active diffusive sampling with a bundle of polypropylene porous capillaries followed by capillary zone electrophoretic separation and contactless conductivity detection

Compared to other volatile carbonylic compounds present in outdoor air, formaldehyde (CH2O) is the most toxic, deserving more attention in terms of indoor and outdoor air quality legislation and control. The analytical determination of CH2O in air still presents challenges due to the low-level concentration (in the sub-ppb range) and its variation with sampling site and time. Of the many available analytical methods for carbonylic compounds, the most widespread one is the time consuming collection in cartridges impregnated with 2,4-dinitrophenylhydrazine followed by the analysis of the formed hydrazones by HPLC. The present work proposes the use of polypropylene hollow porous capillary fibers to achieve efficient CH2O collection. The Oxyphan (R) fiber (designed for blood oxygenation) was chosen for this purpose because it presents good mechanical resistance, high density of very fine pores and high ratio of collection area to volume of the acceptor fluid in the tube, all favorable for the development of air sampling apparatus. The collector device consists of a Teflon pipe inside of which a bundle of polypropylene microporous capillary membranes was introduced. While the acceptor passes at a low flow rate through the capillaries, the sampled air circulates around the fibers, impelled by a low flow membrane pump (of the type used for aquariums ventilation). The coupling of this sampling technique with the selective and quantitative determination of CH2O, in the form of hydroxymethanesulfonate (HMS) after derivatization with HSO3-, by capillary electrophoresis with capacitively coupled contactless conductivity detection (CE-(CD)-D-4) enabled the development of a complete analytical protocol for the CH2O evaluation in air. (C) 2008 Published by Elsevier B.V.

Direct determination of iron in sand using solid sampling graphite furnace atomic absorption spectrometry

A fast and reliable method for the direct determination of iron in sand by solid sampling graphite furnace atomic absorption spectrometry was developed. A Zeeman-effect 3-field background corrector was used to decrease the sensitivity of spectrometer measurements. This strategy allowed working with up to 200 mu g of samples, thus improving the representativity. Using samples with small particle sizes (1-50 mu m) and adding 5 mu g Pd as chemical modifier, it was possible to obtain suitable calibration curves with aqueous reference solutions. The pyrolysis and atomization temperatures for the optimized heating program were 1400 and 2500 degrees C, respectively. The characteristic mass, based on integrated absorbance, was 56 pg, and the detection limits, calculated considering the variability of 20 consecutive measurements of platform inserted without sample was 32 pg. The accuracy of the procedure was checked with the analysis of two reference materials (IPT 62 and 63). The determined concentrations were in agreement with the recommended values (95% confidence level). Five sand samples were analyzed, and a good agreement (95% confidence level) was observed using the proposed method and conventional flame atomic absorption spectrometry. The relative standard deviations were lower than 25% (n = 5). The tube and boat platform lifetimes were around 1000 and 250 heating cycles, respectively.

Application of solid sampling device for direct determination of chromium and nickel in lubricating oils by graphite furnace atomic absorption spectrometry

One method using a solid sampling device for the direct determination of Cr and Ni in fresh and used lubricating oils by graphite furnace atomic absorption spectrometry are proposed. The high organic content in the samples was minimized using a digestion step at 400 degrees C in combination with an oxidant mixture 1.0% (v v(-1)) HNO3+15% (v v(-1)) H2O2+0.1% (m v(-1)) Triton X-100 for the in situ digestion. The 3-field mode Zeeman-effect allowed the spectrometer calibration up to 5 ng of Cr and Ni. The quantification limits were 0.86 mu g g(-1) for Cr and 0.82 mg g(-1) for Ni, respectively. The analysis of reference materials showed no statistically significant difference between the recommended values and those obtained by the proposed methods.

Herbrand's Theorem and Equational Reasoning: Problems and Solutions

The famous Herbrand's theorem of mathematical logic plays an important role in automated theorem proving. In the first part of this article, we recall the theorem and formulate a number of natural decision problems related to it. Somewhat surprisingly, these problems happen to be equivalent. One of these problems is the so-called simultaneous rigid E-unification problem. In the second part, we survey recent result on the simultaneous rigid E-unification problem.

Adaptive, Decentralized, And Real-Time Sampling Strategies For Resource Constrained Hydraulic And Hydrologic Sensor Networks

We discuss the development and performance of a low-power sensor node (hardware, software and algorithms) that autonomously controls the sampling interval of a suite of sensors based on local state estimates and future predictions of water flow. The problem is motivated by the need to accurately reconstruct abrupt state changes in urban watersheds and stormwater systems. Presently, the detection of these events is limited by the temporal resolution of sensor data. It is often infeasible, however, to increase measurement frequency due to energy and sampling constraints. This is particularly true for real-time water quality measurements, where sampling frequency is limited by reagent availability, sensor power consumption, and, in the case of automated samplers, the number of available sample containers. These constraints pose a significant barrier to the ubiquitous and cost effective instrumentation of large hydraulic and hydrologic systems. Each of our sensor nodes is equipped with a low-power microcontroller and a wireless module to take advantage of urban cellular coverage. The node persistently updates a local, embedded model of flow conditions while IP-connectivity permits each node to continually query public weather servers for hourly precipitation forecasts. The sampling frequency is then adjusted to increase the likelihood of capturing abrupt changes in a sensor signal, such as the rise in the hydrograph – an event that is often difficult to capture through traditional sampling techniques. Our architecture forms an embedded processing chain, leveraging local computational resources to assess uncertainty by analyzing data as it is collected. A network is presently being deployed in an urban watershed in Michigan and initial results indicate that the system accurately reconstructs signals of interest while significantly reducing energy consumption and the use of sampling resources. We also expand our analysis by discussing the role of this approach for the efficient real-time measurement of stormwater systems.