A 7-year follow-up of sacral anterior root stimulation for bladder control in patients with a spinal cord injury: quality of life and users' experiences\ud

Study design: Cross-sectional descriptive study.\ud \ud Objectives: To assess long-term effects and quality of life (QoL) of using sacral anterior root stimulation (SARS) in spinal cord injured patients.\ud \ud Setting: Neurosurgical and Urological Departments of a large teaching hospital and a large rehabilitation centre in the Netherlands.\ud \ud Methods: In all, 42 patients with complete spinal cord injury (SCI) implanted between 1987 and 2000 were included. A questionnaire was constructed to determine complications, technical failures and personal experiences of the patients. The Qualiveen questionnaire was used and the outcome was compared with data obtained from a reference group of 400 SCI patients with neurogenic bladder problems not using the bladder controller. The Qualiveen questionnaire measures disease-specific aspects in four domains with respect to limitations, constraints, fears and feelings and general QoL aspects, suitable for use in SCI patients with urinary disorders.\ud \ud Results: The results of 37 patients are presented. Our results with the bladder controller with respect to medical and technical complications and infection rates are similar to the results presented by others. From users' experiences, the most important advantages reported were a decreased infection rate (68%), improved social life (54%) and continence (54%). Comparison of the obtained results of our patient group with the Qualiveen questionnaire with a reference group not using the bladder controller indicates that the specific impact of urinary disorders in the four domains on QoL is reduced and that general QoL is improved.\ud \ud Conclusion: SARS is effective and safe for neurogenic bladder management in patients with complete SCI. Users' experiences are positive. Furthermore, this therapy seems to reduce the effects of urinary-disorder-specific QoL aspects, and to increase the QoL in general\u

Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL

Equations over free inverse monoids with idempotent variables

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. The result is proved by a direct reduction to solve language equations with one-sided concatenation and a known complexity result by Baader and Narendran: Unification of concept terms in description logics, 2001. We also show that the problem becomes DEXPTIME hard , as soon as the quotient group of the free inverse monoid has rank at least two. Decidability for systems of typed equations over a free inverse monoid with one irreducible variable and at least one unbalanced equation is proved with the same complexity for the upper bound. Our results improve known complexity bounds by Deis, Meakin, and Senizergues: Equations in free inverse monoids, 2007. Our results also apply to larger families of equations where no decidability has been previously known.Comment: 28 pages. The conference version of this paper appeared in the proceedings of 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015. Springer LNCS 9139, pp. 173-188 (2015

Mycoprotein reduces energy intake and postprandial insulin release without altering glucagon-like peptide-1 and peptide tyrosine-tyrosine concentrations in healthy overweight and obese adults: a randomised-controlled trial

Dietary mycoprotein decreases energy intake in lean individuals. The effects in overweight individuals are unclear, and the mechanisms remain to be elucidated. This study aimed to investigate the effect of mycoprotein on energy intake, appetite regulation, and the metabolic phenotype in overweight and obese volunteers. In two randomised-controlled trials, fifty-five volunteers (age: 31 (95 % CI 27, 35) years), BMI: 28·0 (95 % CI 27·3, 28·7) kg/m2) consumed a test meal containing low (44 g), medium (88 g) or high (132 g) mycoprotein or isoenergetic chicken meals. Visual analogue scales and blood samples were collected to measure appetite, glucose, insulin, peptide tyrosine-tyrosine (PYY) and glucagon-like peptide-1 (GLP-1). Ad libitum energy intake was assessed after 3 h in part A (n 36). Gastric emptying by the paracetamol method, resting energy expenditure and substrate oxidation were recorded in part B (n 14). Metabonomics was used to compare plasma and urine samples in response to the test meals. Mycoprotein reduced energy intake by 10 % (280 kJ (67 kcal)) compared with chicken at the high content (P=0·009). All mycoprotein meals reduced insulin concentrations compared with chicken (incremental AUClow (IAUClow): -8 %, IAUCmedium: -12 %, IAUChigh: -21 %, P=0·004). There was no significant difference in glucose, PYY, GLP-1, gastric emptying rate and energy expenditure. Following chicken intake, paracetamol-glucuronide was positively associated with fullness. After mycoprotein, creatinine and the deamination product of isoleucine, α-keto-β-methyl-N-valerate, were inversely related to fullness, whereas the ketone body, β-hydroxybutyrate, was positively associated. In conclusion, mycoprotein reduces energy intake and insulin release in overweight volunteers. The mechanism does not involve changes in PYY and GLP-1. The metabonomics analysis may bring new understanding to the appetite regulatory properties of food.</p

Non-Redundant Spectral Dimensionality Reduction

Spectral dimensionality reduction algorithms are widely used in numerous domains, including for recognition, segmentation, tracking and visualization. However, despite their popularity, these algorithms suffer from a major limitation known as the "repeated Eigen-directions" phenomenon. That is, many of the embedding coordinates they produce typically capture the same direction along the data manifold. This leads to redundant and inefficient representations that do not reveal the true intrinsic dimensionality of the data. In this paper, we propose a general method for avoiding redundancy in spectral algorithms. Our approach relies on replacing the orthogonality constraints underlying those methods by unpredictability constraints. Specifically, we require that each embedding coordinate be unpredictable (in the statistical sense) from all previous ones. We prove that these constraints necessarily prevent redundancy, and provide a simple technique to incorporate them into existing methods. As we illustrate on challenging high-dimensional scenarios, our approach produces significantly more informative and compact representations, which improve visualization and classification tasks

First observation of psi(2S)-->K_S K_L

The decay psi(2S)-->K_S K_L is observed for the first time using psi(2S) data collected with the Beijing Spectrometer (BESII) at the Beijing Electron Positron Collider (BEPC); the branching ratio is determined to be B(psi(2S)-->K_S K_L) = (5.24\pm 0.47 \pm 0.48)\times 10^{-5}. Compared with J/psi-->K_S K_L, the psi(2S) branching ratio is enhanced relative to the prediction of the perturbative QCD ``12%'' rule. The result, together with the branching ratios of psi(2S) decays to other pseudoscalar meson pairs (\pi^+\pi^- and K^+K^-), is used to investigate the relative phase between the three-gluon and the one-photon annihilation amplitudes of psi(2S) decays.Comment: 5 pages, 4 figures, 2 tables, submitted to Phys. Rev. Let

Study of psi(2S) decays to X J/psi

Using J/psi -> mu^+ mu^- decays from a sample of approximately 4 million psi(2S) events collected with the BESI detector, the branching fractions of psi(2S) -> eta J/psi, pi^0 pi^0 J/psi, and anything J/psi normalized to that of psi(2S) -> pi^+ pi^- J/psi are measured. The results are B(psi(2S) -> eta J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.098 \pm 0.005 \pm 0.010, B(psi(2S) -> pi^0 pi^0 J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 0.570 \pm 0.009 \pm 0.026, and B(psi(2S) -> anything J/psi)/B(psi(2S) -> pi^+ pi^- J/psi) = 1.867 \pm 0.026 \pm 0.055.Comment: 13 pages, 8 figure

The incidence of scarring on the dorsum of the hand

When undertaking image comparison of the hand between accused and perpetrator, it is not unusual for scars to be identified on the back of the hand. To investigate the occurrence of scarring in a discreet sample, a database of 238 individuals was examined, and the dorsum of the right and left hands was gridded for each individual. The position, size and type of scar were recorded within each grid. It was found that, in general, males exhibited a higher incidence of scarring than females. However, males were more likely to show scarring on their left hand whereas females were more likely to exhibit scarring on their right hand. Contrary to the literature, scarring was not most prevalent along the borders of the hand but occurred more frequently in association with the index and middle finger corridor regions. Surgical scars were rare as were large scars whereas linear scars smaller than 6 mm were the most frequently identified. Close to half of the sample did not exhibit scarring on one hand. The importance of understanding the pattern of scarring on the back of the hand is discussed in the light of forensic image comparison analysis