Relationship between thirty post-thaw spermatozoal characteristics and the field fertility of 11 high-use Australian dairy AI sires

This study determined the relationship between two measures of field fertility of I I high-use Australian artificial insemination (AI) dairy bulls and thirty standard laboratory assessments of spermatozoal post-thaw viability. The two measures of field fertility used, conception rates (cCR) and non-return rates (cNRR), were both corrected for all major non-bull variables. Sperm viability assessments were conducted on semen collected within the same season as that used to derive the field fertility estimates. These assessments measured sperm concentration, motility, morphology and membrane integrity at thawing, after 2 h incubation and after the swim-up sperm selection procedure. Derivations of these measures and in vitro embryo fertilizing and developmental capacity were also determined. The Genstat Statistical Package [Genstat 5 Release 4.2 Reference Manual, VSN International, Oxford, 20001 was used to conduct an analysis of variance on the viability parameters across semen straws and bulls, and to calculate the strength of correlation between each semen parameter, cNRR and cCR in a correlation matrix. Step forward multiple regression identified the combination of semen parameters that were most highly correlated with cCR and with cNRR. The sperm parameters identified as being most predictive of cCR were the percentage of morphologically normal sperm immediately post-thaw (zeroNorm), the number of morphologically normal sperm after the swim-up procedure (nSuNorm), and the rate of zygote cleavage in vitro (Clv); the predictive equation formed by these parameters accounted for 70% of variance. The predictive equation produced for cNRR contained the variables zeroNorm, the proportion of membrane intact sperm after 2 h incubation at 37 degreesC (twoMem) and Clv and accounted for 76.5% of the variation. ZeroNorm was found to be consistent across straws and semen batches within-bull and the sperm parameter with the strongest individual predictive capacity for both cCR (P = 0.1) and cNRR (P = 0.001). Post-thaw sperm parameters can be used to predict field fertility of Australian dairy sires; the calculated predictive equations are particularly useful for identifying and monitoring bulls of very high and very low potential fertility within a group. (C) 2003 Elsevier B.V. All rights reserved.

Pulse transit time as a derived noninvasive mean to monitor arterial distensibility changes in children

Changes in arterial distensibility have been widely used to identify the presence of cardiovascular abnormalities like hypertension. Pulse wave velocity (PWV) has shown to be related to arterial distensibility. However, the lack of suitable techniques to measure PWV nonintrusively has impeded its clinical usefulness. Pulse transit time (PTT) is a noninvasive technique derived from the principle of PWV. PTT has shown its capabilities in cardiovascular and cardiorespiratory studies in adults. However, no known study has been conducted to understand the suitability and utility of PTT to estimate PWV in children. Two computational methods to derive PWV from PTT values obtained from 23 normotensive Caucasian children (19 males, aged 5-12 years old) from their finger and toe were conducted. Furthermore, the effects of adopting different postures on the PWV derivations were investigated. Statistical analyses were performed in comparison with two previous PWV studies conducted on children. Results revealed that PWV derived from the upper limb correlated significantly (P

On functionally-fitted Runge-Kutta methods

Functionally-fitted methods are generalizations of collocation techniques to integrate an equation exactly if its solution is a linear combination of a chosen set of basis functions. When these basis functions are chosen as the power functions, we recover classical algebraic collocation methods. This paper shows that functionally-fitted methods can be derived with less restrictive conditions than previously stated in the literature, and that other related results can be derived in a much more elegant way. The novelty in our approach is to fully retain the collocation framework without reverting back into derivations based on cumbersome Taylor series expansions.

Progress in deriving concurrent programs: Emphasizing the role of stable guards

We present some techniques to obtain smooth derivations of concurrent programs that address both safety and progress in a formal manner. Our techniques form an extension to the calculational method of Feijen and van Casteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.

Towards a methodology for deriving contract-compliant business processes

This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring collaborative interactions between parties, including their internal processes, to ensure contract-compliant behaviour. The methodology requires a formal model of contracts to facilitate process derivations and to form a basis for contract analysis tools and run-time process execution.

Extending the theory of Owicki and Gries with asynchronous message passing

We describe an extension of the theory of Owicki and Gries (1976) to a programming language that supports asynchronous message passing based on unconditional send actions and conditional receive actions. The focus is on exploring the fitness of the extension for distributed program derivation. A number of experiments are reported, based on a running example problem, and with the aim of exploring design heuristics and of streamlining derivations and progress arguments.

Intergroup relations in action: questions asked about lesbian, gay and bisexual issues in diversity training

This paper focuses on the questions which heterosexual trainees ask about lesbian, gay and bisexual (LGB) experience within diversity training about LGB issues. Drawing on a data corpus of 162 questions asked by trainees in 13 tape-recorded training sessions, questions were coded into six categories: (1) general understanding questions; (2) questions about the trainer's life, experience and practices; (3) professional practice questions; (4) questions about lesbian and gay related legislation, policies and procedures; (5) questions about specific people and projects and (6) questions about the meanings, derivations and correct use of terms and symbols. Real questions are compared with the decontexualized questions (and answers to them) that are provided in training manuals and it is demonstrated that these questions differ markedly from how questions actually get asked and how they actually get answered. Recommendations are provided for improving training and the argument made for turning towards analyses of the real world in action, especially when considering intergroup relations. Copyright © 2008 John Wiley & Sons, Ltd.

A Survey of Counterexamples to Hilbert's Fourteenth Problem

We survey counterexamples to Hilbert’s Fourteenth Problem, beginning with those of Nagata in the late 1950s, and including recent counterexamples in low dimension constructed with locally nilpotent derivations. Historical framework and pertinent references are provided. We also include 8 important open questions.

A mathematical resolution to log transformations and the binning effect in applied processing of data in flow cytometry

This dissertation develops a new mathematical approach that overcomes the effect of a data processing phenomenon known as “histogram binning” inherent to flow cytometry data. A real-time procedure is introduced to prove the effectiveness and fast implementation of such an approach on real-world data. The histogram binning effect is a dilemma posed by two seemingly antagonistic developments: (1) flow cytometry data in its histogram form is extended in its dynamic range to improve its analysis and interpretation, and (2) the inevitable dynamic range extension introduces an unwelcome side effect, the binning effect, which skews the statistics of the data, undermining as a consequence the accuracy of the analysis and the eventual interpretation of the data. ^ Researchers in the field contended with such a dilemma for many years, resorting either to hardware approaches that are rather costly with inherent calibration and noise effects; or have developed software techniques based on filtering the binning effect but without successfully preserving the statistical content of the original data. ^ The mathematical approach introduced in this dissertation is so appealing that a patent application has been filed. The contribution of this dissertation is an incremental scientific innovation based on a mathematical framework that will allow researchers in the field of flow cytometry to improve the interpretation of data knowing that its statistical meaning has been faithfully preserved for its optimized analysis. Furthermore, with the same mathematical foundation, proof of the origin of such an inherent artifact is provided. ^ These results are unique in that new mathematical derivations are established to define and solve the critical problem of the binning effect faced at the experimental assessment level, providing a data platform that preserves its statistical content. ^ In addition, a novel method for accumulating the log-transformed data was developed. This new method uses the properties of the transformation of statistical distributions to accumulate the output histogram in a non-integer and multi-channel fashion. Although the mathematics of this new mapping technique seem intricate, the concise nature of the derivations allow for an implementation procedure that lends itself to a real-time implementation using lookup tables, a task that is also introduced in this dissertation. ^

Statistical analysis and optimal classification of blood cell populations using Gaussian distributions

This dissertation develops a new figure of merit to measure the similarity (or dissimilarity) of Gaussian distributions through a novel concept that relates the Fisher distance to the percentage of data overlap. The derivations are expanded to provide a generalized mathematical platform for determining an optimal separating boundary of Gaussian distributions in multiple dimensions. Real-world data used for implementation and in carrying out feasibility studies were provided by Beckman-Coulter. It is noted that although the data used is flow cytometric in nature, the mathematics are general in their derivation to include other types of data as long as their statistical behavior approximate Gaussian distributions. ^ Because this new figure of merit is heavily based on the statistical nature of the data, a new filtering technique is introduced to accommodate for the accumulation process involved with histogram data. When data is accumulated into a frequency histogram, the data is inherently smoothed in a linear fashion, since an averaging effect is taking place as the histogram is generated. This new filtering scheme addresses data that is accumulated in the uneven resolution of the channels of the frequency histogram. ^ The qualitative interpretation of flow cytometric data is currently a time consuming and imprecise method for evaluating histogram data. This method offers a broader spectrum of capabilities in the analysis of histograms, since the figure of merit derived in this dissertation integrates within its mathematics both a measure of similarity and the percentage of overlap between the distributions under analysis. ^

A mathematical resolution to log transformations and the binning effect in applied processing of data in flow cytometry

This dissertation develops a new mathematical approach that overcomes the effect of a data processing phenomenon known as "histogram binning" inherent to flow cytometry data. A real-time procedure is introduced to prove the effectiveness and fast implementation of such an approach on real-world data. The histogram binning effect is a dilemma posed by two seemingly antagonistic developments: (1) flow cytometry data in its histogram form is extended in its dynamic range to improve its analysis and interpretation, and (2) the inevitable dynamic range extension introduces an unwelcome side effect, the binning effect, which skews the statistics of the data, undermining as a consequence the accuracy of the analysis and the eventual interpretation of the data. Researchers in the field contended with such a dilemma for many years, resorting either to hardware approaches that are rather costly with inherent calibration and noise effects; or have developed software techniques based on filtering the binning effect but without successfully preserving the statistical content of the original data. The mathematical approach introduced in this dissertation is so appealing that a patent application has been filed. The contribution of this dissertation is an incremental scientific innovation based on a mathematical framework that will allow researchers in the field of flow cytometry to improve the interpretation of data knowing that its statistical meaning has been faithfully preserved for its optimized analysis. Furthermore, with the same mathematical foundation, proof of the origin of such an inherent artifact is provided. These results are unique in that new mathematical derivations are established to define and solve the critical problem of the binning effect faced at the experimental assessment level, providing a data platform that preserves its statistical content. In addition, a novel method for accumulating the log-transformed data was developed. This new method uses the properties of the transformation of statistical distributions to accumulate the output histogram in a non-integer and multi-channel fashion. Although the mathematics of this new mapping technique seem intricate, the concise nature of the derivations allow for an implementation procedure that lends itself to a real-time implementation using lookup tables, a task that is also introduced in this dissertation.

Bayesian Learning with Dependency Structures via Latent Factors, Mixtures, and Copulas

Bayesian methods offer a flexible and convenient probabilistic learning framework to extract interpretable knowledge from complex and structured data. Such methods can characterize dependencies among multiple levels of hidden variables and share statistical strength across heterogeneous sources. In the first part of this dissertation, we develop two dependent variational inference methods for full posterior approximation in non-conjugate Bayesian models through hierarchical mixture- and copula-based variational proposals, respectively. The proposed methods move beyond the widely used factorized approximation to the posterior and provide generic applicability to a broad class of probabilistic models with minimal model-specific derivations. In the second part of this dissertation, we design probabilistic graphical models to accommodate multimodal data, describe dynamical behaviors and account for task heterogeneity. In particular, the sparse latent factor model is able to reveal common low-dimensional structures from high-dimensional data. We demonstrate the effectiveness of the proposed statistical learning methods on both synthetic and real-world data.

El Estado y las mujeres, concepciones en clave feminista

Pensar el Estado sigue presentando cierta urgencia en Argentina pues no ha dejado de tener una gran centralidad como interlocutor de las demandas sociales. Específicamente, procuro recuperar los aportes sustantivos de algunas pensadoras feministas. En particular, y aún a riesgo de que mi recorte pueda encasillarse en el de la colonialidad discursiva, retomaré las contribuciones de la politóloga inglesa Carole Pateman y la jurista estadounidense Catharine MacKinnon. Luego, estableceré algunas consideraciones sobre las derivaciones de sus propuestas y la forma en que otras autoras han aportado con particular eje en la ciudadanía tanto en su faz activa como pasiva. Finalmente, volveré a pensar nuestra práctica y nuestra teoría en el proceso de devenir feminista...

El Estado y las mujeres, concepciones en clave feminista

Pensar el Estado sigue presentando cierta urgencia en Argentina pues no ha dejado de tener una gran centralidad como interlocutor de las demandas sociales. Específicamente, procuro recuperar los aportes sustantivos de algunas pensadoras feministas. En particular, y aún a riesgo de que mi recorte pueda encasillarse en el de la colonialidad discursiva, retomaré las contribuciones de la politóloga inglesa Carole Pateman y la jurista estadounidense Catharine MacKinnon. Luego, estableceré algunas consideraciones sobre las derivaciones de sus propuestas y la forma en que otras autoras han aportado con particular eje en la ciudadanía tanto en su faz activa como pasiva. Finalmente, volveré a pensar nuestra práctica y nuestra teoría en el proceso de devenir feminista...

El Estado y las mujeres, concepciones en clave feminista

Pensar el Estado sigue presentando cierta urgencia en Argentina pues no ha dejado de tener una gran centralidad como interlocutor de las demandas sociales. Específicamente, procuro recuperar los aportes sustantivos de algunas pensadoras feministas. En particular, y aún a riesgo de que mi recorte pueda encasillarse en el de la colonialidad discursiva, retomaré las contribuciones de la politóloga inglesa Carole Pateman y la jurista estadounidense Catharine MacKinnon. Luego, estableceré algunas consideraciones sobre las derivaciones de sus propuestas y la forma en que otras autoras han aportado con particular eje en la ciudadanía tanto en su faz activa como pasiva. Finalmente, volveré a pensar nuestra práctica y nuestra teoría en el proceso de devenir feminista...