SoC memory hierarchy derivation from dataflow graphs

Hardware synthesis from dataflow graphs of signal processing systems is a growing research area as focus shifts to high level design methodologies. For data intensive systems, dataflow based synthesis can lead to an inefficient usage of memory due to the restrictive nature of synchronous dataflow and its inability to easily model data reuse. This paper explores how dataflow graph changes can be used to drive both the on-chip and off-chip memory organisation and how these memory architectures can be mapped to a hardware implementation. By exploiting the data reuse inherent to many image processing algorithms and by creating memory hierarchies, off-chip memory bandwidth can be reduced by a factor of a thousand from the original dataflow graph level specification of a motion estimation algorithm, with a minimal increase in memory size. This analysis is verified using results gathered from implementation of the motion estimation algorithm on a Xilinx Virtex-4 FPGA, where the delay between the memories and processing elements drops from 14.2 ns down to 1.878 ns through the refinement of the memory architecture. Care must be taken when modeling these algorithms however, as inefficiencies in these models can be easily translated into overuse of hardware resources.

Syntactic Structures in Irish-Language Proverbs

In recent years, linguistic studies into the concept of ‘proverbiality’ have provided paremiologists with a more comprehensive understanding of the form and function of proverbial markers in a wide range of languages. Unfortunately, the Irish language has, until now, not featured in any of these linguistic analyses. This paper seeks to re-address this imbalance and to bring the unique structure and style of Irish-language proverbs to the attention of the international community of paremiologistsfor the first time. This research study applies the general methodology adopted by such scholars as Mahgoub (1948), Silverman-Weinreich (1978) and Arora (1984), toa corpus sample of Irish proverbs and provides both a qualitative and quantitative account of the most salient syntactic structures contained in Irish-language proverbs. Proverbial patterns as well as the collocation of proverbial markers are also discussed.

Derivation of clinically compliant MSCs from CD105+, CD24-differentiated human ESCs

Adult tissue-derived mesenchymal stem cells ( MSCs) have demonstrated therapeutic efficacy in treating diseases or repairing damaged tissues through mechanisms thought to be mediated by either cell replacement or secretion of paracrine factors. Characterized, self- renewing human ESCs could potentially be an invariable source of consistently uniform MSCs for therapeutic applications. Here we describe a clinically relevant and reproducible manner of generating identical batches of hESC- derived MSC ( hESC- MSC) cultures that circumvents exposure to virus, mouse cells, or serum. Trypsinization and propagation of HuES9 or H1 hESCs in feeder- and serum-free selection media generated three polyclonal, karyotypically stable, and phenotypically MSC-like cultures that do not express pluripotency- associated markers but displayed MSC- like surface antigens and gene expression profile. They differentiate into adipocytes, osteocytes, and chondrocytes in vitro. Gene expression and fluorescence- activated cell sorter analysis identified CD105 and CD24 as highly expressed antigens on hESC- MSCs and hESCs, respectively. CD105+, CD24- monoclonal isolates have a typical MSC gene expression profiles and were identical to each other with a highly correlated gene expression profile ( r(2) >.90). We have developed a protocol to reproducibly generate clinically compliant and identical hESC- MSC cultures.

Temperature and strain rate dependence of syntactic foam under tensile and shear loads

The behaviour of syntactic foam is strongly dependent on temperature and strain rate. This research focuses on the behaviour of syntactic foam made of epoxy and glass microballoons in the glassy, transition and rubbery regions. Both epoxy and epoxy foam are investigated separately under tension and shear loadings in order to study the strain rate and temperature effects. The results indicate that the strength and strain to failure data can be collapsed onto master curves depending on temperature reduced strain rate. The highest strain to failure occurs in the transition zone. The presence of glass microballoons reduces the strain to failure over the entire range considered, an effect that is particularly significant under tensile loading. However, as the microballoons increase the elastic modulus significantly in the rubbery zone but reduce it somewhat in the glassy zone, the effect on the strength is more complicated. Different failure mechanisms are identified over the temperature-frequency range considered. As the temperature reduced strain rate is decreased, the failure mechanism changes from microballoon fracture to matrix fracture and debonding between the matrix and microballoons. © IMechE 2012.

Derivation of Wave Loads for the Design of Oscillating Wave Surge Converters

This paper deals with the problem of estimating wave pressure loads acting on Oscillating Wave Surge Converters (OWSC) for assessment of fatigue on their components. Recent wave loading data issued from experimental testing of a 25th scale model of a box-shaped OWSC are here used to review the accuracy of the predictions made by an engineering method previously developed to derive wave pressure loads on OWSCs from experimental data. Predictions are shown underestimate wave pressure loads, and other methods subsequently developed are presented. A simplistic experimental method taking in consideration variations of the wetted surface area of the flap is shown to lead to relatively good estimates of wave pressure loads that could be used for fatigue calculations.

Analogies to semantic and syntactic mental labour in the Feist decision

The Supreme Court of the United States in Feist v. Rural (Feist, 1991) specified that compilations or databases, and other works, must have a minimal degree of creativity to be copyrightable. The significance and global diffusion of the decision is only matched by the difficulties it has posed for interpretation. The judgment does not specify what is to be understood by creativity, although it does give a full account of the negative of creativity, as ‘so mechanical or routine as to require no creativity whatsoever’ (Feist, 1991, p.362). The negative of creativity as highly mechanical has particularly diffused globally.

A recent interpretation has correlated ‘so mechanical’ (Feist, 1991) with an automatic mechanical procedure or computational process, using a rigorous exegesis fully to correlate the two uses of mechanical. The negative of creativity is then understood as an automatic computation and as a highly routine process. Creativity is itself is conversely understood as non-computational activity, above a certain level of routinicity (Warner, 2013).

The distinction between the negative of creativity and creativity is strongly analogous to an independently developed distinction between forms of mental labour, between semantic and syntactic labour. Semantic labour is understood as human labour motivated by considerations of meaning and syntactic labour as concerned solely with patterns. Semantic labour is distinctively human while syntactic labour can be directly humanly conducted or delegated to machine, as an automatic computational process (Warner, 2005; 2010, pp.33-41).

The value of the analogy is to greatly increase the intersubjective scope of the distinction between semantic and syntactic mental labour. The global diffusion of the standard for extreme absence of copyrightability embodied in the judgment also indicates the possibility that the distinction fully captures the current transformation in the distribution of mental labour, where syntactic tasks which were previously humanly performed are now increasingly conducted by machine.

The paper has substantive and methodological relevance to the conference themes. Substantively, it is concerned with human creativity, with rationality as not reducible to computation, and has relevance to the language myth, through its indirect endorsement of a non-computable or not mechanical semantics. These themes are supported by the underlying idea of technology as a human construction. Methodologically, it is rooted in the humanities and conducts critical thinking through exegesis and empirically tested theoretical development

References

Feist. (1991). Feist Publications, Inc. v. Rural Tel. Service Co., Inc. 499 U.S. 340.

Warner, J. (2005). Labor in information systems. Annual Review of Information Science and Technology. 39, 2005, pp.551-573.

Warner, J. (2010). Human Information Retrieval (History and Foundations of Information Science Series). Cambridge, MA: MIT Press.

Warner, J. (2013). Creativity for Feist. Journal of the American Society for Information Science and Technology. 64, 6, 2013, pp.1173-1192.

Derivation of scientific software from mathematical specifications

Often the modification and enhancement of large scientific software systems are severely hampered because many components of the system are written in an implementation dependent fashion, they are inadequately documented, and their functionalities are not precisely known. In this paper we consider how mathematics may be employed to alleviate some of these problems. In particular, we illustrate how the formal specification notation VDM-SL is being used to specify precisely abstract data types for use in the development of scientific software.

Current-induced forces: a simple derivation

We revisit the problem of forces on atoms under current in nanoscale conductors. We derive and discuss the five principal kinds of force under steady-state conditions from a simple standpoint that—with the help of background literature—should be accessible to physics undergraduates. The discussion aims at combining methodology with an emphasis on the underlying physics through examples. We discuss and compare two forces present only under current—the non-conservative electron wind force and a Lorentz-like velocity-dependent force. It is shown that in metallic nanowires both display significant features at the wire surface, making it a candidate for the nucleation of current-driven structural transformations and failure. Finally we discuss the problem of force noise and the limitations of Ehrenfest dynamics

A Syntactic Approach to Revising Epistemic States with Uncertain Inputs

Revising its beliefs when receiving new information is an important ability of any intelligent system. However, in realistic settings the new input is not always certain. A compelling way of dealing with uncertain input in an agent-based setting is to treat it as unreliable input, which may strengthen or weaken the beliefs of the agent. Recent work focused on the postulates associated with this form of belief change and on finding semantical operators that satisfy these postulates. In this paper we propose a new syntactic approach for this form of belief change and show that it agrees with the semantical definition. This makes it feasible to develop complex agent systems capable of efficiently dealing with unreliable input in a semantically meaningful way. Additionally, we show that imposing restrictions on the input and the beliefs that are entailed allows us to devise a tractable approach suitable for resource-bounded agents or agents where reactiveness is of paramount importance.