It is well established that the notion of min-entropy fails to satisfy the chain rule of the form H(X,Y ) = H(X|Y )+ H(Y ), known for Shannon Entropy. The lack of a chain rule causes a lot of technical difficulties, particularly in cryptography where the chain rule would be a natural way to analyze how min-entropy is split among smaller blocks. Such problems arise for example when constructing ...

she was seven months until she was three and one-half years old. During that time she was apparently excused for everything that she did on the grounds that she was not well, and the natural consequence was that she now exhibits the behavior of a completely spoiled child. Even now, after she had been in kindergarten several months, she seemed to have no idea that she must obey orders whether sh...

Evaluation of the feasibility of virtual magnetic resonance (MR) arthroscopy was performed on 10 patients referred for MR arthrography of the shoulder, the elbow, or the knee. A fast spoiled contrast-enhanced three-dimensional gradient-echo sequence was combined with image postprocessing to render arthroscopic views. Virtual MR arthroscopy was successfully demonstrated in all 10 joints. Determi...

We investigate the improvement of theorem provers by re-using previously computed proofs. We formulate our method for reusing proofs as an instance of the problem reduction paradigm and then develop a termination requirement for our reuse procedure. We prove the soundness of our proposal and show that reusability of proofs is not spoiled by the termination requirement imposed on the reuse proce...

Background Quantitative myocardial T1 mapping and extracellular volume fraction (ECV) show promise for non-invasive assessment of cardiomyopathies. Most available T1 mapping sequences use a single slice breath-hold acquisition with balanced steady state free precession (b-SSFP) readout [1]. However, b-SSFP readout is sensitive to B0 field inhomogeneity and is potentially T2 dependent [1]. In th...

The nonrelativistic interpretation of quantum field theory achieved by quantization in an infinite momentum frame is spoiled by the inclusion of a mode of the field carrying p(+) = 0. We therefore explore the viability of doing without such a mode in the context of spontaneous symmetry breaking (SSB), where its presence would seem to be most needed. We show that the physics of SSB in scalar qua...