Future Proof: The Transition to Digital at IFI Archive

Informed by research over the past two years and the work of colleagues in peer institutions, the IFI Irish Film Archive developed a six-year Digital Preservation and Access strategy which launched in 2014. Fundamental to this Strategy was the design and installation of digital archive tools for long term preservation and the redesign of workflow practices to facilitate accession and management of high resolution digital film and broadcast assets and associated metadata. This article outlines the steps taken and standards applied in developing a future proof digital audiovisual archive.     

The structure and content of programming knowledge: Disentangling training and language effects in theories of skill development

This article reviews the extensive literature emerging from studies concerned with skill acquisition and the development of knowledge representation in programming. In particular, it focuses upon theories of program comprehension that suggest programming knowledge can be described in terms of stereotypical knowledge structures that can in some way capture programming expertise independently of the programming language used and in isolation from a programmer's specific training experience. An attempt is made to demonstrate why existing views are inappropriate. On the one hand, programs are represented in terms of a variety of formal notations ranging from the quasi‐mathematical to the near textual. It is argued that different languages may lead to different forms of knowledge representation, perhaps emphasizing certain structures at the expense of others or facilitating particular strategies. On the other hand, programmers are typically taught problem‐solving techniques that suggest a strict approach to problem decomposition. Hence, it seems likely that another factor that may mediate the development of knowledge representation, and that has not received significant attention elsewhere, is related to the training experience that programmers typically encounter. In this article, recent empirical studies that have addressed these issues are reviewed, and the implications of these studies for theories of skill acquisition and for knowledge representation are discussed. In conclusion, a more extensive account of knowledge representation in programming is presented that emphasizes training effects and the role played by specific language features in the development of knowledge representation within the programming domain.     

Twenty years of artificial life art

This essay begins with discussion of four relatively recent works which are representative of major themes and preoccupations in Artificial Life Art: ‘Propagaciones’ by Leo Nuñez; ‘Sniff’ by Karolina Sobecka and Jim George; ‘Universal Whistling Machine’ by Marc Boehlen; and ‘Performative Ecologies’ by Ruari Glynn. This essay is an attempt to contextualise these works by providing an overview of the history and forms of Artificial Life Art as it has developed over two decades, along with some background in the ideas of the Artificial Life movement of the late 1980s and 1990s.1 A more extensive study of the theoretical history of Artificial Life can be found in my paper ‘Artificial Life Art—A Primer’, in the Proceedings of DAC09 and also at http://www.ace.uci.edu/Penny. Excerpts from that essay are included here.      

Using space windowing for a preliminary analysis of complex time data in human component system studies. Examples with eye-tracking in advertising and car/head movements in driving

Empirical studies of human systems often involve recording multidimensional signals because the system components may require physical measurements (e.g., temperature, pressure, body movements and/or movements in the environment) and physiological measurements (e.g., electromyography or electrocardiography). Analysis of such data becomes complex if both the multifactor aspect and the multivariate aspect are retained. Three examples are used to illustrate the role of fuzzy space windowing and the large number of data analysis paths. The first example is a classic simulated data set found in the literature, which we use to compare several data analysis paths generated with principal component analysis and multiple correspondence analysis with crisp and fuzzy windowing. The second example involves eye-tracking data based on advertising, with a focus on the case of one category variable, but with the possibility of several space windowing models and time entities. The third example concerns car and head movement data from a driving vigilance study, with a focus on the case involving several quantitative variables. The notions of analysis path multiplicity and information are discussed both from a general perspective and in terms of our two real examples.     

Combining the triangle method with thermal inertia to estimate regional evapotranspiration — Applied to MSG-SEVIRI data in the Senegal River basin

Spatially distributed estimates of evaporative fraction and actual evapotranspiration are pursued using a simple remote sensing technique based on a remotely sensed vegetation index (NDVI) and diurnal changes in land surface temperature. The technique, known as the triangle method, is improved by utilizing the high temporal resolution of the geostationary MSG-SEVIRI sensor. With 15 min acquisition intervals, the MSG-SEVIRI data allow for a precise estimation of the morning rise in land surface temperature which is a strong proxy for total daytime sensible heat fluxes. Combining the diurnal change in surface temperature, dT_s with an interpretation of the triangular shaped dT_s − NDVI space allows for a direct estimation of evaporative fraction. The mean daytime energy available for evapotranspiration (R_n − G) is estimated using several remote sensors and limited ancillary data. Finally regional estimates of actual evapotranspiration are made by combining evaporative fraction and available energy estimates. The estimated evaporative fraction (EF) and actual evapotranspiration (ET) for the Senegal River basin have been validated against field observations for the rainy season 2005. The validation results showed low biases and RMSE and R² of 0.13 [−] and 0.63 for EF and RMSE of 41.45 W m^− 2 and R² of 0.66 for ET.     

Automatic Construction and Verification of Isotopy Invariants

We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Isotopism is an important generalisation of isomorphism, and is studied by mathematicians in domains such as loop theory. This extension was not straightforward, and we had to solve two major technical problems, namely, generating and verifying isotopy invariants. Concentrating on the domain of loop theory, we have developed three novel techniques for generating isotopic invariants, by using the notion of universal identities and by using constructions based on subblocks. In addition, given the complexity of the theorems that verify that a conjunction of the invariants form an isotopy class, we have developed ways of simplifying the problem of proving these theorems. Our techniques employ an interplay of computer algebra, model generation, theorem proving, and satisfiability-solving methods. To demonstrate the power of the approach, we generate isotopic classification theorems for loops of size 6 and 7, which extend the previously known enumeration results. This work was previously beyond the capabilities of automated reasoning techniques. The author’s work was supported by EPSRC MathFIT grant GR/S31099.     

Development and pilot testing of the Neuromuscular Blockade Advisory System

The neuromuscular blocker advisory system (NMBAS) is a computer program developed to provide advisory guidance to anesthesiologists on the timing and dose of rocuronium to paralyze patients during surgery. It is believed that the use of such a system will administer the minimally effective amount of drug, maintaining the patient in a state of paralysis that is useful for surgery yet easily reversible. This will improve patient safety and result in more efficient care. In this paper we present the NMBAS, its basic methodology, and its development though a pilot study. Novel methods of handling neuromuscular response data are presented, including relaxation measurement and the enhanced-train-of-four sensing modality. New methods of handling nonlinearities at the neuromuscular junction to allow application of adaptive control techniques are presented. A novel form of modelling combining model swapping and RLSE adaptation to accommodate the patient variation seen with NMB drugs is introduced. A pilot study testing the NMBAS was undergone to prepare the NMBAS for application in a full clinical trial, in which patients undergoing prostate brachytherapy surgeries using rocuronium for intubation were admitted.     

Querying business processes with BP-QL

We present in this paper BP-QL, a novel query language for querying business processes. The BP-QL language is based on an intuitive model of business processes, an abstraction of the emerging BPEL (business process execution language) standard. It allows users to query business processes visually, in a manner very analogous to how such processes are typically specified, and can be employed in a distributed setting, where process components may be provided by distinct providers.     

Re-examining the causal structure of information technology impact research

About 20 years ago, Markus and Robey noted that most research on IT impacts had been guided by deterministic perspectives and had neglected to use an emergent perspective, which could account for contradictory findings. They further observed that most research in this area had been carried out using variance theories at the expense of process theories. Finally, they suggested that more emphasis on multilevel theory building would likely improve empirical reliability. In this paper, we reiterate the observations and suggestions made by Markus and Robey on the causal structure of IT impact theories and carry out an analysis of empirical research published in four major IS journals, Management Information Systems Quarterly (MISQ), Information Systems Research (ISR), the European Journal of Information Systems (EJIS), and Information and Organization (I&O), to assess compliance with those recommendations. Our final sample consisted of 161 theory-driven articles, accounting for approximately 21% of all the empirical articles published in these journals. Our results first reveal that 91% of the studies in MISQ, ISR, and EJIS focused on deterministic theories, while 63% of those in I&O adopted an emergent perspective. Furthermore, 91% of the articles in MISQ, ISR, and EJIS adopted a variance model; this compares with 71% from I&O that applied a process model. Lastly, mixed levels of analysis were found in 14% of all the surveyed articles. Implications of these findings for future research are discussed.