Code name

The present case-study concerns about the analysis of the sale of Banif Mais, the sub-holding of Banif Group for specialized credit activity, taking into account the bank’s financial situation in 2014. In 2011, Portugal was submitted to an external finance programme carried out by troika which imposed very restricted measures to the financial sector. Subsequently, Banif was not able to accomplish the required results having to appeal to Government financing, being under a recapitalization plan since 2012.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Petits mammifères du burdigalien infèrieur (Universidade Católica, Avenida do Uruguay)

Improved bromoform concentration as developped at CEPUNL allowed better recovery of small mammals'teeth. At Universidade Católica and Avenida do Uruguay 19 taxa (and a further one with doubt) were recognized. Some are new for the level and for Tagus basin: Lagopsis cadeoti and Melissiodon dominans (1st reference for the genus); Glirudinus modestus (formerly under another name); Armantomys (1st reference for this level); Peridyromys murinus (referred before under another name); Microdyromys legidensis (1st ref. of gen. and sp. for this level); and Heteroxerus rubricati, formerly reported to other species of the same genus. Both localities share the same position viz marine levels under and above. This allows us to correlate them with NS or N6 Blow's zones. Both are distinctly younger-than glauconite in underlying beds about 21 MY old (K-Ar). Small mammals point out to MN3a Neogene subunit. Fauna is much alike Lower Burdigalian ones in Spain, France, Germany and Austria. Terrestrial, maybe steppe forms predominate. Land environment was open, with scant plant cover but not devoid of trees. Peridyromys murinus numerical importance and other data suggest a not so warm climate in correspondance to a minimum temperature event. This is corroborated by associated marine fish fauna entirely without warm water stenotherm species, and by paleobotanical/palynological data. Results are in close agreement with Central Northern Spain. The localities studied here are even more interesting as direct correlations between marine and continental stratigraphical scales are possible.

Molybdenum-containing proteins from Sulphate Reducing Bacteria: studying proteins with novel cofactors and revealing new features of old enzymes

Dissertação apresentada para a obtenção do Grau de Doutor em Bioquímica, especialidade de Bioquímica-Física pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Enhancing information retrieval in folksonomies using ontology of place constructed from Gazetteer information

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

Bitocast: a hybrid BitTorrent and IP Multicast content distribution solution

Dissertação apresentada para obtenção do Grau de Mestre em Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Gender and reproductive autonomy : are there second-class citizens in Europe?

EUROPEAN MASTER’S DEGREE IN HUMAN RIGHTS AND DEMOCRATISATION Academic Year 2007/2008

Including context in a routing algorithm for the internet of things

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Les Périssodactyles (Mammalia) du Miocène de Lisbonne

New data led us to revise Miocene Perissodactyla from Lisbon. Equids (Anchitherium) have been decribed by Alberdi & González (1999); we fully agree with their conclusions. On the other hand, the only Chalicotheriid cannot be clearly reported to any genus. It therefore will be left in open nomenclature Schizorheriinae ind.). The Rhinocerotids have been described in detail (1983). We could recognize now that: Protaceratherium sagicum is a synonym of P. minutum; Plesiaceratherium platyodon and Plesiaceratherium lumiarense should be ascribed to the genus Plesiaceratherium and not to Aceratherium; there are no reasons for name changes as far as the forms previously referred as Diaceratherium aurelianensis, Prosantorhinus germanicus and Hispanotherium matritensis are concerned; as the genera Dicerorhinus and Lartetotherium are distinct, Dicerorhinus (Lartetotherium) sansaniensis has to be named Lartetotherium sansaniensis; as Gaindatherium (Ïberotherium) rexmanueli cannot be reported to Gaindatherium, we therefore upgrade the subgenus Iberotherium to the genus'rank - hence the names of the concerned taxa become Iberotherium rexmanueli rexmanueli and I. rexmanueli zbyszewski; Chilotherium ibericus is but a dental variation of I. rexmanueli zbyszewski. The stratigraphic distribution and age of the Miocene Perissodactyla so far known in the Lower Tagus basin / Lisbon region are presented.

Gil Eannes: le navire-hòpital de la flotte morutière portugaise

Vesalius 2008; XIV: 23-26

Os topónimos algarvios na Paleontologia portuguesa

Since the XIX century, Portuguese and foreign geologists have defined 47 new invertebrate taxa (foraminifera, ostracods, coelenterates, brachiopods, gastropods, ammonoids, echinoids), 2 new fossil plant taxa (charophyte and pteridophyte) and 1 ichnofossil, using toponymy from the Algarve; these taxa refer to 1 genera, 47 species and 2 varieties. Besides the Algarve toponym, the most used as specific name, twenty others have been used, mostly from western Algarve; these toponyms are associated to: – Miocene units, particularly from Ribeira de Cacela and Ferragudo; – Cretaceous units between Zavial and Marim; – Upper Jurassic units from Sagres, Carrapateira and Loulé and Middle Jurassic units from Sagres and Guilhim; – Triassic units from Vila do Bispo to Tavira; – Carboniferous units, particularly from the Aljezur-Bordeira-Carrapateira region. The earliest of these designations were attributed to seven gastropods from the Upper Miocene of Cacela (COSTA, 1866-1867). The majority of the named species are typical of the Algarve, but some have been collected, as well, in the Lusitanian Basin. Although extensively cited in the geological literature, some of these taxa either do not fulfill the ICZN rules, or fall into synonymy with previously established taxa, or should be formally considered as non valid names (nomem nudum and nomen oblitum). Only widespread bibliographical review, associated with the palaeontological revision of some of these groups and the correct interpretation of the ICZN articles, will allow confirming, or not, the doubts that have now arisen.

Automatic cymbal classification

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática

The discovery of three lost ‘Salting’ carpets: science as a tool for revealing their history

Thesis presented at the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, to obtain a Master degree in Conservation and Restoration,Specialization in Textiles

Declarative approach to data extraction of web pages

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfilment of the requirements for the degree of Master in Computer Science