This paper considers initial value problems for ordinary differential equations (ODEs), where some of the data is uncertain and given by intervals as is the case in many areas of science and engineering. Interval methods provide a way to approach these problems, but they raise fundamental challenges in obtaining high accuracy and low computation costs. This work introduces a constraint satisfac...

To date, several studies have investigated the intergenerational effect of preterm and small-for-gestational-age (SGA) births. However, most studies excluded both twin mothers and twin offspring from the analyses. Thus, the objective of this study was to investigate the intergenerational effect of preterm birth and SGA births among twins and singletons. A prospective population-based register s...

In this paper, we deal with the design of high-rate, full-diversity, low maximum likelihood (ML) decoding complexity space-time block codes (STBCs) with code rates of 2 and 1.5 complex symbols per channel use for multiple-input multiple output (MIMO) systems employing three and four transmit antennas. We fill the empty slots of the existing STBCs from CIODs in their transmission matrices by add...

This study investigates inequalities at the province level of the use of modern contraception and the proportion of short birth intervals among women in the DRC using data from the 2007 Demographic and Health Survey. Logistic regression and Bayesian geo-additive models were used. The posterior odds ratio and the associated 95% credible interval (95% CI) were estimated using Markov Chain Monte C...

INTRODUCTION Young women are at disproportionate risk of HIV infection in South Africa. Understanding risk behaviors and factors associated with ability to negotiate safe sex and condom use is likely to be key in curbing the spread of HIV. Traditionally prevention efforts have focused on creating behavioral changes by increasing knowledge about HIV/AIDS. METHODS This was a cross-sectional ana...

In this paper, the reconstruction mechanism of the boundary layer in the channel is studied using the lattice Boltzmann method (LBM). By comparing the distribution of velocity in the channel, the conclusion that LBM has feasibility and superiority is obtained. Based on this, a physical model of square cylinders is set up to simulate the velocity distribution and the effect on the thickness of b...

The aim of the paper is to report on MIZAR codification of the Jordan curve theorem, a theorem chosen as a challenge to be completely verified using formal methods at the time when they started being commonly used. Formalization was done based on proofs taken from the literature, where theorems mentioned in the title of the paper from ”Brouwer’s Fixed Point Theorem and the Jordan Curve Theorem”...

ÐTraditional computer systems often suffer from roundoff error and catastrophic cancellation in floating point computations. These systems produce apparently high precision results with little or no indication of the accuracy. This paper presents hardware designs, arithmetic algorithms, and software support for a family of variable-precision, interval arithmetic processors. These processors giv...

Composite measures calculated from individual performance indicators increasingly are used to profile and reward health care providers. We illustrate an innovative way of using Data Envelopment Analysis (DEA) to create a composite measure of quality for profiling facilities, informing consumers, and pay-forperformance programs. We compare DEA results to several widely used alternative approache...