Externally bonded reinforced systems have been widely used in civil engineering. However, the problems associated with bond between structural elements are not yet fully solved. As a consequence, many researchers have been proposing tests and techniques to standardize procedures and reach better agreement for design purposes. In the present paper, an experimental program is described that was developed to characterize the glass FRP/concrete interface by double shear tests made on 15 cm side cubes with GFRP bonded on two opposite faces. The GFRP wrap had two layers applied by the wet lay-up technique and three classes of concrete were considered. With the support of the experimental program, cohesion and friction angle for GFRP–concrete interfaces were found leading to different envelope failure laws, based on the Mohr–Coulomb failure criterion for each concrete class, capable of predicting GFRP debonding. Results are discussed.

Software Transactional Memory (STM) algorithms correctness rely on metadata associated with the memory locations accessed during the transaction life-time. STM implementations may store this metadata either in-place, by wrapping the memory cells in a container that includes the memory cell itself and the corresponding metadata, or out-place, by resorting to a mapping function that associates the memory cell address to an external table with the corresponding metadata. The implementation techniques for these two approaches are very different and each STM framework is usually biased towards one of them, only allowing the efficient implementation of algorithms that fall into the appropriate category, and inhibiting the fair comparison with STM algorithms falling into the other. In this paper we introduce a technique that supports the use of in-place metadata without requiring to wrap memory cells, thus providing STM algorithms with direct access to the transactional metadata and overcoming the bias. The proposed technique is available as an extension to the DeuceSTM framework and allows the efficient implementation of a wide range of STM algorithms, thus enabling their fair (unbiased) comparison in a common STM infrastructure. We illustrate the benefits of our approach by analyzing its impact in two popular TM algorithms with two different transactional workloads, TL2 and multi-versioning, which bias to out-place and in-place respectively.

n/a

Cellulosomes are highly efficient nanomachines that play a fundamental role during the anaerobic deconstruction of complex plant cell wall carbohydrates. The assembly of these complex nanomachines results from the very tight binding of repetitive cohesin modules, located in a noncatalytic molecular scaffold, and dockerin domains located at the C-terminus of the enzyme components of the cellulosome. The number of enzymes found in a cellulosome varies but may reach more than 100 catalytic subunits if cellulosomes are further organized in polycellulosomes, through a second type of cohesin-dockerin interaction. Structural studies have revealed how the cohesin-dockerin interaction mediates cellulosome assembly and cell-surface attachment, while retaining the flexibility required to potentiate catalytic synergy within the complex. Methods that might be applied for the production, purification, and structure determination of cohesin-dockerin complexes are described here. Copyright 2012 Elsevier Inc. All rights reserved.

In this paper we present a method for estimating soil pCO2 in ancient environments using the measured carbon-isotope values of pedogenic carbonates and plant-derived organic matter. The validity of soil pCO2 estimates proves to be highly dependent on the organic δ13C values used in the calculations. Organic matter should be sourced from the same paleosol profiles as sampled carbonates to yield the most reliable estimates of soil pCO2. In order to demonstrate the potential use of soil pCO2 estimates in paleoecological and paleoenvironmental studies, we compare samples from three Upper Jurassic localities. Soil pCO2 estimates, interpreted as a qualitative indicator of primary paleoproductivity, are used to rank the Late Jurassic terrestrial environments represented by the Morrison Formation in western North America, the informally named Lourinhã formation in Western Europe, and the Stanleyville Group in Central Africa. Because modern terrestrial environments show a positive correlation between primary productivity and faunal richness, a similar relationship is expected in ancient ecosystems. When the relative paleoproductivity levels inferred for each study area are compared with estimates of dinosaur generic richness, a positive correlation emerges. Both the Morrison and Lourinhã formations have high inferred productivity levels and high estimated faunal richness. In contrast, the Stanleyville Group appears to have had low primary productivity and low faunal richness. Paleoclimatic data available for each study area indicate that both productivity and faunal richness are positively linked to water availability, as observed in modern terrestrial ecosystems.

We can regard Domain-Specific Languages (DSLs) as User Interfaces (UIs) because they bridge the gap
between the domain experts and the computation platforms. Usability of DSLs by domain experts is a key
factor for their successful adoption. The few reports supporting improvement claims are persuasive, but
mostly anecdotal. Systematic literature reviews show that evidences on the effects of the introduction of
DSLs are actually very scarce. In particular, the evaluation of usability is often skipped, relaxed, or at
least omitted from papers reporting the development of DSLs. The few exceptions mostly take place at
the end of the development process, when fixing problems is already too expensive. A systematic
approach, based on techniques for the experimental evaluation of UIs, should be used to assess suitability
of new DSLs. This chapter presents a general experimental evaluation model, tailored for DSLs’
experimental evaluation, and instantiates it in several DSL’s evaluation examples.

Over the last decades, several indices based on ash chemistry and ash fusibility have been used to predict the ash behaviour during coal combustion, namely, its tendency for slagging and fouling. However, due to the physical–chemical differences between coals and biomass, in this work only the applicability of an ash fusibility index (AFI) to the combustion and co-combustion of three types of biomass (straw pellets, olive cake and wood pellets) with coals was evaluated. The AFI values were compared with the behaviour of ash during combustion in a pilot fluidized bed and a close agreement was observed between them. For a better understanding of the mechanisms associated with bed ash sintering, they were evaluated by SEM/EDS and the elements present on the melted ash were identified. Evidences of different sintering mechanisms were found out for the fruit biomass and herbaceous biomass tested, depending on the relative proportions of problematic elements. The particles deposited on a fouling probe inserted in the FBC were analyzed by XRD and the differences between the compounds identified allowed concluding that the studied biomasses present different tendencies for fouling. Identification of KCl and K2SO4 in the deposits confirmed the higher tendency for fouling of fruit biomass tested rather than wood pellets.

Clavicles and interclavicles are plesiomorphically present in Reptilia. However, several groups show reduction or even loss of these elements. Crocodylimorpha, e.g., lost the clavicles, whereas dinosaurs are generally interpreted to only preserve the clavicles, the theropod furcula representing an unique case of fused clavicles. In sauropods, reports of clavicles are relatively frequent in non-titanosauriforms. These elements are elongated, curved, and rather stout bones with a spatulate and a bifurcate end. However, they were always found as single bones, and differ from the relatively short and unbifurcated clavicles found articulated with the scapulae of basal sauropodomorphs.
Elements from the Howe Quarry (Late Jurassic; Wyoming, USA) shed new light on these interpretations. Besides the elongated, curved bones (herein named morphotype A), also pairs of symmetric, L-shaped bones were recovered (morphotype B), associated with diplodocid dorsal and cervical vertebrae. Elements resembling morphotype B - articulated between the scapulae - have recently been reported from a diplodocid found near Tensleep, Wyoming. Taphonomic evidence, as well as the fact that they were preserved in symmetrical pairs, therefore implies that morphotype B represents the true sauropod clavicles.
Contrary to earlier reports, morphotype A elements from the Howe Quarry, as well as of previously reported specimens show a symmetry plane following the long axis of the elements. It is thus possible that the morphotype A elements were single bones from the body midline. The only such element present in the pectoral girdle of tetrapods are the interclavicle and the furcula. Comparison with crocodilian and lacertiform interclavicles indicates that the bifurcate end of the sauropod elements might represent the reduced transverse processes of the anterior end, and the spatulate end would have covered the coracoids or sternal plates ventrally.
The presence of both clavicles and interclavicles in the pectoral girdle stiffens the anterior trunk, and enhances considerably its stability. Such an enforcement might have been needed in diplodocids due to the strong lateral forces induced to the fore-limbs by the posteriorly placed center of mass (due to shorter fore- than hind-limbs), as well as lateral movements of the enormously elongated necks and tails. The absence of clavicles and interclavicles in titanosauriforms coincides with the development of wide-gauge locomotion style.
The presence of interclavicles in sauropods supports the recently proposed homology of the furcula with the interclavicle, instead of representing fused clavicles. Interclavicles were thus not lost, but may have remained cartilaginous or have yet to be found in basal dinosauriforms.

n this paper we explore the use of models in the context of spreadsheet engineering. We review a successful spreadsheet modeling language, whose semantics we further extend. With this extension we bring spreadsheet models closer to the business models of spreadsheets themselves. An addon for a widely used spreadsheet system, providing bidirectional model-driven spreadsheet development, was also improved to include the proposed model extension.

Os compósitos de FRP podem descolar prematuramente da superfíce de betão, isto é, antes de esgotada a sua resistência elástica. Esta situação é mais provável se não forem tidos em conta factores como o tipo de preparação da superfície, a exposição a acção ambiental severa, e a resistência do próprio betão. Com o objectivo de analisar a influência de parte destes factores no desempenho da ligação compósito de fibra de vidro (GFRP) e betão, empreendeu-se uma campanha experimental baseada em ensaios de corte duplo. Os resultados permitiram determinar e comparar as forças máximas transmitidas ao GFRP e tensões de aderência máxima para diferentes tratamentos de superfície e condições de envelhecimento. Foram também determinadas aproximações para curvas de tensão de aderência vs. deslizamento (bond-slip). Os resultados obtidos são contrastados com resultados obtidos por modelação numérica.

Since the 1980’s, several buildings throughout the world have been subject to gas explosions, impact by cars or airplanes, or car bomb attacks. In many cases the effect of the impact or explosion has been the failure of a critical structural member at the perimeter of the building. After the failure, the load supported by that member could not be redistributed and part or all of the structure has collapsed in a progressive manner. The phenomenon that occurs when local failure is not confined to the area of initial distress, and spreads horizontally and/or vertically through the structure, is termed progressive collapse.

Progressive collapse is a relatively rare event, as it requires both an accidental action to cause local damage and a structure that lacks adequate continuity, ductility, and redundancy to prevent the spread of damage. It is technically very difficult and economically prohibitive to design buildings for absolute safety. However it is possible to construct precast concrete buildings that afford an acceptable degree of safety with regard to accidental actions.

A structure is normally designed to respond properly, without damage, under normal load conditions, but local and/or global damages cannot be avoided under the effect of an unexpected, but moderate degree of accidental overload. Properly designed and constructed structures usually possess reasonable probability not to collapse catastrophically under such loads, depending on different factors, for example: the type of loading; the degree and the location of accidental loading in regard to the structure and its structural members; the type of structural system, the construction technology, and the spans between structural vertical members, etc.

No structure can be expected to be totally resistant to actions arising from an unexpected and extreme cause, but it should not be damaged to an extent that is disproportionate to the original cause.

The aim of fib Bulletin 63 is to summarize the present knowledge on the subject and to provide guidance for the design of precast structures against progressive collapse. This is addressed in terms of (a) the classification of the actions, (b) their effect on the structural types, (c) the strategies to cope with such actions, (d) the design methods and (e) some typical detailing, all supplemented with illustrations from around the world, and some model calculations.

In this paper we investigate how the combinatorial property finite derivation type (FDT) is preserved in a semilattice of semigroups. We prove that if S=S[Y,S_α] is a semilattice of semigroups such that Y is finite and each S_α (α∈Y) has FDT, then S has FDT. As a consequence we can show that a strong semilattice of semigroups S[Y,S_α,λ_{α,β}] has FDT if and only if Y is finite and every semigroup S α (α∈Y) has FDT.

n/a

n/a

A friendship graph is a graph consisting of cliques sharing a common vertex. In this paper we investigate the maximum number of elements in an optimal friendship decomposition of graphs of order n. We obtain upper and lower bounds for this number. These bounds relate this problem with the classical Ramsey numbers.

Spreadsheets are among the most popular programming languages in the world. Unfortunately, spreadsheet systems were not tailored from scratch with modern programming language features that guarantee, as much as possible, program correctness. As a consequence, spreadsheets are populated with unacceptable amounts of errors. In other programming language settings, model-based approaches have been proposed to increase productivity and program effectiveness. Within spreadsheets, this approach has also been followed, namely by ClassSheets. In this paper, we propose an extension to ClassSheets to allow the specification of spreadsheets that can be viewed as relational databases. Moreover, we present a transformation from ClassSheet models to UML class diagrams enriched with OCL constraints. This brings to the spreadsheet realm the entire paraphernalia of model validation techniques that are available for UML.

n/a