Kentech Instruments (United Kingdom)

Formal verification of network protocols is a security-by-design approach, but extracting security properties from long, complex specifications remains manual, time-consuming, labor-intensive, and error-prone. We propose SPARTA, a framework that automatically extracts useful security properties from network specifications leveraging large language models (LLMs) and a three-step retrieval-augmented generation (RAG) pipeline.

Background and objectivesThe National Institute for Health and Care Excellence (England’s health technology assessment body) recommend the use of the average treatment effect (ATE) as an estimand for economic evaluations. However there is limited literature on methods to estimate the ATE, particularly in the case of survival outcomes. Single-arm trials and real-world data are playing an increasing role in health technology assessments, particularly in oncology/rare diseases, generating a need for new ATE estimation methods. This study aimed to present the adaptation and utility of this methodology for survival outcomes.MethodsThe approach is based on a “doubly robust” method combining matching with regression adjustment (Austin 2020) using a Weibull model (lowest Akaike information criteria [AIC] specification) to estimate counterfactual event times. As a case study, we compared mosunetuzumab versus rituximab/bendamustine, as a proxy for rituximab/chemotherapy, in 3L+ relapsed/refractory follicular lymphoma. Individual patient data for mosunetuzumab (NCT02500407) and a combination of two rituximab/bendamustine 3L+ follicular lymphoma cohorts (NCT02187861/NCT02257567) were used. Endpoints included overall survival (OS) and progression-free survival (PFS). Sensitivity analyses were performed to test robustness to different distributional assumptions (log-normal, log-logistic and exponential) or model specifications (second, third and fourth lowest AIC) for event times.ResultsThe case study found improved PFS (hazard ratio [HR] 0.43 [95% confidence interval (CI): 0.13, 0.91]) and OS (HR 0.30 [95% CI: 0.05, 5.28]) for mosunetuzumab. Consistent findings (HR range 0.25–0.47 and 0.21–0.50 with all CIs excluding/including 1 for PFS/OS, respectively) were observed in sensitivity analyses.Discussion/conclusionsThe proposed adaptation expands the range of available approaches for the estimation of the (local) ATE for survival outcomes in health technology assessments using “doubly robust” methods. This approach appeared relatively robust to modelling decisions in our case study.

Electron tubes continue to provide the highest speeds possible for recording dynamics of hot high-energy density plasmas. Standard streak camera drive electronics and CCD readout are not compatible with the radiation environment associated with high DT fusion yield inertial confinement fusion experiments >1013 14MeV DT neutrons or >109ncm-2ns-1. We describe a hardened x-ray streak camera developed for the National Ignition Facility and present preliminary results from the first experiment on which it has participated, recording the time-resolved bremsstrahlung spectrum from the core of an inertial confinement fusion implosion at more than 40× the operational neutron yield limit of the previous National Ignition Facility x-ray streak cameras.

BackgroundSpinal muscular atrophy (SMA) is a severe neuromuscular disease that is inherited in an autosomal recessive manner with an estimated incidence of 1 in 10,000 live births. The traditional classification of SMA includes five types (Types 0–4 SMA) based on patient age at disease onset and the highest motor milestone achieved. Spinal muscular atrophy leads to progressive muscle denervation, skeletal muscle atrophy and loss of motor function and ambulation, though phenotypes vary along a disease continuum. Regardless of disease severity, or access to treatment, a multidisciplinary approach to care is required to ease the burden of disease. To date, limited global data exist regarding the cost and resource use associated with SMA management.ObjectiveWe planned to perform a systematic literature review to identify studies on cost and healthcare resource use associated with SMA.MethodsA comprehensive search was conducted in 2019 using several electronic databases in addition to supplementary sources and updated in 2021 in order to capture recently published studies. Electronic searches performed in Embase, MEDLINE, Evidence-Based Medicine Reviews and EconLit via the Ovid platform were supplemented by searches of the grey literature (reference lists, conference proceedings, global Health Technology Assessment body websites and other relevant sources). Study eligibility criteria were based on the population, interventions, comparators and outcomes (PICO) framework. Quality assessment of full-text publications was evaluated with reference to a published checklist. To accommodate heterogeneity across studies including countries, currencies, populations, time units and methods of reporting used, costs were reported in Euros in 2019.ResultsA total of 51 publications, comprising 49 unique studies of patients with SMA that met all eligibility criteria were included in the final selection. The publications comprised data from 14 countries and seven additional studies that reported multi-national data. Because of the heterogeneity between the different types of SMA, data were frequently reported separately for individuals with Type 1 or early-onset SMA and for Types 2, 3, and 4 SMA or later-onset SMA. Generally, direct medical costs and resource use were reported to be highest for patients with Type 1 SMA, decreasing incrementally for patients with Type 2 and Type 3 disease. Where cost categories were similar, direct costs were much lower in Europe than in the USA. Indirect costs were primarily associated with informal care, which was a substantial burden on patients and families in terms of both cost and time. Cost drivers were generally found to be dependent on SMA type.ConclusionsLong-term robust studies are required to fully elucidate the economic burden of SMA. Considering that motor function can vary broadly, especially in Type 2 SMA, it would be beneficial to understand how costs and resource use are affected by different degrees of ambulation. Reporting data in terms of achieved motor function could also mitigate the challenges of comparing global data studies of small populations. Global, regional, and/or local data collection platforms and disease registry networks could play an important role in helping to address current data gaps.Supplementary InformationThe online version contains supplementary material available at 10.1007/s40273-021-01105-7.

Abstract The first demonstration of laser action in ruby was made in 1960 by T. H. Maiman of Hughes Research Laboratories, USA. Many laboratories worldwide began the search for lasers using different materials, operating at different wavelengths. In the UK, academia, industry and the central laboratories took up the challenge from the earliest days to develop these systems for a broad range of applications. This historical review looks at the contribution the UK has made to the advancement of the technology, the development of systems and components and their exploitation over the last 60 years.

We report the characterisation of gated optical image intensifiers for fluorescence lifetime imaging, evaluating the performance of several different prototypes that culminate in a new design that provides improved spatial resolution conferred by the addition of a magnetic field to reduce the lateral spread of photoelectrons on their path between the photocathode and microchannel plate, and higher signal to noise ratio conferred by longer time gates. We also present a methodology to compare these systems and their capabilities, including the quantitative readouts of Förster resonant energy transfer.

The DIlation X-ray Imager (DIXI) is a new, high-speed x-ray framing camera at the National Ignition Facility (NIF) sensitive to x-rays in the range of ≈2-17 keV. DIXI uses the pulse-dilation technique to achieve a temporal resolution of less than 10 ps, a ≈10× improvement over conventional framing cameras currently employed on the NIF (≈100 ps resolution), and otherwise only attainable with 1D streaked imaging. The pulse-dilation technique utilizes a voltage ramp to impart a velocity gradient on the signal-bearing electrons. The temporal response, spatial resolution, and x-ray sensitivity of DIXI are characterized with a short x-ray impulse generated using the COMET laser facility at Lawrence Livermore National Laboratory. At the NIF a pinhole array at 10 cm from target chamber center (tcc) projects images onto the photocathode situated outside the NIF chamber wall with a magnification of ≈64×. DIXI will provide important capabilities for warm-dense-matter physics, high-energy-density science, and inertial confinement fusion, adding important capabilities to temporally resolve hot-spot formation, x-ray emission, fuel motion, and mix levels in the hot-spot at neutron yields of up to 10(17). We present characterization data as well as first results on electron-transport phenomena in buried-layer foil experiments.