Contracts as specifications for dynamical systems in driving variable form

This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations of control specifications, providing an alternative to specifications in terms of dissipativity properties or set-invariance. The framework has the potential to capture a richer class of specifications more suitable for complex engineering systems. The proposed contracts are supported by results that enable the verification of contract implementation and the comparison of contracts. These results are illustrated by an example of a vehicle following system.Comment: 8 pages, 2 figures; minor changes in the final version, as accepted for publication in the Proceedings of the 2019 European Control Conference, Naples, Ital

Longitudinal cohort of HIV-negative transgender women of colour in New York City: protocol for the TURNNT ('Trying to Understand Relationships, Networks and Neighbourhoods among Transgender women of colour') study.

IntroductionIn the USA, transgender women are among the most vulnerable to HIV. In particular, transgender women of colour face high rates of infection and low uptake of important HIV prevention tools, including pre-exposure prophylaxis (PrEP). This paper describes the design, sampling methods, data collection and analyses of the TURNNT ('Trying to Understand Relationships, Networks and Neighbourhoods among Transgender women of colour') study. In collaboration with communities of transgender women of colour, TURNNT aims to explore the complex social and environmental (ie, neighbourhood) structures that affect HIV prevention and other aspects of health in order to identify avenues for intervention.Methods and analysesTURNNT is a prospective cohort study, which will recruit 300 transgender women of colour (150 Black/African American, 100 Latina and 50 Asian/Pacific Islander participants) in New York City. There will be three waves of data collection separated by 6 months. At each wave, participants will provide information on their relationships, social and sexual networks, and neighbourhoods. Global position system technology will be used to generate individual daily path areas in order to estimate neighbourhood-level exposures. Multivariate analyses will be conducted to assess cross-sectional and longitudinal, independent and synergistic associations of personal relationships (notably individual social capital), social and sexual networks, and neighbourhood factors (notably neighbourhood-level social cohesion) with PrEP uptake and discontinuation.Ethics and disseminationThe TURNNT protocol was approved by the Columbia University Institutional Review Board (reference no. AAAS8164). This study will provide novel insights into the relationship, network and neighbourhood factors that influence HIV prevention behaviours among transgender women of colour and facilitate exploration of this population's health and well-being more broadly. Through community-based dissemination events and consultation with policy makers, this foundational work will be used to guide the development and implementation of future interventions with and for transgender women of colour

Multiplicity Studies and Effective Energy in ALICE at the LHC

In this work we explore the possibility to perform ``effective energy'' studies in very high energy collisions at the CERN Large Hadron Collider (LHC). In particular, we focus on the possibility to measure in $pp$ collisions the average charged multiplicity as a function of the effective energy with the ALICE experiment, using its capability to measure the energy of the leading baryons with the Zero Degree Calorimeters. Analyses of this kind have been done at lower centre--of--mass energies and have shown that, once the appropriate kinematic variables are chosen, particle production is characterized by universal properties: no matter the nature of the interacting particles, the final states have identical features. Assuming that this universality picture can be extended to {\it ion--ion} collisions, as suggested by recent results from RHIC experiments, a novel approach based on the scaling hypothesis for limiting fragmentation has been used to derive the expected charged event multiplicity in $AA$ interactions at LHC. This leads to scenarios where the multiplicity is significantly lower compared to most of the predictions from the models currently used to describe high energy $AA$ collisions. A mean charged multiplicity of about 1000-2000 per rapidity unit (at $\eta \sim 0$) is expected for the most central $Pb-Pb$ collisions at $\sqrt{s_{NN}} = 5.5 TeV$.Comment: 12 pages, 19 figures. In memory of A. Smirnitski

Charmed particles production in pA-interactions at 70 GeV

The results of the SERP-E-184 experiment at the U-70 accelerator (IHEP, Protvino) are presented. Interactions of the 70 GeV proton beam with carbon, silicon and lead targets were studied to detect decays of charmed $D^0$, $\bar D^0$, $D^+$, $D^-$ mesons and $\Lambda_c^+$ baryon near their production threshold. Measurements of lifetimes and masses have shown a good agreement with PDG data. The inclusive cross sections of charm production and their A-dependencies have been obtained. The yields of these particles are compared with the theoretical predictions and the data of other experiments. The measured cross section of the total open charm production $\sigma(c\bar c) = 7.1 \pm 2.3(stat) \pm 1.4(syst)$ $\mu$b/nucleon at the collision c.m. energy $\surd s$ = 11.8 GeV is well above the QCD model predictions. The contributions of different kinds of charmed particles to the total cross section of the open charm production in proton-nucleus interactions vary with energy.Comment: Presented at 19th International Seminar on High Energy Physics QUARKS-2016 (Pushkin, Russia, 29 May - 4 June, 2016.). 11 pages, 9 figure

Development of a MALDI MS-based platform for early detection of acute kidney injury

Purpose: Septic acute kidney injury (AKI) is associated with poor outcome. This can partly be attributed to delayed diagnosis and incomplete understanding of the underlying pathophysiology. Our aim was to develop an early predictive test for AKI based on the analysis of urinary peptide biomarkers by MALDI-MS. Experimental design: Urine samples from 95 patients with sepsis were analyzed by MALDI-MS. Marker search and multimarker model establishment were performed using the peptide profiles from 17 patients with existing or within the next 5 days developing AKI and 17 with no change in renal function. Replicates of urine sample pools from the AKI and non-AKI patient groups and normal controls were also included to select the analytically most robust AKI markers. Results: Thirty-nine urinary peptides were selected by cross-validated variable selection to generate a support vector machine multidimensional AKI classifier. Prognostic performance of the AKI classifier on an independent validation set including the remaining 61 patients of the study population (17 controls and 44 cases) was good with an area under the receiver operating characteristics curve of 0.82 and a sensitivity and specificity of 86% and 76%, respectively. Conclusion and clinical relevance: A urinary peptide marker model detects onset of AKI with acceptable accuracy in septic patients. Such a platform can eventually be transferred to the clinic as fast MALDI-MS test format

Estimating Discrete Markov Models From Various Incomplete Data Schemes

The parameters of a discrete stationary Markov model are transition probabilities between states. Traditionally, data consist in sequences of observed states for a given number of individuals over the whole observation period. In such a case, the estimation of transition probabilities is straightforwardly made by counting one-step moves from a given state to another. In many real-life problems, however, the inference is much more difficult as state sequences are not fully observed, namely the state of each individual is known only for some given values of the time variable. A review of the problem is given, focusing on Monte Carlo Markov Chain (MCMC) algorithms to perform Bayesian inference and evaluate posterior distributions of the transition probabilities in this missing-data framework. Leaning on the dependence between the rows of the transition matrix, an adaptive MCMC mechanism accelerating the classical Metropolis-Hastings algorithm is then proposed and empirically studied.Comment: 26 pages - preprint accepted in 20th February 2012 for publication in Computational Statistics and Data Analysis (please cite the journal's paper

Jet production in charged current deep inelastic e⁺p scatteringat HERA

The production rates and substructure of jets have been studied in charged current deep inelastic e⁺p scattering for Q² > 200 GeV² with the ZEUS detector at HERA using an integrated luminosity of 110.5 pb⁻¹. Inclusive jet cross sections are presented for jets with transverse energies E_{T}^{jet} > 5 GeV. Measurements of the mean subjet multiplicity, 〈n_{sbj}〉, of the inclusive jet sample are presented. Predictions based on parton-shower Monte Carlo models and next-to-leading-order QCD calculations are compared to the measurements. The value of α_{s} (M_{z}), determined from 〈n_{sbj}〉 at y_{cut} = 10⁻² for jets with 25 < E_{T}^{jet} < 119 GeV, is α_{s} (M_{z}) = 0.1202 ± 0.0052 (stat.)_{-0.0019}^{+0.0060} (syst.)_{-0.0053}^{+0.0065} (th.). The mean subjet multiplicity as a function of Q² is found to be consistent with that measured in NC DIS

Multijet production in neutral current deep inelastic scattering at HERA and determination of α_{s}

Multijet production rates in neutral current deep inelastic scattering have been measured in the range of exchanged boson virtualities 10 5 GeV and –1 < η_{LAB}^{jet} < 2.5. Next-to-leading-order QCD calculations describe the data well. The value of the strong coupling constant α_{s} (M_{z}), determined from the ratio of the trijet to dijet cross sections, is α_{s} (M_{z}) = 0.1179 ± 0.0013 (stat.)_{-0.0046}^{+0.0028}(exp.)_{-0.0046}^{+0.0028}(th.)

A Study of Cosmic Ray Secondaries Induced by the Mir Space Station Using AMS-01

The Alpha Magnetic Spectrometer (AMS-02) is a high energy particle physics experiment that will study cosmic rays in the $\sim 100 \mathrm{MeV}$ to $1 \mathrm{TeV}$ range and will be installed on the International Space Station (ISS) for at least 3 years. A first version of AMS-02, AMS-01, flew aboard the space shuttle \emph{Discovery} from June 2 to June 12, 1998, and collected $10^8$ cosmic ray triggers. Part of the \emph{Mir} space station was within the AMS-01 field of view during the four day \emph{Mir} docking phase of this flight. We have reconstructed an image of this part of the \emph{Mir} space station using secondary $\pi^-$ and $\mu^-$ emissions from primary cosmic rays interacting with \emph{Mir}. This is the first time this reconstruction was performed in AMS-01, and it is important for understanding potential backgrounds during the 3 year AMS-02 mission.Comment: To be submitted to NIM B Added material requested by referee. Minor stylistic and grammer change

Adaptive resistance to RAF inhibitors in melanoma.

The discovery of activating mutations in BRAF at high frequency in cutaneous melanoma opened the door to new treatment options, which have resulted in significantly better patient outcomes. Treatments such as the FDA-approved RAF inhibitor vemurafenib and the more recently approved dabrafenib and trametinib combination therapy are designed to target the ERK1/2 pathway. Initial success in targeting this pathway is evidenced by the high percentage of melanoma patients who undergo tumor remission. However, the beneficial effects of these targeted therapies are usually short-lived due to the development of resistance, which leads to disease progression. As a result, studies have focused on the acquired forms of resistance that develop following continued exposure to therapy. Conversely, far fewer studies have investigated the adaptive forms of resistance, which activate rapidly, promote cell survival, and may underlie the development of acquired resistance by providing melanoma cells the time to develop additional mutations. We provide a detailed review of the known mechanisms of adaptive resistance in melanoma and relate them to similar responses to targeted therapies in other tumor types