We study a fourth order finite difference method for the unsteady incompressible Navier-Stokes equations in vorticity formulation. The scheme is essentially compact and can be implemented very efficiently. Either Briley’s formula, or a new higher order formula, which will be derived in this paper, can be chosen as the vorticity boundary condition. By formal Taylor expansion, the new formula for...

This paper presents a proof of Stirling's formula using Haar wavelets and some properties of Hilbert space, such as Parseval's identity. The present paper shows a connection between Haar wavelets and certain sequences.

− One of priorities in research undertaken to support Food Composition Analysis was the production of a range of reference materials relevant to determine nutrients in selected foods. This paper describes the implementation and outcomes of activities on reference material production program and their contribution to international developments in the harmonization of Quality System of Food Compo...

After providing an extension of the Slepian–Bangs formula for general noncircular complex Gaussian distributions, this paper focuses on the stochastic Cramér–Rao bound (CRB) on direction-of-arrival (DOA) estimation accuracy for noncircular sources. We derive an explicit expression of the CRB for DOA parameters alone in the case of noncircular complex Gaussian sources by two different methods. O...

We present a novel theoretical approach to the analysis of adaptive quadratures and adaptive Simpson quadratures in particular which leads to the construction of a new algorithm for automatic integration. For a given function [Formula: see text] with [Formula: see text] and possible endpoint singularities the algorithm produces an approximation to [Formula: see text] within a given [Formula: se...

An exact numerical calculation of neutrino emissivity of two and three flavour quark matter have been carried out. We find that the neutrino emissivity obtained from the Iwamoto formula is in qualitative agreement with our calculation for two flavour quark matter. For three flavour case, on the other hand we find that the Iwamoto formula overestimates the numerical values by ∼2 orders of magnit...

We survey results about static analysis of pattern-based queries over XML documents. These queries are analogs of conjunctive queries, their unions and Boolean combinations, in which tree patterns play the role of atomic formulae. As in the relational case, they can be viewed as both queries and incomplete documents, and thus static analysis problems can also be viewed as finding certain answer...

Abstract: The main purpose of this paper is to present some convergence results of a class of Parallel Multivalue Hybrid Methods (PMHMs) for semi-explicit index-2 differential-algebraic equations. Some numerical examples confirm our theoretical results and show that the computed orders of the 2-step 2-order PMHM (PMHM2) and the 3-step 3-order PMHM (PMHM3) are higher than the corresponding theor...

The manufacture of infant food is a highly complex process and needs an effective quality control beyond classical in-process parameters and a final microbiological analysis. To ensure a safe end -product, various tools, such as the Hazard Analysis Critical Control Points (HACCP), have been developed to facilitate the management of food safety. Every single infant formula ingredient must have a...

We consider the numerical solution of differential Riccati equations. We review the existing methods and investigate whether they are suitable for large-scale problems arising in LQR and LQG design for semi-discretized partial differential equations. Based on this review, we suggest an efficient matrix-valued implementation of the BDF for differential Riccati equations.