Experiential Learning Framework for Smaller Computer Science Programs

Experiential learning (EL) permeates the Computer Science discipline. This work seeks to codify EL practices for computer science pedagogy into ve key pillars. These pillars have been successfully applied at a small to mid-sized college within the heavily competitive Boston area. This paper further describes how a computer science department may eectively implement the pillars in their own curriculum

Policy-Based Redactable Signatures

In this work we make progress towards solving an open problem posed by Bilzhause et. al, to give constructions of redactable signature schemes that allow the signer to limit the possible redactions performed by a third party. A separate, but related notion, called controlled disclosure allows a redactor to limit future redactions. We look at two types of data, sets and linear data (data organized as a sequence). In the case of sets, we limit redactions using a policy modeled by a monotone circuit or any circuit depending on the size of the universe the set is drawn from. In the case of linear data, we give a linear construction from vector commitments that limits redactions using a policy modeled as a monotone circuit. Our constructions have the attractive feature that they are built using only blackbox techniques

Constrained Pseudorandom Functions from Pseudorandom Synthesizers

In this paper we resolve the question of whether or not constrained pseudorandom functions (CPRFs) can be built directly from pseudorandom synthesizers. In particular, we demonstrate that the generic PRF construction from pseudorandom synthesizers due to Naor and Reingold can be used to construct CPRFs with bit-fixed predicates using the direct-line\u27\u27 approach. We further introduce a property of CPRFs that may be of independent interest

Experiential Learning in the Technology Disciplines February 2020

Learning-by-doing has long been a tradition in the technology disciplines. It is the hands-on work, combined with student reflection, feedback and assessment, that reinforces theory into practice. Over the past 40 years, experiential learning (EL) in higher education has grown beyond in-class assignments to include internships, cooperative education, team-based learning, project-based learning, community engagement, service learning, international and study-away experiences, capstone projects and research opportunities. This paper provides an overview of experiential education theory and practice in the undergraduate technology disciplines, and presents examples of how experiential learning practices have evolved over time at a medium-sized institution in the Northeast USA. In addition, this paper offers instructors theoretical strategies to improve the hands-on work that is likely already present in their courses

Prospective exploratory muscle biopsy, imaging, and functional assessment in patients with late-onset Pompe disease treated with alglucosidase alfa: The EMBASSY Study

Background Late-onset Pompe disease is characterized by progressive skeletal myopathy followed by respiratory muscle weakness, typically leading to loss of ambulation and respiratory failure. In this population, enzyme replacement therapy (ERT) with alglucosidase alfa has been shown to stabilize respiratory function and improve mobility and muscle strength. Muscle pathology and glycogen clearance from skeletal muscle in treatment-naïve adults after ERT have not been extensively examined. Methods This exploratory, open-label, multicenter study evaluated glycogen clearance in muscle tissue samples collected pre- and post- alglucosidase alfa treatment in treatment-naïve adults with late-onset Pompe disease. The primary endpoint was the quantitative reduction in percent tissue area occupied by glycogen in muscle biopsies from baseline to 6 months. Secondary endpoints included qualitative histologic assessment of tissue glycogen distribution, secondary pathology changes, assessment of magnetic resonance images (MRIs) for intact muscle and fatty replacement, and functional assessments. Results Sixteen patients completed the study. After 6 months of ERT, the percent tissue area occupied by glycogen in quadriceps and deltoid muscles decreased in 10 and 8 patients, respectively. No changes were detected on MRI from baseline to 6 months. A majority of patients showed improvements on functional assessments after 6 months of treatment. All treatment-related adverse events were mild or moderate. Conclusions This exploratory study provides novel insights into the histopathologic effects of ERT in late-onset Pompe disease patients. Ultrastructural examination of muscle biopsies demonstrated reduced lysosomal glycogen after ERT. Findings are consistent with stabilization of disease by ERT in treatment-naïve patients with late-onset Pompe disease

Search for eccentric black hole coalescences during the third observing run of LIGO and Virgo

Despite the growing number of confident binary black hole coalescences observed through gravitational waves so far, the astrophysical origin of these binaries remains uncertain. Orbital eccentricity is one of the clearest tracers of binary formation channels. Identifying binary eccentricity, however, remains challenging due to the limited availability of gravitational waveforms that include effects of eccentricity. Here, we present observational results for a waveform-independent search sensitive to eccentric black hole coalescences, covering the third observing run (O3) of the LIGO and Virgo detectors. We identified no new high-significance candidates beyond those that were already identified with searches focusing on quasi-circular binaries. We determine the sensitivity of our search to high-mass (total mass M>70 M⊙) binaries covering eccentricities up to 0.3 at 15 Hz orbital frequency, and use this to compare model predictions to search results. Assuming all detections are indeed quasi-circular, for our fiducial population model, we place an upper limit for the merger rate density of high-mass binaries with eccentricities 0<e≤0.3 at 0.33 Gpc−3 yr−1 at 90\% confidence level

Ultralight vector dark matter search using data from the KAGRA O3GK run

Among the various candidates for dark matter (DM), ultralight vector DM can be probed by laser interferometric gravitational wave detectors through the measurement of oscillating length changes in the arm cavities. In this context, KAGRA has a unique feature due to differing compositions of its mirrors, enhancing the signal of vector DM in the length change in the auxiliary channels. Here we present the result of a search for U(1)B−L gauge boson DM using the KAGRA data from auxiliary length channels during the first joint observation run together with GEO600. By applying our search pipeline, which takes into account the stochastic nature of ultralight DM, upper bounds on the coupling strength between the U(1)B−L gauge boson and ordinary matter are obtained for a range of DM masses. While our constraints are less stringent than those derived from previous experiments, this study demonstrates the applicability of our method to the lower-mass vector DM search, which is made difficult in this measurement by the short observation time compared to the auto-correlation time scale of DM

Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network

Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated signals from strong lensing by 1) performing targeted searches for subthreshold signals, 2) calculating the degree of overlap amongst the intrinsic parameters and sky location of pairs of signals, 3) comparing the similarities of the spectrograms amongst pairs of signals, and 4) performing dual-signal Bayesian analysis that takes into account selection effects and astrophysical knowledge. We also search for distortions to the gravitational waveform caused by 1) frequency-independent phase shifts in strongly lensed images, and 2) frequency-dependent modulation of the amplitude and phase due to point masses. None of these searches yields significant evidence for lensing. Finally, we use the non-detection of gravitational-wave lensing to constrain the lensing rate based on the latest merger-rate estimates and the fraction of dark matter composed of compact objects

Associative Memory and the Board Game Quarto

This article investigates the basic structure of neural networks and how they relate to associative memory. The article will also study the use of associative memory in construction of a competent computer opponent for the game Quarto