A new procedure to analyze RNA non-branching structures

RNA structure prediction and structural motifs analysis are challenging tasks in the investigation of RNA function. We propose a novel procedure to detect structural motifs shared between two RNAs (a reference and a target). In particular, we developed two core modules: (i) nbRSSP_extractor, to assign a unique structure to the reference RNA encoded by a set of non-branching structures; (ii) SSD_finder, to detect structural motifs that the target RNA shares with the reference, by means of a new score function that rewards the relative distance of the target non-branching structures compared to the reference ones. We integrated these algorithms with already existing software to reach a coherent pipeline able to perform the following two main tasks: prediction of RNA structures (integration of RNALfold and nbRSSP_extractor) and search for chains of matches (integration of Structator and SSD_finder)

The use of FRPs in seismic repair and retrofit: experimental verification

The application of FRPs in the seismic repair and retrofit of structures is addressed. The results from a few tests on full-scale structures, repaired and/or retrofitted with composites, performed at the ELSA laboratory are presented and discussed

Simplifying Contract-Violating Traces

Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deployment: once a violation is detected, the trace characterising the offending execution is analysed to pinpoint the source of the offence. A major drawback with this technique is that, often, contract violations take time to surface, resulting in long traces that are hard to analyse. This paper proposes a methodology together with an accompanying tool for simplifying traces and assisting contract-violation debugging.Comment: In Proceedings FLACOS 2012, arXiv:1209.169

Thermal boundary resistance at Si/Ge interfaces determined by approach-to-equilibrium molecular dynamics simulations

The thermal boundary resistance of Si/Ge interfaces as been determined using approach-to-equilibrium molecular dynamics simulations. Assuming a reciprocal linear dependence of the thermal boundary resistance, a length-independent bulk thermal boundary resistance could be extracted from the calculation resulting in a value of 3.76x10$^{-9}$ m$^2$ K/W for a sharp Si/Ge interface and thermal transport from Si to Ge. Introducing an interface with finite thickness of 0.5 nm consisting of a SiGe alloy, the bulk thermal resistance slightly decreases compared to the sharp Si/Ge interface. Further growth of the boundary leads to an increase in the bulk thermal boundary resistance. When the heat flow is inverted (Ge to Si), the thermal boundary resistance is found to be higher. From the differences in the thermal boundary resistance for different heat flow direction, the rectification factor of the Si/Ge has been determined and is found to significantly decrease when the sharp interface is moderated by introduction of a SiGe alloy in the boundary layer.Comment: 7 pages, 6 figure