Compositional Algorithms for Succinct Safety Games

We study the synthesis of circuits for succinct safety specifications given in the AIG format. We show how AIG safety specifications can be decomposed automatically into sub specifications. Then we propose symbolic compositional algorithms to solve the synthesis problem compositionally starting for the sub-specifications. We have evaluated the compositional algorithms on a set of benchmarks including those proposed for the first synthesis competition organised in 2014 by the Synthesis Workshop affiliated to the CAV conference. We show that a large number of benchmarks can be decomposed automatically and solved more efficiently with the compositional algorithms that we propose in this paper.Comment: In Proceedings SYNT 2015, arXiv:1602.0078

AbsSynthe: abstract synthesis from succinct safety specifications

In this paper, we describe a synthesis algorithm for safety specifications described as circuits. Our algorithm is based on fixpoint computations, abstraction and refinement, it uses binary decision diagrams as symbolic data structure. We evaluate our tool on the benchmarks provided by the organizers of the synthesis competition organized within the SYNT'14 workshop.Comment: In Proceedings SYNT 2014, arXiv:1407.493

Extraction of incarcerated medial epicondyle from the elbow joint using conventional nerve stimulator:a case report

INTRODUCTION: Incarceration of the medial epicondyle is a well-recognised sequelae following closed reduction of the elbow. Manipulation for extraction is not usually successful and hence an incarcerated medial epicondyle is usually an indication for open reduction and fixation. CASE PRESENTATION: We describe a simple technique of closed reduction using a conventional nerve stimulator to extract an incarcerated medial epicondyle in a 13-year-old Caucasian boy. This technique uses contraction of the attached common flexor muscles to indirectly extract the trapped medial epicondyle. CONCLUSIONS: This is a simple technique using a commonly available nerve stimulator and may obviate the need for extensile open reduction for extraction of the incarcerated medial epicondyle. We would recommend this technique where closed reduction methods have failed

3D Face Recognition Benchmarks on the Bosphorus Database with Focus on Facial Expressions

This paper presents an evaluation of several 3D face recognizers on the Bosphorus database, which was gathered for studies on expression and pose invariant face analysis. We provide identification results of three 3D face recognition algorithms, namely generic face template based ICP approach, one-to-all ICP approach, and depth image-based Principal Component Analysis (PCA) method. All of these techniques treat faces globally and are usually accepted as baseline approaches. In addition, 2D texture classifiers are also incorporated in a fusion setting. Experimental results reveal that even though global shape classifiers achieve almost perfect identification in neutral-to-neutral comparisons, they are sub-optimal under extreme expression variations. We show that it is possible to boost the identification accuracy by focusing on the rigid facial regions and by fusing complementary information coming from shape and texture modalities

Concave and Convex photonic Barriers in Gradient Optics

Propagation and tunneling of light through photonic barriers formed by thin dielectric films with continuous curvilinear distributions of dielectric susceptibility across the film, are considered. Giant heterogeneity-induced dispersion of these films, both convex and concave, and its influence on their reflectivity and transmittivity are visualized by means of exact analytical solutions of Maxwell equations. Depending on the cut-off frequency of the film, governed by the spatial profile of its refractive index, propagation or tunneling of light through such barriers are examined. Subject to the shape of refractive index profile the group velocities of EM waves in these films are shown to be either increased or deccreased as compared with the homogeneous layers; however, these velocities for both propagation and tunneling regimes remain subluminal. The decisive influence of gradient and curvature of photonic barriers on the efficiency of tunneling is examined by means of generalized Fresnel formulae. Saturation of the phase of the wave tunneling through a stack of such films (Hartman effect), is demonstrated. The evanescent modes in lossy barriers and violation of Hartman effect in this case is discussed