Using genetic algorithms to generate test sequences for complex timed systems

The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques

Experimental observation of the optical spin transfer torque

The spin transfer torque is a phenomenon in which angular momentum of a spin polarized electrical current entering a ferromagnet is transferred to the magnetization. The effect has opened a new research field of electrically driven magnetization dynamics in magnetic nanostructures and plays an important role in the development of a new generation of memory devices and tunable oscillators. Optical excitations of magnetic systems by laser pulses have been a separate research field whose aim is to explore magnetization dynamics at short time scales and enable ultrafast spintronic devices. We report the experimental observation of the optical spin transfer torque, predicted theoretically several years ago building the bridge between these two fields of spintronics research. In a pump-and-probe optical experiment we measure coherent spin precession in a (Ga,Mn)As ferromagnetic semiconductor excited by circularly polarized laser pulses. During the pump pulse, the spin angular momentum of photo-carriers generated by the absorbed light is transferred to the collective magnetization of the ferromagnet. We interpret the observed optical spin transfer torque and the magnetization precession it triggers on a quantitative microscopic level. Bringing the spin transfer physics into optics introduces a fundamentally distinct mechanism from the previously reported thermal and non-thermal laser excitations of magnets. Bringing optics into the field of spin transfer torques decreases by several orders of magnitude the timescales at which these phenomena are explored and utilized.Comment: 11 pages, 4 figure

Experimental observation of the optical spin-orbit torque

Spin polarized carriers electrically injected into a magnet from an external polarizer can exert a spin transfer torque (STT) on the magnetization. The phe- nomenon belongs to the area of spintronics research focusing on manipulating magnetic moments by electric fields and is the basis of the emerging technologies for scalable magnetoresistive random access memories. In our previous work we have reported experimental observation of the optical counterpart of STT in which a circularly polarized pump laser pulse acts as the external polarizer, allowing to study and utilize the phenomenon on several orders of magnitude shorter timescales than in the electric current induced STT. Recently it has been theoretically proposed and experimentally demonstrated that in the absence of an external polarizer, carriers in a magnet under applied electric field can develop a non-equilibrium spin polarization due to the relativistic spin-orbit coupling, resulting in a current induced spin-orbit torque (SOT) acting on the magnetization. In this paper we report the observation of the optical counterpart of SOT. At picosecond time-scales, we detect excitations of magnetization of a ferromagnetic semiconductor (Ga,Mn)As which are independent of the polarization of the pump laser pulses and are induced by non-equilibrium spin-orbit coupled photo-holes.Comment: 4 figure, supplementary information. arXiv admin note: text overlap with arXiv:1101.104

Quasinormal modes of massive charged flavor branes

We present an analysis and classification of vector and scalar fluctuations in a D3/D7 brane setup at finite termperature and baryon density. The system is dual to an N=2 supersymmetric Yang-Mills theory with SU(N_c) gauge group and N_f hypermultiplets in the fundamental representation in the quenched approximation. We improve significantly over previous results on the quasinormal mode spectrum of D7 branes and stress their novel physical interpretation. Amongst our findings is a new purely imaginary scalar mode that becomes tachyonic at sufficiently low temperature and baryon density. We establish the existence of a critical density above which the scalar mode stays in the stable regime for all temperatures. In the vector sector we study the crossover from the hydrodynamic to the quasiparticle regime and find that it moves to shorter wavelengths for lower temperatures. At zero baryon density the quasinormal modes move toward distinct discrete attractor frequencies that depend on the momentum as we increase the temperature. At finite baryon density, however, the trajectories show a turning behavior such that for low temperature the quasinormal mode spectrum approaches the spectrum of the supersymmetric zero temperature normal modes. We interpret this as resolution of the singular quasinormal mode spectrum that appears at the limiting D7 brane embedding at vanishing baryon density.Comment: 56 pages, 40 figure

Holographic flows in non-Abelian T-dual geometries

We use non-Abelian T-duality to construct new N=1 solutions of type IIA supergravity (and their M-theory lifts) that interpolate between AdS_5 geometries. We initiate a study of the holographic interpretation of these backgrounds as RG flows between conformal fixed points. Along the way we give an elegant formulation of non-Abelian T-duality when acting on a wide class of backgrounds, including those corresponding to such flows, in terms of their SU(2) structure

Comprehensive Analysis of NRG1 Common and Rare Variants in Hirschsprung Patients

Hirschsprung disease (HSCR, OMIM 142623) is a developmental disorder characterized by the absence of ganglion cells along variable lengths of the distal gastrointestinal tract, which results in tonic contraction of the aganglionic gut segment and functional intestinal obstruction. The RET proto-oncogene is the major gene for HSCR with differential contributions of its rare and common, coding and noncoding mutations to the multifactorial nature of this pathology. Many other genes have been described to be associated with the pathology, as NRG1 gene (8p12), encoding neuregulin 1, which is implicated in the development of the enteric nervous system (ENS), and seems to contribute by both common and rare variants. Here we present the results of a comprehensive analysis of the NRG1 gene in the context of the disease in a series of 207 Spanish HSCR patients, by both mutational screening of its coding sequence and evaluation of 3 common tag SNPs as low penetrance susceptibility factors, finding some potentially damaging variants which we have functionally characterized. All of them were found to be associated with a significant reduction of the normal NRG1 protein levels. The fact that those mutations analyzed alter NRG1 protein would suggest that they would be related with HSCR disease not only in Chinese but also in a Caucasian population, which reinforces the implication of NRG1 gene in this pathology

Peripheral T-lymphocytes express WNT7A and its restoration in leukemia-derived lymphoblasts inhibits cell proliferation

<p>Abstract</p> <p>Background</p> <p>WNT7a, a member of the Wnt ligand family implicated in several developmental processes, has also been reported to be dysregulated in some types of tumors; however, its function and implication in oncogenesis is poorly understood. Moreover, the expression of this gene and the role that it plays in the biology of blood cells remains unclear. In addition to determining the expression of the <it>WNT7A </it>gene in blood cells, in leukemia-derived cell lines, and in samples of patients with leukemia, the aim of this study was to seek the effect of this gene in proliferation.</p> <p>Methods</p> <p>We analyzed peripheral blood mononuclear cells, sorted CD3 and CD19 cells, four leukemia-derived cell lines, and blood samples from 14 patients with Acute lymphoblastic leukemia (ALL), and 19 clinically healthy subjects. Reverse transcription followed by quantitative Real-time Polymerase chain reaction (qRT-PCR) analysis were performed to determine relative <it>WNT7A </it>expression. Restoration of WNT7a was done employing a lentiviral system and by using a recombinant human protein. Cell proliferation was measured by addition of WST-1 to cell cultures.</p> <p>Results</p> <p>WNT7a is mainly produced by CD3 T-lymphocytes, its expression decreases upon activation, and it is severely reduced in leukemia-derived cell lines, as well as in the blood samples of patients with ALL when compared with healthy controls (<it>p </it>≤0.001). By restoring <it>WNT7A </it>expression in leukemia-derived cells, we were able to demonstrate that WNT7a inhibits cell growth. A similar effect was observed when a recombinant human WNT7a protein was used. Interestingly, restoration of <it>WNT7A </it>expression in Jurkat cells did not activate the canonical Wnt/β-catenin pathway.</p> <p>Conclusions</p> <p>To our knowledge, this is the first report evidencing quantitatively decreased <it>WNT7A </it>levels in leukemia-derived cells and that <it>WNT7A </it>restoration in T-lymphocytes inhibits cell proliferation. In addition, our results also support the possible function of <it>WNT7A </it>as a tumor suppressor gene as well as a therapeutic tool.</p

Spin transport and spin torque in antiferromagnetic devices

Ferromagnets are key materials for sensing and memory applications. In contrast, antiferromagnets which represent the more common form of magnetically ordered materials, have found less practical application beyond their use for establishing reference magnetic orientations via exchange bias. This might change in the future due to the recent progress in materials research and discoveries of antiferromagnetic spintronic phenomena suitable for device applications. Experimental demonstration of the electrical switching and detection of the Néel order open a route towards memory devices based on antiferromagnets. Apart from the radiation and magnetic-field hardness, memory cells fabricated from antiferromagnets can be inherently multilevel, which could be used for neuromorphic computing. Switching speeds attainable in antiferromagnets far exceed those of ferromagnetic and semiconductor memory technologies. Here we review the recent progress in electronic spin-transport and spin-torque phenomena in antiferromagnets that are dominantly of the relativistic quantum mechanical origin. We discuss their utility in pure antiferromagnetic or hybrid ferromagnetic/antiferromagnetic memory devices