Learning from the past with experiment databases

Thousands of Machine Learning research papers contain experimental comparisons that usually have been conducted with a single focus of interest, and detailed results are usually lost after publication. Once past experiments are collected in experiment databases they allow for additional and possibly much broader investigation. In this paper, we show how to use such a repository to answer various interesting research questions about learning algorithms and to verify a number of recent studies. Alongside performing elaborate comparisons and rankings of algorithms, we also investigate the effects of algorithm parameters and data properties, and study the learning curves and bias-variance profiles of algorithms to gain deeper insights into their behavior

Single-chain factor XII exhibits activity when complexed to polyphosphate

© 2014 The Authors. Journal of Thrombosis and Haemostasis published by Wiley Periodicals, Inc. on behalf of International Society on Thrombosis and Haemostasis.Peer reviewedPublisher PD

Evolution of Flexible Multibody Dynamics for Simulation Applications Supporting Human Spaceflight

During the course of transition from the Space Shuttle and International Space Station programs to the Orion and Journey to Mars exploration programs, a generic flexible multibody dynamics formulation and associated software implementation has evolved to meet an ever changing set of requirements at the NASA Johnson Space Center (JSC). Challenging problems related to large transitional topologies and robotic free-flyer vehicle capture/ release, contact dynamics, and exploration missions concept evaluation through simulation (e.g., asteroid surface operations) have driven this continued development. Coupled with this need is the requirement to oftentimes support human spaceflight operations in real-time. Moreover, it has been desirable to allow even more rapid prototyping of on-orbit manipulator and spacecraft systems, to support less complex infrastructure software for massively integrated simulations, to yield further computational efficiencies, and to take advantage of recent advances and availability of multi-core computing platforms. Since engineering analysis, procedures development, and crew familiarity/training for human spaceflight is fundamental to JSC's charter, there is also a strong desire to share and reuse models in both the non-realtime and real-time domains, with the goal of retaining as much multibody dynamics fidelity as possible. Three specific enhancements are reviewed here: (1) linked list organization to address large transitional topologies, (2) body level model order reduction, and (3) parallel formulation/implementation. This paper provides a detailed overview of these primary updates to JSC's flexible multibody dynamics algorithms as well as a comparison of numerical results to previous formulations and associated software

The plasticity of near space: evidence for contraction

The distinction between near space and the space farther away has been well established, as has the relation of this distinction to arm length. Recent studies provide evidence for the plasticity of near space, showing that it is possible to expand its extent ("size") through tool-use. In the present study, we examine the converse effect, whether contraction of near space results from increasing the effort involved on a line bisection task. Adult participants bisected lines at different distances, while, in some cases, wearing weights. In Experiment 1, the arms, specifically, were weighted (wrist weights), and in Experiment 2, more general body weights were used (heavy backpack). As in previous studies, unencumbered participants showed leftward bias when bisecting lines at the closest distances and a rightward shift in bias with increasingly farther distances. With wrist weights, but not a heavy backpack, participants showed more rightward bias at the closest distances, and a more gradual rightward shift with increasing distance, as if the nearest locations were represented as being farther away. These results suggest that increased effort, when specifically related to the arm, can serve to reduce the size of near space, providing support for the generally symmetrical plasticity of near space representations

Efficacy, Safety, and Timing of Anticoagulant Thromboprophylaxis for the Prevention of Venous Thromboembolism in Patients With Acute Spinal Cord Injury: A Systematic Review

Study Design: Systematic review. Objectives: The objective of this study was to answer 5 key questions: What is the comparative effectiveness and safety of (1a) anticoagulant thromboprophylaxis compared to no prophylaxis, placebo, or another anticoagulant strategy for preventing deep vein thrombosis (DVT) and pulmonary embolism (PE) after acute spinal cord injury (SCI)? (1b) Mechanical prophylaxis strategies alone or in combination with other strategies for preventing DVT and PE after acute SCI? (1c) Prophylactic inferior vena cava filter insertion alone or in combination with other strategies for preventing DVT and PE after acute SCI? (2) What is the optimal timing to initiate and/or discontinue anticoagulant, mechanical, and/or prophylactic inferior vena cava filter following acute SCI? (3) What is the cost-effectiveness of these treatment options? Methods: A systematic literature search was conducted to identify studies published through February 28, 2015. We sought randomized controlled trials evaluating efficacy and safety of antithrombotic strategies. Strength of evidence was evaluated using the Grading of Recommendations Assessment, Development and Evaluation (GRADE) system. Results: Nine studies satisfied inclusion criteria. We found a trend toward lower risk of DVT in patients treated with enoxaparin. There were no significant differences in rates of DVT, PE, bleeding, and mortality between patients treated with different types of low-molecular-weight heparin or between low-molecular-weight heparin and unfractionated heparin. Combined anticoagulant and mechanical prophylaxis initiated within 72 hours of SCI resulted in lower risk of DVT than treatment commenced after 72 hours of injury. Conclusion: Prophylactic treatments can be used to lower the risk of venous thromboembolic events in patients with acute SCI, without significant increase in risk of bleeding and mortality and should be initiated within 72 hours. © 2017, © The Author(s) 2017

Update: Advancement of Contact Dynamics Modeling for Human Spaceflight Simulation Applications

Pong is a new software tool developed at the NASA Johnson Space Center that advances interference-based geometric contact dynamics based on 3D graphics models. The Pong software consists of three parts: a set of scripts to extract geometric data from 3D graphics models, a contact dynamics engine that provides collision detection and force calculations based on the extracted geometric data, and a set of scripts for visualizing the dynamics response with the 3D graphics models. The contact dynamics engine can be linked with an external multibody dynamics engine to provide an integrated multibody contact dynamics simulation. This paper provides a detailed overview of Pong including the overall approach and modeling capabilities, which encompasses force generation from contact primitives and friction to computational performance. Two specific Pong-based examples of International Space Station applications are discussed, and the related verification and validation using this new tool are also addressed

A Survey of Satisfiability Modulo Theory

Satisfiability modulo theory (SMT) consists in testing the satisfiability of first-order formulas over linear integer or real arithmetic, or other theories. In this survey, we explain the combination of propositional satisfiability and decision procedures for conjunctions known as DPLL(T), and the alternative "natural domain" approaches. We also cover quantifiers, Craig interpolants, polynomial arithmetic, and how SMT solvers are used in automated software analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. 201

Approaching stimuli bias attention in numerical space

Increasing evidence suggests that common mechanisms underlie the direction of attention in physical space and numerical space, along the mental number line. The small leftward bias (pseudoneglect) found on paper-and-pencil line bisection is also observed when participants ‘bisect’ number pairs, estimating (without calculating) the number midway between two others. Here we investigated the effect of stimulus motion on attention in numerical space. A two-frame apparent motion paradigm manipulating stimulus size was used to produce the impression that pairs of numbers were approaching (size increase from first to second frame), receding (size decrease), or not moving (no size change). The magnitude of pseudoneglect increased for approaching numbers, even when the final stimulus size was held constant. This result is consistent with previous findings that pseudoneglect in numerical space (as in physical space) increases as stimuli are brought closer to the participant. It also suggests that the perception of stimulus motion modulates attention over the mental number line and provides further support for a connection between the neural representations of physical space and number