Let Λ be a commutative ring, A an augmented differential graded algebra over Λ (briefly, DGA-algebra) and X be a relatively free resolution of Λ over A. The standard bar resolution of Λ over A, denoted by B(A), provides an example of a resolution of this kind. The comparison theorem gives inductive formulae f :B(A) → X and g:X → B(A) termed comparison maps. In case that fg = 1X and A is connect...

analysis of non-laminar flows in coarse alluvial beds has a wide range of applications in various civil engineering, oil and gas, and geology problems. darcy equation is not valid to analyze transient and turbulent flows, so non-linear equations should be applied. non-linear equations are classified into power and binomial equations. binomial equation is more accurate in a wide range of velocit...

A new technology of classifying a seismic interval parallel to a horizon in a 3D volume based on the shape of the wiggle traces and its geologic use will be presented here. Since the seismic traces contain all relevant information, such as, reflection patterns, phase, frequency, amplitude etc., the trace shape is a fundamental property of the seismic data. A map showing the distribution of simi...

We present the KPC-Toolbox, a library of MATLAB scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way based on the recently proposed Kronecker Product Composition (KPC) method. We first present detailed sensitivity analysis that builds intuition on which trace descriptors are the most important for queueing performance, stressing the advantages of match...

are integral forms arising from norms on number fields. We prove that the natural density of the set of integers represented by a norm form is zero, while the relative natural density of the set of prime numbers represented by a norm form exists and is positive. These results require tools from class field theory, including the Artin-Chebotarev density theorem and the Hilbert class field. We in...

Interpolation of missing seismic data (such as missing nearoffset data, gaps, etc.) is an important issue in seismic surveys. Here we show that interferometry can be used to fill in some gaps in the data. The interferometric method creates virtual traces in the gaps by crosscorrelation of traces in a shot gather followed by summation over all shot positions. Compared to other interpolation meth...

We investigate the tracial and ideal structures of C ? -algebras quasi-regular representations stabilizers boundary actions. Our main tool is notion maps, namely ?-equivariant unital completely positive maps from ?- to ( ? F ? ) , where denotes Furstenberg a group ?. For unitary representation ? coming groupoid germs action, we show that there unique map on . Consequently, describe structure fo...

BACKGROUND The purpose of this study was to evaluate tongue movements during swallowing in healthy adults using the B+M-mode ultrasonography, and to determine a common feature in the M-mode traces for quantitative measurement and individual comparison of tongue movements. MATERIAL AND METHODS Ninety healthy subjects were divided into 3 groups according to age (20-39, 40-59, and 60-80 years). ...

Despite widespread OS, network, and hardware heterogeneity, there has been a lack of research into quantifying and improving portability of a programming environment. We have constructed a distributed testbed called Seattle built on a platform-independent programming API that is implemented on different operating systems and architectures. Our goal is to show that applications written to our AP...