magnetic nanoparticles attracted a great deal of attention in the medical applications due to their unique properties. the most exceptional property of magnetic particles is their response to a magnetic force, and this property has been utilized in applications such as drug targeting, bioseparation, contrast agents in magnetic resonance imaging (mri) and heating mediators for cancer therapy. in...

We study a variant of the successive refinement problem with receiver side information where the receivers require identical reconstructions. We present general inner and outer bounds for the rate region for this variant and present a single-letter characterization of the admissible rate region for several classes of the joint distribution of the source and the side information. The characteriz...

In this paper we study convergence estimates for a multigrid algorithm with smoothers of successive subspace correction (SSC) type, applied to symmetric elliptic PDEs. First, we revisit a general convergence analysis on a class of multigrid algorithms in a fairly general setting, where no regularity assumptions are made on the solution. In this framework, we are able to explicitly highlight the...

Event-B [15] is a formal modeling method intended to support refinement, an initial system description at a high level of abstraction with detail added in successive understandable steps. The refinement process may be carried to its logical conclusion, specification of all detail needed to define an executable in a high-level language, and automatic generation of source code from the model via ...

Neural representations of behaviorally relevant stimulus features displaying invariance with respect to different contexts are essential for perception. However, the mechanisms mediating their emergence and subsequent refinement remain poorly understood in general. Here, we demonstrate that correlated neural activity allows for the emergence of an invariant representation of natural communicati...

Data about an effect of cyclic γ-α-γ martensitic transformations on the structure state of reverted austenite Fe-31.7 wt.% Ni-0.06 wt.% C alloy are presented. The effect of multiple direct γ-α and reverse α-γ martensitic transformations on fragmentation of austenitic grains has been investigated by electron microscopy and X-ray diffraction methods. An ultrafine structure has been formed by nano...

We present an algebraic calculus for proof composition and refinement. Fundamentally, proofs are expressed at successive levels of abstraction, with the perhaps unconventional principle that a formula is considered to be its own most abstract proof, which may be refined into increasingly concrete proofs. Consequently, we suggest a new paradigm for expressing proofs, which views theorems and pro...

We present a novel strategy for sparse direct factorizations that is geared towards the matrices that arise from hp-adaptive Finite Element Methods. In that context, a sequence of linear systems derived by successive local refinement of the problem domain needs to be solved. Thus, there is an opportunity for a factorization strategy that proceeds by updating (and possibly downdating) the factor...

We present a novel strategy for sparse direct factorizations that is geared towards the matrices that arise from hp-adaptive Finite Element Methods. In that context, a sequence of linear systems derived by successive local refinement of the problem domain needs to be solved. Thus, there is an opportunity for a factorization strategy that proceeds by updating (and possibly downdating) the factor...

Three-dimensional reconstruction of biological specimens often requires the registration of successive sections of tissue. However, the introduction of fiducial markers is exceedingly difficult in some imaging modalities. We describe a fully automated registration method for use with transmission electron microscopy or other modalities that does not require the existence of fiducial markers. Th...