n this paper we give a partial answer to the following question: does a large subsemigroup of a semigroup S with the finite combinatorial property finite derivation type (FDT) also have the same property? A positive answer is given for large ideals. As a consequence of this statement we prove that, given a finitely presented Rees matrix semigroup M[S;I,J;P], the semigroup S has FDT if and only if so does M[S;I,J;P].

This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular datatype into a relational database schema. Having expressed the transformation of the two data models as data refinements, we obtain for free the functions that migrate the data. We use well-known relational database techniques to optimize and query the data. Because data refinements define bidirectional transformations we can map such database back to an optimized spreadsheet. We have implemented the data refinement rules and we have constructed tools to manipulate, optimize and refactor Excel-like spreadsheets.

n/a

n/a

n/a

n/a

n/a

n/a

n/a

n/a

The aim of the present communication is to present an analysis of the gravity load influence on the hysteretic behaviour of a beam-column connection. For this purpose, in the experimental campaign a new procedure for RC cyclic tests is presented in order to reproduce closer demands on the beam critical zone than the traditional procedures. The Experimental campaign included cyclic tests of the specimens according with the ECCS recommendation and an innovate procedure. The test results are presented, compared and analysed. A numerical simulation of the tests is presented where the model for the hysteretic response of the beam was calibrated with the experimental results. Finally, the behaviour of a portal frame system under cyclic displacements up to a drift of 3.5% was analysed, assuming that the non-linearity is concentrated on the plastic hinges, considering different levels of gravity load. Thus it is intended to assess the influence of the gravity load on the behaviour of a structure subjected to cyclic loads.

This document describes a work-in-progress development of NGen-VM, a distributed infrastructure that manages execution environments with run-time and programming language support targeting applications developed in the Java programming language, deployed over clusters of many-core computers. For each running application or suite of related applications, a dedicated single-system image will be provided, regardless of the concurrent threads running on a single machine (on several cores) or scattered on different computers. Such system images rely on a single model for concurrency management (Transactional Shared Memory Model), in order fill the gap between the hardware infrastructure of clusters of many-core nodes and the application runtime that is independent from that hardware infrastructure. Interactions between threads in the same tasks will be supported by a Transactional Memory framework that provides the programming language with Atomic and Isolated code regions. Interactions between thread on different machines will also use the Transactional Memory model, but now resorting to a Distributed Shared Memory abstraction.

n/a

n/a

n/a

{Summary: We are interested in the comparison, under a third-order framework, of classes of second-order, reduced-bias tail index estimators, giving particular emphasis to minimum-variance reduced-bias estimators of the tail index $\gamma$. The full asymptotic distributional properties of the proposed classes are derived under a third-order framework and the estimators are compared with other alternatives, not only asymptotically, but also for finite samples through Monte Carlo techniques. An application to the log-exchange rates of the Euro against the USA Dollar is also provided.}

Recently V. Kokilashvili, N. Samko, and S. Samko have proved a sufficient condition for the boundedness of the Cauchy singular integral operator on variable Lebesgue spaces with radial oscillating weights over Carleson curves. This condition is formulated in terms of Matuszewska-Orlicz indices of weights. We prove a partial converse of their result.