71,747 research outputs found

    The Topology ToolKit

    Full text link
    This system paper presents the Topology ToolKit (TTK), a software platform designed for topological data analysis in scientific visualization. TTK provides a unified, generic, efficient, and robust implementation of key algorithms for the topological analysis of scalar data, including: critical points, integral lines, persistence diagrams, persistence curves, merge trees, contour trees, Morse-Smale complexes, fiber surfaces, continuous scatterplots, Jacobi sets, Reeb spaces, and more. TTK is easily accessible to end users due to a tight integration with ParaView. It is also easily accessible to developers through a variety of bindings (Python, VTK/C++) for fast prototyping or through direct, dependence-free, C++, to ease integration into pre-existing complex systems. While developing TTK, we faced several algorithmic and software engineering challenges, which we document in this paper. In particular, we present an algorithm for the construction of a discrete gradient that complies to the critical points extracted in the piecewise-linear setting. This algorithm guarantees a combinatorial consistency across the topological abstractions supported by TTK, and importantly, a unified implementation of topological data simplification for multi-scale exploration and analysis. We also present a cached triangulation data structure, that supports time efficient and generic traversals, which self-adjusts its memory usage on demand for input simplicial meshes and which implicitly emulates a triangulation for regular grids with no memory overhead. Finally, we describe an original software architecture, which guarantees memory efficient and direct accesses to TTK features, while still allowing for researchers powerful and easy bindings and extensions. TTK is open source (BSD license) and its code, online documentation and video tutorials are available on TTK's website

    Model transformations and Tool Integration

    Get PDF
    Model transformations are increasingly recognised as being of significant importance to many areas of software development and integration. Recent attention on model transformations has particularly focused on the OMGs Queries/Views/Transformations (QVT) Request for Proposals (RFP). In this paper I motivate the need for dedicated approaches to model transformations, particularly for the data involved in tool integration, outline the challenges involved, and then present a number of technologies and techniques which allow the construction of flexible, powerful and practical model transformations

    Firm development as an integrated process: with evidence from the General Motors-Fisher Body case

    Get PDF
    This paper argues that an adequate approach to the firm should be able to accommodate the complexities of actual firm development. The latter is conceptualized in terms of three general stages: prime movers or drivers of change, change processes, and change attractors. Furthermore, any "real-world" firm is both a technical and an institutional unit. To emphasize the importance of "real firm" analysis, the discussion presented here revolves around an understanding of the much considered case of General Motors and Fisher Body integration has developed over time. Generalization from this case suggests that an integrated view of the firm is necessary that combines the three stages and the two bases (technical and institutional). Six general perspectives on the firm are identified as having technical or institutional bases that are relevant in each of the three stages. This integrated approach to the firm is explored in terms of the general topic of firm development. It is concluded that, without an integrated approach to firm development, a potentially biased or incomplete analysis can result

    Metamodel-based model conformance and multiview consistency checking

    Get PDF
    Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

    Surface and Temporal Biosignatures

    Full text link
    Recent discoveries of potentially habitable exoplanets have ignited the prospect of spectroscopic investigations of exoplanet surfaces and atmospheres for signs of life. This chapter provides an overview of potential surface and temporal exoplanet biosignatures, reviewing Earth analogues and proposed applications based on observations and models. The vegetation red-edge (VRE) remains the most well-studied surface biosignature. Extensions of the VRE, spectral "edges" produced in part by photosynthetic or nonphotosynthetic pigments, may likewise present potential evidence of life. Polarization signatures have the capacity to discriminate between biotic and abiotic "edge" features in the face of false positives from band-gap generating material. Temporal biosignatures -- modulations in measurable quantities such as gas abundances (e.g., CO2), surface features, or emission of light (e.g., fluorescence, bioluminescence) that can be directly linked to the actions of a biosphere -- are in general less well studied than surface or gaseous biosignatures. However, remote observations of Earth's biosphere nonetheless provide proofs of concept for these techniques and are reviewed here. Surface and temporal biosignatures provide complementary information to gaseous biosignatures, and while likely more challenging to observe, would contribute information inaccessible from study of the time-averaged atmospheric composition alone.Comment: 26 pages, 9 figures, review to appear in Handbook of Exoplanets. Fixed figure conversion error

    General dynamics of the physical-chemical systems in mammals

    Get PDF
    Biodynamic regulator chain models for physical chemical systems in mammal

    Assistive technology design and development for acceptable robotics companions for ageing years

    Get PDF
    © 2013 Farshid Amirabdollahian et al., licensee Versita Sp. z o. o. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivs license, which means that the text may be used for non-commercial purposes, provided credit is given to the author.A new stream of research and development responds to changes in life expectancy across the world. It includes technologies which enhance well-being of individuals, specifically for older people. The ACCOMPANY project focuses on home companion technologies and issues surrounding technology development for assistive purposes. The project responds to some overlooked aspects of technology design, divided into multiple areas such as empathic and social human-robot interaction, robot learning and memory visualisation, and monitoring persons’ activities at home. To bring these aspects together, a dedicated task is identified to ensure technological integration of these multiple approaches on an existing robotic platform, Care-O-Bot®3 in the context of a smart-home environment utilising a multitude of sensor arrays. Formative and summative evaluation cycles are then used to assess the emerging prototype towards identifying acceptable behaviours and roles for the robot, for example role as a butler or a trainer, while also comparing user requirements to achieved progress. In a novel approach, the project considers ethical concerns and by highlighting principles such as autonomy, independence, enablement, safety and privacy, it embarks on providing a discussion medium where user views on these principles and the existing tension between some of these principles, for example tension between privacy and autonomy over safety, can be captured and considered in design cycles and throughout project developmentsPeer reviewe

    Acute modulation of brain connectivity in Parkinson disease after automatic mechanical peripheral stimulation: A pilot study

    Get PDF
    The present study shows the results of a double-blind sham-controlled pilot trial to test whether measurable stimulus-specific functional connectivity changes exist after Automatic Mechanical Peripheral Stimulation (AMPS) in patients with idiopathic Parkinson Disease.Eleven patients (6 women and 5 men) with idiopathic Parkinson Disease underwent brain fMRI immediately before and after sham or effective AMPS. Resting state Functional Connectivity (RSFC) was assessed using the seed-ROI based analysis. Seed ROIs were positioned on basal ganglia, on primary sensory-motor cortices, on the supplementary motor areas and on the cerebellum. Individual differences for pre- and post-effective AMPS and pre- and post-sham condition were obtained and first entered in respective one-sample t-test analyses, to evaluate the mean effect of condition.Effective AMPS, but not sham stimulation, induced increase of RSFC of the sensory motor cortex, nucleus striatum and cerebellum. Secondly, individual differences for both conditions were entered into paired group t-test analysis to rule out sub-threshold effects of sham stimulation, which showed stronger connectivity of the striatum nucleus with the right lateral occipital cortex and the cuneal cortex (max Z score 3.12) and with the right anterior temporal lobe (max Z score 3.42) and of the cerebellum with the right lateral occipital cortex and the right cerebellar cortex (max Z score 3.79).Our results suggest that effective AMPS acutely increases RSFC of brain regions involved in visuo-spatial and sensory-motor integration.This study provides Class II evidence that automatic mechanical peripheral stimulation is effective in modulating brain functional connectivity of patients with Parkinson Disease at rest.Clinical Trials.gov NCT01815281
    corecore