n/a

For r≥3, a clique-extension of order r+1 is a connected graph that consists of a Kr plus another vertex adjacent to at most r-1 vertices of Kr. In this paper we consider the problem of finding the smallest number t such that any graph G of order n admits a decomposition into edge disjoint copies of a fixed graph H and single edges with at most t elements. Here we solve the case when H is a fixed clique-extension of order r+1, for all r≥3 and will also obtain all extremal graphs. This work extends results proved by Bollobás [Math.\ Proc.\ Cambridge Philosophical Soc 79 (1976) 19--24] for cliques.

n/a

In the last few decades there has been a massive growth in the Waste of Electric and ElectronicEquipment (WEEE). Part of these residues was already properly treated in some countries, but the lack of environmentally friendly options forced the European Union (EU) to take action. Two EU directives were created based on reduction, reutilization and recycling of WEEE. The need to properly designrecoverynetworks for such products appears as mandatory, where not only the economic aspects should be accounted for but also the environmental ones. The present paper addresses this problem and presents a generic optimization model for the design and planning of a recovery and treatment network of WEEE, minimizing both the costs and the environmental impacts that arise from the activity performed.

The model is applied to the real case of Amb3E, the Portuguese Association for the Management of Waste of Electric and ElectronicEquipment. Since its formation, in 2006, this organization has been registering an immense growth in the volume of residue collected, and faces now the necessity of reformulating its recoverynetwork. Both the actual cost structure and the best possible cost structure for Amb3E, given by the optimization of the model, are analyzed. These two scenarios are compared in order to turn clear the differences between them and to assess how the recoverynetwork of Amb3E can be improved through optimization. A similar analysis is performed from an environmental impacts perspective.

Software transactional memory is a promising programming model that adapts many concepts borrowed from the databases world to control concurrent accesses to main memory (RAM). This paper discusses how to support revertible operations, such as memory allocation and release, within software libraries that will be used in software memory transactional contexts. The proposal is based in the extension of the transaction life cycle state diagram with new states associated to the execution of user-defined handlers. The proposed approach is evaluated in terms of functionality and performance by way of a use case study and performance tests. Results demonstrate that the proposal and its current implementation are flexible, generic and efficient

n/a

The measurement of deformations, displacements, strain fields and surface defects in many material tests in Civil Engineering is a very important issue. However, these measurements require complex and expensive equipment and the calibration process is difficult and time consuming. Image processing could be a major improvement, because a simple camera makes the data acquisition and the analysis of the entire area of the material under study without requiring any other equipment like in the traditional method. Digital image correlation (DIC) is a method that examines consecutive images, taken during the deformation period, and detects the movements based on a mathematical correlation algorithm. In this paper, block-matching algorithms are used in order to compare the results from image processing and the data obtained with linear voltage displacement transducer (LVDT) sensors during laboratorial load tests of T-beams. © 2011 IFIP International Federation for Information Processing.

{{\textless}p{\textgreater}{\textless}br/{\textgreater}Transition} zones between structures as bridges or box culverts frequently present higher degradation rates compared to the remaining railway. This paper presents a numerical model for the dynamic loads on the ballast caused by trains passing a transition. The model was validated with field data obtained from an extensive field survey conducted in two transition zones in the Netherlands. Results show that the forces on the ballast vary significantly both in time and space on a transition, especially with the appearance of voids under the sleepers. Implications of the results on the long-term behaviour of transition zones are presented.{\textless}/p{\textgreater}

This paper describes the embedding of ClassSheet models in spreadsheet systems. ClassSheet models are well-known and describe the business logic of spreadsheet data. We embed this domain specific model representation on the (general purpose) spreadsheet system it models. By defining such an embedding, we provide end users a model-driven engineering spreadsheet developing environment. End users can interact with both the model and the spreadsheet data in the same environment. Moreover, we use advanced techniques to evolve spreadsheets and models and to have them synchronized. In this paper we present our work on extending a widely used spreadsheet system with such a model-driven spreadsheet engineering environment.

Under the framework of the European project named COPOWER, the possibility to partially substitute coal used in a 243 MWth Power Plant by biomass and non-hazardous wastes for the production of electricity and steam was assessed. Three combustion scenarios were studied, based on the combustion tests performed in a Power Plant located in Duisburg (Germany): Scenario 0 (Sc0) – combustion of coal; Scenario 1 (Sc1) – combustion of coal + sewage sludge (SS) + meat and bone meal (MBM); Scenario 2 (Sc2) – coal + SS + wood pellets (WP). An environmental and socio-economic assessment of these three scenarios was performed. In the environmental point of view, Sc0 was the worst scenario, mainly due to the emission of greenhouse gases (GHG). Sc1 was the best scenario, mainly due to the reduction of GHG emission, eutrophication chemical species and ozone depletion gases. In the socio-economic point of view, Sc0 was the worst scenario, mainly due to the absence of GHG abatement, and Sc1 was the best scenario due to the best cost of electricity production and negative cost of avoided emissions.

It is proved that, given a (von Neumann) regular semigroup with finitely many left and right ideals, if every maximal subgroup is presentable by a finite complete rewriting system, then so is the semigroup. To achieve this, the following two results are proved: the property of being defined by a finite complete rewriting system is preserved when taking an ideal extension by a semigroup defined by a finite complete rewriting system; a completely 0-simple semigroup with finitely many left and right ideals admits a presentation by a finite complete rewriting system provided all of its maximal subgroups do.