Deciding Isomorphisms of Simple Types in Polynomial Time

The isomorphisms holding in all models of the simply typed lambda calculus with surjective and terminal objects are well studied - these models are exactly the Cartesian closed categories. Isomorphism of two simple types in such a model is decidable by reduction to a normal form and comparison under a finite number of permutations (Bruce, Di Cosmo, and Longo 1992). Unfortunately, these normal forms may be exponentially larger than the original types so this construction decides isomorphism in exponential time. We show how using space-sharing/hash-consing techniques and memoization can be used to decide isomorphism in practical polynomial time (low degree, small hidden constant). Other researchers have investigated simple type isomorphism in relation to, among other potential applications, type-based retrieval of software modules from libraries and automatic generation of bridge code for multi-language systems. Our result makes such potential applications practically feasible.

An Efficient User-Level Shared Memory Mechanism for Application-Specific Extensions

This paper focuses on an efficient user-level method for the deployment of application-specific extensions, using commodity operating systems and hardware. A sandboxing technique is described that supports multiple extensions within a shared virtual address space. Applications can register sandboxed code with the system, so that it may be executed in the context of any process. Such code may be used to implement generic routines and handlers for a class of applications, or system service extensions that complement the functionality of the core kernel. Using our approach, application-specific extensions can be written like conventional user-level code, utilizing libraries and system calls, with the advantage that they may be executed without the traditional costs of scheduling and context-switching between process-level protection domains. No special hardware support such as segmentation or tagged translation look-aside buffers (TLBs) is required. Instead, our ``user-level sandboxing'' mechanism requires only paged-based virtual memory support, given that sandboxed extensions are either written by a trusted source or are guaranteed to be memory-safe (e.g., using type-safe languages). Using a fast method of upcalls, we show how our mechanism provides significant performance improvements over traditional methods of invoking user-level services. As an application of our approach, we have implemented a user-level network subsystem that avoids data copying via the kernel and, in many cases, yields far greater network throughput than kernel-level approaches.

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

Perceptions of leadership in the public library: a transnational study

This study explores the topic of leadership as perceived and practised by public library leaders. Library leaders have a wide-ranging impact on society but have been largely overlooked as the subject of serious study. Prior to this study, only one small interview-based study and five survey-based studies have been undertaken on public library leaders/leadership — all in North America. No study on the topic has been researched and published outside of North America. The current study is the most in-depth study to date, drawing on face-to-face interviews with thirty public library leaders. As this study was undertaken in three national jurisdictions — Ireland, Britain, and America — it is also the first transnational study on the topic. The study investigates library leaders’ perceptions of leadership, and critically explores if head librarians distinguish classic leadership from management practices, both conceptually and in their work lives. In addition to exploring core leadership issues, such as positive or negative traits, the study also investigates the perceptions of library leaders on matters closely connected with their careers. The study investigates the impact of public library leaders on their followers and on the broader society they serve. This study of the perceptions of senior public library leaders, across national boundaries, makes a theoretical contribution not just to leadership in librarianship, but also to the broader theory of library and information science, and in a limited way to the broad corpus of literature on organizational leadership. The study aims to develop an understanding of the perceptions of current leaders in the field of public librarianship. The results of the study show that leadership is a relatively scarce quality in public libraries in Ireland, Britain, and America. Many public library leaders focus on management and administration issues rather than leadership. The study also illustrates that varying leadership styles are practised by the interviewed librarians, and that there are no universal or common traits, even within national boundaries, for effective public library leadership. The implications of the study for both practising librarians and research literatures in librarianship and organizational leadership are also explored and a future research agenda developed.

Broadening public input into science policy decision making: can the democratic model for science communication influence scientific, innovation and technological trajectories?

This PhD thesis investigates the potential use of science communication models to engage a broader swathe of actors in decision making in relation to scientific and technological innovation in order to address possible democratic deficits in science and technology policy-making. A four-pronged research approach has been employed to examine different representations of the public(s) and different modes of engagement. The first case study investigates whether patient-groups could represent an alternative needs-driven approach to biomedical and health sciences R & D. This is followed by enquiry into the potential for Science Shops to represent a bottom-up approach to promote research and development of local relevance. The barriers and opportunities for the involvement of scientific researchers in science communication are next investigated via a national survey which is comparable to a similar survey conducted in the UK. The final case study investigates to what extent opposition or support regarding nanotechnology (as an emerging technology) is reflected amongst the YouTube user community and the findings are considered in the context of how support or opposition to new or emerging technologies can be addressed using conflict resolution based approaches to manage potential conflict trajectories. The research indicates that the majority of communication exercises of relevance to science policy and planning take the form of a one-way flow of information with little or no facility for public feedback. This thesis proposes that a more bottom-up approach to research and technology would help broaden acceptability and accountability for decisions made relating to new or existing technological trajectories. This approach could be better integrated with and complementary to government, institutional, e.g. university, and research funding agencies activities and help ensure that public needs and issues are better addressed directly by the research community. Such approaches could also facilitate empowerment of societal stakeholders regarding scientific literacy and agenda-setting. One-way information relays could be adapted to facilitate feedback from representative groups e.g. Non-governmental organisations or Civil Society Organisations (such as patient groups) in order to enhance the functioning and socio-economic relevance of knowledge-based societies to the betterment of human livelihoods.

The development of a model of continuing professional development for teachers of primary science

A new science curriculum was introduced to primary schools in the Republic of Ireland in 2003. This curriculum, broader in scope than its 1971 predecessor (Curaclam na Bunscoile, 1971), requires teachers at all levels of primary school to teach science. A review carried out in 2008 of children’s experiences of this curriculum found that its implementation throughout the country was uneven. This finding, together with the increasing numbers of teachers who were requesting support to implement this curriculum, suggested the need for a review of Irish primary teachers’ needs in the area of science. The research study described in this thesis was undertaken to establish the extent of Irish primary teachers’ needs in the area of science by conducting a national survey. The data from this survey, together with data from international studies, were used to develop a theoretical framework for a model of Continuing Professional Development (CPD). This theoretical framework was used to design the Whole- School, In-School (WSIS) CPD model which was trialled in two case-study schools. The participants in these ‘action-research’ case-studies acted as co-researchers, who contributed to the development and evolution of the CPD model in each school. Analysis of the data gathered as part of the evaluation of the Whole-School, In- School (WSIS) model of CPD found an improved experience of science for children and improved confidence for teachers teaching at all levels of the primary school. In addition, a template for the establishment of a culture of collaborative CPD in schools has been developed from an analysis of the data

Dealing with emergent design science research projects in IS

Multiple models, methods and frameworks have been proposed to guide Design Science Research (DSR) application to address relevant classes of problems in Information Systems (IS) discipline. While much of the ambiguity around the research paradigm has been removed, only the surface has been scratched on DSR efforts where researcher takes an active role in organizational and industrial engagement to solve a specific problem and generalize the solution to a class of problems. Such DSR projects can have a significant impact on practice, link theories to real contexts and extend the scope of DSR. Considering these multiform settings, the implications to theorizing nor the crucial role of researcher in the interplay of DSR and IS projects have not been properly addressed. The emergent nature of such projects needs to be further investigated to reach such contributions for both theory and practice. This paper raises multiple theoretical, organizational and managerial considerations for a meta-level monitoring model for emergent DSR projects.

Action design research: a comparison with canonical action research and design science

This research in progress paper addresses the IS issue in relation to conducting relevant research while keeping academic rigor. In particular, it contributes to the ongoing academic conversation around the investigation on how to incor-porate action in design science research. In this document the philosophical underpinnings of the recently proposed methodology called Action Design Re-search [1] are derived, outlined and integrated into Burrel and Morgan’s Par-adigmatic Framework (1979)[6]. The results so far show how Action Design Research can be considered as a particular case of Design Science Research (rather than a methodology closely related to Action Research) although they can assume two different epistemological positions. From these philosophical perspectives, future works will involve the inclusion of actual research projects using the three different methodologies. The final goal is to outline and structure the divergences and similarities of Action Design Research with Design Science Research and Canonical Action Research.

Effectuation and its implications for socio-technical design science research in information systems

We study the implications of the effectuation concept for socio-technical artifact design as part of the design science research (DSR) process in information systems (IS). Effectuation logic is the opposite of causal logic. Ef-fectuation does not focus on causes to achieve a particular effect, but on the possibilities that can be achieved with extant means and resources. Viewing so-cio-technical IS DSR through an effectuation lens highlights the possibility to design the future even without set goals. We suggest that effectuation may be a useful perspective for design in dynamic social contexts leading to a more dif-ferentiated view on the instantiation of mid-range artifacts for specific local ap-plication contexts. Design science researchers can draw on this paper’s conclu-sions to view their DSR projects through a fresh lens and to reexamine their re-search design and execution. The paper also offers avenues for future research to develop more concrete application possibilities of effectuation in socio-technical IS DSR and, thus, enrich the discourse.

Ontological representation of design science research publications

A search result provided by existing digital library and web search systems typically comprises only a prioritised list of possible publications or web pages that meet the search criteria, possibly with excerpts and possibly with search terms highlighted. The research in progress reported in this poster contributes to a larger research effort to provide a readable summary of search results that synthesise relevant publications or web pages to provide results that meet four C’s: comprehensive, concise, coherent, and correct, as a more useful alternative to un-synthesised result lists. The scope of this research is limited to searching for and synthesising Design Science Research (DSR) publications that present the results of DSR, as an example problem domain.

At the Vanguard of Design Science: First Impressions and Early Findings from Ongoing Research

Published Version

Innovation and evolution: challenges and opportunities for 21st century academic and research libraries

A report from the inaugural CONUL (Consortium of National & University Libraries) conference held in the Radisson Blu Hotel, Athlone, June 3rd & 4th 2015.

Reexamining the science of marine protected areas: Linking knowledge to action

Marine protected areas (MPAs) are often implemented to conserve or restore species, fisheries, habitats, ecosystems, and ecological functions and services; buffer against the ecological effects of climate change; and alleviate poverty in coastal communities. Scientific research provides valuable insights into the social and ecological impacts of MPAs, as well as the factors that shape these impacts, providing useful guidance or "rules of thumb" for science-based MPA policy. Both ecological and social factors foster effective MPAs, including substantial coverage of representative habitats and oceanographic conditions; diverse size and spacing; protection of habitat bottlenecks; participatory decisionmaking arrangements; bounded and contextually appropriate resource use rights; active and accountable monitoring and enforcement systems; and accessible conflict resolution mechanisms. For MPAs to realize their full potential as a tool for ocean governance, further advances in policy-relevant MPA science are required. These research frontiers include MPA impacts on nontarget and wide-ranging species and habitats; impacts beyond MPA boundaries, on ecosystem services, and on resource-dependent human populations, as well as potential scale mismatches of ecosystem service flows. Explicitly treating MPAs as "policy experiments" and employing the tools of impact evaluation holds particular promise as a way for policy-relevant science to inform and advance science-based MPA policy. © 2011 Wiley Periodicals, Inc.

Reason, risk, and reward: Models for libraries and other stakeholders in an evolving scholarly publishing ecosystem

Scholarly publishing, and scholarly communication more generally, are based on patterns established over many decades and even centuries. Some of these patterns are clearly valuable and intimately related to core values of the academy, but others were based on the exigencies of the past, and new opportunities have brought into question whether it makes sense to persist in supporting old models. New technologies and new publishing models raise the question of how we should fund and operate scholarly publishing and scholarly communication in the future, moving away from a scarcity model based on the exchange of physical goods that restricts access to scholarly literature unless a market-based exchange takes place. This essay describes emerging models that attempt to shift scholarly communication to a more open-access and mission-based approach and that try to retain control of scholarship by academics and the institutions and scholarly societies that support them. It explores changing practices for funding scholarly journals and changing services provided by academic libraries, changes instituted with the end goal of providing more access to more readers, stimulating new scholarship, and removing inefficiencies from a system ready for change. © 2014 by the American Anthropological Association.