Shortening design time through multiplatform simulations with a portable OpenCL golden-model: the LDPC decoder case

Hardware designers and engineers typically need to explore a multi-parametric design space in order to find the best configuration for their designs using simulations that can take weeks to months to complete. For example, designers of special purpose chips need to explore parameters such as the optimal bitwidth and data representation. This is the case for the development of complex algorithms such as Low-Density Parity-Check (LDPC) decoders used in modern communication systems. Currently, high-performance computing offers a wide set of acceleration options, that range from multicore CPUs to graphics processing units (GPUs) and FPGAs. Depending on the simulation requirements, the ideal architecture to use can vary. In this paper we propose a new design flow based on OpenCL, a unified multiplatform programming model, which accelerates LDPC decoding simulations, thereby significantly reducing architectural exploration and design time. OpenCL-based parallel kernels are used without modifications or code tuning on multicore CPUs, GPUs and FPGAs. We use SOpenCL (Silicon to OpenCL), a tool that automatically converts OpenCL kernels to RTL for mapping the simulations into FPGAs. To the best of our knowledge, this is the first time that a single, unmodified OpenCL code is used to target those three different platforms. We show that, depending on the design parameters to be explored in the simulation, on the dimension and phase of the design, the GPU or the FPGA may suit different purposes more conveniently, providing different acceleration factors. For example, although simulations can typically execute more than 3x faster on FPGAs than on GPUs, the overhead of circuit synthesis often outweighs the benefits of FPGA-accelerated execution.

Universal tight binding model for chemical reactions in solution and at surfaces. III. Stoichiometric and reduced surfaces of titania and the adsorption of water

We demonstrate a model for stoichiometric and reduced titanium dioxide intended for use in molecular dynamics and other atomistic simulations and based in the polarizable ion tight binding theory. This extends the model introduced in two previous papers from molecular and liquid applications into the solid state, thus completing the task of providing a comprehensive and unified scheme for studying chemical reactions, particularly aimed at problems in catalysis and electrochemistry. As before, experimental results are given priority over theoretical ones in selecting targets for model fitting, for which we used crystal parameters and band gaps of titania bulk polymorphs, rutile and anatase. The model is applied to six low index titania surfaces, with and without oxygen vacancies and adsorbed water molecules, both in dissociated and non-dissociated states. Finally, we present the results of molecular dynamics simulation of an anatase cluster with a number of adsorbed water molecules and discuss the role of edge and corner atoms of the cluster. (C) 2014 AIP Publishing LLC.

Class Responsibility Assignment (CRA) for Use Case Specification to Sequence Diagrams (UC2SD)

Identifying responsibility for classes in object oriented software design phase is a crucial task. This paper proposes an approach for producing high quality and robust behavioural diagrams (e.g. Sequence Diagrams) through Class Responsibility Assignment (CRA). GRASP or General Responsibility Assignment Software Pattern (or Principle) was used to direct the CRA process when deriving behavioural diagrams. A set of tools to support CRA was developed to provide designers and developers with a cognitive toolkit that can be used when analysing and designing object-oriented software. The tool developed is called Use Case Specification to Sequence Diagrams (UC2SD). UC2SD uses a new approach for developing Unified Modelling Language (UML) software designs from Natural Language, making use of a meta-domain oriented ontology, well established software design principles and established Natural Language Processing (NLP) tools. UC2SD generates a well-formed UML sequence diagrams as output.

An international comparison of legal frameworks for supported and substitute decision-making in mental health services

There have been important recent developments in law, research, policy and practice relating to supporting people with decision-making impairments, in particular when a person’s wishes and preferences are unclear or inaccessible. A driver in this respect is the United Nations Convention on the Rights of Persons with Disabilities (CRPD); the implications of the CRPD for policy and professional practices are currently debated. This article reviews and compares four legal frameworks for supported and substitute decision-making for people whose decision-making ability is impaired. In particular, it explores how these frameworks may apply to people with mental health problems. The four jurisdictions are: Ontario, Canada; Victoria, Australia; England and Wales, United Kingdom (UK); and Northern Ireland, UK. Comparisons and contrasts are made in the key areas of: the legal framework for supported and substitute decision-making; the criteria for intervention; the assessment process; the safeguards; and issues in practice. Thus Ontario has developed a relatively comprehensive, progressive and influential legal framework over the past thirty years but there remain concerns about the standardisation of decision-making ability assessments and how the laws work together. In Australia, the Victorian Law Reform Commission (2012) has recommended that the six different types of substitute decision-making under the three laws in that jurisdiction, need to be simplified, and integrated into a spectrum that includes supported decision-making. In England and Wales the Mental Capacity Act 2005 has a complex interface with mental health law. In Northern Ireland it is proposed to introduce a new Mental Capacity (Health, Welfare and Finance) Bill that will provide a unified structure for all substitute decision-making. The discussion will consider the key strengths and limitations of the approaches in each jurisdiction and identify possible ways that further progress can be made in law, policy and practice.

Characterisation of Passive Intermodulation in Passive RF Devices with X-parameter

A novel approach to the modelling of passive intermodulation (PIM) generation in passive components with distributed weak nonlinearities is outlined. Based upon the formalism of X-parameters, it provides a unified framework for co-design of antenna beamforming networks, filters, combiners, phase shifters and other passive and active devices containing nonlinearities at RF front-end. The effects of discontinuities and complex circuit layouts can be efficiently evaluated with the aid of the equivalent networks of the canonical nonlinear elements. The main concepts are illustrated by examples of numerical simulations of PIM generation in the transmission lines and comparison with the measurement results.

Emotions and Power: Reconciling Conceptual Twins

While the existence of an ‘emotional turn’ within the social sciences is now widely acknowledged, some areas have garnered less specific attention than others. Perhaps the most significant absence within this literature is an explicit exploration of the relationship between emotions and relations of power and domination. This article will attempt such an endeavour. In doing so, I will draw on some key work from within the sociology of emotions, such as Barbalet, Collins, Kemper and Turner, and from the power literature within social theory more generally, including Dahl, Elias, Foucault, Giddens, Gramsci and Lukes. The main thrust of the argument is that power and emotion are conceptual twins in need of a serious theoretical reunion, and that emotions have played a largely unacknowledged, ‘under-labouring’ role within most theories of power. The need for a more unified approach to these two concepts is highlighted.

Towards a general framework for information fusion

Depending on the representation setting, different combination rules have been proposed for fusing information from distinct sources. Moreover in each setting, different sets of axioms that combination rules should satisfy have been advocated, thus justifying the existence of alternative rules (usually motivated by situations where the behavior of other rules was found unsatisfactory). These sets of axioms are usually purely considered in their own settings, without in-depth analysis of common properties essential for all the settings. This paper introduces core properties that, once properly instantiated, are meaningful in different representation settings ranging from logic to imprecise probabilities. The following representation settings are especially considered: classical set representation, possibility theory, and evidence theory, the latter encompassing the two other ones as special cases. This unified discussion of combination rules across different settings is expected to provide a fresh look on some old but basic issues in information fusion.

Spatial turnover in the global avifauna

Despite its wide implications for many ecological issues, the global pattern of spatial turnover in the occurrence of species has been little studied, unlike the global pattern of species richness. Here, using a database on the breeding distributions of birds, we present the first global maps of variation in spatial turnover for an entire taxonomic class, a pattern that has to date remained largely a matter of conjecture, based on theoretical expectations and extrapolation of inconsistent patterns from different biogeographic realms. We use these maps to test four predictions from niche theory as to the form that this variation should take, namely that turnover should increase with species richness, towards lower latitudes, and with the steepness of environmental gradients and that variation in turnover is determined principally by rare (restricted) species. Contrary to prediction, we show that turnover is high both in areas of extremely low and high species richness, does not increase strongly towards the tropics, and is related both to average environmental conditions and spatial variation in those conditions. These results are closely associated with a further important and novel finding, namely that global patterns of spatial turnover are driven principally by widespread species rather than the restricted ones. This complements recent demonstrations that spatial patterns of species richness are also driven principally by widespread species, and thus provides an important contribution towards a unified model of how terrestrial biodiversity varies both within and between the Earth's major land masses.

Two-Stage Orthogonal Least Squares Methods for Neural Network Construction

A number of neural networks can be formulated as the linear-in-the-parameters models. Training such networks can be transformed to a model selection problem where a compact model is selected from all the candidates using subset selection algorithms. Forward selection methods are popular fast subset selection approaches. However, they may only produce suboptimal models and can be trapped into a local minimum. More recently, a two-stage fast recursive algorithm (TSFRA) combining forward selection and backward model refinement has been proposed to improve the compactness and generalization performance of the model. This paper proposes unified two-stage orthogonal least squares methods instead of the fast recursive-based methods. In contrast to the TSFRA, this paper derives a new simplified relationship between the forward and the backward stages to avoid repetitive computations using the inherent orthogonal properties of the least squares methods. Furthermore, a new term exchanging scheme for backward model refinement is introduced to reduce computational demand. Finally, given the error reduction ratio criterion, effective and efficient forward and backward subset selection procedures are proposed. Extensive examples are presented to demonstrate the improved model compactness constructed by the proposed technique in comparison with some popular methods.

Contested urbanism: Access and control issues in Tundikhel, Kathmandu

Contested Open Spaces?: Access and control issues in Tundikhel, Kathmandu

Public spaces play a role of political, economic and cultural transformation of cities and the impact of these transformations on the nature of public space.

Urban open space(s) in Kathmandu have been an important part of the city’s urbanism. Historically they have played an important role in the city as spaces for religious, cultural, social and political and military activities during the 300 years of unified monarchy. Throughout the civil war period (Maoist insurgency between 1996 and 2006) they became material locations for political activities, and a site for protests and dharnas. In post-conflict Kathmandu, especially since the abolition of Monarchy in May 28, 2008, these spaces are increasingly seen being claimed by street hawkers, informal sellers and individuals reflecting a new set of users and functions, whereas a significant part of Tundikhel still remains under the military occupation posing important questions around access, identity and control of an important space.


Public spaces are broadly defined as crossroads where different paths and trajectories meet, sometimes overlapping and other times colliding (Madanipour, 2003). Using Tudikhel in Kathmandu, this research examines the increasing collision and contestations witnessed through social, political and neoliberal interactions. It explores how spaces are constantly
contested, negotiated and as a result reshaped through these interactions. It is observed that multiple forces are at play to gain control and access of this important open space, leading to increasing fragmentation of the space, and erosion of its historic significance both as cultural venue and a symbol of democracy in modern Nepal. It is argued that increasing disconnection of Tudikhel from wider urban setting has contributed to exacerbation of these contestations

What defines a geochemical map? Implications for environmental assessment.

The environmental quality of land is often assessed by the calculation of threshold values which aim to differentiate between concentrations of elements based on whether the soils are in residential or industrial sites. In Europe, for example, soil guideline values exist for agricultural and grazing land. A threshold is often set to differentiate between concentrations of the element that naturally occur in the soil and concentrations that result from diffuse anthropogenic sources. Regional geochemistry and, in particular, single component geochemical maps are increasingly being used to determine these baseline environmental assessments. The key question raised in this paper is whether the geochemical map can provide an accurate interpretation on its own. Implicit is the thought that single component geochemical maps represent absolute abundances. However,because of the compositional (closed) nature of the data univariate geochemical maps cannot be compared directly with one another.. As a result, any interpretation based on them is vulnerable to spurious correlation problems. What does this mean for soil geochemistry mapping, baseline quality documentation, soil resource assessment or risk evaluation? Despite the limitation of relative abundances, individual raw geochemical maps are deemed fundamental to several applications of geochemical maps including environmental assessments. However, element toxicity is related to its bioavailable concentration, which is lowered if its source is mixed with another source. Elements interact, for example under reducing conditions with iron oxides, its solid state is lost and arsenic becomes soluble and mobile. Both of these matters may be more adequately dealt with if a single component map is not interpreted in isolation to determine baseline and threshold assessments. A range of alternative compositionally compliant representations based on log-ratio and log-contrast approaches are explored to supplement the classical single component maps for environmental assessment. Case study examples are shown based on the Tellus soil geochemical dataset, covering Northern Ireland and the results of in vitro oral bioaccessibility testing carried out on a sub-set of archived Tellus Survey shallow soils following the Unified BARGE (Bioaccessibility Research Group of Europe).

Communication Nonlinearities Techniques for Analysis of Passive Intermodulation

The X-parameter based nonlinear modelling tools have been adopted as the foundation for the advanced methodology
of experimental characterisation and design of passive nonlinear devices. Based upon the formalism of the Xparameters,
it provides a unified framework for co-design of antenna beamforming networks, filters, phase shifters and
other passive and active devices of RF front-end, taking into account the effect of their nonlinearities. The equivalent
circuits of the canonical elements are readily incorporated in the models, thus enabling evaluation of PIM effect on the
performance of individual devices and their assemblies. An important advantage of the presented methodology is its
compatibility with the industry-standard established commercial RF circuit simulator Agilent ADS.
The major challenge in practical implementation of the proposed approach is concerned with experimental retrieval of the X-parameters for canonical passive circuit elements. To our best knowledge commercial PIM testers and practical laboratory test instruments are inherently narrowband and do not allow for simultaneous vector measurements at the PIM and harmonic frequencies. Alternatively, existing nonlinear vector analysers (NVNA) support X-parameter measurements in a broad frequency bands with a range of stimuli, but their dynamic range is insufficient for the PIM characterisation in practical circuits. Further opportunities for adaptation of the X-parameters methodology to the PIM
characterisation of passive devices using the existing test instruments are explored.

Novel Application of Genetic Sequencing algorithms to optimisation of hardware resource sharing for DSP

Field programmable gate array (FPGA) technology is a powerful platform for implementing computationally complex, digital signal processing (DSP) systems. Applications that are multi-modal, however, are designed for worse case conditions. In this paper, genetic sequencing techniques are applied to give a more sophisticated decomposition of the algorithmic variations, thus allowing an unified hardware architecture which gives a 10-25% area saving and 15% power saving for a digital radar receiver.

The basic principles of uncertain information fusion. An organised review of merging rules in different representation frameworks.

We propose and advocate basic principles for the fusion of incomplete or uncertain information items, that should apply regardless of the formalism adopted for representing pieces of information coming from several sources. This formalism can be based on sets, logic, partial orders, possibility theory, belief functions or imprecise probabilities. We propose a general notion of information item representing incomplete or uncertain information about the values of an entity of interest. It is supposed to rank such values in terms of relative plausibility, and explicitly point out impossible values. Basic issues affecting the results of the fusion process, such as relative information content and consistency of information items, as well as their mutual consistency, are discussed. For each representation setting, we present fusion rules that obey our principles, and compare them to postulates specific to the representation proposed in the past. In the crudest (Boolean) representation setting (using a set of possible values), we show that the understanding of the set in terms of most plausible values, or in terms of non-impossible ones matters for choosing a relevant fusion rule. Especially, in the latter case our principles justify the method of maximal consistent subsets, while the former is related to the fusion of logical bases. Then we consider several formal settings for incomplete or uncertain information items, where our postulates are instantiated: plausibility orderings, qualitative and quantitative possibility distributions, belief functions and convex sets of probabilities. The aim of this paper is to provide a unified picture of fusion rules across various uncertainty representation settings.