Continuity for s-convex fuzzy processes

In a previous paper we introduced the concept of s-convex fuzzy mapping and established some properties. In this work we study the continuity for s-convex fuzzy processes

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

A 4% Geometric Distance to the Galaxy NGC4258 from Orbital Motions in a Nuclear Gas Disk

The water maser in the mildly active nucleus in the nearby galaxy NGC4258 traces a thin, nearly edge-on, subparsec-scale Keplerian disk. Using the technique of very long baseline interferometry, we have detected the proper motions of these masers as they sweep in front of the central black hole at an orbital velocity of about 1100 km/s. The average maser proper motion of 31.5 microarcseconds per year is used in conjunction with the observed acceleration of the masers to derive a purely geometric distance to the galaxy of 7.2 +- 0.3 Mpc. This is the most precise extragalactic distance measured to date, and, being independent of all other distance indicators, is likely to play an important role in calibrating the extragalactic distance scale.Comment: 11 pages, 3 figures. Accepted for publication in Natur

The length-tension diagrams of human oblique muscles in trochlear palsy and strabismus sursoadductorius

We determined the relation between length and tension in detached oblique muscles of 16 strabismus patients that underwent surgery, before and during contraction evoked by intravenous administration of succinylcholine. We frequently found a nonlinear relation between length and tension, unlike our previous findings in recti. In superior oblique palsies, the superior oblique was found, before injection of succinylcholine, to be stiff after elongation, and did not contract after injection of succinylcholine, while the ipsilateral inferior oblique contract after injection of succinylcholine, but with a higher spring constant than did usual. In 3 cases the superior oblique contracted vividly after administration of succinylcholine despite the presence of excyclotropia, stereopsis, torticollis (2 cases) and a hypertropia that increased in adduction, in downgaze, in adduction-and-downgaze and on ipsilateral head-tilt. The finding of a vividly contracting superior oblique is incompatible with the diagnosis of a complete superior oblique palsy. We conclude that some of the cases diagnosed as congenital superior oblique palsy, having a hypertropia increasing in adduction, in downgaze, in adduction-and-downgaze and on ipsilateral head-tilt, are in fact cases of unilateral strabismus sursoadductorius (upshoot in adduction), a non-paretic motility disorder

From Euclidean Geometry to Knots and Nets

This document is the Accepted Manuscript of an article accepted for publication in Synthese. Under embargo until 19 September 2018. The final publication is available at Springer via https://doi.org/10.1007/s11229-017-1558-x.This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if (a) it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, (b) the information thus displayed is not metrical and (c) it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions.Peer reviewe

Ontology of core data mining entities

In this article, we present OntoDM-core, an ontology of core data mining entities. OntoDM-core defines themost essential datamining entities in a three-layered ontological structure comprising of a specification, an implementation and an application layer. It provides a representational framework for the description of mining structured data, and in addition provides taxonomies of datasets, data mining tasks, generalizations, data mining algorithms and constraints, based on the type of data. OntoDM-core is designed to support a wide range of applications/use cases, such as semantic annotation of data mining algorithms, datasets and results; annotation of QSAR studies in the context of drug discovery investigations; and disambiguation of terms in text mining. The ontology has been thoroughly assessed following the practices in ontology engineering, is fully interoperable with many domain resources and is easy to extend

Development of the Malocclusion Impact Questionnaire (MIQ) to measure the oral health-related quality of life of young people with malocclusion: part 1 - qualitative inquiry

OBJECTIVES: To seek the views of adolescents with malocclusion about how the appearance and arrangement of their teeth affects their everyday life and to incorporate these views into a new Malocclusion Impact Questionnaire (MIQ). METHODS: Semi-structured interviews were undertaken with a purposive sample of 30 young people (10-16 years) referred for orthodontic treatment to two dental teaching hospitals. The interviews were recorded, transcribed and analysed using framework analysis. Several themes and sub themes were identified and these were used to identify items to include in the new measure. RESULTS: Three themes emerged which were: concerns about the appearance of their teeth, effect on social interactions and oral health/function. Participants expressed the view that their teeth did not look normal, causing them embarrassment and a lack of confidence, particularly when they were with their peers or having their photograph taken. Concerns regarding the potential effect of a malocclusion on oral health, in terms of food becoming stuck between crooked teeth, interferences when chewing and increased risk of damaging the teeth were also identified. The themes were used to generate individual items for inclusion in the questionnaire. CONCLUSIONS: Common themes relating to the impact of malocclusion on the lives of young people were identified and generated items for the new MIQ to measure the oral health-related quality of life of young people with malocclusion. Part 2 outlines the further development and testing of the MIQ

Practical Evaluation of Lempel-Ziv-78 and Lempel-Ziv-Welch Tries

We present the first thorough practical study of the Lempel-Ziv-78 and the Lempel-Ziv-Welch computation based on trie data structures. With a careful selection of trie representations we can beat well-tuned popular trie data structures like Judy, m-Bonsai or Cedar

Sporormiella as a tool for detecting the presence of large herbivores in the Neotropics

The reliability of using the abundance of Sporormiella spores as a proxy for the presence and abundance of megaherbivores was tested in southern Brazil. Mud-water interface samples from nine lakes, in which cattle-use was categorized as high, medium, or low, were assayed for Sporormiella representation. The sampling design allowed an analysis of both the influence of the number of animals using the shoreline and the distance of the sampling site from the nearest shoreline. Sporormiella was found to be a reliable proxy for the presence of large livestock. The concentration and abundance of spores declined from the edge of the lake toward the center, with the strongest response being in sites with high livestock use. Consistent with prior studies in temperate regions, we find that Sporormiella spores are a useful proxy to study the extinction of Pleistocene megafauna or the arrival of European livestock in Neotropical landscapes

How often should we monitor for reliable detection of atrial fibrillation recurrence? Efficiency considerations and implications for study design

OBJECTIVE: Although atrial fibrillation (AF) recurrence is unpredictable in terms of onset and duration, current intermittent rhythm monitoring (IRM) diagnostic modalities are short-termed and discontinuous. The aim of the present study was to investigate the necessary IRM frequency required to reliably detect recurrence of various AF recurrence patterns. METHODS: The rhythm histories of 647 patients (mean AF burden: 12±22% of monitored time; 687 patient-years) with implantable continuous monitoring devices were reconstructed and analyzed. With the use of computationally intensive simulation, we evaluated the necessary IRM frequency to reliably detect AF recurrence of various AF phenotypes using IRM of various durations. RESULTS: The IRM frequency required for reliable AF detection depends on the amount and temporal aggregation of the AF recurrence (p<0.0001) as well as the duration of the IRM (p<0.001). Reliable detection (>95% sensitivity) of AF recurrence required higher IRM frequencies (>12 24-hour; >6 7-day; >4 14-day; >3 30-day IRM per year; p<0.0001) than currently recommended. Lower IRM frequencies will under-detect AF recurrence and introduce significant bias in the evaluation of therapeutic interventions. More frequent but of shorter duration, IRMs (24-hour) are significantly more time effective (sensitivity per monitored time) than a fewer number of longer IRM durations (p<0.0001). CONCLUSIONS: Reliable AF recurrence detection requires higher IRM frequencies than currently recommended. Current IRM frequency recommendations will fail to diagnose a significant proportion of patients. Shorter duration but more frequent IRM strategies are significantly more efficient than longer IRM durations. CLINICAL TRIAL REGISTRATION URL: Unique identifier: NCT00806689