745 research outputs found

    Theory of the Bloch Oscillating Transistor

    Full text link
    The Bloch oscillating transistor (BOT) is a device, where single electron current through a normal tunnel junction can be used to enhance Cooper pair current in a mesoscopic Josephson junction leading to signal amplification. In this paper we develop a theory, where the BOT dynamics is described as a two-level system. The theory is used to predict current-voltage characteristics and small-signal response. Transition from stable operation into hysteretic regime is studied. By identifying the two-level switching noise as the main source of fluctuations, the expressions for equivalent noise sources and the noise temperature are derived. The validity of the model is tested by comparing the results with simulations.Comment: 11 pages, 8 figure

    Linear logic on Petri nets

    Get PDF
    This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some appraisal of the value of linear logic as a specification logic for Petri nets. This article might serve as a tutorial, providing one in-road into Girard's linear logic via Petri nets. With this in mind we have added several exercises and their solutions. We have made no attempt to be exhaustive in our treatment, dedicating our treatment to one semantics of intuitionistic linear logic. Completeness is shown for several versions of Girard's linear logic with respect to Petri nets as the class of models. The strongest logic considered is intuitionistic linear logic, with (*), --, &, (+) and the exponential ! (``of course''), and forms of quantification. This logic is shown sound and complete with respect to atomic nets (these include nets in which every transition leads to a nonempty multiset of places). The logic is remarkably expressive, enabling descriptions of the kinds of properties one might wish to show of nets; in particular, negative properties, asserting the impossibility of an assertion, can also be expressed. A start is made on decidability issues

    Cyclostationary shot noise in mesoscopic measurements

    Get PDF
    We discuss theoretically a setup where a time-dependent current consisting of a DC bias and two sinusoidal harmonics is driven through a sample. If the sample exhibits current-dependent shot noise, the down-converted noise power spectrum varies depending on the local-oscillator phase of the mixer. The theory of this phase-dependent noise is applied to discuss the measurement of the radio-frequency single-electron transistor. We also show that this effect can be used to measure the shot noise accurately even in nonlinear high-impedance samples.Comment: 3 pages, 2 figure

    Comparing estimates of physical activity in children across different cut-points and the associations with weight status

    Get PDF
    This study aimed to compare sedentary time (SED) and intensity-specific physical activity (PA) estimates and the associations of SED and PA with body mass index (BMI) and waist circumference (WC) using three different sets of cut-points in preschool-aged children. A total of 751 children (4.7 +/- 0.9 years, boys 52.7%) wore an ActiGraph GT3X+BT accelerometer on their hip for 7 days (24 h). Euclidean norm -1 G with negative values rounded to zero (ENMO) and activity counts from vertical axis (VACounts) and vector magnitude (VMCounts) were derived. Estimates of SED and light, moderate, vigorous, and moderate-to-vigorous PA (MVPA) were calculated for commonly used cut-points by Hildebrand et al., Butte et al., and Evenson et al. Furthermore, the prevalence of meeting the PA recommendation, 180 min/day of which at least 60 min/day being MVPA, were assessed for the cut-points. Multilevel mixed analysis was used to examine associations of SED and PA with BMI and WC. In accordance with the results, SED and PA intensity estimates differed largely across cut-points (i.e., SED = 22-341 min/day; light PA = 52-257 min/day; moderate PA = 5-18 min/day; vigorous PA = 7-17 min/day; MVPA = 13-35 min/day), and the prevalence of children meeting the PA recommendation varied from 4% to 70%. Associations of SED and PA with BMI or WC varied between the cut-points. Our results indicate that SED and PA estimates in preschool-aged children between studies using these cut-points are poorly comparable. Methods facilitating accelerometer-derived PA estimate comparison between studies are highly warranted.Peer reviewe

    Pathways to clinical CLARITY: volumetric analysis of irregular, soft, and heterogeneous tissues in development and disease

    Get PDF
    AbstractThree-dimensional tissue-structural relationships are not well captured by typical thin-section histology, posing challenges for the study of tissue physiology and pathology. Moreover, while recent progress has been made with intact methods for clearing, labeling, and imaging whole organs such as the mature brain, these approaches are generally unsuitable for soft, irregular, and heterogeneous tissues that account for the vast majority of clinical samples and biopsies. Here we develop a biphasic hydrogel methodology, which along with automated analysis, provides for high-throughput quantitative volumetric interrogation of spatially-irregular and friable tissue structures. We validate and apply this approach in the examination of a variety of developing and diseased tissues, with specific focus on the dynamics of normal and pathological pancreatic innervation and development, including in clinical samples. Quantitative advantages of the intact-tissue approach were demonstrated compared to conventional thin-section histology, pointing to broad applications in both research and clinical settings.</jats:p

    School Based Mental Health Promotion: Nursing Interventions for Depressive Symptoms in Rural Adolescents

    Get PDF
    Integrating health education and health promotion into practice is routinely done by nurses. According to a national survey, the need for mental health services has increased in over two thirds of school districts. This article describes the screening of 193 adolescents in Rural Western Pennsylvania’s 9th, 10th, and 11th graders for depressive symptoms. Ten percent (N=19) of students had depressive symptoms, the majority of which were female. These students were interviewed by the research team. The outcome themes and referrals are reported as well as the discussion of implications for nurses in screening for depression and health promotion

    Alternative Exon Usage Selectively Determines Both Tissue Distribution and Subcellular Localization of the acyl-CoA Thioesterase 7 Gene Products.

    Get PDF
    Acyl-CoA thioesterases (ACOTs) catalyze the hydrolysis of acyl-CoAs to free fatty acids and coenzyme A. Recent studies have demonstrated that one gene named Acot7, reported to be mainly expressed in brain and testis, is transcribed in several different isoforms by alternative usage of first exons. Strongly decreased levels of ACOT7 activity and protein in both mitochondria and cytosol was reported in patients diagnosed with fatty acid oxidation defects, linking ACOT7 function to regulation of fatty acid oxidation in other tissues. In this study, we have identified five possible first exons in mouse Acot7 (Acot7a-e) and show that all five first exons are transcribed in a tissue specific manner. Taken together, these data show that the Acot7 gene is expressed as multiple isoforms in a tissue specific manner, and that expression in tissues other than brain and testis is likely to play important roles in fatty acid metabolism

    Physical activity and health-related quality of life among high-risk women for type 2 diabetes in the early years after pregnancy

    Get PDF
    Background Previous studies have shown that physical activity (PA) correlates positively with health-related quality of life (HRQoL) in the general population. Few studies have investigated associations between device-measured PA and HRQoL among premenopausal women at risk for type 2 diabetes (T2D). In addition to physical well-being, general well-being improved by PA has been suggested to strengthen PA's benefits in reducing metabolic diseases. The aim of this study was to examine the associations between PA and HRQoL (general and dimensions) among high-risk women in the early post-pregnancy years when T2D risk is highest and to estimate whether current obesity or prior gestational diabetes (GDM) modified these associations. Methods This cross-sectional study of high-risk women [body mass index (BMI) >= 30 kg/m(2) and/or prior GDM)]4-6 years after delivery measured sleep, sedentary time, daily steps, and light (LPA), moderate-to-vigorous (MVPA), and vigorous PA (VPA) with the SenseWear ArmbandTM accelerometer for seven days and HRQoL with the 15D instrument. Results The analyses included 204 women with a median (IQR) age of 39 (6.0) years and a median BMI of 31.1 kg/m(2) (10.9). 54% were currently obese (BMI >= 30 kg/m(2)), and 70% had prior gestational diabetes (GDM+). Women with obesity had lower PA levels than women with normal weight or overweight (p = 30 kg/m(2)), the associations remained significant only in women without obesity. Among them, sleep, total steps, MVPA, and VPA were positively associated with 15D. Conclusions Higher PA levels are associated with better HRQoL among high-risk women with normal weight and overweight but no differences were found among women affected by obesity in the early years after pregnancy. Trial registration Ethics committees of Helsinki University Hospital (Dnro 300/e9/06) and South Karelian Central Hospital (Dnro 06/08).Peer reviewe
    • …
    corecore