Abstract. Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley’s theorem relating negative evaluations of the chromatic polynomial to acyclic orientatio...

We find a Lax pair for the geometrically exact discrete Hamiltonian equations for the discrete elastic rod. This is paper III in a series. III. Lax Pair for Discrete Dynamics of Discrete Elastic DNA Shi, McClain, and Hearst

In this paper, we focus on the intuitionistic propositional logic extended with a local operator [22] (also called nucleus [21]); such is commonly named lax after [9]. We prove that unification finitary in and supply algorithms for computing basis of unifiers recognizing admissibility inference rules, following analogous known results logic.

A partial nonlinear extension of Lax-Richtmyer approximation theory by Aradhana Kumari Adviser: Professor Dennis Sullivan Lax and Richtmyer developed a theory of algorithms for linear initial value problems that guarantees, under certain circumstances, the convergence to numerical solution of initial value problem. The assumptions are first that the difference equations (algorithms) approximate...

In recent years the Federal Aviation Administration (FAA) has made reduction of runway incursions a priority for surface operations throughout the national airspace system. In a series of experiments conducted in April 2001, NASA studied alternatives designed to improve the efficient movement of surface traffic and reduce runway incursions at Los Angeles International Airport (LAX). The experim...

ABSTRACT Genetic resistance is the most efficient tool in crop disease management. Peanut smut currently one of important peanut diseases, with its incidence increasing terms both damage level and area covered. The aim this study was to assess response different genotypes obtained by Facultad de Agronomía y Veterinaria Universidad Nacional Río Cuarto (Argentina) their yield. During 2016/17, 201...