1,315 research outputs found
Trackability Measurement of Coronary Stent in a Coronary Vessel Modell
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
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 -LDP mechanism with an
-LDP mechanism is
-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
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
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
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
- …