Results for "John Gallagher"

total 20815took 0.16s
Collaborative Dense SLAMNov 19 2018Nov 21 2018In this paper, we present a new system for live collaborative dense surface reconstruction. Cooperative robotics, multi participant augmented reality and human-robot interaction are all examples of situations where collaborative mapping can be leveraged ... More
Populations of Dwarfs in Clusters of Galaxies: Environmental ConnectionsAug 01 2001Despite their apparent fragile appearance, dwarf spheroidals are the most common galaxy type in clusters. In this paper we consider some of the issues associated with two major models for the origin of these dwarfs: primeval galaxies which formed with ... More
A Web-based Tool Combining Different Type AnalysesJan 17 2007There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can ... More
Starbursts and the Evolution of Gas-Rich GalaxiesSep 22 2000Moderately luminous starbursts in the nearby universe often occur in disk galaxies that are at most subject to mild external perturbations. An investigation of this type of galaxy leads to a better understanding of starburst triggering mechanisms and ... More
The Star Formation History of the Large Magellanic CloudSep 25 2001Using WFPC2 aboard the Hubble Space Telescope, we have created deep color-magnitude diagrams in the V and I passbands for approximately 100,000 stars in a field at the center of the LMC bar and another in the disk. The main--sequence luminosity functions ... More
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)Feb 24 2010This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. WLPE aims at providing an informal meeting for researchers working on logic-based ... More
The Active Assembly of the Virgo Cluster: Indications for Recent Group Infall From Early-Type Dwarf GalaxiesAug 14 2018Virgo is a dynamically young galaxy cluster with substructure in its spatial and kinematic distribution. Here, we simultaneously study the phase-space distribution and the main characteristics of Virgo's galaxies, particularly its most abundant galaxy ... More
An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy ModelMay 17 2016Energy efficiency has a significant influence on user experience of battery-driven devices such as smartphones and tablets. It is shown that software optimization plays an important role in reducing energy consumption of system. However, in mobile devices, ... More
Fine-Grained Energy Modeling for the Source Code of a Mobile ApplicationOct 14 2015May 18 2016Energy efficiency has a significant influence on user experience of battery-driven devices such as smartphones and tablets. The goal of an energy model for source code is to lay a foundation for the application of energy-saving techniques during software ... More
Proceedings 3rd Workshop on Horn Clauses for Verification and SynthesisJul 14 2016This volume contains the proceedings of HCVS 2016, the Third Workshop on Horn Clauses for Verification and Synthesis which was held on April 3, 2016 in Eindhoven, The Netherlands as a satellite event of the European Joint Conferences on Theory and Practice ... More
Analysis and Transformation Tools for Constrained Horn Clause VerificationMay 15 2014Several techniques and tools have been developed for verification of properties expressed as Horn clauses with constraints over a background theory (CHC). Current CHC verification tools implement intricate algorithms and are often limited to certain subclasses ... More
Interpolant Tree Automata and their Application in Horn Clause VerificationJan 25 2016Jul 10 2016This paper investigates the combination of abstract interpretation over the domain of convex polyhedra with interpolant tree automata, in an abstraction-refinement scheme for Horn clause verification. These techniques have been previously applied separately, ... More
A Source-level Energy Optimization Framework for Mobile ApplicationsAug 18 2016Energy efficiency can have a significant influence on user experience of mobile devices such as smartphones and tablets. Although energy is consumed by hardware, software optimization plays an important role in saving energy, and thus software developers ... More
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verificationDec 03 2014We present an approach to constrained Horn clause (CHC) verification combining three techniques: abstract interpretation over a domain of convex polyhedra, specialisation of the constraints in CHCs using abstract interpretation of query-answer transformed ... More
Tides, Interactions, and Fine-Scale Substructures in Galaxy ClustersSep 29 1998We present the results of a study on galaxy interactions, tides, and other processes which produce luminous fine-scale substructures in the galaxy clusters: Coma, Perseus, Abell 2199, AWM 3 and AWM 5. All unusual structures in these clusters can be categorized ... More
Tree dimension in verification of constrained Horn clausesMar 05 2018Mar 06 2018In this paper, we show how the notion of tree dimension can be used in the verification of constrained Horn clauses (CHCs). The dimension of a tree is a numerical measure of its branching complexity and the concept here applies to Horn clause derivation ... More
Stellar Populations and Ages of M82 Super Star ClustersDec 09 1998We present high signal-to-noise optical spectra of two luminous super star clusters in the starburst galaxy M82. The data for cluster F and the nearby, highly reddened cluster L were obtained with the William Herschel Telescope (WHT) at a resolution of ... More
Solving non-linear Horn clauses using a linear Horn clause solverJul 15 2016In this paper we show that checking satisfiability of a set of non-linear Horn clauses (also called a non-linear Horn clause program) can be achieved using a solver for linear Horn clauses. We achieve this by interleaving a program transformation with ... More
Galaxy Aggregates in the Coma ClusterJan 16 1998Feb 05 1998We present evidence for a new morphologically defined form of small-scale substructure in the Coma Cluster, which we call galaxy aggregates. These aggregates are dominated by a central galaxy, which is on average three magnitudes brighter than the smaller ... More
Impact of Reionization on the Stellar Populations of Nearby Dwarf GalaxiesJul 06 2004Cold dark matter models for galaxy formation predict that low-mass systems will be the first sites of star formation. As these objects have shallow gravitational potential wells, the subsequent growth of their stellar populations may be halted by heating ... More
B and V CCD Photometry of Southern, Extreme Late-Type Spiral GalaxiesSep 15 1997We present B and V CCD aperture photometry for a morphologically-selected sample of forty-nine southern, extreme late-type spiral galaxies. All objects are moderate-to-low surface brightness Local Supercluster field galaxies that were detected previously ... More
Experiments with a Convex Polyhedral Analysis Tool for Logic ProgramsDec 17 2007Convex polyhedral abstractions of logic programs have been found very useful in deriving numeric relationships between program arguments in order to prove program properties and in other areas such as termination and complexity analysis. We present a ... More
Hubble Space Telescope Observations of Accretion-Induced Star Formation in the Tadpole Galaxy Kiso 5639May 10 2016The tadpole galaxy Kiso 5639 has a slowly rotating disk with a drop in metallicity at its star-forming head, suggesting that star formation was triggered by the accretion of metal-poor gas. We present multi-wavelength HST WFC3 images of UV through I band ... More
Optical Structure and Evolution of the Arp 104 Interacting Galaxy SystemSep 01 2010Arp 104 is a pair of luminous interacting galaxies consisting of NGC 5216, an elliptical, and NGC 5218, a disturbed disk galaxy and joined by a stellar bridge. We obtained optical imaging to support photometric and color studies of the system. NGC 5216 ... More
Extragalactic Star Clusters: Speculations on the FutureSep 04 2001We discuss the future possibilities for extragalactic star cluster research with the expected new ground-based and space-based telescopes and instrumentation. Significant gains are expected due to improved angular resolution, sensitivity, and area coverage ... More
An Optimised Algorithm for Determinisation and Completion of Finite Tree AutomataNov 11 2015Determinisation is an important concept in the theory of finite tree automata. However the complexity of the textbook procedure for determinisation is such that it is not viewed as a being a practical procedure for manipulating tree automata, even fairly ... More
Decomposition by tree dimension in Horn clause verificationDec 12 2015In this paper we investigate the use of the concept of tree dimension in Horn clause analysis and verification. The dimension of a tree is a measure of its non-linearity - for example a list of any length has dimension zero while a complete binary tree ... More
On the Nature of the NGC 1275 SystemAug 01 2001Sub-arcsecond images, taken in B, R, and H-Alpha filters, and area spectroscopy obtained with the WIYN 3.5-m telescope provide the basis for an investigation of the unusual structures in the stellar body and ionized gas in and around the Perseus cluster ... More
The Radio Universe at Low Surface Brightness: Feedback & accretion in the circumgalactic mediumMay 14 2019Massive galaxies at high-z are known to co-evolve with their circumgalactic medium (CGM). If we want to truly understand the role of the CGM in the early evolution of galaxies and galaxy-clusters, we need to fully explore the multi-phase nature of the ... More
Relativistic Euler Equations in cosmologies with non-linear structuresJul 04 2018We consider a new variant of cosmological perturbation theory that has been designed specifically to include non-linear density contrasts on scales 100 Mpc, while still allowing for linear fluctuations on larger scales. This theory is used to derive the ... More
Rescuing the Initial Mass Function for Arp 78Oct 09 2008We present deep R and narrow-band Halpha images of Arp 78 obtained with the WIYN 3.5-m telescope on Kitt Peak. GALEX observations had shown a very extended UV structure for this system, reaching beyond the optical radius of Arp 78 and also beyond its ... More
The Progenitors of Dwarf Spheroidal GalaxiesJan 02 2003Dwarf spheroidal (dSph) galaxies present an evolutionary puzzle that we explore in 40 early- and late-type dwarfs in the Local Group and nearby field. Although dSphs formed stars over extended periods, today all but one are free of detectable interstellar ... More
Evolutionary Status of Dwarf ``Transition'' GalaxiesOct 08 1998We present deep B, R and Halpha imaging of 3 dwarf galaxies: NGC3377A, NGC4286, and IC3475. Based on previous broadband imaging and HI studies, these mixed-morphology galaxies were proposed by Sandage & Hoffman (1991) to be, respectively, a gas-rich low ... More
The Star Cluster System of the NGC 7673 StarburstJun 11 2002We investigate the star cluster system in the starburst galaxy NGC 7673 using archival Hubble Space Telescope WFPC2 broad-band images. For the first time we are able to examine the internal structures of the prominent optical clumps in this galaxy. The ... More
Dusty Superwind from a Galaxy with a Compact Obscured Nucleus: Optical Spectroscopic Study of NGC 4418Dec 21 2018We report our optical spectroscopic study of the nucleus and its surrounding region of a nearby luminous infrared galaxy NGC 4418. This galaxy has been known to host a compact obscured nucleus, showing distinct characteristics such as a very compact ($\sim ... More
The Dynamical Origin of Early-Type Dwarfs in Galaxy Clusters: A Theoretical InvestigationDec 08 2014Dec 30 2014Observations of early-type dwarf galaxies in clusters often show that cluster dwarf members have significantly higher velocities and less symmetric distributions than cluster giant ellipticals, suggesting that these dwarfs are recently accreted galaxies, ... More
NGC 5523: An Isolated Product of Soft Galaxy Mergers?Nov 18 2016Multi-band images of the very isolated spiral galaxy NGC 5523 show a number of unusual features consistent with NGC 5523 having experienced a significant merger: (1) Near-infrared (NIR) images from the Spitzer Space Telescope (SST) and the WIYN 3.5-m ... More
Dynamics and the Origin of Low-Mass Galaxies in the Virgo ClusterMay 29 2001Early-type dwarfs are the most common galaxy in the local universe, yet their origin and evolution remain a mystery. Various cosmological scenarios predict that dwarf-like galaxies in dense areas are the first to form and hence should be the oldest stellar ... More
Dwarf Spheroidal Galaxies : Keystones of Galaxy EvolutionNov 16 1994Dwarf spheroidal galaxies are the most insignificant extragalactic stellar systems in terms of their visibility, but potentially very significant in terms of their role in the formation and evolution of much more luminous galaxies. We discuss the present ... More
WIYN Survey for Carbon Stars in the M31 and Cetus Dwarf Spheroidal Galaxies: Evolutionary ImplicationsJan 28 2004We report results of a photometric survey with the WIYN telescope for carbon stars in the M 31 dwarf spheroidal (dSph) companions And III, And V, And VI, and And VII, as well as in the relatively isolated Local Group dSph Cetus. We find three carbon-star ... More
UV-Optical Pixel Maps of Face-On Spiral Galaxies -- Clues for Dynamics and Star Formation HistoriesNov 22 2002UV and optical images of the face-on spiral galaxies NGC 6753 and NGC 6782 reveal regions of strong on-going star formation that are associated with structures traced by the old stellar populations. We make NUV--(NUV-I) pixel color-magnitude diagrams ... More
Supernova-Driven Outflows in NGC 7552: A Comparison of H-alpha and UV TracersJul 01 2015We investigate the supernova-driven galactic wind of the barred spiral galaxy NGC 7552, using both ground-based optical nebular emission lines and far-ultraviolet absorption lines measured with the Hubble Space Telescope Cosmic Origins Spectrograph. We ... More
The Stability of Low Surface Brightness Disks Based on Multi-Wavelength ModelingJul 29 2011To investigate the structure and composition of the dusty interstellar medium (ISM) of low surface brightness (LSB) disk galaxies, we have used multiwavelength photometry to construct spectral energy distributions for three low-mass, edge-on LSB galaxies. ... More
Selection type results and fixed point property for affine bi-Lipschitz mapsFeb 28 2019We obtain a refinement of a selection principle for $(\mathcal{K}, \lambda)$-wide-$(s)$ sequences in Banach spaces due to Rosenthal. This result is then used to show that if $C$ is a bounded, non-weakly compact, closed convex subset of a Banach space ... More
Exchangeability and Kernel Invariance in Trained MLPsOct 19 2018Oct 27 2018In the analysis of machine learning models, it is often convenient to assume that the parameters are IID. This assumption is not satisfied when the parameters are updated through training processes such as SGD. A relaxation of the IID condition is a probabilistic ... More
Some remarks about the possible blow-up for the Navier-Stokes equationsJul 26 2018In this work we investigate the question of preventing the three-dimensional, incompressible Navier-Stokes equations from developing singularities, by controlling one component of the velocity field only, in space-time scale invariant norms. In particular ... More
Invariance of Weight Distributions in Rectified MLPsNov 24 2017Jun 01 2018An interesting approach to analyzing neural networks that has received renewed attention is to examine the equivalent kernel of the neural network. This is based on the fact that a fully connected feedforward network with one hidden layer, a certain weight ... More
Equipartition and Cosmic Ray Energy Densities in Central Molecular Zones of StarburstsDec 02 2015The energy densities in magnetic fields and cosmic rays (CRs) in galaxies are often assumed to be in equipartition, allowing for an indirect estimate of the magnetic field strength from the observed radio synchrotron spectrum. However, both primary and ... More
Dwarf Elliptical Galaxies in the Perseus ClusterOct 21 1999Dwarf ellipticals have the lowest stellar densities of any galaxies, but paradoxically are most common in the densest regions of the universe, and are especially frequent in rich clusters of galaxies. Simple estimates suggest that low luminosity dwarf ... More
Detecting and Diagnosing Energy Issues for Mobile ApplicationsJan 04 2019Energy efficiency is an important criterion to judge the quality of mobile apps, but one third of our randomly sampled apps are suffering from energy issues that can quickly drain battery. To understand these issues, we conducted an empirical study on ... More
Examining the Role of Environment in a Comprehensive Sample of Compact GroupsJan 05 2012(Abridged) Compact groups, with their high number densities, small velocity dispersions, and an interstellar medium that has not been fully processed, provide a local analog to conditions of galaxy interactions in the earlier universe. The frequent and ... More
NGC 3310 and Its Tidal Debris: Remnants of Galaxy EvolutionJul 05 2006NGC 3310 is a local galaxy with an intense, ongoing starburst thought to result from a merger with a companion galaxy. It has several known tidal features in the northwest and southern regions around the main galactic disc, as well as a closed, tidal ... More
The Fossil Starburst in M82Oct 02 2000(Abridged) We present high-resolution HST imaging in the optical (WFPC2) and near-infrared (NICMOS) of a disk region 1 kpc NE of the starburst core in the nearby galaxy M82. This region, M82 ``B,'' has been suspected to be a fossil starburst site in which ... More
WFPC2 Observations of the Cooling Flow Elliptical in Abell 1795Jun 22 1996We present WFPC2 images of the core of the cooling flow cD galaxy in Abell 1795. An irregular, asymmetric dust lane extends 7 \h75 kpc in projection to the north-northwest. The dust shares the morphology observed in the H$\alpha$ and excess UV emission. ... More
The Measurement of Disk Ellipticity in Nearby Spiral GalaxiesMar 13 2001We have measured the intrinsic disk ellipticity for 7 nearby, nearly face-on spiral galaxies by combining Densepak integral-field spectroscopy with I-band imaging from the WIYN telescope. Initially assuming an axisymmetric model, we determine kinematic ... More
Gamma-Ray Puzzles in Cygnus X: Implications for High-Energy NeutrinosMar 07 2017Aug 10 2017The Cygnus X region contains giant molecular cloud complexes and populous associates of massive young stars. The discovery of spatially extended, hard gamma-ray emission in Cygnus X by both Milagro and Fermi indicates that Cygnus X is also a potential ... More
Detecting and Diagnosing Energy Issues for Mobile ApplicationsJan 04 2019Mar 22 2019Energy efficiency is an important criterion to judge the quality of mobile apps, but one third of our randomly sampled apps suffer from energy issues that can quickly drain battery power. To understand these issues, we conducted an empirical study on ... More
Giant Galaxies, Dwarfs, and Debris Survey. I. Dwarf Galaxies and Tidal Features Around NGC 7331Nov 15 2012The Giant GAlaxies, Dwarfs, and Debris Survey concentrates on the nearby universe to study how galaxies have interacted in groups of different morphology, density, and richness. In these groups we select the dominant spiral galaxy and search its surroundings ... More
Active Galactic Nuclei, Neutrinos, and Interacting Cosmic Rays in NGC 253 & NGC 1068Nov 21 2013The galaxies M82, NGC 253, NGC 1068, and NGC 4945 have been detected in gamma-rays by Fermi. Previously, we developed and tested a model for cosmic ray interactions in the starburst galaxy M82. Now, we aim to explore the differences between starburst ... More
Probing the Structure and Kinematics of the transition Layer between the Magellanic Stream and the Halo in HIOct 10 2012The Magellanic Stream (MS) is a nearby laboratory for studying the fate of cool gas streams injected into a gaseous galactic halo. We investigate properties of the boundary layer between the cool MS gas and the hot Milky Way halo with 21 cm HI observations ... More
After the interaction: an efficiently star-forming molecular disk in NGC5195Jun 24 2016Aug 07 2016We present new molecular gas maps of NGC5195 (alternatively known as M51b) from the Combined Array for Research in Millimeter Astronomy (CARMA), including 12CO(1-0), 13CO(1-0), CN(1-0), and CS(2-1). NGC5195 has also been detected in 3mm continuum. NGC5195 ... More
Cosmic Rays, Gamma-Rays, and Neutrinos in the Starburst Nuclei of Arp 220Jun 16 2015Jul 27 2015The cores of Arp 220, the closest ultra-luminous infrared starburst galaxy, provide an opportunity to study interactions of cosmic rays under extreme conditions. In this paper, we model the populations of cosmic rays produced by supernovae in the central ... More
Winds, Clumps, and Interacting Cosmic Rays in M82Mar 18 2013We construct a family of models for the evolution of energetic particles in the starburst galaxy M82 and compare them to observations to test the calorimeter assumption that all cosmic ray energy is radiated in the starburst region. Assuming constant ... More
The Fossil Starburst in M82Mar 11 1999We present high-resolution optical and near-infrared HST observations of two adjacent regions in the fossil starburst region in M82, M82 B1 and B2. The presence of both the active and the fossil starburst in M82 provides a unique physical environment ... More
An iterative approach to precondition inference using constrained Horn clausesApr 17 2018We present a method for automatic inference of conditions on the initial states of a program that guarantee that the safety assertions in the program are not violated. Constrained Horn clauses (CHCs) are used to model the program and assertions in a uniform ... More
Five Years of Magellanic Clouds Research: A Newsletter Editors' PerspectiveJul 08 2001We analyze the topical and demographic evolution of Magellanic Clouds research over the past five years based on submissions of abstracts of refereed papers to the electronic Magellanic Clouds Newsletter ( ... More
II Zwicky 23 and FamilyMar 12 2006II Zwicky 23 (UGC 3179) is a luminous, nearby compact narrow emission line starburst galaxy with blue optical colors and strong emission lines. We present a photometric and morphological study of II Zw 23 and its interacting companions using data obtained ... More
Galaxy Populations and Evolution in Clusters IV: Deep HI Observations of Dwarf Ellipticals in the Virgo ClusterMar 09 2003We present in this paper the deepest Arecibo HI observations of Virgo cluster dwarf ellipticals (dEs) taken to date. Based on this data we argue that a significant fraction of Virgo cluster dEs recently underwent evolution. Our new observations consist ... More
Galaxy Populations and Evolution in Clusters II: Defining Cluster PopulationsFeb 27 2002This paper presents quantitative techniques for studying, in an unbiased manner, the photometric and structural properties of galaxies in clusters, including a means to identify likely background objects in the absence of redshift information. We develop ... More
Galaxy Populations and Evolution in Clusters III. The Origin of Low-Mass Galaxies in Clusters: Constraints from Stellar PopulationsOct 02 2002Low-mass galaxies in nearby clusters are the most numerous galaxy type in the universe, yet their origin and properties remain largely unknown. To study basic questions concerning these galaxies we present the results of a survey designed to constrain ... More
From Globular Clusters to Tidal Dwarfs: Structure Formation in Tidal TailsSep 13 2000Star clusters can be found in galaxy mergers, not only in central regions, but also in the tidal debris. In both the Eastern and Western tidal tails of NGC 3256 there are dozens of young star clusters, confirmed by their blue colors and larger concentration ... More
Constraining Stellar Feedback: Shock-ionized Gas in Nearby Starburst GalaxiesSep 02 2013(abridged) We investigate the properties of feedback-driven shocks in 8 nearby starburst galaxies using narrow-band imaging data from the Hubble Space Telescope (HST). We identify the shock--ionized component via the line diagnostic diagram \oiii/\hb ... More
Model-based image analysis of a tethered Brownian fibre for shear stress sensingAug 02 2017The measurement of shear stress acting on a biologically relevant surface is a challenging problem, particularly in the complex environment of, for example, the vasculature. While an experimental method for the direct detection of wall shear stress via ... More
Deep Optical Imaging of Starbursting "Transition" Dwarf GalaxiesOct 22 2007A subgroup of dwarf galaxies have characteristics of a possible evolutionary transition between star-forming systems and dwarf ellipticals. These systems host significant starbursts in combination with smooth, elliptical outer envelopes and small HI content; ... More
The Milky Way's Kiloparsec Scale Wind: A Hybrid Cosmic-Ray and Thermally Driven OutflowOct 19 2007We apply a wind model, driven by combined cosmic-ray and thermal-gas pressure, to the Milky Way, and show that the observed Galactic diffuse soft X-ray emission can be better explained by a wind than by previous static gas models. We find that cosmic-ray ... More
Calculation of complex DNA damage induced by ionsJul 08 2011Jan 27 2012This paper is devoted to the analysis of the complex damage of DNA irradiated by ions. The analysis and assessment of complex damage is important because cells in which it occurs are less likely to survive because the DNA repair mechanisms may not be ... More
New Results from the MINOS ExperimentSep 30 2008In this paper we present the latest results from the MINOS Experiment. This includes a new measurement of the atmospheric neutrino oscillation parameters based on 3.36 x 10^20 protons-on-target of data and a first analysis of neutral current events in ... More
Low frequency radio observations of bi-directional electron beams in the solar coronaAug 05 2015The radio signature of a shock travelling through the solar corona is known as a type II solar radio burst. In rare cases these bursts can exhibit a fine structure known as `herringbones', which are a direct indicator of particle acceleration occurring ... More
Finding your Lookalike: Measuring Face Similarity Rather than Face IdentityJun 13 2018Face images are one of the main areas of focus for computer vision, receiving on a wide variety of tasks. Although face recognition is probably the most widely researched, many other tasks such as kinship detection, facial expression classification and ... More
A Systematic Study of the Stellar Populations and ISM in Galaxies out to the Virgo ClusterApr 13 2009We present a compelling case for a systematic and comprehensive study of the resolved and unresolved stellar populations, ISM, and immediate environments of galaxies throughout the local volume, defined here as D < 20 Mpc. This volume is our cosmic backyard ... More
Sharp quadrature error bounds for the nearest-neighbor discretization of the regularized stokeslet boundary integral equationJun 05 2018The method of regularized stokeslets is a powerful numerical method to solve the Stokes flow equations for problems in biological fluid mechanics. A recent variation of this method incorporates a nearest-neighbor discretization to improve accuracy and ... More
Ballistic miniband conduction in a graphene superlatticeMar 03 2016Rational design of artificial lattices yields effects unavailable in simple solids, and vertical superlattices of multilayer semiconductors are already used in optical sensors and emitters. Manufacturing lateral superlattices remains a much bigger challenge, ... More
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IRNov 04 2015The static estimation of the energy consumed by program executions is an important challenge, which has applications in program optimization and verification, and is instrumental in energy-aware software development. Our objective is to estimate such ... More
Hubble Space Telescope survey of the Perseus Cluster -III: The effect of local environment on dwarf galaxiesJan 11 2010Aug 10 2010We present the results of a Hubble Space Telescope (HST) study of dwarf galaxies in the outer regions of the nearby rich Perseus Cluster, down to M_V = -12, and compare these with the dwarf population in the cluster core from our previous HST imaging. ... More
Supernova Remnants in the Fossil Starburst in M82Oct 04 1999Oct 27 1999We report the discovery of ten compact H-alpha-bright sources in the post-starburst region northeast of the center of M82, ``M82 B.'' These objects have H alpha luminosities and sizes consistent with Type II supernova remnants (SNRs). They fall on the ... More
Detection of a ~20 kpc coherent magnetic field in the outskirt of merging spirals: the Antennae galaxiesSep 14 2016We present a study of the magnetic field properties of NGC 4038/9 (the `Antennae' galaxies), the closest example of a late stage merger of two spiral galaxies. Wideband polarimetric observations were performed using the Karl G. Jansky Very Large Array ... More
The Ionized Gas in Local Starburst Galaxies: Global and Small--Scale Feedback from Star FormationDec 15 2003Abridged: The small-- and intermediate--scale structure and the fraction of the ISM ionized by non--radiative processes is investigated in a small sample of four local starburst galaxies, imaged with the HST WFPC2. The sample comprises three dwarf galaxies, ... More
Optimal Bacon-Shor codesSep 04 2012We study the performance of Bacon-Shor codes, quantum subsystem codes which are well suited for applications to fault-tolerant quantum memory because the error syndrome can be extracted by performing two-qubit measurements. Assuming independent noise, ... More
Vertex Ramsey problems in the hypercubeNov 01 2012If we 2-color the vertices of a large hypercube what monochromatic substructures are we guaranteed to find? Call a set S of vertices from Q_d, the d-dimensional hypercube, Ramsey if any 2-coloring of the vertices of Q_n, for n sufficiently large, contains ... More
Understanding Global Galactic Star FormationApr 13 2009We propose to the community a comprehensive UV/optical/NIR imaging survey of Galactic star formation regions to probe all aspects of the star formation process. The primary goal of such a study is to understand the evolution of circumstellar protoplanetary ... More
Age Determination of Six Intermediate-age SMC Star Clusters with HST/ACSJul 23 2008We present a photometric analysis of the star clusters Lindsay 1, Kron 3, NGC339, NGC416, Lindsay 38, and NGC419 in the Small Magellanic Cloud (SMC), observed with the Hubble Space Telescope Advanced Camera for Surveys (ACS) in the F555W and F814W filters. ... More
Anomalous Evolution of the Dwarf Galaxy HIPASS J1321-31Aug 21 2003We present HST/WFPC2 observations of the dwarf galaxy HIPASS J1321-31. This unusual galaxy lies in the direction of the Centaurus A group of galaxies, and has a color-magnitude diagram with a distinctive red plume of luminous stars. This feature could ... More
The SDSS-IV in 2014: A Demographic SnapshotMay 22 2015Many astronomers now participate in large international collaborations, and it is important to examine whether these structures foster a scientific climate that is inclusive and diverse. The Committee on the Participation of Women in the Sloan Digital ... More
The Photometric and Kinematic Structure of Face-On Disk Galaxies. I. Sample Definition, H-alpha Integral Field Spectroscopy, and HI Line-WidthsMay 14 2006We present a survey of the photometric and kinematic properties of 39 nearby, nearly face-on disk galaxies. Our approach exploits echelle-resolution integral-field spectroscopy of the H-alpha regions, obtained with DensePak on the WIYN 3.5m telescope ... More
HexPak and GradPak: variable-pitch dual-head IFUs for the WIYN 3.5m Telescope Bench SpectrographAug 01 2012We describe the design, construction, and expected performance of two new fiber integral field units (IFUs) --- HexPak and GradPak --- for the WIYN 3.5m Telescope Nasmyth focus and Bench Spectrograph. These are the first IFUs to provide formatted fiber ... More
Some Like It Hot: Linking Diffuse X-ray Luminosity, Baryonic Mass, and Star Formation Rate in Compact Groups of GalaxiesMay 26 2014We present an analysis of the diffuse X-ray emission in 19 compact groups of galaxies (CGs) observed with Chandra. The hottest, most X-ray luminous CGs agree well with the galaxy cluster X-ray scaling relations in $L_X-T$ and $L_X-\sigma$, even in CGs ... More
Structures of Local Galaxies Compared to High Redshift Star-forming GalaxiesApr 28 2009May 18 2009The rest-frame far-ultraviolet (FUV) morphologies of 8 nearby interacting and starburst galaxies (Arp 269, M 82, Mrk 8, NGC 520, NGC 1068, NGC 3079, NGC 3310, NGC 7673) are compared with 54 galaxies at z ~ 1.5 and 46 galaxies at z ~ 4 observed in the ... More
Deep Chandra Monitoring Observations of NGC 4649: II. Wide-Field Hubble Space Telescope Imaging of the Globular ClustersOct 12 2012We present g and z photometry and size estimates for globular clusters (GCs) in the massive Virgo elliptical NGC 4649 (M60) using a five-pointing Hubble Space Telescope/Advanced Camera for Surveys mosaic. The metal-poor GCs show a monotonic negative metallicity ... More
Faint Stars in the Ursa Minor Dwarf Spheroidal Galaxy: Implications for the Low-Mass Stellar Initial Mass Function at High RedshiftJun 10 2002The stellar initial mass function at high redshift is an important defining property of the first stellar systems to form and may also play a role in various dark matter problems. We here determine the faint stellar luminosity function in an apparently ... More
A population of faint low surface brightness galaxies in the Perseus cluster coreMay 26 2017Jun 13 2017We present the detection of 89 low surface brightness (LSB), and thus low stellar density galaxy candidates in the Perseus cluster core, of the kind named "ultra-diffuse galaxies", with mean effective V-band surface brightnesses 24.8-27.1 mag arcsec$^{-2}$, ... More