A generalized Fourier inversion theorem

In this work we define operator-valued Fourier transforms for suitable integrable elements with respect to the Plancherel weight of a (not necessarily Abelian) locally compact group. Our main result is a generalized version of the Fourier inversion Theorem for strictly-unconditionally integrable Fourier transforms. Our results generalize and improve those previously obtained by Ruy Exel in the case of Abelian groups.Comment: 15 pages; some typos correcte

Linear dose-response relationship for DNA adducts in rat liver from chronic exposure to aflatoxin B1

Male F-344 rats were given [3H]aflatoxin B1 (AFB 1) in the drinking water at three exposure levels (0.02, 0.6, 20 μg/l, resulting in average dose levels of 2.2, 73, 2110 ng/kg per day). After 4, 6 and 8 weeks, DNA was isolated from the livers and analyzed for aflatoxin- DNA adducts. The level of DNA adducts did not increase significantly after 4 weeks, indicating that a steady-state for adduct formation and removal had nearly been reached. At 8 weeks, the adduct levels were 0.91, 32 and 850 nucleotide-aflatoxin adducts per 109 nucleotides, i.e. clearly proportional ot the dose. At the high dose level, a near 50% tumor incidence would be expected in a 2-year bioassay with F-344 rats while the low dose used is within the range of estimated human dietary exposures to aflatoxin in Western countries. The proportionality seen between exposure and steady-state DNA adduct level is discussed with respect to a linear extrapolation of the turnor risk to low dos

NASA/MSFC Large Stretch Press Study

The purpose of this study was to: A. assess and document the advantages/disadvantages of a government agency investment in a large stretch form press on the order of 5000 tons capacity (per jaw); B. develop a procurement specification for the press; and C. provide trade study data that will permit an optimum site location. Tasks were separated into four major elements: cost study, user survey, site selection, and press design/procurement specification

Towards Verifying Nonlinear Integer Arithmetic

We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution proofs for many properties of the most widely used multiplier circuits. Such short proofs were conjectured not to exist. More precisely, we give n^{O(1)} size regular resolution proofs for arbitrary degree 2 identities on array, diagonal, and Booth multipliers and quasipolynomial- n^{O(\log n)} size proofs for these identities on Wallace tree multipliers.Comment: Expanded and simplified with improved result

Circumstellar grain extinction properties of recently discovered post AGB stars

The circumstellar grains of two hot evolved post asymptotic giant branch (post AGB) stars, HD 89353 and HD 213985 were examined. From ultraviolet spectra, energy balance of the flux, and Kurucz models, the extinction around 2175 A was derived. With visual spectra, an attempt was made to detect 6614 A diffuse band absorption arising from the circumstellar grains so that we could examine the relationship of these features to the infrared features. For both stars, we did not detect any diffuse band absorption at 6614 A, implying the carrier of this diffuse band is not the carrier of the unidentified infrared features not of the 2175 A bump. The linear ultraviolet extinction of the carbon-rich star HD 89353 was determined to continue across the 2175 A region with no sign of the bump; for HD 213985 it was found to be the reverse: a strong, wide bump in the mid-ultraviolet. The 213985 bump was found to be positioned at 2340 A, longward of its usual position in the interstellar medium. Since HD 213985 was determined to have excess carbon, the bump probably arises from a carbonaceous grain. Thus, in view of the ultraviolet and infrared properties of the two post AGB stars, ubiquitous interstellar infrared emission features do not seem to be associated with the 2175 A bump. Instead, the infrared features seem related to the linear ultraviolet extinction component: hydrocarbon grains of radius less than 300 A are present with the linear HD 89353 extinction; amorphous anhydrous carbonaceous grains of radius less than 50 A might cause the shifted ultraviolet extinction bump of HD 213985

Cyclic thermomechanical testing of 316 stainless steel

Materials used for components such as power plant steam pipes, gas turbines discs and die forming machinery can be subject to combinations of extreme loading and temperature conditions. In addition, the materials can contain or develop cracks. Once a crack has initiated, the conditions under which the components operate can cause these cracks to propagate. This paper is concerned with the experimental testing of 316 stainless steel, corner cracked samples under thermomechanical fatigue conditions, and the measurement of the crack propagation during testing using alternating current potential difference readings. Fracture mechanics (Paris Law) methods have been used in the processing of the experimental data

Spatial and temporal distribution of benthic macroinvertebrates in a Southeastern Brazilian river.

A fauna de macroinvertebrados bentônicos é estruturada por fatores físicos e químicos que determinam os microhábitats, incluindo a disponibilidade de alimento, a existência de refúgios contra predadores e tempestades, o sucesso reprodutivo e outros parâmetros biológicos. O objetivo deste estudo foi investigar a distribuição espaço-temporal da comunidade de macroinvertebrados bentônicos na bacia do Rio Macaé, estado do Rio de Janeiro, Brasil. De acordo com o Habitat Assessment Field Data Sheet High Gradient Streams (Barbour et al., 1999), os cinco locais coletados são considerados como referência para propósito de biomonitoramento. Apesar das diferenças em parâmetros hidrográficos (largura, profundidade e vazão médias), os parâmetros físico-químicos e a composição dos grupos de alimentação funcional foram similares entre os locais, com exceção da área mais preservada, onde a porcentagem de organismos cortadores foi maior. De acordo com a análise de correspondência, há uma clara distinção entre áreas de remanso e de correnteza. De fato, o substrato folhiço de correnteza apresentou a fauna mais rica e abundante, enquanto o substrato folhiço de fundo apresentou o maior número de táxons exclusivos. A análise de agrupamento considerando os dados dos locais de coleta indicou que a variação temporal foi o fator mais importante na estruturação das comunidades nos hábitats estudados

Parameterized bounded-depth Frege is not optimal

A general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider [9]. There the authors concentrate on tree-like Parameterized Resolution-a parameterized version of classical Resolution-and their gap complexity theorem implies lower bounds for that system. The main result of the present paper significantly improves upon this by showing optimal lower bounds for a parameterized version of bounded-depth Frege. More precisely, we prove that the pigeonhole principle requires proofs of size n in parameterized bounded-depth Frege, and, as a special case, in dag-like Parameterized Resolution. This answers an open question posed in [9]. In the opposite direction, we interpret a well-known technique for FPT algorithms as a DPLL procedure for Parameterized Resolution. Its generalization leads to a proof search algorithm for Parameterized Resolution that in particular shows that tree-like Parameterized Resolution allows short refutations of all parameterized contradictions given as bounded-width CNF's

Patterns of Fetal Heart Rate Response at ∼30 Weeks Gestation Predict Size at Birth

There is evidence that fetal exposure to maternal stress is associated with adverse birth outcomes. Less is known about the association between fetal responses to a stressor and indicators of fetal maturity and developmental outcomes. The purpose of the present study was to determine whether fetal heart rate (FHR) patterns in response to a startling stimulus at ∼30 weeks of gestation were associated with gestational age at birth and birth weight. FHR was measured in 156 maternal–fetal dyads following a vibroacoustic stimulus. All pregnancies were singleton intrauterine pregnancies in English-speaking women who were primarily married, middle class, White and at least 18 years of age. Group-based trajectory modeling identified five groups of fetuses displaying distinctive longitudinal trajectories of FHR response to the startling stimulus. The FHR group trajectories were significantly associated with birth weight percentile (P \u3c 0.01) even after controlling for estimated fetal weight at the time of assessment and parity, which are the known factors influencing birth weight (P \u3c 0.01). Post hoc analyses indicated that two groups accounted for the association between FHR patterns and birth weight. The group (n = 23) with the lowest birth weight exhibited an immediate FHR deceleration followed by an immediate acceleration that does not recover. An FHR pattern characterized by immediate and fast acceleration to the peak and a slow discovery to baseline was associated with the highest birth weight. This is the first direct evidence showing that low birth weight and the resulting neurological consequences may have their origins in early fetal development