Vortex-oriented ferroelectric domains in SnTe/PbTe monolayer lateral heterostructures

Heterostructures formed from interfaces between materials with complementary properties often display unconventional physics. Of especial interest are heterostructures formed with ferroelectric materials. These are mostly formed by combining thin layers in vertical stacks. Here the first in situ molecular beam epitaxial growth and scanning tunneling microscopy characterization of atomically sharp lateral heterostructures between a ferroelectric SnTe monolayer and a paraelectric PbTe monolayer are reported. The bias voltage dependence of the apparent heights of SnTe and PbTe monolayers, which are closely related to the type-II band alignment of the heterostructure, is investigated. Remarkably, it is discovered that the ferroelectric domains in the SnTe surrounding a PbTe core form either clockwise or counterclockwise vortex-oriented quadrant configurations. In addition, when there is a finite angle between the polarization and the interface, the perpendicular component of the polarization always points from SnTe to PbTe. Supported by first-principles calculation, the mechanism of vortex formation and preferred polarization direction is identified in the interaction between the polarization, the space charge, and the strain effect at the horizontal heterointerface. The studies bring the application of 2D group-IV monochalcogenides on in-plane ferroelectric heterostructures a step closer

Competing energy scales in topological superconducting heterostructures

Artificially engineered topological superconductivity has emerged as a viable route to create Majorana modes. In this context, proximity-induced super-conductivity in materials with a sizable spin-orbit coupling has been intensively investigated in recent years. Although there is convincing evidence that superconductivity may indeed be induced, it has been difficult to elucidate its topological nature. Here, we engineer an artificial topological superconductor by progressively introducing superconductivity (Nb), strong spin-orbital coupling (Pt), and topological states (Bi2Te3). Through spectroscopic imaging of superconducting vortices within the bare s-wave superconducting Nb and within proximitized Pt and Bi2Te3 layers, we detect the emergence of a zero-bias peak that is directly linked to the presence of topological surface states. Our results are rationalized in terms of competing energy trends which are found to impose an upper limit to the size of the minigap separating Majorana and trivial modes, its size being ultimately linked to fundamental materials properties

Calibration of double stripe 3D laser scanner systems using planarity and orthogonality constraints

In this study, 3D scanning systems that utilize a pair of laser stripes are studied. Three types of scanning systems are implemented to scan environments, rough surfaces of near planar objects and small 3D objects. These scanners make use of double laser stripes to minimize the undesired effect of occlusions. Calibration of these scanning systems is crucially important for the alignment of 3D points which are reconstructed from different stripes. In this paper, the main focus is on the calibration problem, following a treatment on the pre-processing of stripe projections using dynamic programming and localization of 2D image points with sub-pixel accuracy. The 3D points corresponding to laser stripes are used in an optimization procedure that imposes geometrical constraints such as coplanarities and orthogonalities. It is shown that, calibration procedure proposed here, significantly improves the alignment of 3D points scanned using two laser stripes

Evaluation of vaccine delivery systems for inducing long-lived antibody responses to Dermanyssus gallinae antigen in laying hens

Dermanyssus gallinae, the poultry red mite, is a global threat to the commercial egg-laying industry. Control of D. gallinae is difficult, with only a limited number of effective pesticides and non-chemical treatments available. Here we characterise the candidate vaccine antigen D. gallinae cathepsin D-1 (Dg-CatD-1) and demonstrate that purified refolded recombinant Dg-Cat-D1 (rDg-CatD-1) is an active aspartyl proteinase which digests haemoglobin with a pH optimum of pH 4. Soluble protein extracts from D. gallinae also have haemoglobinase activity, with a pH optimum comparable to the recombinant protein and both proteinase activities were inhibited by the aspartyl proteinase inhibitor Pepstatin A. Enzyme activity and the ubiquitous localization of Dg-CatD-1 protein in sections of adult female mites is consistent with Dg-CatD-1 being a lysosomal proteinase. Using Dg-CatD-1 as a model vaccine antigen, we compared vaccine delivery methods in laying hens via vaccination with: i) purified rDg-CatD-1 with Montanide™ ISA 71 VG adjuvant; ii) recombinant DNA vaccines for expression of rDg-CatD-1 and iii) transgenic coccidial parasite Eimeria tenella expressing rDg-CatD-1. In two independent trials, only birds vaccinated with rDg-CatD-1 with Montanide™ ISA 71 VG produced a strong and long-lasting serum anti-rDg-Cat-D1 IgY response, which was significantly higher than control birds vaccinated with adjuvant only. Furthermore, we showed that egg laying rates of D. gallinae mites fed on birds vaccinated with rDg-CatD-1 in Montanide™ ISA 71 VG was reduced significantly compared with mites fed on unvaccinated birds

An invariant-based method for the analysis of declarative model-to-model transformations

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-87875-9_3Proceedings of 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations. In particular we consider two of the most prominent approaches for specifying such transformations: Triple Graph Grammars and QVT. Once the specification is expressed in the form of invariants, the transformation developer can use such description to verify properties of the original transformation (e.g. whether it defines a total, surjective or injective function), and to validate the transformation by the automatic generation of valid pairs of source and target models.Work supported by the Spanish Ministry of Education and Science, projects MOSAIC (TSI2005-08225-C07-06), MODUWEB (TIN2006-09678) and TIN2005-06053, and an UOC-IN3 research gran

Specification-driven test generation for model transformations

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30476-7_3Proceedings of 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches to the generation of input models ensure a certain level of source meta-model coverage, whereas the oracle functions are frequently defined using query or graph languages. Both tasks are usually performed independently regardless their common purpose, and sometimes there is a gap between the properties exhibited by the generated input models and those demanded to the transformations (as given by the oracles). Recently, we proposed a formal specification language for the declarative formulation of transformation properties (invariants, pre- and postconditions) from which we generated partial oracle functions that facilitate testing of the transformations. Here we extend the usage of our specification language for the automated generation of input test models by constraint solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the interesting properties of the transformation. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions.Work funded by the Spanish Ministry of Economy and Competitivity (TIN2011-24139) and by the R&D programme of Madrid Region (S2009/TIC-1650

Proteomics uncover EPHA2 as a potential novel therapeutic target in colorectal cancer cell lines with acquired cetuximab resistance.

BACKGROUND: In metastatic colorectal cancer (mCRC), acquired resistance against anti-EGFR targeted monoclonal antibodies, such as cetuximab (CET), was shown to be frequently caused by activating alterations in the RAS genes KRAS or NRAS. To this day, no efficient follow-up treatment option has emerged to treat mCRC in such a setting of resistance. METHODS: To uncover potential targets for second-line targeted therapies, we used mass-spectrometric proteomics to shed light on kinome reprogramming in an established cellular model of acquired, KRAS-associated CET resistance. RESULTS: This CET resistance was reflected by significant changes in the kinome, most of them individual to each cell line. Interestingly, all investigated resistant cell lines displayed upregulation of the Ephrin type-A receptor 2 (EPHA2), a well-known driver of traits of progression. Expectedly resistant cell lines displayed increased migration (p < 0.01) that was significantly reduced by targeting the EPHA2 signalling axis using RNA interference (RNAi) (p < 0.001), ephrin-A1 stimulation (p < 0.001), dasatinib (p < 0.01), or anti-EPHA2 antibody treatment (p < 0.001), identifying it as an actionable target in mCRC with acquired CET resistance. CONCLUSION: These results highlight EPHA2 and its role in mCRC with KRAS-gene mutated acquired CET resistance and support its use as a potential actionable target for the development of future precision medicine therapies