objective: currently, there is no agreement on the optimal urinary derived human chorionic gonadotropin (u-hcg) dose requirement for initiating final oocyte maturation prior to oocyte collection in in vitro fertilization (ivf), but doses that range from 2500- 15000 iu have been used. we intended to determine whether low dose u-hcg was effective for oocyte maturation in ivf/intracytoplasmic sper...

The reduced implicate trie (ri-trie) is a data structure that was introduced as a target language for knowledge compilation. It has the property that, even when large, it guarantees fast response to queries. It also has the property that each prime implicate of the formula it represents corresponds to a branch. In this paper, those prime branches are characterized, and a technique is developed ...

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0, 1]. The logic is known to be axiomatizable, but no deduction system amenable to prooftheoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work o...

Conjecture [Schauder] For every non-empty convex subset C of a topological vector space E, a compact continuous mapping f : C → C has a fixed point, i.e., a point x∗ ∈ C such that f(x∗) = x∗. (See [16], problem 54). We recall that a mapping f : C → C is said to be compact if f(C) is contained in a compact subset of C. Schauder proved in 1930 that his conjecture holds for normed vector spaces an...

In the early 70’s, D.M. Campbell published three papers on majorizationsubordination results for locally univalent functions. In particular, he showed that if F is linearly invariant of order α and if f is subordinate to F on {z : |z| < 1}, then f ′ is majorized by F ′ on {z : |z| < m(α)} where m(α) = α+ 1− √ α2 + 2α, provided α ≥ 1.65. He conjectured, in fact, that this result also held for 1....

The Little-Hopfield network is an auto-associative computational model of neural memory storage and retrieval. This model is known to robustly store collections of randomly generated binary patterns as stable-states of the network dynamics. However, the number of binary memories so storable scales linearly in the number of neurons, and it has been a long-standing open problem whether robust exp...

Recently several different approaches have been developed for the simulation of three-dimensional incompressible fluid flows using vortex methods. Some versions use detailed tracking of vortex filament structures and often local curvatures of these filaments, while other methods require only crude information, such as the vortex blobs of the two-dimensional case. Can such "crude" algorithms acc...

CD8(+) T cells are a major component of the adaptive response of a host to infections by viruses and other intracellular pathogenic agents. However, because of the intrinsic immaturity of the immune system of neonatal animals, neonates are highly sensitive to a variety of pathogens and may be unable to respond in a protective manner. Here we explore whether a hyperattenuated strain of Listeria ...

Are two compactifications of ω homeomorphic if their remainders are homeomorphic? For metrizable compactifications the question was answered affirmatively by Pelzcynski. Can the same happen for some non-metrizable remainders? We consider the case when the remainder is D for some uncountable τ . We show that the answer is affirmative if τ < p and negative if τ = c. We prove that every isomorphis...

For any n-dimensional compact Riemannian manifold (M, g) without boundary and another compact Riemannian manifold (N,h), we establish the uniqueness of the heat flow of harmonic maps from M to N in the class C([0, T ),W ). For the hydrodynamic flow (u, d) of nematic liquid crystals in dimensions n = 2 or 3, we show the uniqueness holds for the class of weak solutions provided either (i) for n =...