Relational semantics of linear logic and higher-order model-checking

In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any higher-order recursion scheme (HORS) comes together with a dual Church encoding of an alternating tree automata (ATA) of the same signature. Moreover, the interaction between the relational interpretations of the HORS and of the ATA identifies the set of accepting states of the tree automaton against the infinite tree generated by the recursion scheme. We show how to extend this result to alternating parity automata (APT) by introducing a parametric version of the exponential modality of linear logic, capturing the formal properties of colors (or priorities) in higher-order model-checking. We show in particular how to reunderstand in this way the type-theoretic approach to higher-order model-checking developed by Kobayashi and Ong. We briefly explain in the end of the paper how his analysis driven by linear logic results in a new and purely semantic proof of decidability of the formulas of the monadic second-order logic for higher-order recursion schemes.Comment: 24 pages. Submitte

Injury rates and injury risk factors among federal bureau of investigation new agent trainees

<p>Abstract</p> <p>Background</p> <p>A one-year prospective examination of injury rates and injury risk factors was conducted in Federal Bureau of Investigation (FBI) new agent training.</p> <p>Methods</p> <p>Injury incidents were obtained from medical records and injury compensation forms. Potential injury risk factors were acquired from a lifestyle questionnaire and existing data at the FBI Academy.</p> <p>Results</p> <p>A total of 426 men and 105 women participated in the project. Thirty-five percent of men and 42% of women experienced one or more injuries during training. The injury incidence rate was 2.5 and 3.2 injuries/1,000 person-days for men and women, respectively (risk ratio (women/men) = 1.3, 95% confidence interval = 0.9-1.7). The activities most commonly associated with injuries (% of total) were defensive tactics training (58%), physical fitness training (20%), physical fitness testing (5%), and firearms training (3%). Among the men, higher injury risk was associated with older age, slower 300-meter sprint time, slower 1.5-mile run time, lower total points on the physical fitness test (PFT), lower self-rated physical activity, lower frequency of aerobic exercise, a prior upper or lower limb injury, and prior foot or knee pain that limited activity. Among the women higher injury risk was associated with slower 300-meter sprint time, slower 1.5-mile run time, lower total points on the PFT, and prior back pain that limited activity.</p> <p>Conclusion</p> <p>The results of this investigation supported those of a previous retrospective investigation emphasizing that lower fitness and self-reported pain limiting activity were associated with higher injury risk among FBI new agents.</p

Bayesian recovery of the initial condition for the heat equation

We study a Bayesian approach to recovering the initial condition for the heat equation from noisy observations of the solution at a later time. We consider a class of prior distributions indexed by a parameter quantifying "smoothness" and show that the corresponding posterior distributions contract around the true parameter at a rate that depends on the smoothness of the true initial condition and the smoothness and scale of the prior. Correct combinations of these characteristics lead to the optimal minimax rate. One type of priors leads to a rate-adaptive Bayesian procedure. The frequentist coverage of credible sets is shown to depend on the combination of the prior and true parameter as well, with smoother priors leading to zero coverage and rougher priors to (extremely) conservative results. In the latter case credible sets are much larger than frequentist confidence sets, in that the ratio of diameters diverges to infinity. The results are numerically illustrated by a simulated data example.Comment: 17 pages, 4 figures. Published in Comm. Statist. Theory Methods. This version differs from the original in pagination and typographic detail. arXiv admin note: text overlap with arXiv:1103.269

A systematic review and meta-analysis on the prevalence of dietary supplement use by military personnel

BACKGROUND: Although a number of studies have been conducted on the prevalence of dietary supplement (DS) use in military personnel, these investigations have not been previously summarized. This article provides a systematic literature review of this topic. METHODS: Literature databases, reference lists, and other sources were searched to find studies that quantitatively examined the prevalence of DS use in uniformed military groups. Prevalence data were summarized by gender and military service. Where there were at least two investigations, meta-analysis was performed using a random model and homogeneity of the prevalence values was assessed. RESULTS: The prevalence of any DS use for Army, Navy, Air Force, and Marine Corps men was 55%, 60%, 60%, and 61%, respectively; for women corresponding values were 65%, 71%, 76%, and 71%, respectively. Prevalence of multivitamin and/or multimineral (MVM) use for Army, Navy, Air Force, and Marine Corps men was 32%, 46%, 47%, and 41%, respectively; for women corresponding values were 40%, 55%, 63%, and 53%, respectively. Use prevalence of any individual vitamin or mineral supplement for Army, Navy, Air Force, and Marine Corps men was 18%, 27%, 25%, and 24%, respectively; for women corresponding values were 29%, 36%, 40%, and 33%, respectively. Men in elite military groups (Navy Special Operations, Army Rangers, and Army Special Forces) had a use prevalence of 76% for any DS and 37% for MVM, although individual studies were not homogenous. Among Army men, Army women, and elite military men, use prevalence of Vitamin C was 15% for all three groups; for Vitamin E, use prevalence was 8%, 7%, and 9%, respectively; for sport drinks, use prevalence was 22%, 25% and 39%, respectively. Use prevalence of herbal supplements was generally low compared to vitamins, minerals, and sport drinks, ≤5% in most investigations. CONCLUSIONS: Compared to men, military women had a higher use prevalence of any DS and MVM. Army men and women tended to use DSs and MVM less than other service members. Elite military men appeared to use DSs and sport drinks more than other service members

Molecular dynamics and physical stability of amorphous nimesulide drug and its binary drug-polymer systems

yesIn this paper we study the effectiveness of three well known polymers: inulin, Soluplus and PVP in stabilizing amorphous form of nimesulide (NMS) drug. The re-crystallization tendency of pure drug as well as measured drug-polymer systems were examined at isothermal conditions by using broadband dielectric spectroscopy (BDS), and at non-isothermal conditions by differential scanning calorimetry (DSC). Our investigation has shown that the crystallization half-life time of pure NMS at 328 K is equal to 33 minutes. We found that this time can be prolonged to 40 years after adding to NMS 20% of PVP polymer. This polymer proved to be the best NMS’s stabilizer, while the worst stabilization effect was found after adding the inulin to NMS. Additionally, our DSC, BDS and FTIR studies indicate that for suppression of NMS’s re-crystallization in NMS-PVP system, the two mechanisms are responsible: the polymeric steric hindrances as well as the antiplastization effect excerted by the excipient.The authors J.K., Z.W., K.G. and M.P., are grateful for the financial support received within the Project No. 2015/16/W/NZ7/00404 (SYMFONIA 3) from the National Science Centre, Poland. H.M. and L.T. are supported by Science Foundation Ireland under grant No. 12/RC/2275 (Synthesis and Solid State Pharmaceuticals Centre)

Multi-dye theranostic nanoparticle platform for bioimaging and cancer therapy

Amit K Singh,1,2 Megan A Hahn,2 Luke G Gutwein,3 Michael C Rule,4 Jacquelyn A Knapik,5 Brij M Moudgil,1,2 Stephen R Grobmyer,3 Scott C Brown,2,61Department of Materials Science and Engineering, College of Engineering, 2Particle Engineering Research Center, College of Engineering, 3Division of Surgical Oncology, Department of Surgery, College of Medicine, 4Cell and Tissue Analysis Core, McKnight Brain Institute, 5Department of Pathology, College of Medicine, University of Florida, Gainesville, FL, USA; 6DuPont Central Research and Development, Corporate Center for Analytical Science, Wilmington, DE, USABackground: Theranostic nanomaterials composed of fluorescent and photothermal agents can both image and provide a method of disease treatment in clinical oncology. For in vivo use, the near-infrared (NIR) window has been the focus of the majority of studies, because of greater light penetration due to lower absorption and scatter of biological components. Therefore, having both fluorescent and photothermal agents with optical properties in the NIR provides the best chance of improved theranostic capabilities utilizing nanotechnology.Methods: We developed nonplasmonic multi-dye theranostic silica nanoparticles (MDT-NPs), combining NIR fluorescence visualization and photothermal therapy within a single nanoconstruct comprised of molecular components. A modified NIR fluorescent heptamethine cyanine dye was covalently incorporated into a mesoporous silica matrix and a hydrophobic metallo-naphthalocyanine dye with large molar absorptivity was loaded into the pores of these fluorescent particles. The imaging and therapeutic capabilities of these nanoparticles were demonstrated in vivo using a direct tumor injection model.Results: The fluorescent nanoparticles are bright probes (300-fold enhancement in quantum yield versus free dye) that have a large Stokes shift (&amp;gt;110 nm). Incorporation of the naphthalocyanine dye and exposure to NIR laser excitation results in a temperature increase of the surrounding environment of the MDT-NPs. Tumors injected with these NPs are easily visible with NIR imaging and produce significantly elevated levels of tumor necrosis (95%) upon photothermal ablation compared with controls, as evaluated by bioluminescence and histological analysis.Conclusion: MDT-NPs are novel, multifunctional nanomaterials that have optical properties dependent upon the unique incorporation of NIR fluorescent and NIR photothermal dyes within a mesoporous silica platform.Keywords: bioluminescence, in vivo imaging, mesoporous silica nanoparticles, NIR fluorescence, photothermal ablation, theranosti

Aetiology and risk factors of musculoskeletal disorders in physically active conscripts: a follow-up study in the Finnish Defence Forces

<p>Abstract</p> <p>Background</p> <p>Musculoskeletal disorders (MSDs) are the main reason for morbidity during military training. MSDs commonly result in functional impairment leading to premature discharge from military service and disabilities requiring long-term rehabilitation. The purpose of the study was to examine associations between various risk factors and MSDs with special attention to the physical fitness of the conscripts.</p> <p>Methods</p> <p>Two successive cohorts of 18 to 28-year-old male conscripts (<it>N </it>= 944, median age 19) were followed for six months. MSDs, including overuse and acute injuries, treated at the garrison clinic were identified and analysed. Associations between MSDs and risk factors were examined by multivariate Cox's proportional hazard models.</p> <p>Results</p> <p>During the six-month follow-up of two successive cohorts there were 1629 MSDs and 2879 health clinic visits due to MSDs in 944 persons. The event-based incidence rate for MSD was 10.5 (95% confidence interval (CI): 10.0-11.1) per 1000 person-days. Most MSDs were in the lower extremities (65%) followed by the back (18%). The strongest baseline factors associated with MSDs were poor result in the combined outcome of a 12-minute running test and back lift test (hazard ratio (HR) 2.9; 95% CI: 1.9-4.6), high waist circumference (HR 1.7; 95% CI: 1.3-2.2), high body mass index (HR 1.8; 95% CI: 1.3-2.4), poor result in a 12-minute running test (HR 1.6; 95% CI: 1.2-2.2), earlier musculoskeletal symptoms (HR 1.7; 95% CI: 1.3-2.1) and poor school success (educational level and grades combined; HR 2.0; 95% CI: 1.3-3.0). In addition, risk factors of long-term MSDs (≥10 service days lost due to one or several MSDs) were analysed: poor result in a 12-minute running test, earlier musculoskeletal symptoms, high waist circumference, high body mass index, not belonging to a sports club and poor result in the combined outcome of the 12-minute running test and standing long jump test were strongly associated with long-term MSDs.</p> <p>Conclusions</p> <p>The majority of the observed risk factors are modifiable and favourable for future interventions. An appropriate intervention based on the present study would improve both aerobic and muscular fitness prior to conscript training. Attention to appropriate waist circumference and body mass index would strengthen the intervention. Effective results from well-planned randomised controlled studies are needed before initiating large-scale prevention programmes in a military environment.</p