Navigation system and method

In a global positioning system (GPS), such as the NAVSTAR/GPS system, wherein the position coordinates of user terminals are obtained by processing multiple signals transmitted by a constellation of orbiting satellites, an acquisition-aiding signal generated by an earth-based control station is relayed to user terminals via a geostationary satellite to simplify user equipment. The aiding signal is FSK modulated on a reference channel slightly offset from the standard GPS channel. The aiding signal identifies satellites in view having best geometry and includes Doppler prediction data as well as GPS satellite coordinates and identification data associated with user terminals within an area being served by the control station and relay satellite. The aiding signal significantly reduces user equipment by simplifying spread spectrum signal demodulation and reducing data processing functions previously carried out at the user terminals

Parameter-Independent Strategies for pMDPs via POMDPs

Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances. We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-independent strategies that are expectation optimal, i.e., optimize the expected reachability probability under the probability distribution over the parameters. We present an encoding of our problem to partially observable MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating (repeated) learner model; a series of benchmarks of varying configurations of a robot moving on a grid; and a consensus protocol.Comment: Extended version of a QEST 2018 pape

Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent

Continuous-time Markov decision processes are an important class of models in a wide range of applications, ranging from cyber-physical systems to synthetic biology. A central problem is how to devise a policy to control the system in order to maximise the probability of satisfying a set of temporal logic specifications. Here we present a novel approach based on statistical model checking and an unbiased estimation of a functional gradient in the space of possible policies. The statistical approach has several advantages over conventional approaches based on uniformisation, as it can also be applied when the model is replaced by a black box, and does not suffer from state-space explosion. The use of a stochastic gradient to guide our search considerably improves the efficiency of learning policies. We demonstrate the method on a proof-of-principle non-linear population model, showing strong performance in a non-trivial task

N—Person Stochastic Games: Extensions of the Finite State Space Case and Correlation

In this chapter, we present a framework for m-person stochastic games with an infinite state space. Our main purpose is to present a correlated equilibrium theorem proved by Nowak and Raghavan [42] for discounted stochastic games with a measurable state space, where the correlation o

Nonzero-sum Stochastic Games

This paper treats of stochastic games. We focus on nonzero-sum games and provide a detailed survey of selected recent results. In Section 1, we consider stochastic Markov games. A correlation of strategies of the players, involving ``public signals'', is described, and a correlated equilibrium theorem proved recently by Nowak and Raghavan for discounted stochastic games with general state space is presented. We also report an extension of this result to a class of undiscounted stochastic games, satisfying some uniform ergodicity condition. Stopping games are related to stochastic Markov games. In Section 2, we describe a version of Dynkin's game related to observation of a Markov process with random assignment mechanism of states to the players. Some recent contributions of the second author in this area are reported. The paper also contains a brief overview of the theory of nonzero-sum stochastic games and stopping games which is very far from being complete

Comprehensive Individualized Curriculum and Instructional Design

This online textbook addresses the population of individuals with disabilities that experience complex lifelong needs across multiple areas in their lives. Drs. Sennott and Loman drafted this book (along with the help from some friends) with the hope of providing pertinent, practical, and current resources to future special educators who plan to serve individuals with complex disabilities. Chapter 1: Guiding Principles for Developing Comprehensive and Meaningful Instruction for Individuals with Complex Needs by Sheldon L. Loman, provides readers with practical resources to develop their repertoire of tools for designing supports for individuals with significant needs. Chapter 2: Naturalistic AAC Communication Intervention by Samuel Sennott, introduces the reader to Augmentative and Alternative Communication (AAC) and shares specific intervention resources including the innovative naturalistic strategy: MODELER. Chapter 3: Principles of Applied Behavior Analysis to Teach by Kristy Lee Park, provides an overview and examples of research-based approaches of Applied Behavior Analysis (ABA). Chapter 4: Developing Function-based Interventions by Sheldon Loman, shares a practical guide for the use of research-based critical features to design positive behavioral interventions based on the reasons why students engage in problem behaviors (i.e., function of student behavior). Chapter 5: iOS 8 Accessibility by Luis F. Pérez, presents the latest information on the accessibility of mobile devices using the iOS 8 Apple operating system. This chapter embeds multiple video examples for improving the accessibility for mobile devices with this newest operating system. Chapter 6: Using Content Acquisition Podcasts (CAPs) to Improve Vocabulary Instruction and Learning for Students with Disabilities and Their Teachers by Michael J. Kennedy, John Romig, and Wendy J. Rodgers, introduce a multimedia-based tool that can be created by teachers with technology they already have on their computers. In this chapter they provide examples of high-quality multimedia and step-by-step instructions for production. Please see the Open Textbook Library for faculty Reviews of this textbook Adopt/Adapt If you are an instructor adopting or adapting this PDXOpen textbook, please help us understand your use by filling out this formhttps://pdxscholar.library.pdx.edu/pdxopen/1005/thumbnail.jp

Anti-inflammatory and angiogenic effects of exercise training in cardiac muscle of diabetic mice

Tom L Broderick,1 Jacqueline M Sennott,2 Jolanta Gutkowska,3 Marek Jankowski31Laboratory of Diabetes and Exercise Metabolism, Department of Physiology, College of Graduate Studies, Midwestern University, Glendale, AZ, USA; 2Department of Cardiology, Medical Education H23, Saint-Joseph Mercy Health System, Pontiac, MI, USA; 3Cardiovascular Biochemistry Laboratory, CRCHUM (7-134), Department of Medicine, University of Montreal, Montreal, Quebec, CanadaBackground: Improved glycemic control and cardiovascular function are major benefits of regular exercise training (ET) in type 2 diabetes. Recent work has demonstrated that ET improves cardiac and vascular functions independent of obesity, inflammation, and glucose control in the diabetic db/db mouse. In this study, we determined whether ET can overcome the effects of elevated inflammatory cytokines and hyperglycemia on markers of cardiac angiogenesis and inflammation in the diabetic mouse.Methods: Male diabetic db/db mice were assigned to a sedentary and exercise-trained group. Sedentary lean control littermates were used as controls. ET was performed at moderate intensity on a treadmill 5 days a week for a period of 8 weeks. After ET, blood was collected for assay of glucose, hemoglobin (HB and HB1AC), C-reactive protein (CRP), and IL-6. Markers of inflammation and insulin resistance (IL-6, IL-1β, and tumor necrosis factor-alpha [TNF-α]) and angiogenesis (endothelial nitric oxide synthase [eNOS], vascular endothelial growth factor-A [VEGF-A], and hypoxia-inducible factor-1α [HIF-1α]) were measured in hearts.Results: Diabetic db/db mice remained obese and hyperglycemic after ET. Percent total HB and HB1AC were significantly higher in ET db/db mice compared to sedentary db/db mice, indicating further deterioration of glucose control with ET. Plasma levels of CRP and IL-6 were higher in sedentary db/db mice compared to control mice and were unaffected by ET. However, in the presence of hyperglycemia and elevated plasma cytokines, protein expression of eNOS, mRNA expression of VEGF-A, and HIF-1α was increased in db/db hearts after ET. On the other hand, protein expression of TNF-α and mRNA expression IL-6 and IL-1β was significantly decreased by ET in hearts of db/db mice.Conclusion: Our results indicate that ET improves cardiac markers of angiogenesis, insulin resistance, and endothelial dysfunction in the db/db mouse. This was observed independently of obesity, hyperglycemia, and the systemic inflammatory state.Keywords: exercise, db/db, glycated hemoglobin, angiogenesis, inflammatio

A Systematic Review of Functional Communication Training (FCT) Interventions Involving Augmentative and Alternative Communication in School Settings

Related Articles A systematic review of Functional Communication Training (FCT) interventions involving augmentative and alternative communication in school settings. Augment Altern Commun. 2018 Jun;34(2):118-129 Authors: Walker VL, Lyon KJ, Loman SL, Sennott S Abstract The purpose of this meta-analysis was to summarize single-case intervention studies in which Functional Communication Training (FCT) involving augmentative and alternative communication (AAC) was implemented in school settings. Overall, the findings suggest that FCT involving AAC was effective in reducing challenging behaviour and promoting aided or unaided AAC use among participants with disability. FCT was more effective for the participants who engaged in less severe forms of challenging behaviour prior to intervention. Additionally, FCT was more effective when informed by a descriptive functional behaviour assessment and delivered within inclusive school settings. Implications for practice and directions for future research related to FCT for students who use AAC are addressed. PMID: 29783913 [PubMed - in process