Genetic sequences: tracing the mutations of a disease.

The entry is to address the mini challenge 3 in the IEEE VAST Challenge 2010. A patient, identified by Interpol as Nicolai Kuryakin, is admitted to a hospital in Paris after being removed from a flight to Moscow due to illness. The patient, now deceased, was admitted with an unidentified illness and later developed symptoms consistent with Drafa Fever. An autopsy confirmed the presence of the Drafa virus in the patient’s bloodstream. Visual analytics methods are applied to help to understand the evolution of the current Drafa virus outbreak, as it may shed some light on Nicolai’s contacts

Colour vision model-based approach for segmentation of traffic signs

This paper presents a new approach to segment traffic signs from the rest of a scene via CIECAM, a colour appearance model. This approach not only takes CIECAM into practical application for the first time since it was standardised in 1998, but also introduces a new way of segmenting traffic signs in order to improve the accuracy of colour-based approach. Comparison with the other CIE spaces, including CIELUV and CIELAB, and RGB colour space is also carried out. The results show that CIECAM performs better than the other three spaces with 94%, 90%, and 85% accurate rates for sunny, cloudy, and rainy days, respectively. The results also confirm that CIECAM does predict the colour appearance similar to average observers

A user study on curved edges in graph visualization

Recently there has been increasing research interest in displaying graphs with curved edges to produce more readable visualizations. While there are several automatic techniques, little has been done to evaluate their effectiveness empirically. In this paper we present two experiments studying the impact of edge curvature on graph readability. The goal is to understand the advantages and disadvantages of using curved edges for common graph tasks compared to straight line segments, which are the conventional choice for showing edges in node-link diagrams. We included several edge variations: straight edges, edges with different curvature levels, and mixed straight and curved edges. During the experiments, participants were asked to complete network tasks including determination of connectivity, shortest path, node degree, and common neighbors. We also asked the participants to provide subjective ratings of the aesthetics of different edge types. The results show significant performance differences between the straight and curved edges and clear distinctions between variations of curved edges

Hospitalization records: characterization of pandemic spread.

In this report we described our visual analytics study of the pandemic spread data from the Mini Challenge 2 of the VAST Challenge 2010. We distinguished the countries with epidemic from those that are without, identified symptoms related to the epidemic, and compared the outbreak characteristics across countries. Several small visual analytics tools are developed for different analyses. Their integration and generalization are possible future work

Kin against kin: internal co-selection and the coherence of kinship typologies

Across the world people in different societies structure their family relationships in many different ways. These relationships become encoded in their languages as kinship terminology, a word set that maps variably onto a vast genealogical grid of kinship categories, each of which could in principle vary independently. But the observed diversity of kinship terminology is considerably smaller than the enormous theoretical design space. For the past century anthropologists have captured this variation in typological schemes with only a small number of model system types. Whether those types exhibit the internal co-selection of parts implicit in their use is an outstanding question, as is the sufficiency of typologies in capturing variation as a whole. We interrogate the coherence of classic kinship typologies using modern statistical approaches and systematic data from a new database, Kinbank. We first survey the canonical types and their assumed patterns of internal and external co-selection, then present two data-driven approaches to assess internal coherence. Our first analysis reveals that across parents’ and ego’s (one’s own) generation, typology has limited predictive value: knowing the system in one generation does not reliably predict the other. Though we detect limited co-selection between generations, “disharmonic” systems are equally common. Second, we represent structural diversity with a novel multidimensional approach we term kinship space. This approach reveals, for ego’s generation, some broad patterning consistent with the canonical typology, but diversity (and mixed systems) is considerably higher than classical typologies suggest. Our results strongly challenge the descriptive adequacy of the set of canonical kinship types.Introduction Classic Typologies of Kinship - Hawaiian - Eskimo - Dravidian Systems - Sudanese Systems - Crow/Omaha - The Classic Typology: Recap Our Database - Languages - Kin Types Testing Typological Cohesion: Clearing the Ground with New Data Testing Typological Cohesion: Introducing New Methods - Creating the Kinship Space - Interpreting the Kinship Space -- Cluster Identification -- Eskimo -- Cross-parallal and Sudanese -- Hawaiian Conclusions: On the Internal Coherence of Canonical Type

A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/

Flourishing in nature: A review of the benefits of connecting with nature and its application as a wellbeing intervention

From the increasing number of people living in urban areas to the continued degradation of the natural environment, many of us appear to be physically and psychologically disconnected from nature. We consider the theoretical explanations and present evidence for why this state of affairs might result in suboptimal levels of hedonic and eudaimonic wellbeing by reviewing the large body of research on the mental health benefits of connecting with nature. The advantages of contact with nature as a potential wellbeing intervention are discussed, and examples of how this research is being applied to reconnect individuals to nature and improve wellbeing are given. We conclude by considering the limitations of, and proposing future directions for, research in this area. Overall, evidence suggests that connecting with nature is one path to flourishing in life

Addressing VAST 2016 mini challenge 2 with POLAR kermode, classifier, excel on a power wall and data timelines

We describe our approach to addressing Mini Challenge 2 of the 2016 IEEE VAST Challenge. We describe four tools: POLAR Kermode, Classifier, Excel with conditional formatting on a power wall and Data Timelines

An ovine model of hyperdynamic endotoxemia and vital organ metabolism

BACKGROUND: Animal models of endotoxemia are frequently used to understand the pathophysiology of sepsis and test new therapies. However, important differences exist between commonly used experimental models of endotoxemia and clinical sepsis. Animal models of endotoxemia frequently produce hypodynamic shock in contrast to clinical hyperdynamic shock. This difference may exaggerate the importance of hypoperfusion as a causative factor in organ dysfunction. This study sought to develop an ovine model of hyperdynamic endotoxemia and assess if there is evidence of impaired oxidative metabolism in the vital organs. METHODS: Eight sheep had microdialysis catheters implanted into the brain, heart, liver, kidney and arterial circulation. Shock was induced with a 4hr escalating dose infusion of endotoxin. After 3hrs vasopressor support was initiated with noradrenaline and vasopressin. Animals were monitored for 12hrs after endotoxemia. Blood samples were recovered for haemoglobin, white blood cell count, creatinine and proinflammatory cytokines (IL-1Beta, IL-6 & IL-8). RESULTS: The endotoxin infusion was successful in producing distributive shock with the mean arterial pressure decreasing from 84.5 ± 12.8 mmHg to 49 ± 8.03 mmHg (p < 0.001). Cardiac index remained within the normal range decreasing from 3.33 ± 0.56 l/min/m to 2.89l ± 0.36 l/min/m (p = 0.0845). Lactate/pyruvate ratios were not significantly abnormal in the heart, brain, kidney or arterial circulation. Liver microdialysis samples demonstrated persistently high lactate/pyruvate ratios (mean 37.9 ± 3.3). CONCLUSIONS: An escalating dose endotoxin infusion was successful in producing hyperdynamic shock. There was evidence of impaired oxidative metabolism in the liver suggesting impaired splanchnic perfusion. This may be a modifiable factor in the progression to multiple organ dysfunction and death

Peak Running Intensity of Elite Female Field Hockey Players During Competitive Match Play.

McGuinness, A, Passmore, D, Malone, S, and Collins, K. Peak running intensity of elite female field hockey players during competitive match play. J Strength Cond Res XX(X): 000-000, 2020-In recent years, backroom coaching staff have relied heavily on the global demands of competitive match-play to monitor running performance within training and match environments. Although, these figures help prepare players for the demands of match-play, they do not account for the physical and physiological stress of the most intense periods of competition. The aim of the current study was to quantify the duration and position-specific maximal running performance during match-play using a 1-10-minute moving average epoch methodology. Twenty-six (n = 26) elite international female field hockey players (23 ± 3 years; 162.6 ± 13 cm; 66 ± 6 kg) participated in the current observational study. Data were collected during 22 international games, resulting in over 360 individual samples (n = 368) being obtained for analysis. Players were categorized based on their positional lines of play (defenders, midfielders, and forwards). Variables of interest included relative total (m·min), high-speed (>16 km·h; m·min) and sprint distance (>20 km·h; m·min). Regardless of position, varying differences were observed between 10-minute rolling average for relative total (mod-large), high-speed (mod-large), and sprint (mod-large) distance respectively. Furthermore, as the duration of the rolling average increased, so did the observed differences (small). The forwards (119.3 ± 19.7 m·min) were reported to have the highest peak output during minute one for relative high-speed distance when compared with the defenders (100.7 ± 19.7, effect size [ES] 0.9, large) and the midfield (106.8 ± 23.4 m·min, ES 0.5, moderate). The results of the current study show that the running performance of field hockey players alters during match-play irrespective of moving average. Finally, the data will aid practitioners in the development of sport-specific drills to adequately prepare hockey players for the maximal intensity periods of elite hockey match-play