Statistical mechanics of ontology based annotations

We present a statistical mechanical theory of the process of annotating an object with terms selected from an ontology. The term selection process is formulated as an ideal lattice gas model, but in a highly structured inhomogeneous field. The model enables us to explain patterns recently observed in real-world annotation data sets, in terms of the underlying graph structure of the ontology. By relating the external field strengths to the information content of each node in the ontology graph, the statistical mechanical model also allows us to propose a number of practical metrics for assessing the quality of both the ontology, and the annotations that arise from its use. Using the statistical mechanical formalism we also study an ensemble of ontologies of differing size and complexity; an analysis not readily performed using real data alone. Focusing on regular tree ontology graphs we uncover a rich set of scaling laws describing the growth in the optimal ontology size as the number of objects being annotated increases. In doing so we provide a further possible measure for assessment of ontologies.Comment: 27 pages, 5 figure

On the perimeters of simple polygons contained in a disk

A simple $n$-gon is a polygon with $n$ edges with each vertex belonging to exactly two edges and every other point belonging to at most one edge. Brass asked the following question: For $n \geq 5$ odd, what is the maximum perimeter of a simple $n$-gon contained in a Euclidean unit disk? In 2009, Audet, Hansen and Messine answered this question, and showed that the optimal configuration is an isosceles triangle with a multiple edge, inscribed in the disk. In this note we give a shorter and simpler proof of their result, which we generalize also for hyperbolic disks, and for spherical disks of sufficiently small radii.Comment: 6 pages, 2 figure

On the perimeters of simple polygons contained in a plane convex body

A simple n-gon is a polygon with n edges such that each vertex belongs to exactly two edges and every other point belongs to at most one edge. Brass, Moser and Pach asked the following question: For n > 3 odd, what is the maximum perimeter of a simple n-gon contained in a Euclidean unit disk? In 2009, Audet, Hansen and Messine answered this question, and showed that the supremum is the perimeter of an isosceles triangle inscribed in the disk, with an edge of multiplicity n-2. L\'angi generalized their result for polygons contained in a hyperbolic disk. In this note we find the supremum of the perimeters of simple n-gons contained in an arbitrary plane convex body in the Euclidean or in the hyperbolic plane.Comment: 7 pages, 7 figure

Super Logic Programs

The Autoepistemic Logic of Knowledge and Belief (AELB) is a powerful nonmonotic formalism introduced by Teodor Przymusinski in 1994. In this paper, we specialize it to a class of theories called `super logic programs'. We argue that these programs form a natural generalization of standard logic programs. In particular, they allow disjunctions and default negation of arbibrary positive objective formulas. Our main results are two new and powerful characterizations of the static semant ics of these programs, one syntactic, and one model-theoretic. The syntactic fixed point characterization is much simpler than the fixed point construction of the static semantics for arbitrary AELB theories. The model-theoretic characterization via Kripke models allows one to construct finite representations of the inherently infinite static expansions. Both characterizations can be used as the basis of algorithms for query answering under the static semantics. We describe a query-answering interpreter for super programs which we developed based on the model-theoretic characterization and which is available on the web.Comment: 47 pages, revised version of the paper submitted 10/200

Wildland inventory and resource modeling for Douglas and Carson City Counties, Nevada, using LANDSAT and digital terrain data

The potential of using LANDSAT satellite imagery to map and inventory pinyon-juniper desert forest types in Douglas and Carson City Counties, Nevada was demonstrated. Specific map and statistical products produced include land cover, mechanical operations capability, big game winter range habitat, fire hazard, and forest harvestability. The Nevada Division of Forestry determined that LANDSAT can produce a reliable and low-cost resource data. Added benefits become apparent when the data are linked to a geographical information system (GIS) containing existing ownership, planning, elevation, slope, and aspect information

Through the looking glass: counter-mirror activation following incompatible sensorimotor learning.

The mirror system, comprising cortical areas that allow the actions of others to be represented in the observer's own motor system, is thought to be crucial for the development of social cognition in humans. Despite the importance of the human mirror system, little is known about its origins. We investigated the role of sensorimotor experience in the development of the mirror system. Functional magnetic resonance imaging was used to measure neural responses to observed hand and foot actions following one of two types of training. During training, participants in the Compatible (control) group made mirror responses to observed actions (hand responses were made to hand stimuli and foot responses to foot stimuli), whereas the Incompatible group made counter-mirror responses (hand to foot and foot to hand). Comparison of these groups revealed that, after training to respond in a counter-mirror fashion, the relative action observation properties of the mirror system were reversed; areas that showed greater responses to observation of hand actions in the Compatible group responded more strongly to observation of foot actions in the Incompatible group. These results suggest that, rather than being innate or the product of unimodal visual or motor experience, the mirror properties of the mirror system are acquired through sensorimotor learning

Brass and Percussion Ensembles Concert, Fall 2012

This is the program for the Fall 2012 Brass and Percussion Ensembles concert

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the respective dependencies is proposed using Datalog expressions. We show that many interesting properties of schema elements can be systematically determined this way. The expressiveness of the proposed analysis is exemplarily shown with the problem of computing induced functional dependencies for derived relations. The propagation of functional dependencies plays an important role in data integration and query optimization but represents an undecidable problem in general. And yet, our rule-based analysis covers all relational operators as well as linear recursive expressions in a systematic way showing the depth of analysis possible by our proposal. The analysis of functional dependencies is well-integrated in a uniform approach to analyzing dependencies between schema elements in general.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Anisotropic vortex pinning in superconductors with a square array of rectangular submicron holes

We investigate vortex pinning in thin superconducting films with a square array of rectangular submicron holes ("antidots"). Two types of antidots are considered: antidots fully perforating the superconducting film, and "blind antidots", holes that perforate the film only up to a certain depth. In both systems, we observe a distinct anisotropy in the pinning properties, reflected in the critical current Ic, depending on the direction of the applied electrical current: parallel to the long side of the antidots or perpendicular to it. Although the mechanism responsible for the effect is very different in the two systems, they both show a higher critical current and a sharper IV-transition when the current is applied along the long side of the rectangular antidots