Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results

Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program can be more simply described in terms of assumptions on the probability distribution of the failure intensity of the program. We can thus state general acceptance conditions in clear mathematical terms using Bayesian inference. We develop two scenarios, one for software for which the reliability requirements are that the software must be completely fault-free, and another for requirements stated as an upper bound on the acceptable failure probability

Cutting the cost of carbon capture: a case for carbon capture and utilization

A significant part of the cost for Carbon Capture and Storage (CCS) is related to the compression of the captured CO2 to its supercritical state, at 150 bar and typically 99% purity. These stringent conditions may however not always be necessary for specific cases of Carbon Capture and Utilization (CCU). In this manuscript, we investigate how much the parasitic energy of an adsorbent-based carbon capture process may be lowered by utilizing CO2 at 1 bar and adapting the final purity requirement for CO2 from 99% to 70% or 50%. We compare different CO2 sources: the flue gases of coal-fired or natural gas-fired power plants and ambient air. We evaluate the carbon capture performance of over 60 nanoporous materials and determine the influence of the initial and final purity on the parasitic energy of the carbon capture process. Moreover, we demonstrate the underlying principles of the parasitic energy minimization in more detail using the commercially available NaX zeolite. Finally, the calculated utilization cost of CO2 is compared with reported prices for CO2 and published costs for CCS

Defining the content and delivery of an intervention to Change AdhereNce to treatment in BonchiEctasis (CAN-BE): a qualitative approach incorporating the Theoretical Domains Framework, behavioural change techniques and stakeholder expert panels

BACKGROUND: Low patient adherence to treatment is associated with poorer health outcomes in bronchiectasis. We sought to use the Theoretical Domains Framework (TDF) (a framework derived from 33 psychological theories) and behavioural change techniques (BCTs) to define the content of an intervention to change patients' adherence in bronchiectasis (Stage 1 and 2) and stakeholder expert panels to define its delivery (Stage 3). METHODS: We conducted semi-structured interviews with patients with bronchiectasis about barriers and motivators to adherence to treatment and focus groups or interviews with bronchiectasis healthcare professionals (HCPs) about their ability to change patients' adherence to treatment. We coded these data to the 12 domain TDF to identify relevant domains for patients and HCPs (Stage 1). Three researchers independently mapped relevant domains for patients and HCPs to a list of 35 BCTs to identify two lists (patient and HCP) of potential BCTs for inclusion (Stage 2). We presented these lists to three expert panels (two with patients and one with HCPs/academics from across the UK). We asked panels who the intervention should target, who should deliver it, at what intensity, in what format and setting, and using which outcome measures (Stage 3). RESULTS: Eight TDF domains were perceived to influence patients' and HCPs' behaviours: Knowledge, Skills, Beliefs about capability, Beliefs about consequences, Motivation, Social influences, Behavioural regulation and Nature of behaviours (Stage 1). Twelve BCTs common to patients and HCPs were included in the intervention: Monitoring, Self-monitoring, Feedback, Action planning, Problem solving, Persuasive communication, Goal/target specified:behaviour/outcome, Information regarding behaviour/outcome, Role play, Social support and Cognitive restructuring (Stage 2). Participants thought that an individualised combination of these BCTs should be delivered to all patients, by a member of staff, over several one-to-one and/or group visits in secondary care. Efficacy should be measured using pulmonary exacerbations, hospital admissions and quality of life (Stage 3). CONCLUSIONS: Twelve BCTs form the intervention content. An individualised selection from these 12 BCTs will be delivered to all patients over several face-to-face visits in secondary care. Future research should focus on developing physical materials to aid delivery of the intervention prior to feasibility and pilot testing. If effective, this intervention may improve adherence and health outcomes for those with bronchiectasis in the future

Assimilation of healthy and indulgent impressions from labelling influences fullness but not intake or sensory experience

Background: Recent evidence suggests that products believed to be healthy may be over-consumed relative to believed indulgent or highly caloric products. The extent to which these effects relate to expectations from labelling, oral experience or assimilation of expectations is unclear. Over two experiments, we tested the hypotheses that healthy and indulgent information could be assimilated by oral experience of beverages and influence sensory evaluation, expected satiety, satiation and subsequent appetite. Additionally, we explored how expectation-experience congruency influenced these factors. Results: Results supported some assimilation of healthiness and indulgent ratings—study 1 showed that indulgent ratings enhanced by the indulgent label persisted post-tasting, and this resulted in increased fullness ratings. In study 2, congruency of healthy labels and oral experience promoted enhanced healthiness ratings. These healthiness and indulgent beliefs did not influence sensory analysis or intake—these were dictated by the products themselves. Healthy labels, but not experience, were associated with decreased expected satiety. Conclusions: Overall labels generated expectations, and some assimilation where there were congruencies between expectation and experience, but oral experience tended to override initial expectations to determine ultimate sensory evaluations and intake. Familiarity with the sensory properties of the test beverages may have resulted in the use of prior knowledge, rather than the label information, to guide evaluations and behaviour

Toarcian oceanic anoxic event: An assessment of global causes using belemnite C isotope records

Two hypotheses have been proposed to explain simultaneous large negative excursions (up to 7% PeeDee belemnite) in bulk carbonate (delta(13)C(carb)) and organic carbon isotope records (delta(13)C(org)) from black shales marking the Toarcian oceanic anoxic event (T-OAE). The first explanation envisions recycling of dissolved inorganic carbon (DIC) with a light isotopic signature into the photic zone from the lower levels of a salinity-stratified water mass, essentially requiring a regional paleoceanographic driver of the carbon cycle. The second involves the rapid and massive dissociation of methane from gas hydrates that effectively renders the T-OAE a global perturbation of the carbon cycle. We present C isotope records from belemnites (delta(13)C(bel)) sampled from two localities, calibrated with high-resolution ammonite biostratigraphy and Sr isotope stratigraphy, in Yorkshire (England) and Dotternhausen (Germany), that can be used to assess which model best explains the observed changes in carbon isotopes. Our records of the delta(13)C composition of belemnite calcite do not show the large negative C isotope excursions shown by coeval records of delta(13)C in sedimentary organic matter or bulk sedimentary carbonate. It follows that isotopically light carbon cannot have dominated the ocean-atmosphere carbon reservoir during the Toarcian OAE, as would be required were the methane release hypothesis correct. On the basis of an evaluation of available carbon isotope records we discuss a model in which the recycling of DIC from the deeper levels of a stratified water body, and shallowing of anoxic conditions into the photic zone, can explain all isotopic profiles. In particular, the model accounts for the higher C isotope values of belemnites that are characteristic of open ocean, well-mixed conditions, and the lower C isotope values of neritic phytoplankton communities that recorded the degree of density stratification and shallowing of anoxia in the photic zone

Big Data and Analysis of Data Transfers for International Research Networks Using NetSage

Modern science is increasingly data-driven and collaborative in nature. Many scientific disciplines, including genomics, high-energy physics, astronomy, and atmospheric science, produce petabytes of data that must be shared with collaborators all over the world. The National Science Foundation-supported International Research Network Connection (IRNC) links have been essential to enabling this collaboration, but as data sharing has increased, so has the amount of information being collected to understand network performance. New capabilities to measure and analyze the performance of international wide-area networks are essential to ensure end-users are able to take full advantage of such infrastructure for their big data applications. NetSage is a project to develop a unified, open, privacy-aware network measurement, and visualization service to address the needs of monitoring today's high-speed international research networks. NetSage collects data on both backbone links and exchange points, which can be as much as 1Tb per month. This puts a significant strain on hardware, not only in terms storage needs to hold multi-year historical data, but also in terms of processor and memory needs to analyze the data to understand network behaviors. This paper addresses the basic NetSage architecture, its current data collection and archiving approach, and details the constraints of dealing with this big data problem of handling vast amounts of monitoring data, while providing useful, extensible visualization to end users

Search for the Elusive Higgs Boson Using Jet Structure at LHC

We consider the production of a light non-standard model Higgs boson of order 100~\GEV with an associated $W$ boson at CERN Large Hadron Collider. We focus on an interesting scenario that, the Higgs boson decays predominately into two light scalars $\chi$ with mass of few GeV which sequently decay into four gluons, i.e. $h\to 2\chi \to 4g$. Since $\chi$ is much lighter than the Higgs boson, it will be highly boosted and its decay products, the two gluons, will move close to each other, resulting in a single jet for $\chi$ decay in the detector. By using electromagnetic calorimeter-based and jet substructure analyses, we show in two cases of different $\chi$ masses that it is quite promising to extract the signal of Higgs boson out of large QCD background.Comment: 20 pages, 7 figure

Introduction to the AdS/CFT correspondence

This is a pedagogical introduction to the AdS/CFT correspondence, based on lectures delivered by the author at the third IDPASC school. Starting with the conceptual basis of the holographic dualities, the subject is developed emphasizing some concrete topics, which are discussed in detail. A very brief introduction to string theory is provided, containing the minimal ingredients to understand the origin of the AdS/CFT duality. Other topics covered are the holographic calculation of correlation functions, quark-antiquark potentials and transport coefficients.Comment: 64 pages, 12 figures;v2: minor improvements;v3: references adde