Validating Software Functionality Across Combinations of Runtime Configurations

As the number of configurable attributes of software under test grows and the cardinality of those attributes increases, the efficiency of software verification rapidly declines. This disclosure describes techniques to determine test coverage gaps in multidimensional configuration spaces of substantial cardinality by enabling a software developer to define a set of rules associated with a feature and by forming a Boolean algebra over a coverage matrix that defines the required test coverage. Test coverage is tracked and presented on a dashboard. Release can be blocked automatically if the test coverage gap is beyond a threshold. Based on the coverage matrix, untested combinations of configurations can be detected and individual compatibility tests to verify functionality can be designed. By dynamically maintaining the allowed values of the configuration space, intelligent prioritization of coverage becomes possible. Software testability is sustained in the face of exponential dimensional growth

A deep investigation into the structure of carbon dots

Since their discovery, carbon dots (CDs) have been a promising nanomaterial in a variety of fields including nanomedicine. Despite their potential in this area, there are many obstacles to overcome for CDs to be approved for biomedical use. One major hindrance to CDs’ approval is related to their poorly defined structure. Herein a structural study of CDs is presented in order to rectify this shortcoming. The properties of three CDs which have significant promise in biomedical applications, black CDs (B-CDs), carbon nitride dots (CNDs), and yellow CDs (Y-CDs), are compared in order to develop a coherent structural model for each nanosystem. Absorption coefficients were measured for each system and this data gave insight on the level of disorder in each system. Furthermore, extensive structural characterization has been performed in order to derive structural information for each system. This data showed that B-CDs and CNDs are functionalized to a greater degree and are also more disordered and amorphous than Y-CDs. These techniques were used to develop a structural model consistent with the obtained data and what is known for carbonic nanostructures. These models can be used to analyze CD emission properties and to better understand the structure-property relationship in CDs

Advancing Interoperable Connectivity Deployment: Connected Vehicle Pilot Deployment Results and Findings

DTFH6116F00019In September 2015, the U.S. Department of Transportation (USDOT) Intelligent Transportation Systems (ITS) Joint Program Office (JPO) awarded three deployment sites under the Connected Vehicle (CV) Pilot Deployment Program to: the New York City Department of Transportation (NYCDOT); the Tampa Hillsborough Expressway Authority (THEA); and the Wyoming Department of Transportation (WYDOT). Each site planned, built, tested, deployed, and operated a tailored suite of CV applications addressing stakeholder-identified transportation needs in diverse systems, ranging from dense urban grid networks to isolated high-plains interstates. Safety, mobility, environmental, and public agency efficiency impacts of CV applications were assessed by both the sites themselves and independent evaluators. All three sites overcame significant technical and non-technical challenges to integrate still-maturing CV technology within their deployed transportation systems. Due to the limitations of working with emerging technologies, impacts for many applications were reduced. Despite these challenges, the program achieved key goals related to interoperability, cybersecurity, and replicability and demonstrated that CV technologies and foundational standards can be utilized to mount multiple large-scale operational deployments. This report serves as an entry point for readers seeking to understand the objectives, successes, and insights gained from the CV Pilot Deployment Program

Boolean versus ranked querying for biomedical systematic reviews

Background: The process of constructing a systematic review, a document that compiles the published evidence pertaining to a specified medical topic, is intensely time-consuming, often taking a team of researchers over a year, with the identification of relevant published research comprising a substantial portion of the effort. The standard paradigm for this information-seeking task is to use Boolean search; however, this leaves the user(s) the requirement of examining every returned result. Further, our experience is that effective Boolean queries for this specific task are extremely difficult to formulate and typically require multiple iterations of refinement before being finalized. Methods: We explore the effectiveness of using ranked retrieval as compared to Boolean querying for the purpose of constructing a systematic review. We conduct a series of experiments involving ranked retrieval, using queries defined methodologically, in an effort to understand the practicalities of incorporating ranked retrieval into the systematic search task. Results: Our results show that ranked retrieval by itself is not viable for this search task requiring high recall. However, we describe a refinement of the standard Boolean search process and show that ranking within a Boolean result set can improve the overall search performance by providing early indication of the quality of the results, thereby speeding up the iterative query-refinement process. Conclusions: Outcomes of experiments suggest that an interactive query-development process using a hybrid ranked and Boolean retrieval system has the potential for significant time-savings over the current search process in the systematic reviewing

Shifting markers of identity in East London's diasporic religious spaces

This article discusses the historical and geographical contexts of diasporic religious buildings in East London, revealing – contrary both to conventional narratives of immigrant integration, mobility, and succession and to identitarian understandings of belonging – that in such spaces and in the concrete devotional practices enacted in them, markers and boundaries of identity (ritual, spatial, and political) are contested, renegotiated, erased, and rewritten. It draws on a series of case-studies: Fieldgate Street Synagogue in its interrelationship with the East London Mosque; St Antony's Catholic Church in Forest Gate where Hindus and Christians worship together; and the intertwined histories of Methodism and Anglicanism in Bow Road. Exploration of the intersections between ethnicity, religiosity, and class illuminates the ambiguity and instability of identity-formation and expression within East London's diasporic faith spaces

Evaluation of Typhoid Conjugate Vaccine Effectiveness in Ghana (TyVEGHA) Using a Cluster-Randomized Controlled Phase IV Trial: Trial Design and Population Baseline Characteristics.

Typhoid fever remains a significant health problem in sub-Saharan Africa, with incidence rates of >100 cases per 100,000 person-years of observation. Despite the prequalification of safe and effective typhoid conjugate vaccines (TCV), some uncertainties remain around future demand. Real-life effectiveness data, which inform public health programs on the impact of TCVs in reducing typhoid-related mortality and morbidity, from an African setting may help encourage the introduction of TCVs in high-burden settings. Here, we describe a cluster-randomized trial to investigate population-level protection of TYPBAR-TCV®, a Vi-polysaccharide conjugated to a tetanus-toxoid protein carrier (Vi-TT) against blood-culture-confirmed typhoid fever, and the synthesis of health economic evidence to inform policy decisions. A total of 80 geographically distinct clusters are delineated within the Agogo district of the Asante Akim region in Ghana. Clusters are randomized to the intervention arm receiving Vi-TT or a control arm receiving the meningococcal A conjugate vaccine. The primary study endpoint is the total protection of Vi-TT against blood-culture-confirmed typhoid fever. Total, direct, and indirect protection are measured as secondary outcomes. Blood-culture-based enhanced surveillance enables the estimation of incidence rates in the intervention and control clusters. Evaluation of the real-world impact of TCVs and evidence synthesis improve the uptake of prequalified/licensed safe and effective typhoid vaccines in public health programs of high burden settings. This trial is registered at the Pan African Clinical Trial Registry, accessible at Pan African Clinical Trials Registry (ID: PACTR202011804563392)

Evaluation of Typhoid Conjugate Vaccine Effectiveness in Ghana (TyVEGHA) Using a Cluster-Randomized Controlled Phase IV Trial: Trial Design and Population Baseline Characteristics.

Typhoid fever remains a significant health problem in sub-Saharan Africa, with incidence rates of >100 cases per 100,000 person-years of observation. Despite the prequalification of safe and effective typhoid conjugate vaccines (TCV), some uncertainties remain around future demand. Real-life effectiveness data, which inform public health programs on the impact of TCVs in reducing typhoid-related mortality and morbidity, from an African setting may help encourage the introduction of TCVs in high-burden settings. Here, we describe a cluster-randomized trial to investigate population-level protection of TYPBAR-TCV®, a Vi-polysaccharide conjugated to a tetanus-toxoid protein carrier (Vi-TT) against blood-culture-confirmed typhoid fever, and the synthesis of health economic evidence to inform policy decisions. A total of 80 geographically distinct clusters are delineated within the Agogo district of the Asante Akim region in Ghana. Clusters are randomized to the intervention arm receiving Vi-TT or a control arm receiving the meningococcal A conjugate vaccine. The primary study endpoint is the total protection of Vi-TT against blood-culture-confirmed typhoid fever. Total, direct, and indirect protection are measured as secondary outcomes. Blood-culture-based enhanced surveillance enables the estimation of incidence rates in the intervention and control clusters. Evaluation of the real-world impact of TCVs and evidence synthesis improve the uptake of prequalified/licensed safe and effective typhoid vaccines in public health programs of high burden settings. This trial is registered at the Pan African Clinical Trial Registry, accessible at Pan African Clinical Trials Registry (ID: PACTR202011804563392)

A randomized, double-blind, placebo-controlled study of milk oral immunotherapy for cow's milk allergy

Background Orally administered, food-specific immunotherapy appears effective in desensitizing and potentially permanently tolerizing allergic individuals. Objective We sought to determine whether milk oral immunotherapy (OIT) is safe and efficacious in desensitizing children with cow's milk allergy. Methods Twenty children were randomized to milk or placebo OIT (2:1 ratio). Dosing included 3 phases: the build-up day (initial dose, 0.4 mg of milk protein; final dose, 50 mg), daily doses with 8 weekly in-office dose increases to a maximum of 500 mg, and continued daily maintenance doses for 3 to 4 months. Double-blind, placebo-controlled food challenges; end-point titration skin prick tests; and milk protein serologic studies were performed before and after OIT. Results Nineteen patients, 6 to 17 years of age, completed treatment: 12 in the active group and 7 in the placebo group. One dropped out because of persistent eczema during dose escalation. Baseline median milk IgE levels in the active (n = 13) versus placebo (n = 7) groups were 34.8 kUa/L (range, 4.86–314 kUa/L) versus 14.6 kUa/L (range, 0.93–133.4 kUa/L). The median milk threshold dose in both groups was 40 mg at the baseline challenge. After OIT, the median cumulative dose inducing a reaction in the active treatment group was 5140 mg (range 2540-8140 mg), whereas all patients in the placebo group reacted at 40 mg (P = .0003). Among 2437 active OIT doses versus 1193 placebo doses, there were 1107 (45.4%) versus 134 (11.2%) total reactions, with local symptoms being most common. Milk-specific IgE levels did not change significantly in either group. Milk IgG levels increased significantly in the active treatment group, with a predominant milk IgG4 level increase. Conclusions Milk OIT appears to be efficacious in the treatment of cow's milk allergy. The side-effect profile appears acceptable but requires further study

Temporal variability in shell mound formation at Albatross Bay, northern Australia

We report the results of 212 radiocarbon determinations from the archaeological excavation of 70 shell mound deposits in the Wathayn region of Albatross Bay, Australia. This is an intensive study of a closely co-located group of mounds within a geographically restricted area in a wider region where many more shell mounds have been reported. Valves from the bivalve Tegillarcca granosa were dated. The dates obtained are used to calculate rates of accumulation for the shell mound deposits. These demonstrate highly variable rates of accumulation both within and between mounds. We assess these results in relation to likely mechanisms of shell deposition and show that rates of deposition are affected by time-dependent processes both during the accumulation of shell deposits and during their subsequent deformation. This complicates the interpretation of the rates at which shell mound deposits appear to have accumulated. At Wathayn, there is little temporal or spatial consistency in the rates at which mounds accumulated. Comparisons between the Wathayn results and those obtained from shell deposits elsewhere, both in the wider Albatross Bay region and worldwide, suggest the need for caution when deriving behavioural inferences from shell mound deposition rates, and the need for more comprehensive sampling of individual mounds and groups of mounds