1,315 research outputs found

    Trackability Measurement of Coronary Stent in a Coronary Vessel Modell

    Get PDF
    The EN 14299 standard describes in vitro tests of stent and stent system which are specified more precisely and cover a number of additional parameters. In this paper examination of bare metal coronary stents are shown, such as the trackability force measurement. The measurement of the system’s trackability was performed using an in vitro coronary vessel model with the method worked out by us. The trackability is a very important property of the stent system

    Can Two Walk Together: Privacy Enhancing Methods and Preventing Tracking of Users

    Get PDF
    We present a new concern when collecting data from individuals that arises from the attempt to mitigate privacy leakage in multiple reporting: tracking of users participating in the data collection via the mechanisms added to provide privacy. We present several definitions for untrackable mechanisms, inspired by the differential privacy framework. Specifically, we define the trackable parameter as the log of the maximum ratio between the probability that a set of reports originated from a single user and the probability that the same set of reports originated from two users (with the same private value). We explore the implications of this new definition. We show how differentially private and untrackable mechanisms can be combined to achieve a bound for the problem of detecting when a certain user changed their private value. Examining Google's deployed solution for everlasting privacy, we show that RAPPOR (Erlingsson et al. ACM CCS, 2014) is trackable in our framework for the parameters presented in their paper. We analyze a variant of randomized response for collecting statistics of single bits, Bitwise Everlasting Privacy, that achieves good accuracy and everlasting privacy, while only being reasonably untrackable, specifically grows linearly in the number of reports. For collecting statistics about data from larger domains (for histograms and heavy hitters) we present a mechanism that prevents tracking for a limited number of responses. We also present the concept of Mechanism Chaining, using the output of one mechanism as the input of another, in the scope of Differential Privacy, and show that the chaining of an ε1\varepsilon_1-LDP mechanism with an ε2\varepsilon_2-LDP mechanism is lneε1+ε2+1eε1+eε2\ln\frac{e^{\varepsilon_1+\varepsilon_2}+1}{e^{\varepsilon_1}+e^{\varepsilon_2}}-LDP and that this bound is tight.Comment: 45 pages, 4 figures. To appear on FORC 202

    Examination of mechanical and medical application properties of coronary stents

    Get PDF
    The medical application properties of coronary stents describe their behaviour in the human vascular system from planting to functioning. However these properties have great importance to surgeons, not all of them have standardized examination methods. In our study we demonstrate three procedures, which can be used to examine stents, considering the referred properties, like flaring, trackability and MSA (metallic surface area). In the course of our research four stents were investigated, three made of tube and one made of wire, and the results were promising about the application of these methods described in the followings

    Guaranteeing Input Tracking For Constrained Systems: Theory and Application to Demand Response

    Full text link
    A method for certifying exact input trackability for constrained discrete time linear systems is introduced in this paper. A signal is assumed to be drawn from a reference set and the system must track this signal with a linear combination of its inputs. Using methods inspired from robust model predictive control, the proposed approach certifies the ability of a system to track any reference drawn from a polytopic set on a finite time horizon by solving a linear program. Optimization over a parameterization of the set of reference signals is discussed, and particular instances of parameterization of this set that result in a convex program are identified, allowing one to find the largest set of trackable signals of some class. Infinite horizon feasibility of the methods proposed is obtained through use of invariant sets, and an implicit description of such an invariant set is proposed. These results are tailored for the application of power consumption tracking for loads, where the operator of the load needs to certify in advance his ability to fulfill some requirement set by the network operator. An example of a building heating system illustrates the results.Comment: Technical Not

    New high order sufficient conditions for configuration tracking

    Full text link
    In this paper, we propose new conditions guaranteeing that the trajectories of a mechanical control system can track any curve on the configuration manifold. We focus on systems that can be represented as forced affine connection control systems and we generalize the sufficient conditions for tracking known in the literature. The new results are proved by a combination of averaging procedures by highly oscillating controls with the notion of kinematic reduction.Comment: arXiv admin note: text overlap with arXiv:0911.536
    corecore