Evaluating the development of virtual learning environments in higher and further education

Urquhart, C., Spink, S., Thomas, R., Yeoman, A., Durbin, J., Turner, J., Fenton, R. & Armstrong, C. (2004). Evaluating the development of virtual learning environments in higher and further education. In J. Cook (Ed.), Blue skies and pragmatism: learning technologies for the next decade. Research proceedings of the 11th Association for Learning Technology conference (ALT-C 2004), 14-16 September 2004, University of Exeter, Devon, England (pp. 157-169). Oxford: Association for Learning Technology Sponsorship: JISC

JUSTEIS: JISC Usage Surveys: Trends in Electronic Information Services Final report 2003/2004 Cycle Five

Urquhart, C., Spink, S., Thomas, R., Yeoman, A., Durbin, J., Turner, J., Fenton, R. & Armstrong, C. (2004). JUSTEIS: JISC Usage Surveys: Trends in Electronic Information Services Final report 2003/2004 Cycle Five. Aberystwyth: Department of Information Studies, University of Wales Aberystwyth. Sponsorship: JISC

Trends in use of electronic journals in higher education in the UK - views of academic staff and students

Bonthron, Karen; Urquhart, Christine; Thomas, Rhian; Armstrong, Chris; Ellis, David; Everitt, Jean; Fenton, Roger; Lonsdale, Ray; McDermott, Elizabeth; Morris, Helen; Phillips, Rebecca; Spink, Sian, and Yeoman, Alison. (2003, June). Trends in use of electronic journals in higher education in the UK - views of academic staff and students. D-Lib Magazine, 9(6). Retrieved September 8, 2006 from http://www.dlib.org/dlib/june03/urquhart/06urquhart.html This item is freely available online at http://www.dlib.org/dlib/june03/urquhart/06urquhart.html Sponsorship: JISC

JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four.

Urquhart, C. (editor for JUSTEIS team), Spink, S., Thomas, R., Yeoman, A., Durbin, J., Turner, J., Armstrong, A., Lonsdale, R. & Fenton, R. (2003). JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four. Aberystwyth: Department of Information Studies, University of Wales Aberystwyth with Information Automation Ltd (CIQM). Sponsorship: JISC

Effects of structure on the comprehensibility of formal specifications

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

There have been few genuine success stories about industrial use of formal methods. Perhaps the best known and most celebrated is the use of Z by IBM (in collaboration with Oxford University's Programming Research Group) during the development of CICS/ESA (version 3.1). This work was rewarded with the prestigious Queen's Award for Technological Achievement in 1992 and is especially notable for two reasons: 1) because it is a commercial, rather than safety- or security-critical, system and 2) because the claims made about the effectiveness of Z are quantitative as well as qualitative. The most widely publicized claims are: less than half the normal number of customer-reported errors and a 9% savings in the total development costs of the release. This paper provides an independent assessment of the effectiveness of using Z on CICS based on the set of public domain documents. Using this evidence, we believe that the case study was important and valuable, but that the quantitative claims have not been substantiated. The intellectual arguments and rationale for formal methods are attractive, but their widespread commercial use is ultimately dependent upon more convincing quantitative demonstrations of effectiveness. Despite the pioneering efforts of IBM and PRG, there is still a need for rigorous, measurement-based case studies to assess when and how the methods are most effective. We describe how future similar case studies could be improved so that the results are more rigorous and conclusive.

Woodland decline in upland Scotland

The recent article by Fenton (Fenton JH. 2008. A postulated natural origin for the open landscape of upland Scotland. Plant Ecology & Diversity 1:115–127) has argued that the landscapes of upland Scotland are treeless because of long-term deterioration of soil conditions. There are reasons for thinking that this might be the case in the absence of human activity. However, there have been considerable anthropogenic pressures on these landscapes for several millenia, documented archaeologically and palaeoecologically. Attempting to exclude these pressures from the discussion can only lead to an incomplete and misleading account of a complex series of changes involving an interaction which includes natural vegetational and environmental processes, climatic changes and human pressures.

Oncogenic Kras Promotes Chemotherapy-Induced Growth Factor Shedding via ADAM17.

Oncogenic mutations in Kras occur in 40% to 45% of patients with advanced colorectal cancer (CRC). We have previously shown that chemotherapy acutely activates ADAM17, resulting in growth factor shedding, growth factor receptor activation, and drug resistance in CRC tumors. In this study, we examined the role of mutant Kras in regulating growth factor shedding and ADAM17 activity, using isogenic Kras mutant (MT) and wild-type (WT) HCT116 CRC cells. Significantly higher levels of TGF-a and VEGF were shed from KrasMT HCT116 cells, both basally and following chemotherapy treatment, and this correlated with increased pErk (phosphorylated extracellular signal regulated kinase)1/2 levels and ADAM17 activity. Inhibition of Kras, MEK (MAP/ERK kinase)1/2, or Erk1/2 inhibition abrogated chemotherapy-induced ADAM17 activity and TGF-a shedding. Moreover, we found that these effects were not drug or cell line specific. In addition, MEK1/2 inhibition in KrasMT xenografts resulted in significant decreases in ADAM17 activity and growth factor shedding in vivo, which correlated with dramatically attenuated tumor growth. Furthermore, we found that MEK1/2 inhibition significantly induced apoptosis both alone and when combined with chemotherapy in KrasMT cells. Importantly, we found that sensitivity to MEK1/2 inhibition was ADAM17 dependent in vitro and in vivo. Collectively, our findings indicate that oncogenic Kras regulates ADAM17 activity and thereby growth factor ligand shedding in a MEK1/2/Erk1/2-dependent manner and that KrasMT CRC tumors are vulnerable to MEK1/2 inhibitors, at least in part, due to their dependency on ADAM17 activity.