On Averaging Null Sequences of Real-Valued Functions

If ξ is a countable ordinal and (fk) a sequence of real-valued functions we define the repeated averages of order ξ of (fk). By using a partition theorem of Nash-Williams for families of finite subsets of positive integers it is proved that if ξ is a countable ordinal then every sequence (fk) of real-valued functions has a subsequence (f'k) such that either every sequence of repeated averages of order ξ of (f'k) converges uniformly to zero or no sequence of repeated averages of order ξ of (f'k) converges uniformly to zero. By the aid of this result we obtain some results stronger than Mazur’s theorem.

Monogenic polynomials of four variables with binomial expansion

In the recent past one of the main concern of research in the field of Hypercomplex Function Theory in Clifford Algebras was the development of a variety of new tools for a deeper understanding about its true elementary roots in the Function Theory of one Complex Variable. Therefore the study of the space of monogenic (Clifford holomorphic) functions by its stratification via homogeneous monogenic polynomials is a useful tool. In this paper we consider the structure of those polynomials of four real variables with binomial expansion. This allows a complete characterization of sequences of 4D generalized monogenic Appell polynomials by three different types of polynomials. A particularly important case is that of monogenic polynomials which are simply isomorphic to the integer powers of one complex variable and therefore also called pseudo-complex powers.

Krylov subspace methods for approximating functions of symmetric positive definite matrices with applications to applied statistics and anomalous diffusion

Matrix function approximation is a current focus of worldwide interest and finds application in a variety of areas of applied mathematics and statistics. In this thesis we focus on the approximation of A^(-α/2)b, where A ∈ ℝ^(n×n) is a large, sparse symmetric positive definite matrix and b ∈ ℝ^n is a vector. In particular, we will focus on matrix function techniques for sampling from Gaussian Markov random fields in applied statistics and the solution of fractional-in-space partial differential equations. Gaussian Markov random fields (GMRFs) are multivariate normal random variables characterised by a sparse precision (inverse covariance) matrix. GMRFs are popular models in computational spatial statistics as the sparse structure can be exploited, typically through the use of the sparse Cholesky decomposition, to construct fast sampling methods. It is well known, however, that for sufficiently large problems, iterative methods for solving linear systems outperform direct methods. Fractional-in-space partial differential equations arise in models of processes undergoing anomalous diffusion. Unfortunately, as the fractional Laplacian is a non-local operator, numerical methods based on the direct discretisation of these equations typically requires the solution of dense linear systems, which is impractical for fine discretisations. In this thesis, novel applications of Krylov subspace approximations to matrix functions for both of these problems are investigated. Matrix functions arise when sampling from a GMRF by noting that the Cholesky decomposition A = LL^T is, essentially, a `square root' of the precision matrix A. Therefore, we can replace the usual sampling method, which forms x = L^(-T)z, with x = A^(-1/2)z, where z is a vector of independent and identically distributed standard normal random variables. Similarly, the matrix transfer technique can be used to build solutions to the fractional Poisson equation of the form ϕn = A^(-α/2)b, where A is the finite difference approximation to the Laplacian. Hence both applications require the approximation of f(A)b, where f(t) = t^(-α/2) and A is sparse. In this thesis we will compare the Lanczos approximation, the shift-and-invert Lanczos approximation, the extended Krylov subspace method, rational approximations and the restarted Lanczos approximation for approximating matrix functions of this form. A number of new and novel results are presented in this thesis. Firstly, we prove the convergence of the matrix transfer technique for the solution of the fractional Poisson equation and we give conditions by which the finite difference discretisation can be replaced by other methods for discretising the Laplacian. We then investigate a number of methods for approximating matrix functions of the form A^(-α/2)b and investigate stopping criteria for these methods. In particular, we derive a new method for restarting the Lanczos approximation to f(A)b. We then apply these techniques to the problem of sampling from a GMRF and construct a full suite of methods for sampling conditioned on linear constraints and approximating the likelihood. Finally, we consider the problem of sampling from a generalised Matern random field, which combines our techniques for solving fractional-in-space partial differential equations with our method for sampling from GMRFs.

Copula-based spatial modelling of geometallurgical variables

The most important aspect of modelling a geological variable, such as metal grade, is the spatial correlation. Spatial correlation describes the relationship between realisations of a geological variable sampled at different locations. Any method for spatially modelling such a variable should be capable of accurately estimating the true spatial correlation. Conventional kriged models are the most commonly used in mining for estimating grade or other variables at unsampled locations, and these models use the variogram or covariance function to model the spatial correlations in the process of estimation. However, this usage assumes the relationships of the observations of the variable of interest at nearby locations are only influenced by the vector distance between the locations. This means that these models assume linear spatial correlation of grade. In reality, the relationship with an observation of grade at a nearby location may be influenced by both distance between the locations and the value of the observations (ie non-linear spatial correlation, such as may exist for variables of interest in geometallurgy). Hence this may lead to inaccurate estimation of the ore reserve if a kriged model is used for estimating grade of unsampled locations when nonlinear spatial correlation is present. Copula-based methods, which are widely used in financial and actuarial modelling to quantify the non-linear dependence structures, may offer a solution. This method was introduced by Bárdossy and Li (2008) to geostatistical modelling to quantify the non-linear spatial dependence structure in a groundwater quality measurement network. Their copula-based spatial modelling is applied in this research paper to estimate the grade of 3D blocks. Furthermore, real-world mining data is used to validate this model. These copula-based grade estimates are compared with the results of conventional ordinary and lognormal kriging to present the reliability of this method.

Discriminant analysis of selected variables in the adoption of fish curing

Discriminant functions were worked out for adoption or non-adoption of five improved practices in fish curing. Four variables measured quantitatively formed the basis for discrimination. In four out of five equations, the selected variables were found to discriminate significantly between the adopters and non-adopters.

Roche tomography of cataclysmic variables - I. Artefacts and techniques

Roche tomography is a technique used for imaging the Roche-lobe-filling secondary stars in cataclysmic variables (CVs). In order to interpret Roche tomograms correctly, one must determine whether features in the reconstruction are real, or the result of statistical or systematic errors. We explore the effects of systematic errors using reconstructions of simulated data sets, and show that systematic errors result in characteristic distortions of the final reconstructions that can be identified and corrected. In addition, we present a new method of estimating statistical errors on tomographic reconstructions using a Monte Carlo bootstrapping algorithm, and show this method to be much more reliable than Monte Carlo methods which 'jiggle' the data points in accordance with the size of their error bars.

Application of Fuzzy Variables for Systems of Management Decision Support

The following article describes an approach covering the variety of opinions and uncertainties of estimates within the chosen technique of decision support. Mathematical operations used for assessment of options are traced to operations of working with functions that are used for assessment of possible options of decision-making. Approach proposed could be used within any technique of decision support based on elementary mathematical operations. In this article the above-mentioned approach is described under analytical hierarchy process.

Method of numerical correction of errors occasioned by delay of records during the monitoring of environmental variables of interest for animal production

As condições de ambiente térmico e aéreo, no interior de instalações para animais, alteram-se durante o dia, devido à influência do ambiente externo. Para que análises estatísticas e geoestatísticas sejam representativas, uma grande quantidade de pontos distribuídos espacialmente na área da instalação deve ser monitorada. Este trabalho propõe que a variação no tempo das variáveis ambientais de interesse para a produção animal, monitoradas no interior de instalações para animais, pode ser modelada com precisão a partir de registros discretos no tempo. O objetivo deste trabalho foi desenvolver um método numérico para corrigir as variações temporais dessas variáveis ambientais, transformando os dados para que tais observações independam do tempo gasto durante a aferição. O método proposto aproximou os valores registrados com retardos de tempo aos esperados no exato momento de interesse, caso os dados fossem medidos simultaneamente neste momento em todos os pontos distribuídos espacialmente. O modelo de correção numérica para variáveis ambientais foi validado para o parâmetro ambiental temperatura do ar, sendo que os valores corrigidos pelo método não diferiram pelo teste Tukey, a 5% de probabilidade dos valores reais registrados por meio de dataloggers.

Wannier functions of isolated bands in one-dimensional crystals

We present a simple procedure to obtain the maximally localized Wannier function of isolated bands in one-dimensional crystals with or without inversion symmetry. First, we discuss the generality of dealing with real Wannier functions. Next, we use a transfer-matrix technique to obtain nonoptimal Bloch functions which are analytic in the wave number. This produces two classes of real Wannier functions. Then, the minimization of the variance of the Wannier functions is performed, by using the antiderivative of the Berry connection. In the case of centrosymmetric crystals, this procedure leads to the Wannier-Kohn functions. The asymptotic behavior of the Wannier functions is also analyzed. The maximally localized Wannier functions show the expected exponential and power-law decays. Instead, nonoptimal Wannier functions may show reduced exponential and anisotropic power-law decays. The theory is illustrated with numerical calculations of Wannier functions for conduction electrons in semiconductor superlattices.

Wannier functions of a one-dimensional photonic crystal with inversion symmetry

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Semiclassical scaling functions of sine-Gordon model

We present an analytic study of the finite size effects in sine-Gordon model, based on the semi-classical quantization of an appropriate kink background defined on a cylindrical geometry. The quasi-periodic kink is realized as an elliptic function with its real period related to the size of the system. The stability equation for the small quantum fluctuations around this classical background is of Lame type and the corresponding energy eigenvalues are selected inside the allowed bands by imposing periodic boundary conditions. We derive analytical expressions for the ground state and excited states scaling functions, which provide an explicit description of the flow between the IR and UV regimes of the model. Finally, the semiclassical form factors and two-point functions of the basic field and of the energy operator are obtained, completing the semiclassical quantization of the sine-Gordon model on the cylinder. (C) 2004 Elsevier B.V. All rights reserved.

EFFECT OF BIOMETRIC VARIABLES ON TWO-DIMENSIONAL ECHOCARDIOGRAPHIC MEASUREMENTS IN THE RED-TAILED BOA (BOA CONSTRICTOR CONSTRICTOR)

The effects of body biometrics on cardiac measurements and description of cardiac anatomy were performed in red-tailed boas (Boa constrictor constrictor) (n = 29) using real-time B-mode ultrasonography. Statistical comparison of measured cardiac metrics according to sex and body measurements demonstrated no significant difference between sexes but a highly significant linear increase between body length and mass and all cardiac metrics.

Juvenile myoclonic epilepsy: The impact of clinical variables and psychiatric disorders on executive profile assessed with a comprehensive neuropsychological battery

Executive dysfunction is reported in juvenile myoclonic epilepsy (JME). However, batteries employed in previous studies included no more than three tests of executive function. In this study, we aimed to assess executive and attentional functions in JME using a comprehensive battery of eight tests (encompassing fifteen subtests). We also evaluated neuropsychological profiles using a clinical criterion of severity and correlated these findings with epilepsy clinical variables and the presence of psychiatric disorders. We prospectively evaluated 42 patients with JME and a matched control group with Digit Span tests (forward and backward), Stroop Color-Word Test, Trail Making Test, Wisconsin Card-Sorting Test, Matching Familiar Figures Test and Word Fluency Test. We estimated IQ with the Matrix Reasoning and Vocabulary subtests of the Wechsler Abbreviated Intelligence Scale. The patients with JME showed specific deficits in working memory, inhibitory control, concept formation, goal maintenance, mental flexibility, and verbal fluency. We observed attentional deficits in processes such as alertness and attention span and those requiring sustained and divided attention. We found that 83.33% of the patients had moderate or severe executive dysfunction. In addition, attentional and executive impairment was correlated with higher frequency of seizures and the presence of psychiatric disorders. Furthermore, executive dysfunction correlated with a longer duration of epilepsy. Our findings indicate the need for comprehensive neuropsychological batteries in patients with JME, in order to provide a more extensive evaluation of attentional and executive functions and to show that some relevant deficits have been overlooked. (C) 2012 Elsevier Inc. All rights reserved.

Space-temporal dynamics of limnological variables in a floodplain wetland located at Ribeira do Iguape Valley (São Paulo, Brazil) at different hydrological periods

AIM: The main goal of this research was to investigate the influence of the hydrological pulses on the space-temporal dynamics of physical and chemical variables in a wetland adjacent to Jacupiranguinha River (São Paulo, Brazil); METHODS: Eleven sampling points were distributed among the wetland, a tributary by its left side and the adjacent river. Four samplings were carried out, covering the rainy and the dry periods. Measures of pH, dissolved oxygen, electrical conductivity and redox potential were taken in regular intervals of the water column using a multiparametric probe. Water samples were collected for the nitrogen and total phosphorus analysis, as well as their dissolved fractions (dissolved inorganic phosphorus, total dissolved phosphorus, ammoniacal nitrogen and nitrate). Total alkalinity and suspended solids were also quantified; RESULTS: The Multivariate Analysis of Variance showed the influence of the seasonality on the variability of the investigated variables, while the Principal Component Analysis gave rise in two statistical significant axes, which delimited two groups representative of the rainy and dry periods. Hydrological pulses from Jacupiranguinha River, besides contributing to the inputs of nutrients and sediments during the period of connectivity, accounted for the decrease in spatial gradients in the wetland. This "homogenization effect" was evidenced by the Cluster Analysis. The research also showed an industrial raw effluent as the main point source of phosphorus to the Jacupiranguinha River and, indirectly, to the wetland; CONCLUSIONS: Therefore, considering the scarcity of information about the wetlands in the study area, this research, besides contributing to the understanding of the influence of hydrological pulses on the investigated environmental variables, showed the need for adoption of conservation policies of these ecosystems face the increase anthropic pressures that they have been submitted, which may result in lack of their ecological, social and economic functions.

Combined determination of sharing and freeness of program variables through abstract interpretation

In this paper, abstract interpretation algorithms are described for computing the sharmg as well as the freeness information about the run-time instantiations of program variables. An abstract domain is proposed which accurately and concisely represents combined freeness and sharing information for program variables. Abstract unification and all other domain-specific functions for an abstract interpreter working on this domain are presented. These functions are illustrated with an example. The importance of inferring freeness is stressed by showing (1) the central role it plays in non-strict goal independence, and (2) the improved accuracy it brings to the analysis of sharing information when both are computed together. Conversely, it is shown that keeping accurate track of sharing allows more precise inference of freeness, thus resulting in an overall much more powerful abstract interpreter.