Separation logic formalizes the idea of local reasoning for heap-manipulating programs via the frame rule and the separating conjunction P ∗ Q, which describes states that can be split into separate parts, with one satisfying P and the other satisfying Q. In standard separation logic, separation means physical separation. In this paper, we introduce fictional separation logic, which includes mo...

Motivated by great progresses in experiments searching for the heavy baryons, we systematically analyze mass spectra and root mean square radius of single baryons $\Lambda_{Q}$, $\Sigma_{Q}$ $\Omega_{Q}$. The calculations are carried out frame work Godfrey-Isgur (GI) relativized quark model, where baryon is regarded as a three-body system quarks. Our results show that with $\lambda$-mode lower ...

A q-plate is a stratified medium composed of a uniaxial nematic liquid crystal with an inhomogeneous orientation of the optical axis possessing a topological charge q, which looks promising as a switching device. This work reports an approach to diagonalizing the dielectric tensor in q-plates, giving a detailed study of nontrivial tensor coordinate transformations. The relationship between the ...

To exhibit the possible origin of the inner complexity of the Berkovits's pure spinor approach, we consider the covariant BRST quantization of the D=11 massless superparticle (M0–brane) in its spinor moving frame or twistor-like Lorentz harmonics formulation. The presence of additional twistor-like variables (spinor harmonics) allows us to separate covariantly the first and the second class con...

Using the recent empirical information on the deuteron electromagnetic form factors we map out the transverse charge density in the deuteron as viewed from a light front moving towards the deuteron. The charge densities for a transversely polarized deuteron are characterized by monopole, dipole and quadrupole patterns. PACS. 13.40.Gp Electromagnetic form factors – 21.10.Ft Charge distribution –...

This thesis is about force controlled compliant robot motion, with the emphasis on: 1) modelling of arbitrary and time-varying contact situations between a rigid manipulated object and rigid objects in its environment, 2) motion speci cation in terms of allowed velocities and accelerations for the manipulated object, maintaining the contact with the physical constraints but without generating t...

Recent research has pointed out the importance of the inequational exchange law (P ∗Q) ; (R∗S) ≤ (P ;R)∗ (Q ;S) for concurrent processes. In particular, it has been shown that this law is equivalent to validity of the concurrency rule for Hoare triples. Unfortunately, the law does not hold in the relationally based setting of algebraic separation logic. However, we show that under mild conditio...

We resolve a long-standing question on L completeness of the timescale (or wavelet) system generated by the Mexican hat function, when p ≥ 2. Our main result concerns frequency-scale systems generated by modulation and dilation of a single function. The mixed frame operator (analysis followed by synthesis) is shown to be bijective from L(R) to itself, for 1 ≤ q < ∞, so that the frequency-scale ...

In our paper we compute the energy distribution of a magnetic stringy black hole solution in the Weinberg prescription. The metric under consideration describes the dual solution in the string frame that is known as the magnetic stringy black hole solution. The metric is obtained by multiplying the electric metric in the Einstein frame by a factor e−2Φ. The energy distribution depends on the ma...

Motion estimation plays an important role in video compression to remove temporal redundancies between successive frames. It is also useful in aiding detection of moving objects. Full-search block-matching (FSBM) is the most preferred algorithm for motion estimation. Frame-level pipelined FSBM architectures have advantages over block-level pipelined architectures in their simpler control and re...