Comment on ``Reduction of static field equation of Faddeev model to first order PDE'', arXiv:0707.2207

The authors of the article Phys. Lett. B 652 (2007) 384, (arXiv:0707.2207), propose an interesting method to solve the Faddeev model by reducing it to a set of first order PDEs. They first construct a vectorial quantity $\bm \alpha$, depending on the original field and its first derivatives, in terms of which the field equations reduce to a linear first order equation. Then they find vectors $\bm \alpha_1$ and $\bm \alpha_2$ which identically obey this linear first order equation. The last step consists in the identification of the $\bm \alpha_i$ with the original $\bm \alpha$ as a function of the original field. Unfortunately, the derivation of this last step in the paper cited above contains an error which invalidates most of its results

TrustShadow: Secure Execution of Unmodified Applications with ARM TrustZone

The rapid evolution of Internet-of-Things (IoT) technologies has led to an emerging need to make it smarter. A variety of applications now run simultaneously on an ARM-based processor. For example, devices on the edge of the Internet are provided with higher horsepower to be entrusted with storing, processing and analyzing data collected from IoT devices. This significantly improves efficiency and reduces the amount of data that needs to be transported to the cloud for data processing, analysis and storage. However, commodity OSes are prone to compromise. Once they are exploited, attackers can access the data on these devices. Since the data stored and processed on the devices can be sensitive, left untackled, this is particularly disconcerting. In this paper, we propose a new system, TrustShadow that shields legacy applications from untrusted OSes. TrustShadow takes advantage of ARM TrustZone technology and partitions resources into the secure and normal worlds. In the secure world, TrustShadow constructs a trusted execution environment for security-critical applications. This trusted environment is maintained by a lightweight runtime system that coordinates the communication between applications and the ordinary OS running in the normal world. The runtime system does not provide system services itself. Rather, it forwards requests for system services to the ordinary OS, and verifies the correctness of the responses. To demonstrate the efficiency of this design, we prototyped TrustShadow on a real chip board with ARM TrustZone support, and evaluated its performance using both microbenchmarks and real-world applications. We showed TrustShadow introduces only negligible overhead to real-world applications.Comment: MobiSys 201

Detection of triplex PCR for the modified qualitative soybean and maize genetically

A molecular screening method based on multiplex PCR that involves amplification of specific soybean or maize sequences from plant DNA (lectin or zein) and the amplification of 35S promoter and NOS terminator,for the detection of genetically modified soybean and maize was developed. The new method is proposed,for the simulicmeous cletcctimt of tree genetic elements in the.same run as reliable method for rapid detection of genetically, modified plants with sensitivity of 0.1%

CCR7 is required for the in vivo function of CD4+ CD25+ regulatory T cells

CCR7-mediated migration of naive T cells into the secondary lymphoid organs is a prerequisite for their encounter with mature dendritic cells, the productive presentation of cognate antigen, and consequent T cell proliferation and effector differentiation. Therefore, CCR7 was suggested to play an important role in the initiation of adaptive immune responses. In this study, we show that primary immunity can also develop in the absence of CCR7. Moreover, CCR7-deficient knockout (KO) mice display augmented immune responses. Our data cumulatively suggest that enhanced immunity in CCR7 KO mice is caused by the defective lymph node (LN) positioning of FoxP3(+) CD4(+) CD25(+) regulatory T cells (T reg cells) and the consequent impediment of their function. The FoxP3(+) T reg cells express CCR7 and, after their adoptive transfer, migrate into the LNs of wild-type mice. Here, they proliferate in situ upon antigen stimulation and inhibit the generation of antigen-specific T cells. Conversely, transferred CCR7-deficient T reg cells fail to migrate into the LNs and suppress antigen-induced T cell responses. The transfer of combinations of naive and T reg cells from wild-type and CCR7 KO mice into syngeneic severe combined immunodeficient mice directly demonstrates that CCR7-deficient T reg cells are less effective than their wild-type counterparts in preventing the development of inflammatory bowel diseas

The subjective experience of habit captured by self-report indexes may lead to inaccuracies in the measurement of habitual action

Commentary on Gardner, B. (2014). A review and analysis of the use of ‘habit’ inunderstanding, predicting and influencing health-related behaviour

Finding home: the final step of the pigeons' homing process studied with a GPS data logger

Experiments have shown that homing pigeons are able to develop navigational abilities even if reared and kept confined in an aviary, provided that they are exposed to natural winds. These and other experiments performed on inexperienced birds have shown that previous homing experiences are not necessary to determine the direction of displacement. While the cues used in the map process for orienting at the release site have been extensively investigated, the final step of the homing process has received little attention by researchers. Although there is general agreement on the relevance of visual cues in navigation within the home area, there is a lack of clear evidence. In order to investigate the final step of the homing process, we released pigeons raised under confined conditions and others that had been allowed to fly freely around the loft and compared their flight paths recorded with a Global-Positioning-System logger. Our data show that a limited view of the home area impairs the pigeons' ability to relocate the loft at their first homing flight, suggesting that the final step of the homing process is mediated via recognition of familiar visual landmarks in the home area

Structure factors of harmonic and anharmonic Fibonacci chains by molecular dynamics simulations

The dynamics of quasicrystals is characterized by the existence of phason excitations in addition to the usual phonon modes. In order to investigate their interplay on an elementary level we resort to various one-dimensional model systems. The main observables are the static, the incoherent, and the coherent structure factor, which are extracted from molecular dynamics simulations. For the validation of the algorithms, results for the harmonic periodic chain are presented. We then study the Fibonacci chain with harmonic and anharmonic interaction potentials. In the dynamic Fibonacci chain neighboring atoms interact by double-well potentials allowing for phason flips. The difference between the structure factors of the dynamic and the harmonic Fibonacci chain lies in the temperature dependence of the phonon line width. If a bias is introduced in the well depth, dispersionless optic phonon bands split off.Comment: 12 pages, 15 figure