Physical characteristics and non-keplerian orbital motion of "propeller" moons embedded in Saturn's rings

We report the discovery of several large "propeller" moons in the outer part of Saturn's A ring, objects large enough to be followed over the 5-year duration of the Cassini mission. These are the first objects ever discovered that can be tracked as individual moons, but do not orbit in empty space. We infer sizes up to 1--2 km for the unseen moonlets at the center of the propeller-shaped structures, though many structural and photometric properties of propeller structures remain unclear. Finally, we demonstrate that some propellers undergo sustained non-keplerian orbit motion. (Note: This arXiv version of the paper contains supplementary tables that were left out of the ApJL version due to lack of space).Comment: 9 pages, 4 figures; Published in ApJ

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30598-6_2In this paper we propose an approach for building real-time systems under a combination of requirements: specification and handling of operating modes and mode changes; implementation on top of a multiprocessor platform; integration of both aspects within a common framework; and connection with schedulability analysis procedures. The proposed approach uses finite state machines to describe operating modes and transitions, and a framework of real-time utilities that implements the required behaviour in Ada 2012. Automatic code generation plays an important role: the system is derived from the functional and timing specification, and implemented according to the abstractions provided by the framework. Response time analysis enables assessing the schedulability of the different operating modes and the transitions between modes.This work was partially supported by the Vicerrectorado de Investigación of the UPV (PAID-06-10-2397), Ministerio de Ciencia e Innovación (TIN2011-28567-C03- 03) and European Union (FP7-ICT-287702)Sáez Barona, S.; Real Sáez, JV.; Crespo, A. (2012). An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications. En Reliable Software Technologies – Ada-Europe 2012. Springer. 18-34. https://doi.org/10.1007/978-3-642-30598-6_21834Wellings, A.J., Burns, A.: A Framework for Real-Time Utilities for Ada 2005. Ada Letters XXVII(2) (August 2007)Real, J., Crespo, A.: Incorporating Operating Modes to an Ada Real-Time Framework. Ada Letters 30(1) (April 2010)Sáez, S., Terrasa, S., Crespo, A.: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. In: Romanovsky, A., Vardanega, T. (eds.) Ada-Europe 2011. LNCS, vol. 6652, pp. 46–60. Springer, Heidelberg (2011)Joseph, M., Pandya, P.: Finding response times in a real-time system. British Computer Society Computer Journal 29(5), 390–395 (1986)Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8(5), 284–292 (1993)Real, J., Crespo, A.: Mode Change Protocols for Real-Time Systems: A Survey and a new Proposal. Real-Time Systems 26(2), 161–197 (2004)Harel, D.: Statecharts: A visual formalism for complex systems. The Science of Computer Programming 8(3), 231–274 (1987)Object Management Group: Unified Modeling Language (OMG UML) V2.4 (August 2011), http://www.omg.org/spec/UML/2.4.1Sáez, S., Terrasa, S., Lorente, V., Crespo, A.: Implementing Reactive Systems with UML State Machines and Ada 2005. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 149–163. Springer, Heidelberg (2009)Burns, A., Wellings, A.J.: Dispatching Domains for Multiprocessor Platforms and their Representation in Ada. In: Real, J., Vardanega, T. (eds.) Ada-Europe 2010. LNCS, vol. 6106, pp. 41–53. Springer, Heidelberg (2010)Barnett, J.: State Chart XML (SCXML): State Machine Notation for Control Abstraction (May 2008), http://www.w3.org/TR/scxml

Type and Timing of Rehabilitation Following Acute and Subacute Spinal Cord Injury: A Systematic Review

Objectives: The objective of this study was to conduct a systematic review of the literature to address the following clinical questions: In adult patients with acute and subacute complete or incomplete traumatic SCI, (1) does the time interval between injury and commencing rehabilitation affect outcome?; (2) what is the comparative effectiveness of different rehabilitation strategies, including different intensities and durations of treatment?; (3) are there patient or injury characteristics that affect the efficacy of rehabilitation?; and (4) what is the cost-effectiveness of various rehabilitation strategies? Methods: A systematic search was conducted for literature published through March 31, 2015 that evaluated rehabilitation strategies in adults with acute or subacute traumatic SCI at any level. Studies were critically appraised individually and the overall strength of evidence was evaluated using methods proposed by the GRADE (Grades of Recommendation Assessment, Development and Evaluation) working group. Results: The search strategy yielded 384 articles, 19 of which met our inclusion criteria. Based on our results, there was no difference between body weight–supported treadmill training and conventional rehabilitation with respect to improvements in Functional Independence Measure (FIM) Locomotor score, Lower Extremity Motor Scores, the distance walked in 6 minutes or gait velocity over 15.2 m. Functional electrical therapy resulted in slightly better FIM Motor, FIM Self-Care, and Spinal Cord Independence Measure Self-Care subscores compared with conventional occupational therapy. Comparisons using the Toronto Rehabilitation Institute Hand Function Test demonstrated no differences between groups in 7 of 9 domains. There were no clinically important differences in Maximal Lean Test, Maximal Sidewards Reach Test, T-shirt Test, or the Canadian Occupational Performance Measure between unsupported sitting training and standard in-patient rehabilitation. Conclusion: The current evidence base for rehabilitation following acute and subacute spinal cord injury is limited. Methodological challenges have contributed to this and further research is still needed. © 2017, © The Author(s) 2017

Communications Biophysics

Contains reports on four research projects.National Institutes of Health (Grant 5 P01 GM14940-06)National Aeronautics and Space Administration (Grant NGL 22-009-304)Boston City Hospital Purchase Order 10656B-D Electrodyne Division, Becton Dickinson and Compan