The Neogene of Algarve (Portugal)

A synthesis about the Neogene and Quaternary of Algarve (Southern Portugal) is presented. New isotopic 87Sr/86Sr ages as well as biostratigraphic data about the Miocene deposits allow to present a new stratigraphic frame for the previously characterized units. The Lagos-Portimão Formation corresponds to deposits of temperate carbonate platform sedimentological type, developed during a long time span (Lower Burdigalian to Upper Serravallian). A major change in sedimentation conditions (carbonate to siliciclastic environments) occurred in the Lower Tortonian with the deposition of yellowish sands. Spongoliths rich in microfossils are represented in Algarve inland. Their age is not well established; calcareous nannofossils indicate the CN5a zone (Upper Serravallian) while foraminifera point out at least Nl6 zone (Lower Tortonian). In the Upper Tortonian, the sedimentation is widespread in Eastern Algarve, related with the Guadalquivir Basin infill. The deposits begin with detrital limestones, locally very rich in Heterostegina, passing to fossiliferous conglomerates and siltstones (Cacela Formation). Coarse-grained conglomerates at Galvana (Faro) pose some age problems. K/Ar age on glauconite indicates 6.72±0.17 Ma. However, glauconites may be reworked from older deposits (Cacela Formation). The Galvana Conglomerate could be related to Pliocene deposits are not well characterized. Olhos de Água sands, with a thin marine intercalation rich in marine vertebrates (fishes, a crocodile, cetaceans, sirenians), may be Upper Pliocene; however, the vertebrates point out to a Serravallian to Tortonian age. 87Sr/86Sr ages on oysters from above the level with vertebrates point out to 3.0(+2.5-1.0) Ma. Similar sand deposits occur at Morgadinho (Luz de Tavira). These sands are overlain by marls, lignite clays, lacustrine limestones and a silty calcareous crust. A small mammals association indicate an age span between Upper Pliocene and Lower Middle Pleistocene (MN17-MN20). A Biharian mammal fauna (Lower Pleistocene) was collected at Algoz in similar deposits. In the present state of knowledge, Morgadinho and Algoz deposits may be correlative.

Forest cover monitoring in the Bara district (Nepal) with remote sensing and geographic information systems

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Relational navigation and archiving of multimedia information for contemporary dance

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Machine learning Gaussian short rate

Dissertação para obtenção do Grau de Doutor em Estatística e Gestão do Risco

Energy-efficient diversity combining for different access schemes in a multi-path dispersive channel

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e Computadores

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.