J. Cleary - Department of Physics \& Astronomy, Johns Hopkins University, Baltimore, MD, USA

J. Cleary
Are you J. Cleary?

Claim your profile, edit publications, add additional information:

Contact Details

Name
J. Cleary
Affiliation
Department of Physics \& Astronomy, Johns Hopkins University, Baltimore, MD, USA
City
Baltimore
Country
United States

Pubs By Year

Pub Categories

 
Computer Science - Logic in Computer Science (3)
 
Computer Science - Programming Languages (3)
 
Astrophysics of Galaxies (1)

Publications Authored By J. Cleary

2017Apr
Affiliations: 1Apache Point Observatory and New Mexico State University, Sunspot, NM, USA, 2Department of Astronomy, New Mexico State University, Las Cruces, NM, USA, 3Department of Astronomy, University of Washington, Seattle, WA, USA, 4Department of Astronomy, University of Washington, Seattle, WA, USA, 5Departamento de Física, CCNE, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil, 6Departamento de Física, CCNE, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil, 7Institut Utinam, Université de Franche-Comté, OSU THETA Franche-Comté-Bourgogne, Observatoire de Besancon, Besanon Cedex, France, 8Apache Point Observatory and New Mexico State University, Sunspot, NM, USA, 9Department of Astronomy, University of Wisconsin-Madison, Madison, WI, USA, 10Max-Planck Institute for Astrophysics, Garching, Germany, 11Institute of Cosmology and Gravitation, University of Portsmouth, Portsmouth, UK, 12Department of Physics \& Astronomy, Johns Hopkins University, Baltimore, MD, USA, 13Apache Point Observatory and New Mexico State University, Sunspot, NM, USA

We present a study of the kinematics of the extraplanar ionized gas around several dozen galaxies observed by the Mapping of Nearby Galaxies at the Apache Point Observatory (MaNGA) survey. We considered a sample of 67 edge-on galaxies out of more than 1400 extragalactic targets observed by MaNGA, in which we found 25 galaxies (or 37%) with regular lagging of the rotation curve at large distances from the galactic midplane. We model the observed $H\alpha$ emission velocity fields in the galaxies, taking projection effects and a simple model for the dust extinction into the account. Read More

A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals in a logic program. A typed existence property is a generalization of functional dependencies in that an input value maps to a fixed number of output values. Read More

An algorithm to decide the emptiness of a regular type expression with set operators given a set of parameterised type definitions is presented. The algorithm can also be used to decide the equivalence of two regular type expressions and the inclusion of one regular type expression in another. The algorithm strictly generalises previous work in that tuple distributivity is not assumed and set operators are permitted in type expressions. Read More

This paper answers open questions about the correctness and the completeness of Dart-Zobel algorithm for testing the inclusion relation between two regular types. We show that the algorithm is incorrect for regular types. We also prove that the algorithm is complete for regular types as well as correct for tuple distributive regular types. Read More