Thymosin β4 is differentially expressed in the cerebrospinal fluid of Creutzfeldt‐Jakob disease patients: a MALDI‐TOF MS protein profiling study

MALDI‐TOF protein profiling analysis permits the detection of peptides and small proteins in complex protein mixtures with great accuracy. We applied this analysis to cerebrospinal fluid (CSF) from 15 patients affected by Creutzfeldt‐Jakob disease (CJD). We compared the levels of the normalized ion signals of 11 sporadic and 4 genetic CJD forms with those from ten healthy control subjects and eight non‐CJD relapsing‐remitting multiple sclerosis patients. In so doing, we detected 61 differentially expressed ion signals in CJD samples compared to controls. Among the 61 signals, 3 signals had significantly increased levels with high statistical significance (p <0.0001) and were located at 3238.3 m/z, 4963.7 m/z, and 8565.3 m/z. We characterized the 5.0 and 8.6 kDa proteins as thymosin β4 N‐acetylated and free ubiquitin, respectively, while the 3.2‐kDa peptide remained uncharacterized. Although elevated ubiquitin levels have previously been described in CJD, we have demonstrated for the first time the involvement of thymosin β4 in a neurodegenerative disease. To support the validity of thymosin β4 levels obtained by MALDI‐TOF analysis, an independent enzyme immunoassay analysis was performed. Moreover, a validation cohort consisting of CSF from three CJD patients, five healthy subjects, and six non‐CJD relapsing‐remitting multiple sclerosis patients was analyzed in a similar way, yielding superimposable results. We propose that thymosin β4 is a potential new candidate marker for the ante mortem diagnosis of CJD disease.     

Further results on controllability properties of discrete-time nonlinear systems

Controllability questions for discrete-time nonlinear systems are addressed in this paper. In particular, we continue the search for conditions under which the group-like notion of transitivity implies the stronger and semigroup-like property of forward accessibility. We show that this implication holds, pointwise, for states which have a weak Poisson stability property, and globally, if there exists a global attractor for the system.This research was supported in part by US Air Force Grant AFOSR-91-0346, and also by an INDAM (Istituto Nazionale di Alta Matematica Francesco Severi, Italy) fellowship.     

Recommendation of RILEM Technical Committee 250-CSM: Test method for Textile Reinforced Mortar to substrate bond characterization

Textile Reinforced Mortar (TRM), also known as Fabric Reinforced Mortar or Fabric Reinforced Cementitious Matrix, composites are an emerging technology for the external repair and strengthening of existing structures. For most applications, the effectiveness of the TRM reinforcement relies on its bond performance. This recommendation identifies the best practice to characterize the bond behaviour of TRM. A shear bond test method is proposed to determine the peak axial stress (associated with the maximum load that can be transferred from the structural member to the externally bonded TRM reinforcement), the stress–slip relationship and the failure mode that controls the TRM-to-substrate load transfer capacity. Guidelines on specimen manufacturing, experimental setup, test execution, and determination of test results are provided.     

Secondary bioreceptivity of granite: effect of salt weathering on subaerial biofilm growth

Salt crystallisation is a very common and powerful weathering agent that can modify the petrophysical properties of building stone such as granite. In addition, the weathering can affect the susceptibility of the stone to biological colonisation. The aims of the present study were to examine the properties of a granite weathered by sodium chloride crystallisation and to evaluate the effects of the weathering on the secondary bioreceptivity of the stone to subaerial phototrophic biofilms. For this purpose, granite samples were subjected to a laboratory-based accelerated salt weathering test, and changes in weight, open porosity, bulk density, capillary water content, abrasion pH and surface roughness of the samples were determined. Samples of both weathered and non-weathered granite were then inoculated with a multi-species phototrophic culture derived from a natural subaerial biofilm and incubated under standardised laboratory conditions for 3 months. The weight loss produced by the weathering process was consistent with significant changes in abrasion pH and surface roughness. The bioreceptivity of the stone was also altered. According to the bioreceptivity index, the granite under study was characterised by ‘mild primary bioreceptivity’, but ‘high secondary bioreceptivity’ after the salt weathering process. Study of the secondary bioreceptivity of stone materials can provide very useful information about response to weathering effects, and the findings can be used to improve the selection of materials for building purposes.     

Solid state bonding of Al2O3 with Cu, Ni and Fe: characteristics and properties

A solid state bonding technique under hot pressing was used for joining alumina with thin metal sheets of Ni, Cu and Fe. The microstructure and microchemistry of the ceramic–metal interface and of the fracture interface were examined using scanning electron microscopy (SEM) energy dispersive spectroscopy (EDS) and X-ray diffraction (XRD), in order to identify the adhesion mechanisms and the nature of strength limiting flaws. Interaction between the selected metals and alumina can be physical or physico-chemical in nature: very low amounts of interfacial compounds were formed, depending on the processing conditions and on the presence of oxygen in the system. Fracture and toughness tests indicated that high ceramic–metal interface strengths (up to 177 MPa) were achieved under the adopted processing conditions and that strength and toughness were directly related. Moreover, an increase in hardening in the metal interlayer at a distance of 2–3 m from the interface was observed in the samples with high strength values. The mechanical behaviour was related to several factors that strongly depend on the bonding conditions: plastic deformation of the metal, metal creep, metal intrusion and diffusion into alumina, and chemical reactions at the interface. © 1998 Chapman & Hall     

Abstract argumentation

In this paper we explore the thesis that the role of argumentation in practical reasoning in general and legal reasoning in particular is to justify the use of defeasible rules to derive a conclusion in preference to the use of other defeasible rules to derive a conflicting conclusion. The defeasibility of rules is expressed by means of non-provability claims as additional conditions of the rules.We outline an abstract approach to defeasible reasoning and argumentation which includes many existing formalisms, including default logic, extended logic programming, non-monotonic modal logic and auto-epistemic logic, as special cases. We show, in particular, that the admissibility semantics for all these formalisms has a natural argumentation-theoretic interpretation and proof procedure, which seem to correspond well with informal argumentation.In the admissibility semantics there is only one way for one argument to attack another, namely by undermining one of its non-provability claims. In this paper, we show how other kinds of attack between arguments, specifically how rebuttal and priority attacks, can be reduced to the undermining of non-provability claims.     

An enhanced exact procedure for the absolute robust shortest path problem

The aim of this paper is to investigate the use of heuristic information to efficiently solve to optimality the robust shortest path problem. Starting from the exact algorithm proposed by Murty and Her, we describe how this algorithm can be enhanced by using heuristic rules and evaluation functions to guide the search. The efficiency of the proposed enhanced approach is tested over a range of random generated instances. Our computational results indicate that the use of heuristic criteria is able to speed up considerably the search and that the enhanced exact solution method outperforms the state‐of‐the‐art algorithm proposed by Murty and Her in most of the instances.     

Boosting learning and inference in Markov logic through metaheuristics

Markov Logic (ML) combines Markov networks (MNs) and first-order logic by attaching weights to first-order formulas and using these as templates for features of MNs. State-of-the-art structure learning algorithms in ML maximize the likelihood of a database by performing a greedy search in the space of structures. This can lead to suboptimal results because of the incapability of these approaches to escape local optima. Moreover, due to the combinatorially explosive space of potential candidates these methods are computationally prohibitive. We propose a novel algorithm for structure learning in ML, based on the Iterated Local Search (ILS) metaheuristic that explores the space of structures through a biased sampling of the set of local optima. We show through real-world experiments that the algorithm improves accuracy and learning time over the state-of-the-art algorithms. On the other side MAP and conditional inference for ML are hard computational tasks. This paper presents two algorithms for these tasks based on the Iterated Robust Tabu Search (IRoTS) metaheuristic. The first algorithm performs MAP inference and we show through extensive experiments that it improves over the state-of-the-art algorithm in terms of solution quality and inference time. The second algorithm combines IRoTS steps with simulated annealing steps for conditional inference and we show through experiments that it is faster than the current state-of-the-art algorithm maintaining the same inference quality.