This technical report describes the research goals and results of the SpreadSheet as a Programming Paradigm research project. This was a project funded by Funda{\c c}ão para a Ciencia e Tecnologia – FCT: the Portuguese research foundation, under reference FCOMP-01-0124-FEDER-010048, that ran from May 2010 till July 2013. This report includes the complete document reporting the results achieved during the project execution, which was submitted to FCT for evaluation on October 2013. It describes the goals of the project, and the different research tasks presenting the deliver- ables of each of them. It also presents the management and result dissemination work performed during the project's execution. The document includes also a self assess- ment of the achieved results, and a complete list of scientific publications describing the contributions of the project. Finally, this document includes the FCT evaluation report.

Let k be a positive integer and G be a k-connected graph. In 2009, Chartrand, Johns, McKeon, and Zhang introduced the rainbow k-connection number rc_k(G) of G. An edge-coloured path is rainbow if its edges have distinct colours. Then, rc_k(G) is the minimum number of colours required to colour the edges of G so that any two vertices of G are connected by k internally vertex-disjoint rainbow paths. The function rc_k(G) has since been studied by numerous researchers. An analogue of the function rc_k(G) involving vertex colourings, the rainbow vertex k-connection number rvc_k(G), was subsequently introduced. In this paper, we introduce a version which involves total colourings. A total-coloured path is total-rainbow if its edges and internal vertices have distinct colours. The total rainbow k-connection number of G, denoted by trc_k(G), is the minimum number of colours required to colour the edges and vertices of $G$, so that any two vertices of $G$ are connected by $k$ internally vertex-disjoint total-rainbow paths. We study the function trc_k(G) when G is a cycle, a wheel, and a complete multipartite graph. We also compare the functions rc_k(G), rvc_k(G), and trc_k(G), by considering how close and how far apart trc_k(G) can be from rc_k(G) and rvc_k(G).

Two new Late Jurassic (uppermost Late Kimmeridgian) dinosaur eggshell sites are described, Casal da Rola and Porto das Barcas, both near Lourinha˜, central-west Portugal. Casal da Rola yields eggshells with an obliquiprismatic morphotype comparable to those from a nest with the associated fossil embryos from Paimogo, tentatively assigned to the theropod Lourinhanosaurus antunesi. The Porto das Barcas eggshells have a dendrospherulitic morphotype with a prolatocanaliculate pore system. This morphotype was also recognised in eggshells from a clutch with associated Torvosaurus embryos at the Porto das Barcas locality. A preliminary cladistic analysis of eggshell morphology suggests theropod affinities for the Casal da Rola eggs, but is unable to resolve the phylogenetic position of the Porto das Barcas eggs. The eggshells at both sites are preserved in distal flood plain mudstones and siltstones. Carbonate concretions within the deposits indicate paleosol development.

Here we describe a new partial sauropod skeleton from the late Kimmeridgian (Late Jurassic) of the Lourinhã Formation, central west Portugal. The closely associated specimen comprises a complete tooth (with root), a fragment of cervical neural arch, an anterior chevron, and an almost complete right pectoral girdle and forelimb. The new sauropod, Zby atlanticus, n. gen. et sp., can be diagnosed on the basis of four autapomorphies, including a prominent posteriorly projecting ridge on the humerus at the level of the deltopectoral crest. Nearly all anatomical features indicate that Zby is a non-neosauropod eusauropod. On the basis of several characters, including tooth morphology, extreme anteroposterior compression of the proximal end of the radius, and strong beveling of the lateral half of the distal end of the radius, Zby appears to be closely related to Turiasaurus riodevensis from approximately contemporaneous deposits in eastern Spain. However, these two genera can be distinguished from each other by a number of features pertaining to the forelimb. Whereas previously described Late Jurassic Portuguese sauropods show close relationships with taxa from the contemporaneous Morrison Formation of North America, it appears that turiasaurians were restricted to Europe. All adult sauropods recovered in the Late Jurassic of Portugal thus far are very large individuals: it is possible that the apparent absence of small- or medium-sized adult sauropods might be related to the occupation of lower-browsing niches by non-sauropods such as the long-necked stegosaur Miragaia longicollum.

We here present fossil Crocodylomorpha eggshells from the Upper Jurassic Lourinhã Formation of Portugal, recovered from five sites: one nest from Cambelas with 13 eggs, and three partial eggs and various fragments from, Paimogo N (I), Paimogo S (II), Casal da Rola, and Peralta. All specimens but the nest were found in association with dinosaur egg material. Our research reveals that on a micro- and ultrastructural analysis, all samples present the typical characters consistent with crocodiloid eggshell morphotype, such as the shell unit shape, the organization of the eggshell layers, and the triangular blocky extinction observed with crossed nicols. We assign the material from the Lourinhã Formation to the oofamily Krokolithidae, making it the oldest crocodylomorph eggs known so far, as well as the best record for eggs of non- crocodylian crocodylomorphs. Furthermore, our study indicates that the basic structure of crocodiloid eggshells has remained stable since at least the Upper Jurassic.