Shape-based cost analysis of skeletal parallel programs

Institute for Computing Systems ArchitectureThis work presents an automatic cost-analysis system for an implicitly parallel skeletal programming language. Although deducing interesting dynamic characteristics of parallel programs (and in particular, run time) is well known to be an intractable problem in the general case, it can be alleviated by placing restrictions upon the programs which can be expressed. By combining two research threads, the “skeletal” and “shapely” paradigms which take this route, we produce a completely automated, computation and communication sensitive cost analysis system. This builds on earlier work in the area by quantifying communication as well as computation costs, with the former being derived for the Bulk Synchronous Parallel (BSP) model. We present details of our shapely skeletal language and its BSP implementation strategy together with an account of the analysis mechanism by which program behaviour information (such as shape and cost) is statically deduced. This information can be used at compile-time to optimise a BSP implementation and to analyse computation and communication costs. The analysis has been implemented in Haskell. We consider different algorithms expressed in our language for some example problems and illustrate each BSP implementation, contrasting the analysis of their efficiency by traditional, intuitive methods with that achieved by our cost calculator. The accuracy of cost predictions by our cost calculator against the run time of real parallel programs is tested experimentally. Previous shape-based cost analysis required all elements of a vector (our nestable bulk data structure) to have the same shape. We partially relax this strict requirement on data structure regularity by introducing new shape expressions in our analysis framework. We demonstrate that this allows us to achieve the first automated analysis of a complete derivation, the well known maximum segment sum algorithm of Skillicorn and Cai

The Reliability Of Facial Soft Tissue Landmarks With Photogrammetry

Introduction:With attention being given to the deleterious effects of radiation exposure from dental radiographs and inaccuracies in cephalometric soft tissue measurements, an alternative method of facial analysis with sufficiently reliable soft tissue landmarks should be developed. The goals of this study were threefold: (1) to define a new, low-cost method for capturing standardized frontal and sagittal facial images, (2) to determine on which photographic view that landmarks can be more reliably located, and (3) to determine which landmarks are appropriate for quantitative facial analysis. Materials and Methods:Simultaneous frontal and right sagittal facial images of 10 male and 10 female dental student subjects were captured using high-definition webcams as part of a low-cost set-up. Seventeen identical predefined facial soft tissue landmarks were located by 5 examiners on both types of images and were recorded as coordinate values. These coordinate values were used to calculate the best estimate of the true value for each landmark, mean deviation from this best estimate, and reliability in the X- and Y-axes using the Shrout-Fleiss intraclass correlation coefficient with corresponding 95% confidence intervals. Two examiners repeated the landmark location to evaluate intra-examiner reliability. Results:With a 95% confidence interval range of \u3e0.950, nose and mouth landmarks were among the most reliable landmarks on frontal and sagittal facial images. Converselyright soft tissue gonionwas one of the least reliable landmarks located in this study. In general, landmarks located by a single examiner showed greater reliability than when there were multiple examiners. Conclusions:This low-cost method yielded frontal and sagittal images sufficient for landmark identification. The magnitude of error varies between landmarks, is largest for poorly demarcated landmarks, and most had a non-circular envelope of error. Certain landmarks were more reliable on sagittal images and others were more reliable on frontal images. All landmarks had greater reliability and less mean deviation when located by a single examiner

Type-driven automated program transformations and cost modelling for optimising streaming programs on FPGAs

In this paper we present a novel approach to program optimisation based on compiler-based type-driven program transformations and a fast and accurate cost/performance model for the target architecture. We target streaming programs for the problem domain of scientific computing, such as numerical weather prediction. We present our theoretical framework for type-driven program transformation, our target high-level language and intermediate representation languages and the cost model and demonstrate the effectiveness of our approach by comparison with a commercial toolchain

Soft tissue structure modelling for use in orthopaedic applications and musculoskeletal biomechanics

We present our methodology for the three-dimensional anatomical and geometrical description of soft tissues, relevant for orthopaedic surgical applications and musculoskeletal biomechanics. The technique involves the segmentation and geometrical description of muscles and neurovascular structures from high-resolution computer tomography scanning for the reconstruction of generic anatomical models. These models can be used for quantitative interpretation of anatomical and biomechanical aspects of different soft tissue structures. This approach should allow the use of these data in other application fields, such as musculoskeletal modelling, simulations for radiation therapy, and databases for use in minimally invasive, navigated and robotic surgery

Aerospace Medicine and Biology: a Continuing Bibliography with Indexes (Supplement 328)

This bibliography lists 104 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during September, 1989. Subject coverage includes: aerospace medicine and psychology, life support systems and controlled environments, safety equipment, exobiology and extraterrestrial life, and flight crew behavior and performance

Reliability of Digital Dental Cast Measures as Compared to Cone-Beam Computed Tomography for Analyzing the Transverse Dimension

The purpose of this study was to assess the consistency in diagnosing the transverse dimension on cone-beam computed tomography (CBCT) images as compared to digital dental models. The study consisted of 11 patients with posterior crossbite at the level of the first molar and 17 patients with no crossbite at the level of the first molar. 13 patients were male and 15 patients were female with an overall mean age of 13.6 years. Eight linear measurements and two angular measurements were made on CBCT images of the patients and six linear measurements were made on the corresponding digital dental casts. CBCT and model measurements were compared using One-Way Analysis of Variance (ANOVA) and Pearson correlation tests were used to seek relationships between the dental and skeletal measurements on CBCT. All ratios between maxillary and corresponding mandibular measurements were larger in non-crossbite patients than in crossbite patients. The central fossa (CF) was found to be the most representative and reliable tooth measurement in judging dental and skeletal transverse dimensions. A normative CF-CF ratio was determined to be equal to or greater than 1.10 for non-crossbite patients. High correlations were found between dental and skeletal measurements for non-crossbite patients with a CF-CF ratio equal to or greater than 1.10, but were not found for crossbite patients with a CF-CF ratio less than 1.10. In conclusion, CBCT scans may not provide additional diagnostic information as compared to dental models for non-crossbite patients. However, CBCT scans may be diagnostically beneficial for crossbite patients. Further studies with a larger sample size are needed to determine the validity of this study

Tools for Search Tree Visualization: The APT Tool

The control part of the execution of a constraint logic program can be conceptually shown as a search-tree, where nodes correspond to calis, and whose branches represent conjunctions and disjunctions. This tree represents the search space traversed by the program, and has also a direct relationship with the amount of work performed by the program. The nodes of the tree can be used to display information regarding the state and origin of instantiation of the variables involved in each cali. This depiction can also be used for the enumeration process. These are the features implemented in APT, a tool which runs constraint logic programs while depicting a (modified) search-tree, keeping at the same time information about the state of the variables at every moment in the execution. This information can be used to replay the execution at will, both forwards and backwards in time. These views can be abstracted when the size of the execution requires it. The search-tree view is used as a framework onto which constraint-level visualizations (such as those presented in the following chapter) can be attached

Genetic screen in Drosophila muscle identifies autophagy-mediated T-tubule remodeling and a Rab2 role in autophagy.

Transverse (T)-tubules make-up a specialized network of tubulated muscle cell membranes involved in excitation-contraction coupling for power of contraction. Little is known about how T-tubules maintain highly organized structures and contacts throughout the contractile system despite the ongoing muscle remodeling that occurs with muscle atrophy, damage and aging. We uncovered an essential role for autophagy in T-tubule remodeling with genetic screens of a developmentally regulated remodeling program in Drosophila abdominal muscles. Here, we show that autophagy is both upregulated with and required for progression through T-tubule disassembly stages. Along with known mediators of autophagosome-lysosome fusion, our screens uncovered an unexpected shared role for Rab2 with a broadly conserved function in autophagic clearance. Rab2 localizes to autophagosomes and binds to HOPS complex members, suggesting a direct role in autophagosome tethering/fusion. Together, the high membrane flux with muscle remodeling permits unprecedented analysis both of T-tubule dynamics and fundamental trafficking mechanisms