n/a

This paper proposes a set of metrics for the assessment of the complexity of models defining the business logic of spreadsheets. This set can be considered the first step in the direction of building a quality standard for spreadsheet models, that is still to be defined. The computation of concrete metric values has further been integrated under a well-established model-driven spreadsheet development environment, providing a framework for the analysis of spreadsheet models under spreadsheets themselves.

The diversity of fossil crocodylomorphs in Portugal is high, with occurrence as old as Mystriosaurus (=Steneosaurus) bollensis from the Lower Jurassic. The Late Jurassic forms are the better documented, and include the following taxa: Machimosaurus hugii, Lisboasaurus estesi Seiffert, 1973, Lusitanisuchus mitrocostatus Seiffert, 1975; Schwarz & Fechner 2004, Theriosuchus guimarotae Schwarz and Salisbury 2005, Cf. Alligatorium, Goniopholis baryglyphaeus, and a crocodylomorph-like eggs in dinosaur nests (Mateus et al., 1998; Ricqlès et al., 2001). From the Lower Cretaceous were reported a few dinosaurs but its record is strangely scarce in crocodylomorphs (Mateus et al., 2011). The Upper Cretaceous crocodiles show a large diversity, but it is mostly based in fragmentary material that require revision, such as “Crocodylus” blavieri? Grey from the Upper Campanian - Maastrichtian of Viso, near Aveiro (initially reported by Sauvage 1897-98), Goniopholis cf. crassidens Owen 1841 and Oweniasuchus pulchelus Jonet 1981. Moreover there is a fascinating, but poorly understood, crocodylomorph diversity in the Cenomanian of Portugal, documented by fragmentary specimens that have been doubtfully assigned to Thoracosaurus Leidy 1852 of the Middle Cenomanian of Cacém, to the nomen dubium Oweniasuchus lusitanicus Sauvage 1897-98 (interpreted as a mesosuchian goniopholid) based in a fragmentary mandible from the Campanian-Maastrichtian, and also from the Middle Cenomanian of Portugal, Buffetaut and Lauverjat (1978) report an fragmentary unidentified possible dyrosaurid from Nazaré. All this specimens are too incomplete to be compared with the specimen here described. In contrast, Cenozoic crocodiles of Portugal are often known after complete skulls and several individuals. The taxa list include Iberosuchus macrodon (Lower to Middle Eocene), Tomistoma calaritanus (Early Miocene) and T. lusitanica (Burdigalian-Helvetian), and Diplocynodon sp. (Antunes, 1961, 1987, 1994).
At least, two different morphotypes of crocodylomorph eggs from the Late Jurassic of Lourinhã Formation are also known.
A new specimen here reported of crocodile based in a partial skull and mandible (ML1818) from the Uppermost Middle Cenomanian platform carbonates of Baixo Mondego, west central Portugal (Tentúgal Fm., Callapez, 2004). The taxon is phylogenetically positioned as a basal Eusuchia, due to the choanae enclosed by the pterygoid, and closely related with stem Crocodylia and Borealosuchus. This specimen represents the only well documented and valid eusuchian species in the Cenomanian of Europe and is the oldest representative of an eusuchian crocodylomorph, with the exception for the Barremian Hylaeochampsa vectiana.

n/a

n/a

n/a

This paper deals with the coupled effect of temperature and silica fume addition on rheological, mechanical behaviour and porosity of grouts based on CEMI 42.5R, proportioned with a polycarboxylate-based high range water reducer. Preliminary tests were conducted to focus on the grout best able to fill a fibrous network since the goal of this study was to develop an optimized grout able to be injected in a mat of steel fibers for concrete strengthening. The grout composition was developed based on criteria for fresh state and hardened state properties. For a CEMI 42.5R based grout different high range water reducer dosages (0, 0.2%, 0.4%, 0.5%, 0.7%) and silica fume (SF) dosages (0, 2%, 4%) were tested (as replacement of cement by mass). Rheological measurements were used to investigate the effect of polycarboxylates (PCE) and SF dosage on grout properties, particularly its workability loss, as the mix was to be injected in a matrix of steel fibers for concrete jacketing. The workability behaviour was characterized by the rheological parameters yield stress and plastic viscosity (for different grout temperatures and resting times), as well as the procedures of mini slump cone and funnel flow time. Then, further development focused only on the best grout compositions. The cement substitution by 2% of SF exhibited the best overall behaviour and was considered as the most promising compared to the others compositions tested. Concerning the fresh state analysis, a significant workability loss was detected if grout temperature increased above 35°C. Below this temperature the grout presented a self-levelling behaviour and a life time equal to 45 minutes. In the hardened state, silica fumes increased not only the grout’s porosity but also the grout’s compressive strength at later ages, since the pozzolanic contribution to the compressive strength does not occur until 28 days and beyond.

n/a

Software transactional memory (STM) algorithms associate metadata with the memory locations accessed during a transaction's lifetime. This metadata may be stored in an external table by resorting to a mapping function that associates the address of a memory cell with the table entry containing the corresponding metadata (out-place or external strategy). Alternatively, the metadata may be stored adjacent to the associated memory cell by wrapping the cell and metadata together (in-place strategy). The implementation techniques to support these two approaches are very different and each STM framework is usually biased towards one of them, only allowing the efficient implementation of STM algorithms which suit one of the approaches and inhibiting a fair comparison with STM algorithms suiting the other. In this paper, we introduce a technique to implement in-place metadata that does not wrap memory cells, thus overcoming the bias and allowing STM algorithms to directly access the transactional metadata. The proposed technique is available as an extension to Deuce and enables the efficient implementation of a wide range of STM algorithms and their fair (unbiased) comparison in a common STM framework. We illustrate the benefits of our approach by analyzing its impact in two popular transactional memory algorithms with several transactional workloads, TL2 and multiversioning, each befitting out-place and in-place, respectively.