Memory-centric VDF Graph Transformations for Practical FPGA Implementation

Realising memory intensive applications such as image and video processing on FPGA requires creation of complex, multi-level memory hierarchies to achieve real-time performance; however commerical High Level Synthesis tools are unable to automatically derive such structures and hence are unable to meet the demanding bandwidth and capacity constraints of these applications. Current approaches to solving this problem can only derive either single-level memory structures or very deep, highly inefficient hierarchies, leading in either case to one or more of high implementation cost and low performance. This paper presents an enhancement to an existing MC-HLS synthesis approach which solves this problem; it exploits and eliminates data duplication at multiple levels levels of the generated hierarchy, leading to a reduction in the number of levels and ultimately higher performance, lower cost implementations. When applied to synthesis of C-based Motion Estimation, Matrix Multiplication and Sobel Edge Detection applications, this enables reductions in Block RAM and Look Up Table (LUT) cost of up to 25%, whilst simultaneously increasing throughput.

Microbial transformations in phosphonate biosynthesis and catabolism, and their importance in nutrient cycling

Phosphorus cycling in the biosphere has traditionally been thought to involve almost exclusively transformations of the element in its pentavalent oxidation state. Recent evidence, however, suggests that a significant fraction of environmental phosphorus may exist in a more reduced form. Most abundant of these reduced phosphorus compounds are the phosphonates, with their direct carbon–phosphorus bonds, and striking progress has recently been made in elucidating the biochemistry of microbial phosphonate transformations. These advances are now presented in the context of their contribution to our understanding of phosphorus biogeochemistry and of such diverse fields as the productivity of the oceans, marine methanogenesis and the discovery of novel microbial antimetabolites.

Footbridge system identification using wireless inertial measurement units for force and response measurements

With the main focus on safety, design of structures for vibration serviceability is often overlooked or mismanaged, resulting in some high profile structures failing publicly to perform adequately under human dynamic loading due to walking, running or jumping. A standard tool to inform better design, prove fitness for purpose before entering service and design retrofits is modal testing, a procedure that typically involves acceleration measurements using an array of wired sensors and force generation using a mechanical shaker. A critical but often overlooked aspect is using input (force) to output (response) relationships to enable estimation of modal mass, which is a key parameter directly controlling vibration levels in service.

This paper describes the use of wireless inertial measurement units (IMUs), designed for biomechanics motion capture applications, for the modal testing of a 109 m footbridge. IMUs were first used for an output-only vibration survey to identify mode frequencies, shapes and damping ratios, then for simultaneous measurement of body accelerations of a human subject jumping to excite specific vibrations modes and build up bridge deck accelerations at the jumping location. Using the mode shapes and the vertical acceleration data from a suitable body landmark scaled by body mass, thus providing jumping force data, it was possible to create frequency response functions and estimate modal masses.

The modal mass estimates for this bridge were checked against estimates obtained using an instrumented hammer and known mass distributions, showing consistency among the experimental estimates. Finally, the method was used in an applied research application on a short span footbridge where the benefits of logistical and operational simplicity afforded by the highly portable and easy to use IMUs proved extremely useful for an efficient evaluation of vibration serviceability, including estimation of modal masses.

Mr Micawber anticipates Feist: transformations of mental labour.

This paper traces transformations of mental labour and its distribution between human and machine from Mr Micawber's parody of arithmetical calculation (result happiness) in the mid-19th century to the late 20th century judgment of the Supreme Court of United States in Feist v. Rural (1991), concerned with copyright in databases.

The proof of Kontsevich's periodicity conjecture on noncommutative birational transformations

For an arbitrary associative unital ring RR, let J1J1 and J2J2 be the following noncommutative, birational, partly defined involutions on the set M3(R)M3(R) of 3×33×3 matrices over RR: J1(M)=M−1J1(M)=M−1 (the usual matrix inverse) and J2(M)jk=(Mkj)−1J2(M)jk=(Mkj)−1 (the transpose of the Hadamard inverse).

We prove the surprising conjecture by Kontsevich that (J2∘J1)3(J2∘J1)3 is the identity map modulo the DiagL×DiagRDiagL×DiagR action (D1,D2)(M)=D−11MD2(D1,D2)(M)=D1−1MD2 of pairs of invertible diagonal matrices. That is, we show that, for each MM in the domain where (J2∘J1)3(J2∘J1)3 is defined, there are invertible diagonal 3×33×3 matrices D1=D1(M)D1=D1(M) and D2=D2(M)D2=D2(M) such that (J2∘J1)3(M)=D−11MD2(J2∘J1)3(M)=D1−1MD2.