Super-Fast Distributed Algorithms for Metric Facility Location

This paper presents a distributed O(1)-approximation algorithm, with expected-$O(\log \log n)$ running time, in the $\mathcal{CONGEST}$ model for the metric facility location problem on a size-$n$ clique network. Though metric facility location has been considered by a number of researchers in low-diameter settings, this is the first sub-logarithmic-round algorithm for the problem that yields an O(1)-approximation in the setting of non-uniform facility opening costs. In order to obtain this result, our paper makes three main technical contributions. First, we show a new lower bound for metric facility location, extending the lower bound of B\u{a}doiu et al. (ICALP 2005) that applies only to the special case of uniform facility opening costs. Next, we demonstrate a reduction of the distributed metric facility location problem to the problem of computing an O(1)-ruling set of an appropriate spanning subgraph. Finally, we present a sub-logarithmic-round (in expectation) algorithm for computing a 2-ruling set in a spanning subgraph of a clique. Our algorithm accomplishes this by using a combination of randomized and deterministic sparsification.Comment: 15 pages, 2 figures. This is the full version of a paper that appeared in ICALP 201

Scent of the familiar: An fMRI study of canine brain responses to familiar and unfamiliar human and dog odors

Understanding dogs’ perceptual experience of both conspecifics and humans is important to understand how dogs evolved and the nature of their relationships with humans and other dogs. Olfaction is believed to be dogs’ most powerful and perhaps important sense and an obvious place to begin for the study of social cognition of conspecifics and humans. We used fMRI in a cohort of dogs (N = 12) that had been trained to remain motionless while unsedated and unrestrained in the MRI. By presenting scents from humans and conspecifics, we aimed to identify the dimensions of dogs’ responses to salient biological odors – whether they are based on species (dog or human), familiarity, or a specific combination of factors. We focused our analysis on the dog\u27s caudate nucleus because of its well-known association with positive expectations and because of its clearly defined anatomical location. We hypothesized that if dogs’ primary association to reward, whether it is based on food or social bonds, is to humans, then the human scents would activate the caudate more than the conspecific scents. Conversely, if the smell of conspecifics activated the caudate more than the smell of humans, dogs’ association to reward would be stronger to their fellow canines. Five scents were presented (self, familiar human, strange human, familiar dog, strange dog). While the olfactory bulb/peduncle was activated to a similar degree by all the scents, the caudate was activated maximally to the familiar human. Importantly, the scent of the familiar human was not the handler, meaning that the caudate response differentiated the scent in the absence of the person being present. The caudate activation suggested that not only did the dogs discriminate that scent from the others, they had a positive association with it. This speaks to the power of the dog\u27s sense of smell, and it provides important clues about the importance of humans in dogs’ lives

How Grading for Equity Changed the Way I Teach

If you are anything like us, you are likely frustrated with the amount of time you spend both grading and then quibbling with students about grades - oftentimes in situations that have no real connection with classroom learning. Members of the computer science department at UNI have been discussing teaching and learning together for years and we were thrilled to discover the 2019 book Grading for Equity by author and educator Joe Feldman. In it he writes There is growing awareness that traditional grading practices have become a barrier to meaningful student learning. From this belief he presents a style of classroom management and grading built on three pillars: that grades should be accurate, bias-resistant, and provide intrinsic student motivation. For the last three years we have been using this style of grading in a variety of computer science and education courses and it has fundamentally changed the way we teach. In this session we will present on the WHAT and WHY of Grading for Equity and share with you the HOW as we discuss the ways we have used this grading structure in our own classrooms

rtk4all: Implementing a Low-Cost and Accurate Positioning System

Global positioning systems are in many electronic devices for location based functionality. These systems yield position accuracy within 5 meters. Survey grade location information yield position accuracy within centimeters. Survey grade equipment costs tens of thousands of dollars to collect high accuracy location data. However, highly accurate data is crucial to utilizing imagery captured with unmanned aerial systems. This project introduces a low cost alternative to a survey grade system. By utilizing the open source library RTKLIB and electrical system design this project implemented a network of ground control points embedded with real time kinematic capabilities. These ground control points yield a position location with centimeter accuracy for a fraction of the cost. They also reduce survey time dramatically as surveying is done automatically after the points are in position

Integrating External Sensors with CrazyFlie Drones

Drones are widely used: Mini drones such as Crazyflie 2.1 are used in a variety of fields. Grove Sound Sensor function: Grove Sound Sensor can capture sound, providing more application possibilities for drones. The potential of Crazyflie 2.1: Although Crazyflie 2.1 has the potential to be an integrated sensor platform, prior to this project, it was uncertain whether sensors could be connected on it. Project motivation: Our project aims to explore whether Crazyflie 2.1 can be connected to the Grove Sound Sensor and collect and process data from the sensor. Impact of the project: If successful, this project will open a new chapter in drone sensor integration and open up a wider range of possibilities for Crazyflie 2.1 applications

Lightweight Formal Methods for Improving Software Security

This research examines how software specifications could be used to build more-secure software. For this project, we analyzed known vulnerabilities for open source projects to identify the corrective actions required to patch the vulnerability. For each vulnerability, we then augmented the program with formal assertions in an attempt to allow a static analysis tool to find the vulnerability. Using the information gathered from these assertions, we hope to determine which assertions are most effective at finding vulnerabilities with today\u27s tools and evaluate new assertions that could be added to the static analysis tool to help uncover more vulnerabilities. My work focuses on a common vulnerability type across multiple projects. In particular, I am examining if vulnerabilities caused by missing authentication could be prevented with proper tool usage

PIK3CA mutations, phosphatase and tensin homolog, human epidermal growth factor receptor 2, and insulin-like growth factor 1 receptor and adjuvant tamoxifen resistance in postmenopausal breast cancer patients

Introduction: Inhibitors of the phosphatidylinositol-3-kinase/protein kinase B/mammalian target of rapamycin (PI3K/AKT/mTOR) pathway can overcome endocrine resistance in estrogen receptor (ER) α-positive breast cancer, but companion diagnostics indicating PI3K/AKT/mTOR activation and consequently endocrine resistance are lacking. PIK3CA mutations frequently occur in ERα-positive breast cancer and result in PI3K/AKT/mTOR activation in vitro. Nevertheless, the prognostic and treatment-predictive value of these mutations in ERα-positive breast cancer is contradictive. We tested the clinical validity of PIK3CA mutations and other canonic pathway drivers to predict intrinsic resistance to adjuvant tamoxifen. In addition, we tested the association between these drivers and downstream activated proteins.Methods: Primary tumors from 563 ERα-positive postmenopausal patients, randomized between adjuvant tamoxifen (1 to 3 years) versus observation were recollected. PIK3CA hotspot mutations in exon 9 and exon 20 were assessed with Sequenom Mass Spectometry. Immunohistochemistry was performed for human epidermal growth factor receptor 2 (HER2), phosphatase and tensin homolog (PTEN), and insulin-like growth factor 1 receptor (IGF-1R). We tested the association between these molecular alterations and downstream activated proteins (like phospho-protein kinase B (p-AKT), phospho-mammalian target of rapamycin (p-mTOR), p-ERK1/2, and p-p70S6K). Recurrence-free interval improvement with tamoxifen versus control was assessed according to the presence or absence of canonic pathway drivers, by using Cox proportional hazard models, including a test for interaction.Results: PIK3CA mutations (both exon 9 and exon 20) were associated with low tumor grade. An enrichment of PIK3CA exon 20 mutations was observed in progesterone receptor- positive tumors. PIK3CA exon 20 mutations were not associated with downstream-activated proteins. No significant interaction between PIK3CA mutations or any of the other canonic pathway drivers and tamoxifen-treatment benefit was found.Conclusion: PIK3CA mutations do not have clinical validity to predict intrinsic resistance to adjuvant tamoxifen and may therefore be unsuitable as companion diagnostic for PI3K/AKT/mTOR inhibitors in ERα- positive, postmenopausal, early breast cancer patients

Functional MRI in Awake Unrestrained Dogs

Because of dogs' prolonged evolution with humans, many of the canine cognitive skills are thought to represent a selection of traits that make dogs particularly sensitive to human cues. But how does the dog mind actually work? To develop a methodology to answer this question, we trained two dogs to remain motionless for the duration required to collect quality fMRI images by using positive reinforcement without sedation or physical restraints. The task was designed to determine which brain circuits differentially respond to human hand signals denoting the presence or absence of a food reward. Head motion within trials was less than 1 mm. Consistent with prior reinforcement learning literature, we observed caudate activation in both dogs in response to the hand signal denoting reward versus no-reward

The Long-Baseline Neutrino Experiment: Exploring Fundamental Symmetries of the Universe

The preponderance of matter over antimatter in the early Universe, the dynamics of the supernova bursts that produced the heavy elements necessary for life and whether protons eventually decay --- these mysteries at the forefront of particle physics and astrophysics are key to understanding the early evolution of our Universe, its current state and its eventual fate. The Long-Baseline Neutrino Experiment (LBNE) represents an extensively developed plan for a world-class experiment dedicated to addressing these questions. LBNE is conceived around three central components: (1) a new, high-intensity neutrino source generated from a megawatt-class proton accelerator at Fermi National Accelerator Laboratory, (2) a near neutrino detector just downstream of the source, and (3) a massive liquid argon time-projection chamber deployed as a far detector deep underground at the Sanford Underground Research Facility. This facility, located at the site of the former Homestake Mine in Lead, South Dakota, is approximately 1,300 km from the neutrino source at Fermilab -- a distance (baseline) that delivers optimal sensitivity to neutrino charge-parity symmetry violation and mass ordering effects. This ambitious yet cost-effective design incorporates scalability and flexibility and can accommodate a variety of upgrades and contributions. With its exceptional combination of experimental configuration, technical capabilities, and potential for transformative discoveries, LBNE promises to be a vital facility for the field of particle physics worldwide, providing physicists from around the globe with opportunities to collaborate in a twenty to thirty year program of exciting science. In this document we provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess.Comment: Major update of previous version. This is the reference document for LBNE science program and current status. Chapters 1, 3, and 9 provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess. 288 pages, 116 figure