A New Model for Automated Examination Timetabling

Automated examination timetabling has been addressed by a wide variety of methodologies and techniques over the last ten years or so. Many of the methods in this broad range of approaches have been evaluated on a collection of benchmark instances provided at the University of Toronto in 1996. Whilst the existence of these datasets has provided an invaluable resource for research into examination timetabling, the instances have significant limitations in terms of their relevance to real-world examination timetabling in modern universities. This paper presents a detailed model which draws upon experiences of implementing examination timetabling systems in universities in Europe, Australasia and America. This model represents the problem that was presented in the 2nd International Timetabling Competition (ITC2007). In presenting this detailed new model, this paper describes the examination timetabling track introduced as part of the competition. In addition to the model, the datasets used in the competition are also based on current real-world instances introduced by EventMAP Limited. It is hoped that the interest generated as part of the competition will lead to the development, investigation and application of a host of novel and exciting techniques to address this important real-world search domain. Moreover, the motivating goal of this paper is to close the currently existing gap between theory and practice in examination timetabling by presenting the research community with a rigorous model which represents the complexity of the real-world situation. In this paper we describe the model and its motivations, followed by a full formal definition.

Automated interpulse-duration assessment (AIDA): A new technique for detecting disturbances in cardiac activity in selected macroinvertebrates

An Automated Interpulse Duration Assessment system (AIDA) is described which permits detection of irregularities in cardiac rhythms in selected invertebrates. The sensitivity of AIDA was demonstrated by its ability to detect handling stress in mussels (Mytilus edulis) that was not evident when measuring heart rate alone. Changes in cardiac activity patterns of crabs (Carcinus maenas) held in the laboratory for up to 10 wk was also examined using the new technique. The frequency distribution of interpulse duration changed significantly as the nutritional state changed. Potential applications of the AIDA system are discussed.

NEUROPEPTIDE-F - A NOVEL PARASITIC FLATWORM REGULATORY PEPTIDE FROM MONIEZIA-EXPANSA (CESTODA, CYCLOPHYLLIDEA)

Using a C-terminally directed pancreatic polypeptide (PP) antiserum and immunocytochemical methods, PP-immunoreactivity (IR) was localized throughout the central (CNS) and peripheral nervous systems (PNS) of the cestode, Moniezia expansa. In the CNS, immunostaining was evident in the paired cerebral ganglia (primitive brain), connecting commissure, and the paired longitudinal nerve cords that are cross-linked by numerous regular transverse connectives. The PNS was seen to consist of a fine anastomosing nerve-net of immunoreactive fibres, many of which were closely associated with reproductive structures. Radioimmunoassay of this peptide IR in acid-alcohol extracts of the worm measured 192.8 ng/g of PP-IR. HPLC analyses of the M. expansa PP-IR identified a single molecular form which was purified to homogeneity. Plasma desorption mass spectrometry (PDMS) of purified parasite peptide resolved a single peptide with a molecular mass of 4599 +/- 10 Da. Automated gas-phase Edman degradation identified a 39-amino acid peptide with a C-terminal phenylalaninamide. Examination of its primary structure shows that it displays significant sequence homology with the vertebrate neuropeptide Y superfamily, suggesting that this platyhelminth-derived peptide is the phylogenetic precursor. Neuropeptide F (M. expansa) is the first regulatory peptide to be fully sequenced from the phylum Platyhelminthes and may represent a member of an important new class of invertebrate neuropeptide.

Core-based Methodology: An Automated Approach for Implementing a Complete System From Algorithms to a Heterogeneous Network Including FPGAs

In this paper, we present a methodology for implementing a complete Digital Signal Processing (DSP) system onto a heterogeneous network including Field Programmable Gate Arrays (FPGAs) automatically. The methodology aims to allow design refinement and real time verification at the system level. The DSP application is constructed in the form of a Data Flow Graph (DFG) which provides an entry point to the methodology. The netlist for parts that are mapped onto the FPGA(s) together with the corresponding software and hardware Application Protocol Interface (API) are also generated. Using a set of case studies, we demonstrate that the design and development time can be significantly reduced using the methodology developed.

Fully kinetic simulation of ion acoustic and dust-ion acoustic waves

A series of numerical simulations is presented, based on a recurrence-free Vlasov kinetic model using kinetic phase point trajectories. All plasma components are modeled kinetically via a Vlasov evolution equation, then coupled through Poisson’s equation. The dynamics of ion acoustic waves in an electron-ion and in a dusty (electron-ion-dust) plasma configuration are investigated, focusing on wave decay due to Landau damping and, in particular, on the parametric dependence of the damping rate on the dust concentration and on the electron-to-ion temperature ratio. In the absence of dust, the occurrence of damping was observed, as expected, and its dependence to the relative magnitude of the electron vs ion temperature(s) was investigated. When present, the dust component influences the charge balance, enabling dust-ion acoustic waves to survive Landau damping even in the extreme regime where Te???Ti. The Landau damping rate is shown to be minimized for a strong dust concentration or/and for a high value of the electron-to-ion temperature ratio. Our results confirm earlier theoretical considerations and contribute to the interpretation of experimental observations of dust-ion acoustic wave characteristics.

Practical automated activity recognition using standard smartphones

This paper describes a simple application for mobile devices which automatically recognizes different physical activity. This application could be used to log exercise sessions for the purpose of aiding weight management or improving sporting performance. © 2012 IEEE.

Automated object identification and position estimation for airport lighting quality assessment

The development of an automated system for the quality assessment of aerodrome ground lighting (AGL), in accordance with associated standards and recommendations, is presented. The system is composed of an image sensor, placed inside the cockpit of an aircraft to record images of the AGL during a normal descent to an aerodrome. A model-based methodology is used to ascertain the optimum match between a template of the AGL and the actual image data in order to calculate the position and orientation of the camera at the instant the image was acquired. The camera position and orientation data are used along with the pixel grey level for each imaged luminaire, to estimate a value for the luminous intensity of a given luminaire. This can then be compared with the expected brightness for that luminaire to ensure it is operating to the required standards. As such, a metric for the quality of the AGL pattern is determined. Experiments on real image data is presented to demonstrate the application and effectiveness of the system.

Measuring icon complexity: An automated analysis

Measures of icon designs rely heavily on surveys of the perceptions of population samples. Thus, measuring the extent to which changes in the structure of an icon will alter its perceived complexity can be costly and slow. An automated system capable of producing reliable estimates of perceived complexity could reduce development costs and time. Measures of icon complexity developed by Garcia, Badre, and Stasko (1994) and McDougall, Curry, and de Bruijn (1999) were correlated with six icon properties measured using Matlab (MathWorks, 2001) software, which uses image-processing techniques to measure icon properties. The six icon properties measured were icon foreground, the number of objects in an icon, the number of holes in those objects, and two calculations of icon edges and homogeneity in icon structure. The strongest correlates with human judgments of perceived icon complexity (McDougall et al., 1999) were structural variability (r(s) = .65) and edge information (r(s) =.64).

Assessment of the impedance cardiogram recorded by an automated external defibrillator during clinical cardiac arrest

OBJECTIVE: To assess the impedance cardiogram recorded by an automated external defibrillator during cardiac arrest to facilitate emergency care by lay persons. Lay persons are poor at emergency pulse checks (sensitivity 84%, specificity 36%); guidelines recommend they should not be performed. The impedance cardiogram (dZ/dt) is used to indicate stroke volume. Can an impedance cardiogram algorithm in a defibrillator determine rapidly circulatory arrest and facilitate prompt initiation of external cardiac massage?

DESIGN: Clinical study.

SETTING: University hospital.

PATIENTS: Phase 1 patients attended for myocardial perfusion imaging. Phase 2 patients were recruited during cardiac arrest. This group included nonarrest controls.

INTERVENTIONS: The impedance cardiogram was recorded through defibrillator/electrocardiographic pads oriented in the standard cardiac arrest position.

MEASUREMENTS AND MAIN RESULTS: Phase 1: Stroke volumes from gated myocardial perfusion imaging scans were correlated with parameters from the impedance cardiogram system (dZ/dt(max) and the peak amplitude of the Fast Fourier Transform of dZ/dt between 1.5 Hz and 4.5 Hz). Multivariate analysis was performed to fit stroke volumes from gated myocardial perfusion imaging scans with linear and quadratic terms for dZ/dt(max) and the Fast Fourier Transform to identify significant parameters for incorporation into a cardiac arrest diagnostic algorithm. The square of the peak amplitude of the Fast Fourier Transform of dZ/dt was the best predictor of reduction in stroke volumes from gated myocardial perfusion imaging scans (range = 33-85 mL; p = .016). Having established that the two pad impedance cardiogram system could detect differences in stroke volumes from gated myocardial perfusion imaging scans, we assessed its performance in diagnosing cardiac arrest. Phase 2: The impedance cardiogram was recorded in 132 "cardiac arrest" patients (53 training, 79 validation) and 97 controls (47 training, 50 validation): the diagnostic algorithm indicated cardiac arrest with sensitivities and specificities (+/- exact 95% confidence intervals) of 89.1% (85.4-92.1) and 99.6% (99.4-99.7; training) and 81.1% (77.6-84.3) and 97% (96.7-97.4; validation).

CONCLUSIONS: The impedance cardiogram algorithm is a significant marker of circulatory collapse. Automated defibrillators with an integrated impedance cardiogram could improve emergency care by lay persons, enabling rapid and appropriate initiation of external cardiac massage.

Automated design of DSP array processor chips

Details are presented of the DAC (DSP ASIC Compiler) silicon compiler framework. DAC allows a non-specialist to automatically design DSP ASICs and DSP ASIC cores directly form a high level specification. Typical designs take only several minutes and the resulting layouts are comparable in area and performance to handcrafted designs.

An Integration Methodology for Automated Recurring Cost Prediction using Digital Manufacturing Technology

The need to account for the effect of design decisions on manufacture and the impact of manufacturing cost on the life cycle cost of any product are well established. In this context, digital design and manufacturing solutions have to be further developed to facilitate and automate the integration of cost as one of the major driver in the product life cycle management. This article is to present an integration methodology for implementing cost estimation capability within a digital manufacturing environment. A digital manufacturing structure of knowledge databases are set out and the ontology of assembly and part costing that is consistent with the structure is provided. Although the methodology is currently used for recurring cost prediction, it can be well applied to other functional developments, such as process planning. A prototype tool is developed to integrate both assembly time cost and parts manufacturing costs within the same digital environment. An industrial example is used to validate this approach.