X-SAR interferometry: first results

Repeat-pass interferometry data were acquired during the first and second SIR-C/X-SAR missions in April and October 1994. This paper presents the first results from X-SAR interferometry at four different sites. The temporal separations were one day and six months. At two sites the coherence requirements were met, resulting in high quality interferograms. A digital elevation model in ground range geometry has been derived. The limitations of the X-SAR interferometry are discussed     

Automatic verification of concurrent stochastic systems

Formal Methods in System Design - Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational...     

Interactive curvilinear reformatting in native space

Curvilinear reformatting of 3D magnetic resonance imaging data has been recognized by the medical community as a helpful noninvasive tool for displaying the cerebral anatomy. It consists of automatically creating, with respect to a reference surface, a series of equidistant curvilinear slices at progressively deeper cuts. In comparison with planar slices, it allows more precise localization of lesions and identification of subtle structural abnormalities. However, current curvilinear reformatting tools either rely on the time-consuming manual delineation of guiding curves on 2D slices, or require costly automatic brain segmentation procedures. In addition, they extract the skin and skull, impeding a precise topographic correlation between the location of the brain lesion and skin surface. This impairs planning of craniotomy for neurosurgery, and of the appropriate implantation of electrodes for intracranial electroencephalography in presurgical evaluation. In this work, we present a novel approach based on direct manipulation of the visualized volume data. By using a 3D painting metaphor, the reference surface can be defined incrementally, according to the principle that the user interacts with what she/he sees. As a response, an animation of the reformatting process is displayed. The focus of this paper is a new volume tagging algorithm behind user interactions. It works at an interactive frame rate on current graphics hardware.     

Face recognition with lattice independent component analysis and extreme learning machines

We focus on two aspects of the face recognition, feature extraction and classification. We propose a two component system, introducing Lattice Independent Component Analysis (LICA) for feature extraction and Extreme Learning Machines (ELM) for classification. In previous works we have proposed LICA for a variety of image processing tasks. The first step of LICA is to identify strong lattice independent components from the data. In the second step, the set of strong lattice independent vector are used for linear unmixing of the data, obtaining a vector of abundance coefficients. The resulting abundance values are used as features for classification, specifically for face recognition. Extreme Learning Machines are accurate and fast-learning innovative classification methods based on the random generation of the input-to-hidden-units weights followed by the resolution of the linear equations to obtain the hidden-to-output weights. The LICA-ELM system has been tested against state-of-the-art feature extraction methods and classifiers, outperforming them when performing cross-validation on four large unbalanced face databases.     

Word sense disambiguation for spam filtering

Spam has become a major issue in computer security because it is a channel for threats such as computer viruses, worms, and phishing. More than 86% of received e-mails are spam. Historical approaches to combating these messages, including simple techniques such as sender blacklisting or the use of e-mail signatures, are no longer completely reliable. Many current solutions feature machine-learning algorithms trained using statistical representations of the terms that most commonly appear in such e-mails. However, these methods are merely syntactic and are unable to account for the underlying semantics of terms within messages. In this paper, we explore the use of semantics in spam filtering by introducing a pre-processing step of Word Sense Disambiguation (WSD). Based upon this disambiguated representation, we apply several well-known machine-learning models and show that the proposed method can detect the internal semantics of spam messages.     

Resistivity as a function of composition in the superconducting Nb-Pt A15 phase

The electrical resistivity of the A15 compound Nb_100–x Pt _x (20x28.9) is measured as a function of compositionx from room temperature to the superconducting transition temperatureT _c The residual resistivity ₀ is observed to be nearly independent of composition on the Nb-rich side of stoichiometry, but strongly dependent on the Pt-rich side. A closeT _c correlation with the resistivity sloped/dT at high temperatures and with the electronic specific heat coefficient , which are proportional to the superconducting coupling parameter , is noted. The results can be understood in terms of an order-disorder model.     

Structure and catalytic activity of highly ordered AlMCM-48 materials with different Si/Al ratios on the degradation of high-density polyethylene

Journal of Porous Materials - Catalysts of AlMCM-48 with different Si/Al molar rations were synthesized by modified hydrothermal method with respect to previous works. As a consequence, the...     

Target Score—A Proteomics Data Selection Tool Applied to Esophageal Cancer Identifies GLUT1-Sialyl Tn Glycoforms as Biomarkers of Cancer Aggressiveness

Esophageal cancer (EC) is a life-threatening disease, demanding the discovery of new biomarkers and molecular targets for precision oncology. Aberrantly glycosylated proteins hold tremendous potential towards this objective. In the current study, a series of esophageal squamous cell carcinomas (ESCC) and EC-derived circulating tumor cells (CTCs) were screened by immunoassays for the sialyl-Tn (STn) antigen, a glycan rarely expressed in healthy tissues and widely observed in aggressive gastrointestinal cancers. An ESCC cell model was glycoengineered to express STn and characterized in relation to cell proliferation and invasion in vitro. STn was found to be widely present in ESCC (70% of tumors) and in CTCs in 20% of patients, being associated with general recurrence and reduced survival. Furthermore, STn expression in ESCC cells increased invasion in vitro, while reducing cancer cells proliferation. In parallel, an ESCC mass spectrometry-based proteomics dataset, obtained from the PRIDE database, was comprehensively interrogated for abnormally glycosylated proteins. Data integration with the Target Score, an algorithm developed in-house, pinpointed the glucose transporter type 1 (GLUT1) as a biomarker of poor prognosis. GLUT1-STn glycoproteoforms were latter identified in tumor tissues in patients facing worst prognosis. Furthermore, healthy human tissues analysis suggested that STn glycosylation provided cancer specificity to GLUT1. In conclusion, STn is a biomarker of worst prognosis in EC and GLUT1-STn glycoforms may be used to increase its specificity on the stratification and targeting of aggressive ESCC forms.     

GCase and LIMP2 Abnormalities in the Liver of Niemann Pick Type C Mice

The lysosomal storage disease Niemann–Pick type C (NPC) is caused by impaired cholesterol efflux from lysosomes, which is accompanied by secondary lysosomal accumulation of sphingomyelin and glucosylceramide (GlcCer). Similar to Gaucher disease (GD), patients deficient in glucocerebrosidase (GCase) degrading GlcCer, NPC patients show an elevated glucosylsphingosine and glucosylated cholesterol. In livers of mice lacking the lysosomal cholesterol efflux transporter NPC1, we investigated the expression of established biomarkers of lipid-laden macrophages of GD patients, their GCase status, and content on the cytosol facing glucosylceramidase GBA2 and lysosomal integral membrane protein type B (LIMP2), a transporter of newly formed GCase to lysosomes. Livers of 80-week-old Npc1^−/− mice showed a partially reduced GCase protein and enzymatic activity. In contrast, GBA2 levels tended to be reciprocally increased with the GCase deficiency. In Npc1^−/− liver, increased expression of lysosomal enzymes (cathepsin D, acid ceramidase) was observed as well as increased markers of lipid-stressed macrophages (GPNMB and galectin-3). Immunohistochemistry showed that the latter markers are expressed by lipid laden Kupffer cells. Earlier reported increase of LIMP2 in Npc1^−/− liver was confirmed. Unexpectedly, immunohistochemistry showed that LIMP2 is particularly overexpressed in the hepatocytes of the Npc1^−/− liver. LIMP2 in these hepatocytes seems not to only localize to (endo)lysosomes. The recent recognition that LIMP2 harbors a cholesterol channel prompts the speculation that LIMP2 in Npc1^−/− hepatocytes might mediate export of cholesterol into the bile and thus protects the hepatocytes.