Maintaining Relationships With Supply Chain Partners: A Case Study

This case study describes efforts of a market leader in the communication infrastructure industry to assess the relationships they have developed with their global supply chain partners.  Changes in the industry have resulted in geographic shifts of existing and potential supply chain suppliers and customers.  In an effort to determine if commitment to customer service has resulted in increased customer satisfaction and loyalty, research was conducted to assess their performance.  The results of this research were compared to previous research to determine if their service program has successfully differentiated them from their competitors

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification

Many verifications of realistic software systems are monolithic, in the sense that they define single global invariants over complete system state. More modular proof techniques promise to support reuse of component proofs and even reduce the effort required to verify one concrete system, just as modularity simplifies standard software development. This paper reports on one case study applying modular proof techniques in the Coq proof assistant. To our knowledge, it is the first modular verification certifying a system that combines infrastructure with an application of interest to end users. We assume a nonblocking API for managing TCP networking streams, and on top of that we work our way up to certifying multithreaded, database-backed Web applications. Key verified components include a cooperative threading library and an implementation of a domain-specific language for XML processing. We have deployed our case-study system on mobile robots, where it interfaces with off-the-shelf components for sensing, actuation, and control.National Science Foundation (U.S.) (Grant CCF-1253229)United States. Defense Advanced Research Projects Agency (Agreement FA8750-12-2-0293

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification

Many verifications of realistic software systems are monolithic, in the sense that they define single global invariants over complete system state. More modular proof techniques promise to support reuse of component proofs and even reduce the effort required to verify one concrete system, just as modularity simplifies standard software development. This paper reports on one case study applying modular proof techniques in the Coq proof assistant. To our knowledge, it is the first modular verification certifying a system that combines infrastructure with an application of interest to end users. We assume a nonblocking API for managing TCP networking streams, and on top of that we work our way up to certifying multithreaded, database-backed Web applications. Key verified components include a cooperative threading library and an implementation of a domain-specific language for XML processing. We have deployed our case-study system on mobile robots, where it interfaces with off-the-shelf components for sensing, actuation, and control.National Science Foundation (U.S.) (NSF grant CCF-1253229)United States. Defense Advanced Research Projects Agency (DARPA, agreement number FA8750-12-2-0293

Optimal discrete stopping times for reliability growth tests

Often, the duration of a reliability growth development test is specified in advance and the decision to terminate or continue testing is conducted at discrete time intervals. These features are normally not captured by reliability growth models. This paper adapts a standard reliability growth model to determine the optimal time for which to plan to terminate testing. The underlying stochastic process is developed from an Order Statistic argument with Bayesian inference used to estimate the number of faults within the design and classical inference procedures used to assess the rate of fault detection. Inference procedures within this framework are explored where it is shown the Maximum Likelihood Estimators possess a small bias and converges to the Minimum Variance Unbiased Estimator after few tests for designs with moderate number of faults. It is shown that the Likelihood function can be bimodal when there is conflict between the observed rate of fault detection and the prior distribution describing the number of faults in the design. An illustrative example is provided

Thermocurrents and their Role in high Q Cavity Performance

Over the past years it became evident that the quality factor of a superconducting cavity is not only determined by its surface preparation procedure, but is also influenced by the way the cavity is cooled down. Moreover, different data sets exists, some of them indicate that a slow cool-down through the critical temperature is favourable while other data states the exact opposite. Even so there where speculations and some models about the role of thermo-currents and flux-pinning, the difference in behaviour remained a mystery. In this paper we will for the first time present a consistent theoretical model which we confirmed by data that describes the role of thermo-currents, driven by temperature gradients and material transitions. We will clearly show how they impact the quality factor of a cavity, discuss our findings, relate it to findings at other labs and develop mitigation strategies which especially addresses the issue of achieving high quality factors of so-called nitrogen doped cavities in horizontal test

Prevalence and risk factors for postnatal mental health problems in mothers of infants admitted to neonatal care: Analysis of two population-based surveys in England

Background Previous research suggests that mothers whose infants are admitted to neonatal units (NNU) experience higher rates of mental health problems compared to the general perinatal population. This study examined the prevalence and factors associated with postnatal depression, anxiety, post-traumatic stress (PTS), and comorbidity of these mental health problems for mothers of infants admitted to NNU, six months after childbirth. Methods This was a secondary analysis of two cross-sectional, population-based National Maternity Surveys in England in 2018 and 2020. Postnatal depression, anxiety, and PTS were assessed using standardised measures. Associations between sociodemographic, pregnancy- and birth-related factors and postnatal depression, anxiety, PTS, and comorbidity of these mental health problems were explored using modified Poisson regression and multinomial logistic regression. Results Eight thousand five hundred thirty-nine women were included in the analysis, of whom 935 were mothers of infants admitted to NNU. Prevalence of postnatal mental health problems among mothers of infants admitted to NNU was 23.7% (95%CI: 20.6–27.2) for depression, 16.0% (95%CI: 13.4–19.0) for anxiety, 14.6% (95%CI: 12.2–17.5) for PTS, 8.2% (95%CI: 6.5–10.3) for two comorbid mental health problems, and 7.5% (95%CI: 5.7–10.0) for three comorbid mental health problems six months after giving birth. These rates were consistently higher compared to mothers whose infants were not admitted to NNU (19.3% (95%CI: 18.3–20.4) for depression, 14.0% (95%CI: 13.1–15.0) for anxiety, 10.3% (95%CI: 9.5–11.1) for PTS, 8.5% (95%CI: 7.8–9.3) for two comorbid mental health problems, and 4.2% (95%CI: 3.6–4.8) for three comorbid mental health problems six months after giving birth. Among mothers of infants admitted to NNU (N = 935), the strongest risk factors for mental health problems were having a long-term mental health problem and antenatal anxiety, while social support and satisfaction with birth were protective. Conclusions Prevalence of postnatal mental health problems was higher in mothers of infants admitted to NNU, compared to mothers of infants not admitted to NNU six months after giving birth. Experiencing previous mental health problems increased the risk of postnatal depression, anxiety, and PTS whereas social support and satisfaction with birth were protective. The findings highlight the importance of routine and repeated mental health assessments and ongoing support for mothers of infants admitted to NNU

SUSY Ward identities for multi-gluon helicity amplitudes with massive quarks

We use supersymmetric Ward identities to relate multi-gluon helicity amplitudes involving a pair of massive quarks to amplitudes with massive scalars. This allows to use the recent results for scalar amplitudes with an arbitrary number of gluons obtained by on-shell recursion relations to obtain scattering amplitudes involving top quarks.Comment: 22 pages, references adde