(Q,≦,∨) is a complete join semilattice (Q,・,e) is a monoid (∨S)・a=∨{b・a | b∈S} for a∈Q, S⊆Q a・(∨S)=∨{a・b | b∈S} for a∈Q, S⊆Q 2 Background: An Example of Quantale (Rel(A),≦,∨,・,e) is a quantale where Rel(A) is the set of all binary relations on A ≦ is the inclusion ∨ is the union ・ is the composition Q・R={ (a,c) | ∃b. (a,b)∈Q, (b,c)∈R } e is the identity relation 3 Our Goal: Relational Represent...

This paper generalizes a method of generating shift sequences in the interleaved construction proposed by Gong. With the new shift sequences, some new families of p-ary sequences with desired properties can be obtained. A lower bound on the number of new families of binary sequences is also established.

Microlocal analysis of a seismic linearized inverse problem. Abstract: The seismic inverse problem is to determine the wavespeed c(x) in the interior of a medium from measurements at the boundary. In this paper we analyze the linearized inverse problem in general acoustic media. The problem is to nd a left inverse of the linearized forward map F, or, equivalently, to nd the inverse of the norma...

In a recent study we developed a fast and accurate algorithm to compute Global Positioning System (GPS) Slant Total Delay (STDs) utilizing numerical weather model data. Having developed a forward operator we construct in this study the tangent linear (adjoint) operator by application of the chain rule of differential calculus in forward (reverse) mode. Armed with these operators we show in a si...

Abstract. Worldwide, the amount of water used for agricultural purposes is rising, and quantification irrigation becoming a crucial topic. Because limited availability in situ observations, an increasing number studies focusing on synergistic use models satellite data to detect quantify irrigation. The parameterization large-scale land surface (LSMs) improving, but it still hampered by lack inf...

in this work, we describe an adjunction between the comma category of set-based monads under the v -powerset monad and the category of associative lax extensions of set-based monads to the category of v -relations. in the process, we give a general construction of the kleisli extension of a monad to the category of v-relations.

We exhibit an aggressive optimizing compiler for a functionalprogramming language which includes a first-class forward automatic differentiation (AD) operator. The compiler’s performance is competitive with FORTRAN-based systems on our numerical examples, despite the potential inefficiencies entailed by support of a functional-programming language and a first-class AD operator. These results ar...

When analyzing a large amount of data, analysts often define groups over data elements that share certain properties. Using these groups as the unit of analysis not only reduces the data volume, but also allows detecting various patterns in the data. This involves analyzing intersection relations between these groups, and how the element attributes vary between these intersections. This kind of...

We derive the Fokker-Planck operator describing a highly forward peaked scattering process in the linear transport equation, in anisotropic media, as a formal asymptotic limit of the exact integral operator. The resulting operator, being both con-vective and diiusive in angle and energy variables, reduces the degenerate nature of the Fokker-Planck system compared to the isotropic media case whe...