A constrained edit distance algorithm between semi-ordered trees

In this paper, we propose a formal definition of a new class of trees called semi-ordered trees and a polynomial dynamic programming algorithm to compute a constrained edit distance between such trees. The core of the method relies on a similar approach to compare unordered [Kaizhong Zhang, A constrained edit distance between unordered labeled trees, Algorithmica 15 (1996) 205–222] and ordered trees [Kaizhong Zhang, Algorithms for the constrained editing distance between ordered labeled trees and related problems, Pattern Recognition 28 (3) (1995) 463–474]. The method is currently applied to evaluate the similarity between architectures of apple trees [Vincent Segura, Aida Ouangraoua, Pascal Ferraro, Evelyne Costes, Comparison of tree architecture using tree edit distances: Application to two-year-old apple tree, Euphytica 161 (2007) 155–164].     

A Collaborative Approach for Multi-Threaded SAT Solving

The last decade progresses have led the Satisfiability Problem (sat) to be a great and competitive practical approach to solve a wide range of industrial and academic problems. Thanks to these progresses, the size and difficulty of the sat instances has grown significantly. Among the recent solvers, a few are parallel and most of them use the message passing paradigm. In a previous work by Vander-Swalmen et al. (IWOMP, 146–157, 2008), we presented a fine grain parallel sat solver designed for shared memory using OpenMP and named mtss, for Multi Threaded Sat Solver. mtss extends the “guiding path” notion and uses a collaborative approach where a rich thread is in charge of the search-tree evaluation and where a set of poor threads yield logical or heuristics information to simplify the rich task. In this paper, we extend the poor thread abilities of mtss and present extensive comparative results on random 3-sat problems. These new experimentations show that fine grained techniques associated to poor tasks within the framework of mtss can achieve very interesting speedup on multi-core processors.     

Functional Equivalence Verification Tools in High-Level Synthesis Flows

Editor's note:High-level synthesis facilitates the use of formal verification methodologies that check the equivalence of the generated RTL model against the original source specification. The article provides an overview of sequential equivalence checking techniques, its challenges, and successes in real-world designs.—Andres Takach, Mentor Graphics     

The size of cycle-to-cycle variability in biomechanical exposure among butchers performing a standardised cutting task

The effects of employment duration and pain development on motor variability were investigated during repetitive work. Electromyographic (EMG) and kinematics data from two previous studies were re-analysed. Newly employed butchers were followed prospectively in relation to employment duration and pain development. Healthy butchers with long-term experience were compared with novices. The variability of the cycle time, EMG ratio and arm and trunk movement was expressed as cycle-to-cycle standard deviations. During the first 6 months of employment, cycle time variability decreased, while posture and movement variability increased (p < 0.05). In presence of pain, the variability of the initial arm position decreased while it increased for the trunk (p < 0.05). Experienced butchers showed a larger variability than novices for work cycle and several kinematic variables, but a smaller EMG ratio variability (p < 0.05). These findings indicate that the variability of motor patterns in repetitive work changes with experience and pain. A change towards a more variable motor strategy may protect workers from work-related musculoskeletal disorders.     

Oriented colorings of partial 2-trees

A homomorphism from an oriented graph G to an oriented graph H is an arc-preserving mapping f from V(G) to V(H), that is f(x)f(y) is an arc in H whenever xy is an arc in G. The oriented chromatic number of G is the minimum order of an oriented graph H such that G has a homomorphism to H. In this paper, we determine the oriented chromatic number of the class of partial 2-trees for every girth g?3. We also give an upper bound for the oriented chromatic number of planar graphs with girth at least 11.     

Improved attenuation correction via appropriate selection of respiratory-correlated PET data

PURPOSE: We propose a respiratory-correlated PET data processing method (called "BH-CT-based") based on breath-hold CT acquisition to reduce the smearing effect and improve the attenuation correction. The resulting images are compared with the ungated PET images acquired using a standard, free-breathing clinical protocol. METHODS: The BH-CT-based method consisted of a list-mode acquisition with simultaneous respiratory signal recording. An additional breath-hold CT acquisition was also performed in order to define a tissue position from which PET events can be selected. A phantom study featured a 0.5-ml sphere (filled with 18F-fluorodeoxyglucose ((18)F-FDG) solution) pushed onto a rubber balloon (filled with (18)F-FDG solution and iodinated contrast agent). The feasibility of the BH-CT-based method was also assessed in two patients. RESULTS: In the phantom study, the contrast-to-noise ratios (CNRs) were -1.6 for the Ungated volume and 5.1 for the BH-CT-based volume. For patients, CNRs were higher for BH-CT-based volumes than those for Ungated volumes (17.3 vs. 6.3 and 7.3 vs. 3.8, for patients 1 and 2, respectively). Bias-variance measurements were performed and yielded bias reduction of 40% with BH-CT-based. CONCLUSION: The application of a BH-CT-based method decreases motion bias in PET images. This method resolves issues related to both PET-to-CT misregistration and erroneous attenuation correction and increases lesion detectability.     

3D elastic control for mobile devices

To increase the input space of mobile devices, the authors developed a proof-of-concept 3D elastic controller that easily adapts to mobile devices. This embedded device improves the completion of high-level interaction tasks such as visualization of large documents and navigation in 3D environments. It also opens new directions for tomorrow's mobile applications.     

Fast Non-Rigid Surface Detection,Registration and Realistic Augmentation

We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches between an undeformed image of the object and the image in which it is to be detected. The matches are used not only to detect but also to compute a precise mapping from one to the other. The algorithm is robust to large deformations, lighting changes, motion blur, and occlusions. It runs at 10 frames per second on a 2.8 GHz PC.We demonstrate its applicability by using it to realistically modify the texture of a deforming surface and to handle complex illumination effects. Combining deformable meshes with a well designed robust estimator is key to dealing with the large number of parameters involved in modeling deformable surfaces and rejecting erroneous matches for error rates of more than 90%, which is considerably more than what is required in practice.     

π‐Conjugation Enables Ultra‐High Rate Capabilities and Cycling Stabilities in Phenothiazine Copolymers as Cathode‐Active Battery Materials

In recent years, organic battery cathode materials have emerged as an attractive alternative to metal oxide–based cathodes. Organic redox polymers that can be reversibly oxidized are particularly promising. A drawback, however, often is their limited cycling stability and rate performance in a high voltage range of more than 3.4 V versus Li/Li⁺. Herein, a conjugated copolymer design with phenothiazine as a redox‐active group and a bithiophene co‐monomer is presented, enabling ultra‐high rate capability and cycling stability. After 30 000 cycles at a 100C rate, >97% of the initial capacity is retained. The composite electrodes feature defined discharge potentials at 3.6 V versus Li/Li⁺ due to the presence of separated phenothiazine redox centers. The semiconducting nature of the polymer allows for fast charge transport in the composite electrode at a high mass loading of 60 wt%. A comparison with three structurally related polymers demonstrates that changing the size, amount, or nature of the side groups leads to a reduced cell performance. This conjugated copolymer design can be used in the development of advanced redox polymers for batteries.