8,076 research outputs found

    Stable ferromagnetism in p-type carbon-doped ZnO nanoneedles

    Get PDF
    Author name used in this publication: C. S. Wei2009-2010 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe

    Meta-analysis of scalp acupuncture for acute hypertensive intracerebral hemorrhage

    Get PDF
    Objectives: Scalp acupuncture (SA) is a commonly used therapeutic approach for primary intracerebral hemorrhage (ICH) in Traditional Chinese Medicine (TCM), but the efficacy and safety of SA therapy are still undetermined. The aim of this study is to systematically evaluate the efficacy and safety of SA therapy for the treatment of acute hypertensive ICH. Methods: Literature reports with randomized controlled clinical trials and controlled clinical trials on SA therapy for acute hypertensive ICH were searched, and the efficacy and safety of SA therapy were evaluated by using the Cochrane systematic review methods. The primary outcome measures were death or dependency at the end of long-term follow-up (at least 3 months) and adverse events. The secondary outcome measure was neurological deficit improvement at the end of the treatment course. Results: Seven (7) independent trials (230 patients) were included in this study. All trials described the methods of randomization in which four trials had adequate concealment of randomization at the level of grade A, but no trial included sham acupuncture as a control group. None of the trials included "death or dependency" as a primary outcome measure. Four (4) trials contained safety assessments and stated that no adverse event was found, whereas the other three trials did not provide the information about adverse events. By using random effects statistical model, it was found that patients with acute hypertensive ICH who received SA therapy had significantly improved neurological deficit scores (Z=4.97, p<0.01). Conclusions: Although SA therapy is widely used to treat acute hypertensive ICH in TCM, the efficacy and safety of SA therapy remain to be further determined. No evidence is available on whether SA therapy can be used to treat acute ICH according to the primary outcome measure. However, SA therapy appears to be able to improve neurological deficit in patients with acute hypertensive ICH. © 2011, Mary Ann Liebert, Inc.published_or_final_versio

    Thermal-Error Regime in High-Accuracy Gigahertz Single-Electron Pumping

    Get PDF
    Single-electron pumps based on semiconductor quantum dots are promising candidates for the emerging quantum standard of electrical current. They can transfer discrete charges with part-per-million (ppm) precision in nanosecond time scales. Here, we employ a metal-oxide-semiconductor silicon quantum dot to experimentally demonstrate high-accuracy gigahertz single-electron pumping in the regime where the number of electrons trapped in the dot is determined by the thermal distribution in the reservoir leads. In a measurement with traceability to primary voltage and resistance standards, the averaged pump current over the quantized plateau, driven by a 1-GHz sinusoidal wave in the absence of a magnetic field, is equal to the ideal value of ef within a measurement uncertainty as low as 0.27 ppm

    Exercise alters and beta-alanine combined with exercise augments histidyl dipeptide levels and scavenges lipid peroxidation products in human skeletal muscle

    Get PDF
    Title on article: Exercise alters and β-alanine combined with exercise augments histidyl dipeptide levels and scavenges lipid peroxidation products in human skeletal muscl

    Deep-Focus Diagnostics of Sunspot Structure

    Full text link
    In sequel to Moradi et al. [2009, ApJ, 690, L72], we employ two established numerical forward models (a 3D ideal MHD solver and MHD ray theory) in conjunction with time-distance helioseismology to probe the lateral extent of wave-speed perturbations produced in regions of strong, near-surface magnetic fields. We continue our comparisons of forward modeling approaches by extending our previous surface-focused travel-time measurements with a common midpoint deep-focusing scheme that avoids the use of oscillation signals within the sunspot region. The idea is to also test MHD ray theory for possible application in future inverse methods.Comment: 8 pages, 4 figures, published in the conference proceedings "Magnetic Coupling between the Interior and Atmosphere of the Sun", edited by S.S. Hasan and R.J. Rutten; Astrophysics and Space Science Proceeding

    Frequency tuning of the efferent effect on cochlear gain in humans

    Get PDF
    Cochlear gain reduction via efferent feedback from the medial olivocochlear bundle is frequency specific (Guinan, Curr Opin Otolaryngol Head Neck Surg 18:447-453, 2010). The present study with humans used the Fixed Duration Masking Curve psychoacoustical method (Yasin et al., J Acoust Soc Am 133:4145-4155, 2013a; Yasin et al., Basic aspects of hearing: physiology and perception, pp 39-46, 2013b; Yasin et al., J Neurosci 34:15319-15326, 2014) to estimate the frequency specificity of the efferent effect at the cochlear level. The combined duration of the masker-plus-signal stimulus was 25 ms, within the efferent onset delay of about 31-43 ms (James et al., Clin Otolaryngol 27:106-112, 2002). Masker level (4.0 or 1.8 kHz) at threshold was obtained for a 4-kHz signal in the absence or presence of an ipsilateral 60 dB SPL, 160-ms precursor (200-Hz bandwidth) centred at frequencies between 2.5 and 5.5 kHz. Efferent-mediated cochlear gain reduction was greatest for precursors with frequencies the same as, or close to that of, the signal (gain was reduced by about 20 dB), and least for precursors with frequencies well removed from that of the signal (gain remained at around 40 dB). The tuning of the efferent effect filter (tuning extending 0.5-0.7 octaves above and below the signal frequency) is within the range obtained in humans using otoacoustic emissions (Lilaonitkul and Guinan, J Assoc Res Otolaryngol 10:459-470, 2009; Zhao and Dhar, J Neurophysiol 108:25-30, 2012). The 10 dB bandwidth of the efferent-effect filter at 4000 Hz was about 1300 Hz (Q10 of 3.1). The FDMC method can be used to provide an unbiased measure of the bandwidth of the efferent effect filter using ipsilateral efferent stimulation

    Using Ontologies in Formal Developments Targeting Certification

    Get PDF
    This is the author accepted manuscript. The final version is available from Springer Verlag via the DOI in this recordIFM 2019: 15th International Conference on integrated Formal Methods, 4-6 December 2019, Bergen, NorwayA common problem in the certification of highly safety or security critical systems is the consistency of the certification documentation in general and, in particular, the linking between semi-formal and formal content of the certification documentation. We address this problem by using an existing framework, Isabelle/DOF, that allows writing certification documents with consistency guarantees, in both, the semi-formal and formal parts. Isabelle/DOF supports the modeling of document ontologies using a strongly typed ontology definition language. An ontology is then enforced inside documents including formal parts, e.g., system models, verification proofs, code, tests and validations of corner-cases. The entire set of documents is checked within Isabelle/HOL, which includes the definition of ontologies and the editing of integrated documents based on them. This process is supported by an IDE that provides continuous checking of the document consistency. In this paper, we present how a specific software-engineering certification standard, namely CENELEC 50128, can be modeled inside Isabelle/DOF. Based on an ontology covering a substantial part of this standard, we present how Isabelle/DOF can be applied to a certification case-study in the railway domain.IRT System
    corecore