38 research outputs found
Undergraduate Commencement Exercises Program, May 21, 1983.
Bryant University Undergraduate Commencement Exercises Program, May 21, 1983
ISO LWS Spectra of T Tauri and Herbig AeBe stars
We present an analysis of ISO-LWS spectra of eight T Tauri and Herbig AeBe young stellar objects.
Some of the objects are in the embedded phase of star-formation, whereas others have cleared their environs
but are still surrounded by a circumstellar disk. Fine-structure lines of [OI] and [CII] are most likely excited by
far-ultraviolet photons in the circumstellar environment rather than high-velocity outflows, based on comparisons
of observed line strengths with predictions of photon-dominated and shock chemistry models. A subset of our
stars and their ISO spectra are adequately explained by models constructed by Chiang & Goldreich (1997) and
Chiang et al. (2001) of isolated, passively heated, flared circumstellar disks. For these sources, the bulk of the
LWS flux at wavelengths longward of 55 µm arises from the disk interior which is heated diffusively by reprocessed
radiation from the disk surface. At 45 µm, water ice emission bands appear in spectra of two of the coolest stars,
and are thought to arise from icy grains irradiated by central starlight in optically thin disk surface layers
Verifying Monadic Second-Order Properties of Graph Programs
The core challenge in a Hoare- or Dijkstra-style proof system for graph
programs is in defining a weakest liberal precondition construction with
respect to a rule and a postcondition. Previous work addressing this has
focused on assertion languages for first-order properties, which are unable to
express important global properties of graphs such as acyclicity,
connectedness, or existence of paths. In this paper, we extend the nested graph
conditions of Habel, Pennemann, and Rensink to make them equivalently
expressive to monadic second-order logic on graphs. We present a weakest
liberal precondition construction for these assertions, and demonstrate its use
in verifying non-local correctness specifications of graph programs in the
sense of Habel et al.Comment: Extended version of a paper to appear at ICGT 201
Cortisol and testosterone accumulation in a low pH recirculating aquaculture system for rainbow trout (Oncorhynchus mykiss)
Steroids accumulate in recirculating aquaculture system (RAS), although explanatory factors for such accumulation are still poorly explored. This study investigated the effect of water exchange rate and pH in six replicated RAS on the concentration of the stress hormone cortisol in rainbow trout blood plasma and in the holding water and of the sex steroids testosterone, 11-ketotestosterone (11-KT) and 17,20-dihydroxypregn-4-en-3-one (17,20-P) over a 70-day experimental period. Three combinations of water exchange rate and pH were used each treatment, with two replications: (i) high water exchange rate (+/- 1700Lkg(-1) feed) and neutral pH (+/- 7.3), (ii) low water exchange rate (+/- 500Lkg(-1) feed) and neutral pH (+/- 7.3) and (iii) low water exchange rate (+/- 500Lkg(-1) feed) and low pH (+/- 5.8). Plasma cortisol concentrations at day 70 were higher (24.4 +/- 9.5ngmL(-1)) for fish kept at low pH when compared to fish kept at neutral pH (12.0 +/- 0.1 and 8.7 +/- 0.2ngmL(-1)). Water cortisol and testosterone concentrations at day 35 were higher at low pH than at neutral pH, whereas water 11-KT and 17,20-P did not differ among treatments. At day 70, there were no significant differences between low and high pH. These results demonstrate that low pH contributes to increased plasma cortisol concentrations and to its accumulation in water, possibly indicating a stress response to low pH. The higher concentration of testosterone but not of the other sex hormones point to unspecified reproductive effects that need further investigation.PhD scholarship - FCT - the National Foundation for Science and Technology of Portugal through QREN-POPH Advanced Training European Social Fund and National funds (MEC) [SFRH/BD/65673/2009]info:eu-repo/semantics/publishedVersio
1999 Commencement Program
The commencement program of the 1999 Columbia College Chicago graduation ceremonies.https://digitalcommons.colum.edu/commencement/1034/thumbnail.jp
Two interlinked bistable switches govern mitotic control in mammalian cells
Distinct protein phosphorylation levels in interphase and M phase require tight regulation of Cdk1 activity [1, 2]. A bistable switch, based on positive feedback in the Cdk1 activation loop, has been proposed to generate different thresholds for transitions between these cell-cycle states [3, 4, 5]. Recently, the activity of the major Cdk1-counteracting phosphatase, PP2A:B55, has also been found to be bistable due to Greatwall kinase-dependent regulation [6]. However, the interplay of the regulation of Cdk1 and PP2A:B55 in vivo remains unexplored. Here, we combine quantitative cell biology assays with mathematical modeling to explore the interplay of mitotic kinase activation and phosphatase inactivation in human cells. By measuring mitotic entry and exit thresholds using ATP-analog-sensitive Cdk1 mutants, we find evidence that the mitotic switch displays hysteresis and bistability, responding differentially to Cdk1 inhibition in the mitotic and interphase states. Cdk1 activation by Wee1/Cdc25 feedback loops and PP2A:B55 inactivation by Greatwall independently contributes to this hysteretic switch system. However, elimination of both Cdk1 and PP2A:B55 inactivation fully abrogates bistability, suggesting that hysteresis is an emergent property of mutual inhibition between the Cdk1 and PP2A:B55 feedback loops. Our model of the two interlinked feedback systems predicts an intermediate but hidden steady state between interphase and M phase. This could be verified experimentally by Cdk1 inhibition during mitotic entry, supporting the predictive value of our model. Furthermore, we demonstrate that dual inhibition of Wee1 and Gwl kinases causes loss of cell-cycle memory and synthetic lethality, which could be further exploited therapeutically
Teachers’ acceptance and use of digital learning environments after hours : implications for work-life balance and the role of integration preference
While a growing number of teachers use information and communication technology (ICT) for work tasks outside the formal working hours and premises, research is inconclusive how this relates to their work-life balance. Following calls to examine the antecedents and moderating mechanisms of such behavior, the present study aims to examine how technology acceptance relates to work-related ICT use after hours (WIA) and work-life balance, as well as how employees' integration preference affects these relationships. Data was collected among 288 secondary school teachers in Flanders (Belgium) concerning their use of digital learning environments (DLE) beyond school grounds and school hours. Structural equation modelling shows that social influence reduces teachers' work-life balance mediated by WIA. While there was no support for other technology acceptance factors or the moderating role of integration preference, performance expectancy of the DLE and integration preference were associated with a higher work-life balance. Hereby, this study contributes to research on WIA by integrating the technology acceptance framework with boundary theory and work-life research. Overall, the findings show that DLE have an impact on teachers’ work-life balance independent of technological factors or their personal preference, underscoring the importance of school policies that cement the use of DLE in the private domain