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

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

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

Sequence Dependence of Self-Interacting Random Chains

We study the thermodynamic behavior of the random chain model proposed by Iori, Marinari and Parisi, and how this depends on the actual sequence of interactions along the chain. The properties of randomly chosen sequences are compared to those of designed ones, obtained through a simulated annealing procedure in sequence space. We show that the transition to the folded phase takes place at a smaller strength of the quenched disorder for designed sequences. As a result, folding can be relatively fast for these sequences.Comment: 14 pages, uuencoded compressed postscript fil

Equine protease inhibitor system as a marker for the diagnosis of chronic obstructive pulmonary disease (COPD).

Polymorphism in programming languages enables code reuse. Here, we show that polymorphism has broad applicability far beyond computations for technical computing: parallelism in distributed computing, presentation of visualizations of runtime data flow, and proofs for formal verification of correctness. The ability to reuse a single codebase for all these purposes provides new ways to understand and verify parallel programs.Comment: 10 pages, 3 figures. Proceedings of HPTCDL, the 1st Workshop on High Performance Technical Computing in Dynamic Languages, November 17, 2014, New Orleans, Louisiana, USA. Supporting Information available at http://jiahao.github.io/parallel-prefi

Voice Flows To And Around Leaders: Understanding When Units Are Helped Or Hurt By Employee Voice

In two studies, we develop and test theory about the relationship between speaking up, one type of organizational citizenship behavior, and unit performance by accounting for where employee voice is flowing. Results from a qualitative study of managers and professionals across a variety of industries suggest that voice to targets at different formal power levels (peers or superiors) and locations in the organization (inside or outside a focal unit) differs systematically in terms of its usefulness in generating actions to a unit's benefit on the issues raised and in the likely information value of the ideas expressed. We then theorize how distinct voice flows should be differentially related to unit performance based on these core characteristics and test our hypotheses using time-lagged field data from 801 employees and their managers in 93 units across nine North American credit unions. Results demonstrate that voice flows are positively related to a unit's effectiveness when they are targeted at the focal leader of that unitwho should be able to take actionwhether from that leader's own subordinates or those in other units, and negatively related to a unit's effectiveness when they are targeted at coworkers who have little power to effect change. Together, these studies provide a structural framework for studying the nature and impact of multiple voice flows, some along formal reporting lines and others that reflect the informal communication structure within organizations. This research demonstrates that understanding the potential performance benefits and costs of voice for leaders and their units requires attention to the structure and complexity of multiple voice flows rather than to an undifferentiated amount of voice.Business Administratio

Bond breaking in vibrationally excited methane on transition metal catalysts

The role of vibrational excitation of a single mode in the scattering of methane is studied by wave packet simulations of oriented CH4 and CD4 molecules from a flat surface. All nine internal vibrations are included. In the translational energy range from 32 up to 128 kJ/mol we find that initial vibrational excitations enhance the transfer of translational energy towards vibrational energy and increase the accessibility of the entrance channel for dissociation. Our simulations predict that initial vibrational excitations of the asymmetrical stretch (nu_3) and especially the symmetrical stretch (nu_1) modes will give the highest enhancement of the dissociation probability of methane.Comment: 4 pages REVTeX, 2 figures (eps), to be published in Phys. Rev. B. (See also arXiv:physics.chem-ph/0003031). Journal version at http://publish.aps.org/abstract/PRB/v61/p1565

Strong Pinning and Plastic Deformations of the Vortex Lattice

We investigate numerically the dynamically generated plastic deformations of a 3D vortex lattice (VL) driven through a disorder potential with isolated, strong pinning centers (point-like or extended along the field direction). We find that the VL exhibits a very peculiar dynamical behavior in the plastic flow regime, in particular, topological excitations consisting of three or four entangled vortices are formed. We determine the critical current density $j_c$ and the activation energy for depinning $U_c$ in the presence of a finite density of strong pinning centers.Comment: 12 pages, TeX type, Postscript figure