A New Method for Combined Hyperventilation and Hypoxia Training in a Tactical Fighter Simulator

Physiological episodes are an issue in military aviation. Some non-pressure-related in-flight symptoms are proved to be due to hyperventilation rather than hypoxia. The aim of this study was to validate a new training method provoking hyperventilation during normobaric hypoxia (NH) training in an F/A-18 Hornet simulator. METHODS: In a double-blind setting, 26 fighter pilots from the Finnish Air Force performed 2 setups in a WTSAT simulator in randomized order with full flight gear. Without the pilot's knowledge, 6% O2 in nitrogen or 6% O2 + 4% CO2 in nitrogen was turned on. Ventilation (VE) was measured before, during, and after hypoxia. SpO2 and ECG were monitored and symptoms documented. The subjects performed a tactical identification flight until they recognized symptoms of hypoxia. Thereafter, they performed hypoxia emergency procedures with 100% O2 and returned to the base with a GPS malfunction and executed an instrument landing system (ILS) approach with the waterline HUD mode evaluated by the flight instructor on a scale of 1 to 5. RESULTS: Ventilation increased during normobaric hypoxia (NH) from 12 L · min−1 to 19 L · min−1 at SpO2 75% with 6% O2, and from 12 L · min−1 to 26 L · min−1 at SpO2 77% with 6% O2 + 4% CO2. ILS flight performance was similar 10 min after combined hyperventilation and hypoxia (3.1 with 6% O2 + 4% CO2 and 3.2 with 6% O2). No adverse effects were reported during the 24-h follow-up. DISCUSSION: Hyperventilation-provoking normobaric hypoxia training is a new and well-tolerated method to meet NATO Standardization Agreement hypoxia training requirements

Foundational extensible corecursion: a proof assistant perspective

This paper presents a formalized framework for defining corecursive functions safely in a total setting, based on corecursion up-to and relational parametricity. The end product is a general corecursor that allows corecursive (and even recursive) calls under “friendly” operations, including constructors. Friendly corecursive functions can be registered as such, thereby increasing the corecursor’s expressiveness. The metatheory is formalized in the Isabelle proof assistant and forms the core of a prototype tool. The corecursor is derived from first principles, without requiring new axioms or extensions of the logic

Azulene-based compounds for targeting orexin receptors

A library of 70 000 synthetically accessible azulene-based compounds was virtually screened at the OX2 receptor. Based on the results, a series of azulene derivatives was synthesized and the binding to and activation of both orexin receptor subtypes were assessed. Two most promising binders were determined to have inhibition constants in the 3-9 mu M range and two other compounds showed weak OX2 receptor agonism. Furthermore, three compounds exhibited a concentration-dependent potentiation of the response to orexin-A at the OX1 but not the OX2 receptors. Altogether this data opens new approaches for further development of antagonists, agonists, and potentiators of orexin response based on the azulene scaffold. (C) 2018 Elsevier Masson SAS. All rights reserved.Peer reviewe

Postdoctoral nursing researcher career: A scoping review of required competences

AimThe aim of this review was to identify and summarize the required competences of nursing PhD students and postdoctoral researchers to pursue a successful researcher career and to compare these competences with the existing competence frameworks.DesignScoping review.MethodsPubMed, CINAHL, SocIndex, PsycInfo, Eric, EMBASE, Academic Search Premier and Scopus databases were searched from January 1990–December 2018. The guidelines of PRISMA Extension for Scoping Reviews and the scoping review framework by Arksey and O’Malley (2005, International Journal of Social Research Methodology, 8, 19) were applied.ResultsForty‐four studies were reviewed comprising 15 competence domains. Competences corroborated the competences defined in the competence frameworks. However, the qualitative and descriptive research designs rendered a modest level of evidence and generalizability.</p

Stapled truncated orexin peptides as orexin receptor agonists

The peptides orexin-A and -B, the endogenous agonists of the orexin receptors, have similar 19-amino-acid C-termini which retain full maximum response as truncated peptides with only marginally reduced potency, while further N-terminal truncations successively reduce the activity. The peptides have been suggested to bind in an α‐helical conformation, and truncation beyond a certain critical length is likely to disrupt the overall helical structure. In this study, we set out to stabilize the α‐helical conformation of orexin‐A15–33 via peptide stapling at four different sites. At a suggested hinge region, we varied the length of the cross-linker as well as replaced the staple with two α-aminoisobutyric acid residues. Modifications close to the peptide C‐terminus, which is crucial for activity, were not allowed. However, central and N‐terminal modifications yielded bioactive peptides, albeit with decreased potencies. This provides evidence that the orexin receptors can accommodate and be activated by α-helical peptides. The decrease in potency is likely linked to a stabilization of suboptimal peptide conformation or blocking of peptide backbone–receptor interactions at the hinge region by the helical stabilization or the modified amino acids.Peer reviewe

Synthesis of carboxyimidamide-substituted benzo[c][1,2,5]oxadiazoles and their analogs, and evaluation of biological activity against Leishmania donovani

A facile synthesis route to carboxyimidamide-substituted benzoxadiazoles and related derivatives was developed. A total of 25 derivatives were synthesized. They were evaluated for antileishmanial activity by inhibition of Leishmania donovani axenic amastigote growth using a fluorescent viability microplate assay. The most promising derivative (14) demonstrated an antileishmanial EC50 of 4.0 mu M, and it also showed activity in infected macrophages (EC50 5.92 mu M) without signs of cytotoxicity.Peer reviewe

Newly graduated nurses' empowerment regarding professional competence and other work-related factors.

BACKGROUND Although both nurse empowerment and competence are fundamental concepts of describing newly graduated nurses' professional development and job satisfaction, only few studies exist on the relationship between these concepts. Therefore, the purpose of this study was to determine how newly graduated nurses assess their empowerment and to clarify professional competence compared to other work-related factors. METHODS A descriptive, cross-sectional and correlational design was applied. The sample comprised newly graduated nurses (n = 318) in Finland. Empowerment was measured using the 19-item Qualities of an Empowered Nurse scale and the Nurse Competence Scale measured nurses' self-assessed generic competence. In addition to demographic data, the background data included employment sector (public/private), job satisfaction, intent to change/leave job, work schedule (shifts/business hours) and assessments of the quality of care in the workplace. The data were analysed statistically by using Spearman's correlation coefficient as well as the One-Way and Multivariate Analysis of Variance. Cronbach's alpha coefficient was used to estimate the internal consistency. RESULTS Newly graduated nurses perceived their level of empowerment and competence fairly high. The association between nurse empowerment and professional competence was statistically significant. Other variables correlating positively to empowerment included employment sector, age, job satisfaction, intent to change job, work schedule, and satisfaction with the quality of care in the work unit. The study indicates competence had the strongest effect on newly graduated nurses' empowerment. CONCLUSIONS New graduates need support and career opportunities. In the future, nurses' further education and nurse managers' resources for supporting and empowering nurses should respond to the newly graduated nurses' requisites for attractive and meaningful work

Shape coexistence at the proton drip-line: First identification of excited states in 180Pb

Excited states in the extremely neutron-deficient nucleus, 180Pb, have been identified for the first time using the JUROGAM II array in conjunction with the RITU recoil separator at the Accelerator Laboratory of the University of Jyvaskyla. This study lies at the limit of what is presently achievable with in-beam spectroscopy, with an estimated cross-section of only 10 nb for the 92Mo(90Zr,2n)180Pb reaction. A continuation of the trend observed in 182Pb and 184Pb is seen, where the prolate minimum continues to rise beyond the N=104 mid-shell with respect to the spherical ground state. Beyond mean-field calculations are in reasonable correspondence with the trends deduced from experiment.Comment: 5 pages, 4 figures, submitted to Phys.Rev.

Program analysis is harder than verification: A computability perspective

We study from a computability perspective static program analysis, namely detecting sound program assertions, and verification, namely sound checking of program assertions. We first design a general computability model for domains of program assertions and correspond- ing program analysers and verifiers. Next, we formalize and prove an instantiation of Rice\u2019s theorem for static program analysis and verifica- tion. Then, within this general model, we provide and show a precise statement of the popular belief that program analysis is a harder prob- lem than program verification: we prove that for finite domains of pro- gram assertions, program analysis and verification are equivalent prob- lems, while for infinite domains, program analysis is strictly harder than verification

Evolution within a language: environmental differences contribute to divergence of dialect groups

Background: The processes leading to the diversity of over 7000 present-day languages have been the subject of scholarly interest for centuries. Several factors have been suggested to contribute to the spatial segregation of speaker populations and the subsequent linguistic divergence. However, their formal testing and the quantification of their relative roles is still missing. We focussed here on the early stages of the linguistic divergence process, that is, the divergence of dialects, with a special focus on the ecological settings of the speaker populations. We adopted conceptual and statistical approaches from biological microevolution and parallelled intra-lingual variation with genetic variation within a species. We modelled the roles of geographical distance, differences in environmental and cultural conditions and in administrative history on linguistic divergence at two different levels: between municipal dialects (cf. in biology, between individuals) and between dialect groups (cf. in biology, between populations).Results: We found that geographical distance and administrative history were important in separating municipal dialects. However, environmental and cultural differences contributed markedly to the divergence of dialect groups. In biology, increase in genetic differences between populations together with environmental differences may suggest genetic differentiation of populations through adaptation to the local environment. However, our interpretation of this result is not that language itself adapts to the environment Instead, it is based on Homo sapiens being affected by its environment, and its capability to adapt culturally to various environmental conditions. The differences in cultural adaptations arising from environmental heterogeneity could have acted as nonphysical barriers and limited the contacts and communication between groups. As a result, linguistic differentiation may emerge over time in those speaker populations which are, at least partially, separated.Conclusions: Given that the dialects of isolated speaker populations may eventually evolve into different languages, our result suggests that cultural adaptation to local environment and the associated isolation of speaker populations have contributed to the emergence of the global patterns of linguistic diversity