Embedded-TM: Energy and complexity-effective hardware transactional memory for embedded multicore systems

We investigate how transactional memory can be adapted for embedded systems. We consider energy consumption and complexity to be driving concerns in the design of these systems and therefore adapt simple hardware transactional memory (HTM) schemes in our architectural design. We propose several different cache structures and contention management schemes to support HTM and evaluate them in terms of energy, performance, and complexity. We find that ignoring energy considerations can lead to poor design choices, particularly for resource-constrained embedded platforms. We conclude that with the right balance of energy efficiency and simplicity, HTM will become an attractive choice for future embedded system designs.     

ON CAPACITY MODELING FOR PRODUCTION PLANNING WITH ALTERNATIVE MACHINE TYPES

Analyzing the capacity of production facilities in which manufacturing operations may be performed by alternative machine types presents a seemingly complicated task. In typical enterprise-level production planning models, capacity limitations of alternative machine types are approximated in terms of some single artificial capacitated resource. In this paper we propose procedures for generating compact models that accurately characterize capacity limitations of alternative machine types. Assuming that processing times among alternative machine types are identical or proportional across operations they can perform, capacity limitations of the alternative machine types can be precisely expressed using a formulation that is typically not much larger than the basic linear programming formulation that does not admit alternative resource types. These results have important implications for industrial practice, suggesting that in the case that processing times are nearly proportional among alternatives, the prevalent approximation that involves using a single, capacitated, artificial resource may be dropped in favor of our formulation incorporating the approximation that processing times among the alternatives are proportional. Another advantage is that the set of capacity constraints we formulate can be used to check the feasibility of suggested production schedules or demands simply by plugging mem into the constraints, without need to develop values for allocation variables.     

Two-dimensional surface display of functional groups on a beta-helical antifreeze protein scaffold

We tested a disulfide-rich antifreeze protein as a potential scaffold for design or selection of proteins with the capability of binding periodically organized surfaces. The natural antifreeze protein is a beta-helix with a strikingly regular two-dimensional grid of threonine side chains on its ice-binding face. Amino acid substitutions were made on this face to replace blocks of native threonines with other amino acids spanning the range of beta-sheet propensities. The variants, displaying arrays of distinct functional groups, were studied by mass spectrometry, reversed-phase high performance liquid chromatography, thiol reactivity and circular dichroism and NMR spectroscopies to assess their structures and stabilities relative to wild type. The mutants are well expressed in bacteria, despite the potential for mis-folding inherent in these 84-residue proteins with 16 cysteines. We demonstrate that most of the mutants essentially retain the native fold. This disulfide bonded beta-helical scaffold, thermally stable and remarkably tolerant of amino acid substitutions, is therefore useful for design and engineering of macromolecules with the potential to bind various targeted ordered material surfaces.     

Miniaturisierte thermische Fluidsensoren – Strömungs- und thermische Leitfähigkeitssensoren

Sensors for the determination of fluid and gas properties are being employed for direct and indirect condition monitoring in many application areas of instrumentation and automation. This article presents various robust sensors devised to measure flow properties (velocity, direction, and mass flow) as well as thermal properties (thermal conductivity and diffusivity) of fluids. These sensors are based on a thermal operation principle and can be manufactured with cost-effective microtechnology. Starting from one generic design, they can be implemented and operated as calorimetric flow sensors or thermal conductivity sensors. This article explains the theoretical foundations and discusses several application examples.     

Multi-view Scene Flow Estimation: A View Centered Variational Approach

We present a novel method for recovering the 3D structure and scene flow from calibrated multi-view sequences. We propose a 3D point cloud parametrization of the 3D structure and scene flow that allows us to directly estimate the desired unknowns. A unified global energy functional is proposed to incorporate the information from the available sequences and simultaneously recover both depth and scene flow. The functional enforces multi-view geometric consistency and imposes brightness constancy and piecewise smoothness assumptions directly on the 3D unknowns. It inherently handles the challenges of discontinuities, occlusions, and large displacements. The main contribution of this work is the fusion of a 3D representation and an advanced variational framework that directly uses the available multi-view information. This formulation allows us to advantageously bind the 3D unknowns in time and space. Different from optical flow and disparity, the proposed method results in a nonlinear mapping between the images’ coordinates, thus giving rise to additional challenges in the optimization process. Our experiments on real and synthetic data demonstrate that the proposed method successfully recovers the 3D structure and scene flow despite the complicated nonconvex optimization problem.     

The myth of informal place-making: stitching and unstitching Atarim Square in Tel Aviv

The metaphor of stitching/unstitching can be applied to the mechanism employed by authorities, professionals and users alike—each for a different purpose and under different circumstances—for appropriating the urban space. It views the urban space as a socio-political arena that involves ongoing negotiation. The metaphor is used in this paper to debate some basic premises of architectural discourse of the everyday. Analysis of Atarim Square on Tel Aviv's shoreline—focusing on three periods: the 1930s, 1960s and the 1990s—reveals ongoing and often simultaneous processes of 'stitching and unstitching'. The key contention here is that formal (official and professional) spatial processes are not necessarily limiting, just as informal processes (personal and communal) are not always liberating, and that both are endemic to the socio-political construct of the everyday.     

Unusual migration of a foreign body from the gut to a vertebral body

We report a unique case in which a needle was accidentally swallowed and migrated into the vertebral body. Plain films and CT of the spine revealed fragmented, linear, metallic-density material in the L3 vertebral body. The possible mechanisms of the migration are discussed.