Acute Psychophysiological Responses to Cyclic Variation of Intermittent Hypoxic Exposure in Adults with Obesity

Hobbins, Liam, Olivier Girard, Nadia Gaoua, and Steve Hunter. Acute psychophysiological responses to cyclic variation of intermittent hypoxic exposure in adults with obesity. High Alt Med Biol 00:000-000, 2019. Background: We compared acute psychophysiological responses with a single intermittent hypoxic exposure (IHE)/normoxic exposure trial with varying cycle lengths in adults with obesity. Materials and Methods: Eight obese adults (body mass index = 33.0 ± 2.2 kg/m2) completed three 60-minute IHE trials (passive seating), separated by 7 days. Trials comprised 30-minute hypoxia/30-minute normoxia (inspired oxygen fraction = 12.0%/20.9%) over Short (15 × 2/2 minutes), Medium (10 × 3/3 minutes), and Long (5 × 6/6 minutes) hypoxic/normoxic cycles and a control trial (60-minute normoxia). Results: Arterial oxygen saturation was lower during hypoxic periods of Long versus Medium and Short trials (90.1% vs. 93.0% and 94.2%; p = 0.02 and p = 0.05), with no differences between Short and Medium. Prefrontal cortex oxygenation was lower (-5.1%) during all IHE interventions versus control (p < 0.02), independent of cycle length. Perceived breathlessness was unaffected during IHE but increased 15 minutes after exposure versus baseline (+34%; p = 0.04). Breathlessness was lowest after Short versus control from 15 to 60 minutes (-7%; p = 0.01). Conclusions: When implementing IHE, greater desaturation is observed during longer compared with shorter hypoxic/normoxic cycles in adults with obesity. However, IHE tends to be better tolerated perceptually with shorter rather than longer cycles. Final publication is available from Mary Ann Liebert, Inc., publishers http://dx.doi.org/10.1089/ham.2019.000

Psycho-physiological responses to perceptually-regulated interval runs in hypoxia and normoxia

We investigated whether perceptually-regulated high-intensity intervals in hypoxia are associated with slower running velocities versus normoxia, when physiological responses and exercise-related sensations remain the same. Nineteen trained runners (33.4 ± 9.1 years) completed a high-intensity interval running protocol (4 × 4-min intervals at a clamped perceived rating exertion of 16 on the 6-20 Borg scale, 3-min passive recoveries) in either hypoxic (HYP; FiO2 15.0%) or normoxic (NOR; FiO2 20.9%) conditions. Participants adjusted to a progressively slower running velocity from interval 1-4 (-7.0%), and more so in HYP vs. NOR for intervals 2, 3 and 4 (-4.6%, -6.4% and - 7.9%, respectively; p < .01). Heart rate increased from interval 1-4 (+4.8%; p < .01), independent of condition. Arterial oxygen saturation was lower in HYP vs. NOR (86.0% vs. 94.8%; p < .01). Oxyhemoglobin (-23.7%) and total hemoglobin (-77.0%) decreased, whilst deoxyhemoglobin increased (+44.9%) from interval 1-4 (p < .01), independent of condition. Perceived recovery (-41.6%) and motivation (-21.8%) were progressively lower from interval 1-4, and more so in HYP vs. NOR for intervals 2, 3 and 4 (recovery: -8.8%, -24.2% and - 29.3%; motivation: -5.3%, -20.3% and - 22.4%, respectively; p < .01). Perceived breathlessness (+18.6%), limb discomfort (+44.0%) and pleasure (-32.2%) changed from interval 1-4, with significant differences (+21.8%, +11.3% and - 31.3%, respectively) between HYP and NOR (p < .01). Slower interval running velocities in hypoxia achieve similar heart rate and muscle oxygenation responses to those observed in normoxia when perceptually-regulated, yet at the expense of less favourable exercise-related sensations

A New Linear Logic for Deadlock-Free Session-Typed Processes

The π -calculus, viewed as a core concurrent programming language, has been used as the target of much research on type systems for concurrency. In this paper we propose a new type system for deadlock-free session-typed π -calculus processes, by integrating two separate lines of work. The first is the propositions-as-types approach by Caires and Pfenning, which provides a linear logic foundation for session types and guarantees deadlock-freedom by forbidding cyclic process connections. The second is Kobayashi’s approach in which types are annotated with priorities so that the type system can check whether or not processes contain genuine cyclic dependencies between communication operations. We combine these two techniques for the first time, and define a new and more expressive variant of classical linear logic with a proof assignment that gives a session type system with Kobayashi-style priorities. This can be seen in three ways: (i) as a new linear logic in which cyclic structures can be derived and a CYCLE -elimination theorem generalises CUT -elimination; (ii) as a logically-based session type system, which is more expressive than Caires and Pfenning’s; (iii) as a logical foundation for Kobayashi’s system, bringing it into the sphere of the propositions-as-types paradigm

Polarization state of the optical near-field

The polarization state of the optical electromagnetic field lying several nanometers above complex dielectric structures reveals the intricate light-matter interaction that occurs in this near-field zone. This information can only be extracted from an analysis of the polarization state of the detected light in the near-field. These polarization states can be calculated by different numerical methods well-suited to near--field optics. In this paper, we apply two different techniques (Localized Green Function Method and Differential Theory of Gratings) to separate each polarisation component associated with both electric and magnetic optical near-fields produced by nanometer sized objects. The analysis is carried out in two stages: in the first stage, we use a simple dipolar model to achieve insight into the physical origin of the near-field polarization state. In the second stage, we calculate accurate numerical field maps, simulating experimental near-field light detection, to supplement the data produced by analytical models. We conclude this study by demonstrating the role played by the near-field polarization in the formation of the local density of states.Comment: 9 pages, 11 figures, accepted for publication in Phys. Rev.

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

A nullstellensatz for sequences over F_p

Let p be a prime and let A=(a_1,...,a_l) be a sequence of nonzero elements in F_p. In this paper, we study the set of all 0-1 solutions to the equation a_1 x_1 + ... + a_l x_l = 0. We prove that whenever l >= p, this set actually characterizes A up to a nonzero multiplicative constant, which is no longer true for l < p. The critical case l=p is of particular interest. In this context, we prove that whenever l=p and A is nonconstant, the above equation has at least p-1 minimal 0-1 solutions, thus refining a theorem of Olson. The subcritical case l=p-1 is studied in detail also. Our approach is algebraic in nature and relies on the Combinatorial Nullstellensatz as well as on a Vosper type theorem.Comment: 23 page

Running mechanics adjustments to perceptually-regulated interval runs in hypoxia and normoxia

Objectives We determined whether perceptually-regulated, high-intensity intermittent runs in hypoxia and normoxia induce similar running mechanics adjustments within and between intervals. Design Within-participants repeated measures. Methods Nineteen trained runners completed a high-intensity intermittent running protocol (4×4-min intervals at a perceived rating exertion of 16 on the 6–20 Borg scale, 3-min passive recoveries) in either hypoxic (FiO2 =0.15) or normoxic (FiO2 =0.21) conditions. Running mechanics were collected over 10 consecutive steps, at constant velocity (∼15.0±2.0km.h−1), at the beginning and the end of each 4-min interval. Repeated measure ANOVA were used to assess within intervals (onset vs. end of each interval), between intervals (interval 1, 2, 3 vs. 4) and FiO2 (0.15 vs. 0.21) main effects and any potential interaction. Results Participants progressively reduced running velocity from interval 1–4, and more so in hypoxia compared to normoxia for intervals 2, 3 and 4 (P 0.298) and FiO2 (across all intervals P >0.082) main effects or any significant between intervals×within intervals×FiO2 interactions (all P >0.098) for any running mechanics variables. Irrespective of interval number or FiO2, peak loading rate (+10.6±7.7%; P <0.001) and duration of push-off phase (+2.0±3.1%; P =0.001) increased from the onset to the end of 4-min intervals, whereas peak push-off force decreased (−4.0±4.0%; P <0.001). Conclusions When carrying out perceptually-regulated interval treadmill runs, runners adjust to progressively slower velocities in hypoxia compared to normoxia. However, only subtle constant-velocity modifications of their mechanical behaviour occurred within each set, independently of FiO2 or interval number

Normobaric hypoxic conditioning to maximise weight-loss and ameliorate cardio-metabolic health in obese populations: A systematic review.

Normobaric hypoxic conditioning (HC) denotes exposure to hypoxia at rest (passive) or combined with exercise (active). HC has been applied acutely (single exposure) and chronically (repeated exposure) to obese populations for managing/increasing cardio-metabolic health and weight loss. Cardio-metabolic health and weight loss responses of obese populations in response to passive and active HC are unclear. A systematic search for articles published between 2000-2017 was carried out. Studies investigating the effects of HC for improving cardio-metabolic health and weight loss of obese populations were included. Studies investigated passive (n = 7; 5 animal, 2 humans), active (n = 4; all humans) and a combination of (n = 4; 3 animal, 1 human) HC to an inspired oxygen fraction between 4.8-15.0%, during a single session and daily sessions per week, lasting between 5 days and 8 months. Passive HC could reduce insulin concentrations (-37-22%) and increase energy expenditure (+12-16). Active HC may reduce body weight (-4-2%) and blood pressure (-8-3%). Inconclusive findings exist in determining the impact of acute and chronic HC on markers of triglycerides, cholesterol levels and fitness capacity. Studies that included animal models involved exposure to severe levels of hypoxia (inspired oxygen fraction of 5.0%; simulated altitude >10,000 m) that are not suitable for human populations. HC demonstrated positive findings in relation to insulin and energy expenditure, and body weight and blood pressure, for improving the cardio-metabolic health and body weight management of obese populations. Responses of plasma biomarkers to passive and active HC in humans is warranted

Factorization of Numbers with the temporal Talbot effect: Optical implementation by a sequence of shaped ultrashort pulses

We report on the successful operation of an analogue computer designed to factor numbers. Our device relies solely on the interference of classical light and brings together the field of ultrashort laser pulses with number theory. Indeed, the frequency component of the electric field corresponding to a sequence of appropriately shaped femtosecond pulses is determined by a Gauss sum which allows us to find the factors of a number