To determine what spaces are the images of “nice” spaces under “nice” mappings is one of the central questions of general topology in 1 . In the past, many noteworthy results on images of metric spaces have been obtained. For a survey in this field, see 2 , for example. A characterization for a quotient compact image of a locally separable metric space is obtained in 3 . Also, such a quotient i...

An enzyme-linked immunosorbent assay on a compact disk (CD)-type microfluidic device was developed for the simple and rapid determination of IgA in human saliva, a marker of human stress. The sample, reagent and washing solutions (IgA, HRP-labeled anti-IgA and Amplex ® Red containing H2O2) in the reservoirs on the CD-type microfluidic device were sequentially introduced into the detection chamb...

We will use Garcı́a-Falset and Lloréns Fuster’s paper on the AMC-property to prove that a Banach space X that 1 δ embeds in a subspace Xδ of a Banach space Y with a 1-unconditional basis has the property AMC and thus the weak fixed point property. We will apply this to some results by Cowell and Kalton to prove that every reflexive real Banach space with the property WORTH and its dual have the ...

Verifiable random functions (VRF) and selectively-convertible undeniable signature (SCUS) schemes were proposed independently in the literature. In this paper, we observe that they are tightly related. This directly yields several deterministic SCUS schemes based on existing VRF constructions. In addition, we create a new probabilistic SCUS scheme, which is very compact. The confirmation and di...

We consider a notion of sequential functional of -nite type, more generous than the familiar notion embodied in Plotkin’s language PCF. We study both the “full” and “e4ective” partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the strongly stable model of Bucciarelli and Ehrhard; it has also been characterized by van Oosten in...

In auctions where a seller can post a reserve price but if the object fails to sell cannot commit never to attempt to resell it, revenue equivalence between repeated first price and second price auctions without commitment results. When the time between auctions goes to zero, seller expected revenues converge to those of a static auction with no reserve price. With many bidders, the seller equi...

Much like VLIW, statically scheduled architectures that expose all control signals to the compiler offer much potential for highly parallel, energy-efficient performance. Bau is a novel compilation infrastructure that leverages the LLVM compilation tools and the MiniSAT solver to generate efficient code for one such exposed architecture. We first build a compiler construction library that allow...

We give a constructive proof that Baire space embeds in any inhabited locally non-compact complete separable metric space, X, in such a way that every sequentially continuous function from Baire space to Z extends to a function from X to R. As an application, we show that, in the presence of certain choice and continuity principles, the statement “all functions from X to R is continuous” is fal...

Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...

Let E be an ideal of L0 over a σ-finite measure space (Ω,Σ, μ), and let E∼ stand for the order dual of E. For a real Banach space (X, ‖ · ‖X ) let E(X) be a subspace of the space L0(X) of μ-equivalence classes of strongly Σ-measurable functions f : Ω −→ X and consisting of all those f ∈ L0(X) for which the scalar function ‖f(·)‖X belongs to E. For a real Banach space (Y, ‖ · ‖Y ) a linear opera...