Automatic FPGA Synthesis of Memory Intensive C-based Kernels

Realising high performance image and signal processing
applications on modern FPGA presents a challenging implementation problem due to the large data frames streaming through these systems. Specifically, to meet the high bandwidth and data storage demands of these applications, complex hierarchical memory architectures must be manually specified
at the Register Transfer Level (RTL). Automated approaches which convert high-level operation descriptions, for instance in the form of C programs, to an FPGA architecture, are unable to automatically realise such architectures. This paper
presents a solution to this problem. It presents a compiler to automatically derive such memory architectures from a C program. By transforming the input C program to a unique dataflow modelling dialect, known as Valved Dataflow (VDF), a mapping and synthesis approach developed for this dialect can
be exploited to automatically create high performance image and video processing architectures. Memory intensive C kernels for Motion Estimation (CIF Frames at 30 fps), Matrix Multiplication (128x128 @ 500 iter/sec) and Sobel Edge Detection (720p @ 30 fps), which are unrealisable by current state-of-the-art C-based synthesis tools, are automatically derived from a C description of the algorithm.

Organised Criminals as 'Agents of Obligation': The Case of Ireland

Relying on Brown’s (2005a, b) thesis that contemporary shifts in penal policy are best understood as a reprisal of colonial rationality, so that offenders become ‘non-citizens’ or ‘agents of obligation’, this article argues that this framework finds support in developments in Irish criminal justice policy. Recent legislation aimed at offenders suspected of involvement in ‘organised crime’ is examined through this lens. These offenders have found themselves reconstituted as ‘agents of obligation’ with duties to furnish information about their property and movements, report to the police concerning their location and, importantly, refrain from criminal activity or face extraordinary sanctions. It is therefore argued that this paradigm is a useful heuristic device through which to understand recent developments in Irish criminal justice and elsewhere. In light of the trends observed in Ireland, certain refinements and extensions to Brown’s argument are put forward for consideration.

On the Qualitative Comparison of Decisions Having Positive and Negative Features

Making a decision is often a matter of listing and comparing positive and negative arguments. In such cases, the evaluation scale for decisions should be considered bipolar, that is, negative and positive values should be explicitly distinguished. That is what is done, for example, in Cumulative Prospect Theory. However, contrary to the latter framework that presupposes genuine numerical assessments, human agents often decide on the basis of an ordinal ranking of the pros and the cons, and by focusing on the most salient arguments. In other terms, the decision process is qualitative as well as bipolar. In this article, based on a bipolar extension of possibility theory, we define and axiomatically characterize several decision rules tailored for the joint handling of positive and negative arguments in an ordinal setting. The simplest rules can be viewed as extensions of the maximin and maximax criteria to the bipolar case, and consequently suffer from poor decisive power. More decisive rules that refine the former are also proposed. These refinements agree both with principles of efficiency and with the spirit of order-of-magnitude reasoning, that prevails in qualitative decision theory. The most refined decision rule uses leximin rankings of the pros and the cons, and the ideas of counting arguments of equal strength and cancelling pros by cons. It is shown to come down to a special case of Cumulative Prospect Theory, and to subsume the “Take the Best” heuristic studied by cognitive psychologists.

Possibilistic Information Fusion Using Maximal Coherent Subsets

When multiple sources provide information about the same unknown quantity, their fusion into a synthetic interpretable message is often a tedious problem, especially when sources are conicting. In this paper, we propose to use possibility theory and the notion of maximal coherent subsets, often used in logic-based representations, to build a fuzzy belief structure that will be instrumental both for extracting useful information about various features of the information conveyed by the sources and for compressing this information into a unique possibility distribution. Extensions and properties of the basic fusion rule are also studied.

Functional Complexity: The source of value in biodiversity.

Biodiversity may be seen as a scientific measure of the complexity of a biological system, implying an information basis. Complexity cannot be directly valued, so economists have tried to define the services it provides, though often just valuing the services of 'key' species. Here we provide a new definition of biodiversity as a measure of functional information, arguing that complexity embodies meaningful information as Gregory Bateson defined it. We argue that functional information content (FIC) is the potentially valuable component of total (algorithmic) information content (AIC), as it alone determines biological fitness and supports ecosystem services. Inspired by recent extensions to the Noah's Ark problem, we show how FIC/AIC can be calculated to measure the degree of substitutability within an ecological community. Establishing substitutability is an essential foundation for valuation. From it, we derive a way to rank whole communities by Indirect Use Value, through quantifying the relation between system complexity and the production rate of ecosystem services. Understanding biodiversity as information evidently serves as a practical interface between economics and ecological science. © 2012 Elsevier B.V.

A graded BDI agent model to represent and reason about preferences

In this research note, we introduce a graded BDI agent development framework, g-BDI for short, that allows to build agents as multi-context systems that reason about three fundamental and graded mental attitudes (i.e. beliefs, desires and intentions). We propose a sound and complete logical framework for them and some logical extensions to accommodate slightly different views on desires. © 2011 Elsevier B.V. All rights reserved.

Simulation of relativistically colliding laser-generated electron flows

The plasma dynamics resulting from the simultaneous impact, of two equal, ultra-intense laser pulses, in two spatially separated spots, onto a dense target is studied via particle-in-cell simulations. The simulations show that electrons accelerated to relativistic speeds cross the target and exit at its rear surface. Most energetic electrons are bound to the rear surface by the ambipolar electric field and expand along it. Their current is closed by a return current in the target, and this current configuration generates strong surface magnetic fields. The two electron sheaths collide at the midplane between the laser impact points. The magnetic repulsion between the counter-streaming electron beams separates them along the surface normal direction, before they can thermalize through other beam instabilities. This magnetic repulsion is also the driving mechanism for the beam-Weibel (filamentation) instability, which is thought to be responsible for magnetic field growth close to the internal shocks of gamma-ray burst jets. The relative strength of this repulsion compared to the competing electrostatic interactions, which is evidenced by the simulations, suggests that the filamentation instability can be examined in an experimental setting. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4768426]

Multidimensional modelling of X-ray spectra for AGN accretion disc outflows - II

Highly ionized fast accretion disc winds have been suggested as an explanation for a variety of observed absorption and emission features in the X-ray spectra of active galactic nuclei. Simple estimates have suggested that these flows may be massive enough to carry away a significant fraction of the accretion energy and could be involved in creating the link between supermassive black holes and their host galaxies. However, testing these hypotheses, and quantifying the outflow signatures, requires high-quality theoretical spectra for comparison with observations. Here, we describe extensions of our Monte Carlo radiative transfer code that allow us to generate realistic theoretical spectra for a much wider variety of disc wind models than that was possible in our previous work. In particular, we have expanded the range of atomic physics simulated by the code so that L- and M-shell ions can now be included. We have also substantially improved our treatment of both ionization and radiative heating such that we are now able to compute spectra for outflows containing far more diverse plasma conditions. We present example calculations that illustrate the variety of spectral features predicted by parametrized outflow models and demonstrate their applicability to the interpretation of data by comparison with observations of the bright quasar PG1211+143. We find that the major features in the observed 2-10 keV spectrum of this object can be well reproduced by our spectra, confirming that it likely hosts a massive outflow. © 2010 The Authors. Journal compilation © 2010 RAS.

A material model for multiaxial stretching and stress relaxation of polypropylene under process conditions

Polypropylene sheets have been stretched at 160 °C to a state of large biaxial strain of extension ratio 3, and the stresses then allowed to relax at constant strain. The state of strain is reached via a path consisting of two sequential planar extensions, the second perpendicular to the first, under plane stress conditions with zero stress acting normal to the sheet. This strain path is highly relevant to solid phase deformation processes such as stretch blow moulding and thermoforming, and also reveals fundamental aspects of the flow rule required in the constitutive behaviour of the material. The rate of decay of stress is rapid, and such as to be highly significant in the modelling of processes that include stages of constant strain. A constitutive equation is developed that includes Eyring processes to model both the stress relaxation and strain rate dependence of the stress. The axial and transverse stresses observed during loading show that the use of a conventional Levy-Mises flow rule is ineffective, and instead a flow rule is used that takes account of the anisotropic state of the material via a power law function of the principal extension ratios. Finally the constitutive model is demonstrated to give quantitatively useful representation of the stresses both in loading and in stress relaxation.

Automatic dimensional reduction and meshing of stiffened thin-wall structures

The creation of idealised, dimensionally reduced meshes for preliminary design and optimisation remains a time-consuming, manual task. A dimensionally reduced model is ideal for assessing design changes through modification of element properties without the need to create a new geometry or mesh. In this paper, a novel approach for automating the creation of mixed dimensional meshes is presented. The input to the process is a solid model which has been decomposed into a non-manifold assembly of smaller volumes with different meshing significance. Associativity between the original solid model and the dimensionally reduced equivalent is maintained. The approach is validated by means of a free-free modal analysis on an output mesh of a gas turbine engine component of industrial complexity. Extensions and enhancements to this work are also discussed.

Socio-economic deprivation and visual acuity at presentation in exudative age-related macular degeneration

Aim: To evaluate the influence of socio-economic factors on visual acuity (VA) at presentation in exudative age- related macular degeneration (AMD). Methods: The medical records of all consecutive patients with newly diagnosed exudative AMD examined at the Ophthalmology Departments of Grampian University Hospitals-NHS Trust, Aberdeen, and Gartnavel General Hospital, Glasgow, between July 2004 and June 2005, were reviewed. Demographics, duration of symptoms, VA in study and fellow eye, exudative AMD characteristics, status of fellow eye and patient home address, used to determine the Scottish Index of Multiple Deprivation (SIMD) score, were recorded. The effect of these parameters on VA at presentation was investigated using general linear modelling. Results: Two-hundred and forty patients (median age 79 years) were included in this study; 44 (18.3%) belonged to the lowest 20% SIMD score (most deprived). Age and location and type of the choroidal neovascular- isation were statistically significantly associated with VA at presentation (p = 0.003, p

Proton ordering energetics in ice phases

Results from first-principles calculations on the subtle energetics of proton ordering in ice phases are shown only to depend on the electrostatic components of the total energy. Proton ordered ice phases can therefore be predicted using electronic structure methods or a tailored potential model. However, analysis of the electron density reveals that high order multipole components, up to hexadecapole, are needed to adequately capture total energy differences between proton ordered and disordered phases. This suggests that current potential models may be unable to reproduce the position of proton ordered ice phases in the phase diagram without extensions to describe high order electrostatics. (c) 2006 Elsevier B.V. All rights reserved.

The effect of socio-economic deprivation on severity of glaucoma at presentation

OBJECTIVE: To evaluate the influence of socio-economic factors on severity of glaucoma at presentation

METHODS: All newly diagnosed glaucoma patients at the University Hospitals-NHS, Aberdeen and South Glasgow University Hospitals-NHS, in 2006, were included. Glaucoma was severe at presentation if there was a repeatable visual-field loss with a mean deviation index greater than 12 dB in the Humphreys visual fields test or an absolute paracentral scotoma within the central 5 degrees of the visual fields. Home address was used to determine the Scottish Index of Multiple Deprivation (SIMD) rank. The SIMD rank, demographics and severity of glaucoma at presentation were investigated using general linear modelling.

RESULTS: There were 48 patients with severe glaucoma and 74 patients with non-severe glaucoma. In four, the severity could not be determined. Severity of glaucoma at presentation was significantly associated with SIMD rank, being most severe in patients from areas with the lowest ranks (p = 0.026). Age was a significant factor (p = 0.024), with severe glaucoma being more common in elderly patients.

CONCLUSIONS: Age and socio-economic deprivation were associated with severity of glaucoma at presentation, with patients from areas of higher socio-economic deprivation presenting with more advanced glaucoma.

Fasciola hepatica: A light and electron microscope study of sustentacular tissue and heterophagy in the testis

In order to investigate cytolytic activity in the testis of Fasciola hepatica, flukes belonging to several different triclabendazole (TCBZ)-sensitive and TCBZ-resistant isolates, and wildtype flukes from field infections, were studied by light and electron microscopy with a view to identifying sites of heterophagy and macromolecular hydrolysis. At the periphery of the testis tubules in all the flukes examined, large euchromatic nuclei, each bearing a prominent nucleolus, were seen. These were invested with a thin cytoplasmic layer, extensions of which partially enveloped and probably supported the neighbouring spermatogonia. No lateral cell boundaries were identified in this tissue, possibly indicating syncytial organisation. The tissue, considered to be analogous to Sertoli cells in vertebrate testis, was identified as sustentacular tissue. It displayed cytoplasmic features consistent with protein/glycoprotein synthesis (through a granular endoplasmic reticulum-Golgi mediated mechanism) and intracellular digestion/heterophagy (through a lysosomal system). The intracytoplasmic hydrolytic activity of the sustentacular tissue probably serves to scavenge effete cells and cytoplasmic debris, to recycle useful molecules, to promote spermatozoon maturation and possibly to aid osmoregulation within the tubules. Certain protein-containing macromolecules synthesised in the sustentacular tissue may contribute to the seminiferous fluid, or have pheromonal activity. The presence of numerous mitochondria and abundant smooth endoplasmic reticulum is consistent with facilitation of inward and outward movement of micromolecular nutrients, metabolites including excretory products and water. In the sustentacular tissue of certain flukes with dysfunctional spermiogenesis, there was increased heterophagic and cytolytic scavenging activity. The cytoplasmic residual vacuoles remaining after the release of spermatids were also identified as possible sites for lysosome-mediated intracellular digestion and osmoregulation in the testis tubules of F. hepatica. (C) 2012 Elsevier B.V. All rights reserved.

Actin-binding proteins in the Arabidopsis genome database: properties of functionally distinct plant actin-depolymerizing factors/cofilins

The plant actin cytoskeleton is a highly dynamic, fibrous structure essential in many cellular processes including cell division and cytoplasmic streaming. This structure is stimulus responsive, being affected by internal stimuli, by biotic and abiotic stresses mediated in signal transduction pathways by actin-binding proteins. The completion of the Arabidopsis genome sequence has allowed a comparative identification of many actin-binding proteins. However, not all are conserved in plants, which possibly reflects the differences in the processes involved in morphogenesis between plant and other cells. Here we have searched for the Arabidopsis equivalents of 67 animal/fungal actin-binding proteins and show that 36 are not conserved in plants. One protein that is conserved across phylogeny is actin-depolymerizing factor or cofilin and we describe our work on the activity of vegetative tissue and pollen-specific isoforms of this protein in plant cells, concluding that they are functionally distinct.