3,522 research outputs found

    Binding of homologs of certain carcinogenic azo dyes with proteins

    Get PDF
    Call number: LD2668 .T4 1957 B38Master of Scienc

    A decidable policy language for history-based transaction monitoring

    Full text link
    Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting, the decision to trust a user may sensibly be based on that user's past behaviour. We introduce a specification language based on linear temporal logic for expressing a policy for categorising the behaviour patterns of a user depending on its transaction history. We also present an algorithm for checking whether the transaction history obeys the stated policy. To be useful in a real setting, such a language should allow one to express realistic policies which may involve parameter quantification and quantitative or statistical patterns. We introduce several extensions of linear temporal logic to cater for such needs: a restricted form of universal and existential quantification; arbitrary computable functions and relations in the term language; and a "counting" quantifier for counting how many times a formula holds in the past. We then show that model checking a transaction history against a policy, which we call the history-based transaction monitoring problem, is PSPACE-complete in the size of the policy formula and the length of the history. The problem becomes decidable in polynomial time when the policies are fixed. We also consider the problem of transaction monitoring in the case where not all the parameters of actions are observable. We formulate two such "partial observability" monitoring problems, and show their decidability under certain restrictions

    FIRE Spectroscopy of Five Late-type T Dwarfs Discovered with the Wide-field Infrared Survey Explorer

    Get PDF
    We present the discovery of five late-type T dwarfs identified with the Wide-field Infrared Survey Explorer (WISE). Low-resolution near-infrared spectroscopy obtained with the Magellan Folded-port InfraRed Echellette (FIRE) reveal strong water and methane absorption in all five sources, and spectral indices and comparison to spectral templates indicate classifications ranging from T5.5 to T8.5:. The spectrum of the latest-type source, WISE J1812+2721, is an excellent match to that of the T8.5 companion brown dwarf Wolf 940B. WISE-based spectrophotometric distance estimates place these T dwarfs at 12-13 pc from the Sun, assuming they are single. Preliminary fits of the spectral data to the atmosphere models of Saumon & Marley indicate effective temperatures ranging from 600 K to 930 K, both cloudy and cloud-free atmospheres, and a broad range of ages and masses. In particular, two sources show evidence of both low surface gravity and cloudy atmospheres, tentatively supporting a trend noted in other young brown dwarfs and exoplanets. In contrast, the high proper motion T dwarf WISE J2018-7423 exhibits a suppressed K-band peak and blue spectrophotometric J-K colors indicative of an old, massive brown dwarf; however, it lacks the broadened Y-band peak seen in metal-poor counterparts. These results illustrate the broad diversity of low-temperature brown dwarfs that will be uncovered with WISE.Comment: 19 pages, 13 figures; accepted for publication to Ap

    Comparative material study between PZT ceramic and newer crystalline PMN-PT and PZN-PT mateirals for composite bimorph actuators.

    No full text
    International audienceThe advent of commercially available giant piezoelectric coefficient monocrystalline materials such as PMN-PT (lead magnesium niobate - lead titanate) or PZN-PT (lead zinc niobate - lead titanate) broadens the gate for silicon-integrated applications (PiezoMEMS). Becoming more compatible with microtechnology batch processes, further advances are expected in terms of miniaturization, optimization, functionality or integration with electronics, all while reducing manufacturing costs. Subsequently, operating voltage will be lower and devices response time will improve dramatically. The paper compiles a base knowledge for composite bimorph actuators in line with a bottom-up approach for further more complex piezoelectric device designs such as "microrobots-on-chips". Material properties and constitutive equations of piezoelectric bimorph cantilevers are initially overviewed. Analytical and finite elements modeling (FEM) are afterwards performed on two designs : classical PZT on copper cantilevers and innovative PMN-PT and PZN-PT on silicon. Comparative results clearly report quantitative improvement of PMN-PT on Si design in terms of tip displacement and blocking force

    AEGIS: Demographics of X-ray and Optically Selected AGNs

    Full text link
    We develop a new diagnostic method to classify galaxies into AGN hosts, star-forming galaxies, and absorption-dominated galaxies by combining the [O III]/Hbeta ratio with rest-frame U-B color. This can be used to robustly select AGNs in galaxy samples at intermediate redshifts (z<1). We compare the result of this optical AGN selection with X-ray selection using a sample of 3150 galaxies with 0.3<z<0.8 and I_AB<22, selected from the DEEP2 Galaxy Redshift Survey and the All-wavelength Extended Groth Strip International Survey (AEGIS). Among the 146 X-ray sources in this sample, 58% are classified optically as emission-line AGNs, the rest as star-forming galaxies or absorption-dominated galaxies. The latter are also known as "X-ray bright, optically normal galaxies" (XBONGs). Analysis of the relationship between optical emission lines and X-ray properties shows that the completeness of optical AGN selection suffers from dependence on the star formation rate and the quality of observed spectra. It also shows that XBONGs do not appear to be a physically distinct population from other X-ray detected, emission-line AGNs. On the other hand, X-ray AGN selection also has strong bias. About 2/3 of all emission-line AGNs at L_bol>10^44 erg/s in our sample are not detected in our 200 ks Chandra images, most likely due to moderate or heavy absorption by gas near the AGN. The 2--7 keV detection rate of Seyfert 2s at z~0.6 suggests that their column density distribution and Compton-thick fraction are similar to that of local Seyferts. Multiple sample selection techniques are needed to obtain as complete a sample as possible.Comment: 24 pages, 14 figures, submitted to ApJ. Version 2 matches the ApJ accepted version. Sec 3 was reorganized and partly rewritten with one additional figure (Fig.3

    A new class of large-amplitude radial-mode hot subdwarf pulsators

    Full text link
    Using high-cadence observations from the Zwicky Transient Facility at low Galactic latitudes, we have discovered a new class of pulsating, hot compact stars. We have found four candidates, exhibiting blue colors (g − r ≤ −0.1 mag), pulsation amplitudes of >5%, and pulsation periods of 200–475 s. Fourier transforms of the light curves show only one dominant frequency. Phase-resolved spectroscopy for three objects reveals significant radial velocity, T eff, and log(g) variations over the pulsation cycle, which are consistent with large-amplitude radial oscillations. The mean T eff and log(g) for these stars are consistent with hot subdwarf B (sdB) effective temperatures and surface gravities. We calculate evolutionary tracks using MESA and adiabatic pulsations using GYRE for low-mass, helium-core pre-white dwarfs (pre-WDs) and low-mass helium-burning stars. Comparison of low-order radial oscillation mode periods with the observed pulsation periods show better agreement with the pre-WD models. Therefore, we suggest that these new pulsators and blue large-amplitude pulsators (BLAPs) could be members of the same class of pulsators, composed of young ≈0.25–0.35 M ⊙ helium-core pre-WDs.Published versio

    Effects of beta-alanine supplementation on brain homocarnosine/carnosine signal and cognitive function: an exploratory study

    Get PDF
    Objectives: Two independent studies were conducted to examine the effects of 28 d of beta-alanine supplementation at 6.4 g d-1 on brain homocarnosine/carnosine signal in omnivores and vegetarians (Study 1) and on cognitive function before and after exercise in trained cyclists (Study 2). Methods: In Study 1, seven healthy vegetarians (3 women and 4 men) and seven age- and sex-matched omnivores undertook a brain 1H-MRS exam at baseline and after beta-alanine supplementation. In study 2, nineteen trained male cyclists completed four 20-Km cycling time trials (two pre supplementation and two post supplementation), with a battery of cognitive function tests (Stroop test, Sternberg paradigm, Rapid Visual Information Processing task) being performed before and after exercise on each occasion. Results: In Study 1, there were no within-group effects of beta-alanine supplementation on brain homocarnosine/carnosine signal in either vegetarians (p = 0.99) or omnivores (p = 0.27); nor was there any effect when data from both groups were pooled (p = 0.19). Similarly, there was no group by time interaction for brain homocarnosine/carnosine signal (p = 0.27). In study 2, exercise improved cognitive function across all tests (P0.05) of beta-alanine supplementation on response times or accuracy for the Stroop test, Sternberg paradigm or RVIP task at rest or after exercise. Conclusion: 28 d of beta-alanine supplementation at 6.4g d-1 appeared not to influence brain homocarnosine/ carnosine signal in either omnivores or vegetarians; nor did it influence cognitive function before or after exercise in trained cyclists

    Multi-centre parallel arm randomised controlled trial to assess the effectiveness and cost-effectiveness of a group-based cognitive behavioural approach to managing fatigue in people with multiple sclerosis

    Get PDF
    Abstract (provisional) Background Fatigue is one of the most commonly reported and debilitating symptoms of multiple sclerosis (MS); approximately two-thirds of people with MS consider it to be one of their three most troubling symptoms. It may limit or prevent participation in everyday activities, work, leisure, and social pursuits, reduce psychological well-being and is one of the key precipitants of early retirement. Energy effectiveness approaches have been shown to be effective in reducing MS-fatigue, increasing self-efficacy and improving quality of life. Cognitive behavioural approaches have been found to be effective for managing fatigue in other conditions, such as chronic fatigue syndrome, and more recently, in MS. The aim of this pragmatic trial is to evaluate the clinical and cost-effectiveness of a recently developed group-based fatigue management intervention (that blends cognitive behavioural and energy effectiveness approaches) compared with current local practice. Methods This is a multi-centre parallel arm block-randomised controlled trial (RCT) of a six session group-based fatigue management intervention, delivered by health professionals, compared with current local practice. 180 consenting adults with a confirmed diagnosis of MS and significant fatigue levels, recruited via secondary/primary care or newsletters/websites, will be randomised to receive the fatigue management intervention or current local practice. An economic evaluation will be undertaken alongside the trial. Primary outcomes are fatigue severity, self-efficacy and disease-specific quality of life. Secondary outcomes include fatigue impact, general quality of life, mood, activity patterns, and cost-effectiveness. Outcomes in those receiving the fatigue management intervention will be measured 1 week prior to, and 1, 4, and 12 months after the intervention (and at equivalent times in those receiving current local practice). A qualitative component will examine what aspects of the fatigue management intervention participants found helpful/unhelpful and barriers to change. Discussion This trial is the fourth stage of a research programme that has followed the Medical Research Council guidance for developing and evaluating complex interventions. What makes the intervention unique is that it blends cognitive behavioural and energy effectiveness approaches. A potential strength of the intervention is that it could be integrated into existing service delivery models as it has been designed to be delivered by staff already working with people with MS. Service users will be involved throughout this research. Trial registration: Current Controlled Trials ISRCTN7651747
    corecore