E-books in academic libraries: an international overview

Tedd, L. A. (2005). E-books in academic libraries: an international overview. New Review of Academic Librarianship, 11(1), 57-79.

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

Data-driven fuzzy rule generation and its application for student academic performance evaluation

K. Rasmani and Q. Shen. Data-driven fuzzy rule generation and its application for student academic performance evaluation. Applied Intelligence, 25(3):305-319, 2006.

Saying isn't necessarily believing: influencing self-theories in computing

Simon, B., Hanks, B., Murphy, L., Fitzgerald, S., McCauley, R., Thomas, L., and Zander, C. 2008. Saying isn't necessarily believing: influencing self-theories in computing. In Proceeding of the Fourth international Workshop on Computing Education Research (Sydney, Australia, September 06 - 07, 2008). ICER '08. ACM, New York, NY, 173-184.

A cognitive approach to identifying measurable milestones for programming skill acquisition

Mead, J., Gray, S., Hamer, J., James, R., Sorva, J., Clair, C. S., and Thomas, L. 2006. A cognitive approach to identifying measurable milestones for programming skill acquisition. SIGCSE Bull. 38, 4 (Dec. 2006), 182-194.

Code warriors and code-a-phobes: a study in attitude and pair programming

Thomas, L., Ratcliffe, M., and Robertson, A. 2003. Code warriors and code-a-phobes: a study in attitude and pair programming. SIGCSE Bull. 35, 1 (Jan. 2003), 363-367.

Learning styles and performance in the introductory programming sequence

Thomas, L., Ratcliffe, M., Woodbury, J., and Jarman, E. 2002. Learning styles and performance in the introductory programming sequence. SIGCSE Bull. 34, 1 (Mar. 2002), 33-37.

Constructing Enemies: 'Islamic Terrorism' in Political and Academic Discourse

Jackson, Richard, (2007) 'Constructing Enemies: 'Islamic Terrorism' in Political and Academic Discourse', Government and Opposition, 42(3) pp.394-426 RAE2008

Programming Examples Needing Polymorphic Recursion

Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for polymorphic recursion using for all-types has been proved undecidable. This report presents several programming examples involving polymorphic recursion and determines their typability under various type systems, including the Hindley-Milner system, an intersection-type system, and extensions of these two. The goal of this report is to show that many of these examples are typable using a system of intersection types as an alternative form of polymorphism. By accomplishing this, we hope to lay the foundation for future research into a decidable intersection-type inference algorithm. We do not provide a comprehensive survey of type systems appropriate for polymorphic recursion, with or without type annotations inserted in the source language. Rather, we focus on examples for which types may be inferred without type annotations.

Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP)

The purpose of this project is the creation of a graphical "programming" interface for a sensor network tasking language called STEP. The graphical interface allows the user to specify a program execution graphically from an extensible pallet of functionalities and save the results as a properly formatted STEP file. Moreover, the software is able to load a file in STEP format and convert it into the corresponding graphical representation. During both phases a type-checker is running on the background to ensure that both the graphical representation and the STEP file are syntactically correct. This project has been motivated by the Sensorium project at Boston University. In this technical report we present the basic features of the software, the process that has been followed during the design and implementation. Finally, we describe the approach used to test and validate our software.

Dynamic Programming for Optimal Control of Set-Up Scheduling with Neural Network Modifications

This paper demonstrates an optimal control solution to change of machine set-up scheduling based on dynamic programming average cost per stage value iteration as set forth by Cararnanis et. al. [2] for the 2D case. The difficulty with the optimal approach lies in the explosive computational growth of the resulting solution. A method of reducing the computational complexity is developed using ideas from biology and neural networks. A real time controller is described that uses a linear-log representation of state space with neural networks employed to fit cost surfaces.

Dr. Richard Caulfield: antiquarian, scholar and academic librarian

The history of higher learning in Cork can be traced from its late eighteenth-century origins to its present standing within the extended confines of the Neo-Gothic architecture of University College, Cork. This institution, founded in 1845 was the successor and ultimate achievement of its forerunner, the Royal Cork Institution. The opening in 1849 of the college, then known as Queen's College, Cork, brought about a change in the role of the Royal Cork Institution as a centre of education. Its ambition of being the 'Munster College' was subsumed by the Queen's College even though it continued to function as a centre of learning up to the 1805. At this time its co-habitant, the School of Design, received a new wing under the benevolent patronage of William Crawford, and the Royal Cork Institution ceased to exist as the centre for cultural, technical and scientific learning it had set out to be. The building it occupied is today known as the Crawford Municipal Art Gallery.

Engaging with leadership development in Irish academic libraries: some reflections of the Future Leaders Programme (FLP)

Four librarians from Irish university libraries completed the U.K. Future Leaders Programme (FLP) in 2010. In this article they recount their experience and assess the effect of the programme on their professional practice and the value for their institutions. The programme is explored in the context of the Irish higher education environment, which is facing significant challenges due to the demise of the Celtic Tiger economy. A brief review of the literature relating to structured programmes to prepare librarians for senior positions, is presented. The structure and content of the FLP and the learning methodologies, theories, tools and techniques used throughout are discussed. The article suggests that the programme has real value for both individuals and institutions and that it can play a significant role in succession planning and the leadership development of librarians

Exploring processes of indeterminate determinism in music composition, programming and improvisation

This portfolio consists of 15 original musical works. Taking the form of electronic and acousmatic music, multimedia, and scores, these chamber works serve as a result of experimentation and improvisation with individually built computer interfaces. The accompanying commentary provides discourse on the conceptual practice of these interfaces becoming a compositional entity that present a multi-interpretative opportunity to explore, engage, and personalise. Following this, the commentary examines the path of creative decisions and musical choices that formed both these interfaces and the resulting musical and visual works. This portfolio is accompanied by interfaces used, transcoded interfacing behavioural information, and documented improvisational findings.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.