1,032 research outputs found
Polyunsaturated fatty acids and the fetal origins hypothesis : a study on cardiovascular risk indicators in children
Synopsis of an engineering solution for a painful problem Phantom Limb Pain
This paper is synopsis of a recently proposed solution for treating patients who suffer from Phantom Limb Pain (PLP). The underpinning approach of this research and development project is based on an extension of “mirror box” therapy which has had some promising results in pain reduction. An outline of an immersive individually tailored environment giving the patient a virtually realised limb presence, as a means to pain reduction is provided. The virtual 3D holographic environment is meant to produce immersive, engaging and creative environments and tasks to encourage and maintain patients’ interest, an important aspect in two of the more challenging populations under consideration (over-60s and war veterans). The system is hoped to reduce PLP by more than 3 points on an 11 point Visual Analog Scale (VAS), when a score less than 3 could be attributed to distraction alone
Interval Slopes as Numerical Abstract Domain for Floating-Point Variables
The design of embedded control systems is mainly done with model-based tools
such as Matlab/Simulink. Numerical simulation is the central technique of
development and verification of such tools. Floating-point arithmetic, that is
well-known to only provide approximated results, is omnipresent in this
activity. In order to validate the behaviors of numerical simulations using
abstract interpretation-based static analysis, we present, theoretically and
with experiments, a new partially relational abstract domain dedicated to
floating-point variables. It comes from interval expansion of non-linear
functions using slopes and it is able to mimic all the behaviors of the
floating-point arithmetic. Hence it is adapted to prove the absence of run-time
errors or to analyze the numerical precision of embedded control systems
Lagrangian Reachabililty
We introduce LRT, a new Lagrangian-based ReachTube computation algorithm that
conservatively approximates the set of reachable states of a nonlinear
dynamical system. LRT makes use of the Cauchy-Green stretching factor (SF),
which is derived from an over-approximation of the gradient of the solution
flows. The SF measures the discrepancy between two states propagated by the
system solution from two initial states lying in a well-defined region, thereby
allowing LRT to compute a reachtube with a ball-overestimate in a metric where
the computed enclosure is as tight as possible. To evaluate its performance, we
implemented a prototype of LRT in C++/Matlab, and ran it on a set of
well-established benchmarks. Our results show that LRT compares very favorably
with respect to the CAPD and Flow* tools.Comment: Accepted to CAV 201
Sharper and Simpler Nonlinear Interpolants for Program Verification
Interpolation of jointly infeasible predicates plays important roles in
various program verification techniques such as invariant synthesis and CEGAR.
Intrigued by the recent result by Dai et al.\ that combines real algebraic
geometry and SDP optimization in synthesis of polynomial interpolants, the
current paper contributes its enhancement that yields sharper and simpler
interpolants. The enhancement is made possible by: theoretical observations in
real algebraic geometry; and our continued fraction-based algorithm that rounds
off (potentially erroneous) numerical solutions of SDP solvers. Experiment
results support our tool's effectiveness; we also demonstrate the benefit of
sharp and simple interpolants in program verification examples
Mitochondrial dysfunction in sepsis is associated with diminished intramitochondrial TFAM despite its increased cellular expression
Sepsis is characterized by a dysregulated immune response, metabolic derangements and bioenergetic failure. These alterations are closely associated with a profound and persisting mitochondrial dysfunction. This however occurs despite increased expression of the nuclear-encoded transcription factor A (TFAM) that normally supports mitochondrial biogenesis and functional recovery. Since this paradox may relate to an altered intracellular distribution of TFAM in sepsis, we tested the hypothesis that enhanced extramitochondrial TFAM expression does not translate into increased intramitochondrial TFAM abundance. Accordingly, we prospectively analyzed PBMCs both from septic patients (n = 10) and lipopolysaccharide stimulated PBMCs from healthy volunteers (n = 20). Extramitochondrial TFAM protein expression in sepsis patients was 1.8-fold greater compared to controls (p = 0.001), whereas intramitochondrial TFAM abundance was approximate 80% less (p < 0.001). This was accompanied by lower mitochondrial DNA copy numbers (p < 0.001), mtND1 expression (p < 0.001) and cellular ATP content (p < 0.001) in sepsis patients. These findings were mirrored in lipopolysaccharide stimulated PBMCs taken from healthy volunteers. Furthermore, TFAM-TFB2M protein interaction within the human mitochondrial core transcription initiation complex, was 74% lower in septic patients (p < 0.001). In conclusion, our findings, which demonstrate a diminished mitochondrial TFAM abundance in sepsis and endotoxemia, may help to explain the paradox of lacking bioenergetic recovery despite enhanced TFAM expression
Synopsis of an engineering solution for a painful problem: Phantom limb pain
This paper is synopsis of a recently proposed solution for treating patients who suffer from Phantom Limb Pain (PLP). The underpinning approach of this research and development project is based on an extension of "mirror box" therapy which has had some promising results in pain reduction. An outline of an immersive individually tailored environment giving the patient a virtually realised limb presence, as a means to pain reduction is provided. The virtual 3D holographic environment is meant to produce immersive, engaging and creative environments and tasks to encourage and maintain patients' interest, an important aspect in two of the more challenging populations under consideration (over-60s and war veterans). The system is hoped to reduce PLP by more than 3 points on an 11 point Visual Analog Scale (VAS), when a score less than 3 could be attributed to distraction alone. Copyright © 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.Published versio
Tracking the Expression of Annoyance in Call Centers
Machine learning researchers have dealt with the identification of emo- tional cues from speech since it is research domain showing a large number of po- tential applications. Many acoustic parameters have been analyzed when searching for cues to identify emotional categories. Then classical classifiers and also out- standing computational approaches have been developed. Experiments have been carried out mainly over induced emotions, even if recently research is shifting to work over spontaneous emotions. In such a framework, it is worth mentioning that the expression of spontaneous emotions depends on cultural factors, on the particu- lar individual and also on the specific situation. In this work, we were interested in the emotional shifts during conversation. In particular we were aimed to track the annoyance shifts appearing in phone conversations to complaint services. To this end we analyzed a set of audio files showing different ways to express annoyance. The call center operators found disappointment, impotence or anger as expression of annoyance. However, our experiments showed that variations of parameters derived from intensity combined with some spectral information and suprasegmental fea- tures are very robust for each speaker and annoyance rate. The work also discussed the annotation problem arising when dealing with human labelling of subjective events. In this work we proposed an extended rating scale in order to include anno- tators disagreements. Our frame classification results validated the chosen annota- tion procedure. Experimental results also showed that shifts in customer annoyance rates could be potentially tracked during phone callsSpanish Mineco under grant TIN2014- 54288-C4-4-R
H2020 EU under Empathic RIA action number 769872
- …