Hybrid Thermal Lance

The Hybrid Thermal Lance (HTL) is a device used to burn through landmines to destroy them safely. Designed for the team’s client, The HALO Trust, the HTL has proven to work well in destroying explosives, which has been demonstrated by field trials conducted in a number of countries including but not limited to Afghanistan and the Republic of Georgia. The HTL works by igniting acrylic burn tubes, which act as a fuel source and also focus the flame on a specific location on an explosive device. The system is controlled via a user-friendly, rugged control box that can run the HTL automatically and allow the device to burn for different lengths of time upon user command. The team was asked by HALO to make the HTL as user-friendly as possible. In order to do this, the team has been researching ways to make the ignition system as reliable as possible so the device works every time. The team plans to move forward in testing and refining the ignition system and the control circuit in order to give the client a trouble-free device. Future plans include designing a fixture that can be fitted over the end of the HTL burn tube which can focus the heat of the flame for a more concentrated burn.https://mosaic.messiah.edu/engr2020/1022/thumbnail.jp

Group-based Robustness: A General Framework for Customized Robustness in the Real World

Machine-learning models are known to be vulnerable to evasion attacks that perturb model inputs to induce misclassifications. In this work, we identify real-world scenarios where the true threat cannot be assessed accurately by existing attacks. Specifically, we find that conventional metrics measuring targeted and untargeted robustness do not appropriately reflect a model's ability to withstand attacks from one set of source classes to another set of target classes. To address the shortcomings of existing methods, we formally define a new metric, termed group-based robustness, that complements existing metrics and is better-suited for evaluating model performance in certain attack scenarios. We show empirically that group-based robustness allows us to distinguish between models' vulnerability against specific threat models in situations where traditional robustness metrics do not apply. Moreover, to measure group-based robustness efficiently and accurately, we 1) propose two loss functions and 2) identify three new attack strategies. We show empirically that with comparable success rates, finding evasive samples using our new loss functions saves computation by a factor as large as the number of targeted classes, and finding evasive samples using our new attack strategies saves time by up to 99\% compared to brute-force search methods. Finally, we propose a defense method that increases group-based robustness by up to 3.52$\times$

RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized Deletion

Randomized smoothing is a leading approach for constructing classifiers that are certifiably robust against adversarial examples. Existing work on randomized smoothing has focused on classifiers with continuous inputs, such as images, where $\ell_p$-norm bounded adversaries are commonly studied. However, there has been limited work for classifiers with discrete or variable-size inputs, such as for source code, which require different threat models and smoothing mechanisms. In this work, we adapt randomized smoothing for discrete sequence classifiers to provide certified robustness against edit distance-bounded adversaries. Our proposed smoothing mechanism randomized deletion (RS-Del) applies random deletion edits, which are (perhaps surprisingly) sufficient to confer robustness against adversarial deletion, insertion and substitution edits. Our proof of certification deviates from the established Neyman-Pearson approach, which is intractable in our setting, and is instead organized around longest common subsequences. We present a case study on malware detection--a binary classification problem on byte sequences where classifier evasion is a well-established threat model. When applied to the popular MalConv malware detection model, our smoothing mechanism RS-Del achieves a certified accuracy of 91% at an edit distance radius of 128 bytes.Comment: To be published in NeurIPS 2023. 36 pages, 7 figures, 12 tables. Includes 20 pages of appendice

The distributional consequences of tax reforms under capital-skill complementarity

This paper analyses wage inequality and the welfare effects of changes in capital and labour income tax rates for different types of agents. To achieve this, we develop a model that allows for capital–skill complementarity given non-uniform distributions of asset holdings and labour skills. We find that capital tax reductions lead to the highest aggregate welfare gains but are skill-biased and thus increase inequality. However, our analysis also shows that the inequality effects of capital tax reductions are lower over the transition period compared with the long run

Pre- and Post-perihelion Observations of C/2009 P1 (Garradd): Evidence for an Oxygen-rich Heritage?

We conducted pre- and post-perihelion observations of Comet C/2009 P1 (Garradd) on UT 2011 October 13 and 2012 January 8, at heliocentric distances of 1.83 and 1.57 AU, respectively, using the high-resolution infrared spectrometer (NIRSPEC) at the Keck II 10-m telescope on Mauna Kea, HI. Pre-perihelion, we obtained production rates for nine primary volatiles (native ices): H2O, CO, CH3OH, CH4, C2H6, HCN, C2H2, H2CO, and NH3. Post-perihelion, we obtained production rates for three of these (H2O, CH4, and HCN) and sensitive upper limits for three others (C2H2, H2CO, and NH3). CO was enriched and C2H2 was depleted, yet C2H6 and CH3OH were close to their currentmean values asmeasured in a dominant group of Oort cloud comets. This may indicate processing of its pre-cometary ices in a relatively oxygen-rich environment. Our measurements indicate consistent pre- and post-perihelion abundance ratios relative to H2O, suggesting we were measuring compositional homogeneity among measured species to the depths in the nucleus sampled. However, the overall gas production was lower post-perihelion despite its smaller heliocentric distance on January 8. This is qualitatively consistent with other studies of C/2009 P1, perhaps due to seasonal differences in the heating of one or more active regions on the nucleus. On October 13, the water profile showed a pronounced excess towards the Sun-facing hemisphere that was not seen in other molecules, including H2O on January 8, nor in the dust continuum. Inter-comparison of profiles from October 13 permitted us to quantify contributions due to release of H2O from the nucleus, and fromits release in the coma. This resulted in the latter source contributing 25-30% of the total observed water within our slit, which covered roughly +/-300 km by +/-4500 km from the nucleus. We attribute this excess H2O, which peaked at a mean projected distance of 1300-1500 km from the nucleus, to release from water-rich, relatively pure icy grain

The Unexpectedly Bright Comet C-2012 F6 (Lemmon) Unveiled at Near-Infrared Wavelengths

We acquired near-infrared spectra of the Oort cloud comet C/2012 F6 (Lemmon) at three different heliocentric distances (R h) during the comet's 2013 perihelion passage, providing a comprehensive measure of the outgassing behavior of parent volatiles and cosmogonic indicators. Our observations were performed pre-perihelion at R h = 1.2 AU with CRIRES (on 2013 February 2 and 4), and post-perihelion at R h = 0.75 AU with CSHELL (on March 31 and April 1) and R h = 1.74 AU with NIRSPEC (on June 20). We detected 10 volatile species (H2O, OH* prompt emission, C2H6, CH3OH, H2CO, HCN, CO, CH4, NH3, and NH2), and obtained upper limits for two others (C2H2 and HDO). One-dimensional spatial profiles displayed different distributions for some volatiles, confirming either the existence of polar and apolar ices, or of chemically distinct active vents in the nucleus. The ortho-para ratio for water was 3.31 +/- 0.33 (weighted mean of CRIRES and NIRSPEC results), implying a spin temperature >37 K at the 95% confidence limit. Our (3) upper limit for HDO corresponds to D/H < 2.45 10-3 (i.e., <16 Vienna Standard Mean Ocean Water, VSMOW). At R h = 1.2 AU (CRIRES), the production rate for water was Q(H2O) = 1.9 +/- 0.1 1029 s-1 and its rotational temperature was T rot ~ 69 K. At R h = 0.75 AU (CSHELL), we measured Q(H2O) = 4.6 +/- 0.6 1029 s-1 and T rot = 80 K on March 31, and 6.6 +/- 0.9 1029 s-1 and T rot = 100 K on April 1. At R h = 1.74 AU (NIRSPEC), we obtained Q(H2O) = 1.1 +/- 0.1 1029 s-1 and T rot ~ 50 K. The measured volatile abundance ratios classify comet C/2012 F6 as rather depleted in C2H6 and CH3OH, while HCN, CH4, and CO displayed abundances close to their median values found among comets. H2CO was the only volatile showing a relative enhancement. The relative paucity of C2H6 and CH3OH (with respect to H2O) suggests formation within warm regions of the nebula. However, the normal abundance of HCN and hypervolatiles CH4 and CO, and the enhancement of H2CO, may indicate a possible heterogeneous nucleus of comet C/2012 F6 (Lemmon), possibly as a result of radial mixing within the protoplanetary dis

Abacavir-Reactive memory T Cells are present in drug naïve individuals

Background Fifty-five percent of individuals with HLA-B*57:01 exposed to the antiretroviral drug abacavir develop a hypersensitivity reaction (HSR) that has been attributed to naïve T-cell responses to neo-antigen generated by the drug. Immunologically confirmed abacavir HSR can manifest clinically in less than 48 hours following first exposure suggesting that, at least in some cases, abacavir HSR is due to re-stimulation of a pre-existing memory T-cell population rather than priming of a high frequency naïve T-cell population. Methods To determine whether a pre-existing abacavir reactive memory T-cell population contributes to early abacavir HSR symptoms, we studied the abacavir specific naïve or memory T-cell response using HLA-B*57:01 positive HSR patients or healthy controls using ELISpot assay, intra-cellular cytokine staining and tetramer labelling. Results Abacavir reactive CD8+ T-cell responses were detected in vitro in one hundred percent of abacavir unexposed HLA-B*57:01 positive healthy donors. Abacavir-specific CD8+ T cells from such donors can be expanded from sorted memory, and sorted naïve, CD8+ T cells without need for autologous CD4+ T cells. Conclusions We propose that these pre-existing abacavir-reactive memory CD8+ T-cell responses must have been primed by earlier exposure to another foreign antigen and that these T cells cross-react with an abacavir-HLA-B*57:01-endogenous peptide ligand complex, in keeping with the model of heterologous immunity proposed in transplant rejection

The Optimal Taxation of Asset Income when Government Consumption is Endogenous: Theory, Estimation and Welfare

This paper derives the Ramsey optimal policy for taxing asset income in a model where government expenditure is a function of net output or the inputs that produce it. Extending Judd (1999), I demonstrate that the canonical result that the optimal tax on capital income is zero in the medium to long term is a special case of a more general model. Employing a vector error correction model to estimate the relationship between government consumption and net output or the factor inputs that generate it for the United States between 1948Q1 to 2015Q4, I demonstrate that this special case is empirically implausible, and show how a cointegrating vector can be used to determine the optimal tax schedule. I simulate a version of the model using the empirical estimates to measure the welfare implications of changing the tax rate on asset income, and contrast these results with those generated in a version of the model where government consumption is purely exogenous. The shifting pattern of welfare measurements con rms the theoretical results. I calculate that the prevailing effective tax rate on net asset income in the US between 1970 and 2014 averaged 0.449. Hence abolishing the tax completely does generate welfare improvements, though only by the equivalent of between 1.103 and 1.616% percent permanent increase in consumption - well under half the implied welfare benefit when the endogeneity of the government consumption is ignored. The maximum welfare improvement from shifting part of the burden of tax from capital to labor is the equivalent of a permanent increase in consumption of between only 1.491 and 1.858%, and is attained when the tax rate on asset income is lowered to between 0.148 and 0.186. Allowing the tax rate to vary over time raises the maximum welfare bene t to 1.865%. All the results are very robust to a wide range of elasticities of labor supply

Sulphur-bearing species in the star forming region L1689N

We report observations of the expected main S-bearing species (SO, SO2 and H2S) in the low-mass star forming region L1689N. We obtained large scale (~300''x200'') maps of several transitions from these molecules with the goal to study the sulphur chemistry, i.e. how the relative abundances change in the different physical conditions found in L1689N. We identified eight interesting regions, where we carried out a quantitative comparative study: the molecular cloud (as reference position), five shocked regions caused by the interaction of the molecular outflows with the cloud, and the two protostars IRAS16293-2422 and 16293E. In the cloud we carefully computed the gas temperature and density by means of a non-LTE LVG code, while in other regions we used previous results. We hence derived the column density of SO, SO2 and H2S, together with SiO and H2CO - which were observed previously - and their relevant abundance ratios. We find that SiO is the molecule that shows the largest abundance variations in the shocked regions, whereas S-bearing molecules show more moderate variations. Remarkably, the region of the brightest SiO emission in L1689N is undetected in SO2, H2S and H2CO and only marginally detected in SO. In the other weaker SiO shocks, SO2 is enhanced with respect to SO. We propose a schema in which the different molecular ratios correspond to different ages of the shocks. Finally, we find that SO, SO2 and H2S have significant abundance jumps in the inner hot core of IRAS16293-2422 and discuss the implications of the measured abundances.Comment: Accepted 08/10/0