A behavioral analysis tool for models of software systems

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

The Cristo Rei section (Lower Miocene). Distal fluviatile environments in a marine series, plants, vertebrates and other evidence, age

The section at Cristo Rei shows sandy beds with intercalated clayey lenses (IVb division from the Lisbon Miocene series) that correspond to a major regression event dated from between ca. 17.6 and 17 Ma. They also correspond to a distal position (relatively to the typical fluviatile facies in Lisbon), nearer the basin's axis. Geologic data and paleontological analysis (plant fossils, fishes, crocodilians, land mammals) allow the reconstruction of environments that were represented in the concerned area: estuary with channels and ox-bows; upstream, areas occupied by brackish waters where Gryphaea griphoides banks developped; still farther upstream, freshwaters sided by humid forests and low mountain subtropical forests under warm temperate and rainy conditions, as well as not far away, seasonally dry environments (low density tree or shrub cover, or steppe).

Miocene marine-continental correlations in the Lisbon area and some discussion related to personnal experience

Sandpit exploitation near Lisbon allowed collecting of many Miocene, non marine fossils. These sands are part of the mostly marine Miocene series in the Lower Tagus basin. The particularly favourable situation led several researchers to deal with marine-continental correlations. Difficulties often concern methodologic aspects. Some poorly based interpretations exerced a lasting influence. A critical approach is presented. Analysis requires data. Methods based upon models often lead to the temptation of fitting data in order to confirm a priori conclusions, or of mixing up data as if of equal statistic value while they have not at all the same weight. Erroneous interpretations' uncritical repetition for many years "upgraded" them into absolute truth. Another point is endemism vs. europeism. Miocene mammals from Lisbon compared well with corresponding French, contemporaneous taxa, while this was apparently not true for Spanish ones. Too much accent had been put on the endemic character of Spanish, or even regional, mammalian faunas. Nationalist bias and sensationalism also weigh, albeit negatively. Meanwhile nearly all the more evident examples as the rhinoceros Hispanotherium are discredited as Iberian endemisms. Taxa may appear as endemic just because they have not yet been found elsewhere. At least for the medium to large-sized mammals, with their huge geographic distribution, faunal differences depend much more on ecology, climate and environmental conditions. Emphasis on differences may also result from researchers that are often in a precarious situation and need very much to achieve short-term, preferably sensational results. Overvalued differences may mask real similarities. Unethic and not scientific behaviour are further enhanced by "nomina nuda" tricks that may simply be a way to circunvent or cheat the Priority Rule. On the other hand, access to communication networks may present as sensational novelties items that are not new at all, misleading the audience. A new class of "science people" arose, created by the media and not by the value of their real achievements. Discussion is presented on sedimentation processes and discontinuities that are often regarded as absolute precision dating tools, as well as on some geochemical and paleomagnetic interpretations. A very good chronologie frame has been obtained for the basin under study on the basis of an impressive set of data, providing a rather detailed and accurate frame for Miocene marine-continental correlations.

Lithostratigraphy, sequence stratigraphy and depositional setting of the Pliensbachian and Toarcian series in the Lusitanian Basin, Portugal

In the Lusitanian Basin (Central Portugal), the Middle-Upper Liassic series are characterized by an expressive marly limestone accumulation, sediments that were deposited on a homoclinal carbonate ramp. These series belong to the Vale das Fontes, Lemede, S. Gião (and the lateral equivalents Prado and Cabo Carvoeiro Formations) and, partially, to the Póvoa da Lomba Formations. These units, in great part controlled by an accurate ammonite biostratigraphic scale, are organized into two secondorder transgressive-regressive sequences. The first one (SP) is dated of early Pliensbachian/lowermost early Toarcian age; the second (ST) is dated of early Toarcian to early Aalenian.

Model morphisms (MoMo) to enable language independent information models and interoperable business networks

MSc. Dissertation presented at Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering

Simulation of the velocity field in compound channel flow using different closure models

1st European IAHR Congress,6-4 May, Edinburg, Scotland

Orbital forcing of stratal patterns in an inner platform carbonate sucession: an example from an Upper Hauterivian series of the Lusitanian Basin, Portugal

With an example taken from a late-Hauterivian series of the Lusitanian Basin (Portugal), we will demonstrate the sedimentary record of orbital pattern variations and, consequently, climate variations in an inner platform environment with patterns and isolation changes, allows us to establish 4 major orders of periodicity related to orbital components:- The large cycles ob bed thickness variation, constituted by 31-32 beds, recording the 400 ky eccentricity cycle component;- The medium cycles, represented by byndles of 8-9 beds, related to the 100 ky eccentricity cycle component; - The small cycles, of 3-5 beds, recording the 41 ky obliquity components;- The very small cycles, of 2 beds, related to the 22 ky and 26 ky precession components. The mean duration of each bed is around 11.8 ky, a number very close to that of the precession hemi-cycle. Climatic control on qualitative production is confirmed by the close relation between the bed thickness variations, the insolation variability and the variation of micritized elements concentrations.

Prognostic modelling of breast cancer patients: a benchmark of predictive models with external validation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Polyglutamine diseases (PolyQ): construction and characterization of yeast models

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A framework to operate transformations between distinct models differing in modelling concepts

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Massive shift in the pneumococcal nasopharyngeal flora after the 7-valent conjugate vaccine: epidemiological studies and testing pathogenic potential in animal models

Dissertation presented to obtain the PhD degree in Biology/Molecular Biology by Universidade Nova de Lisboa, Instituto de Tecnologia Química e Biológica

Invited review: Models for the optimization of regional wastewater treatment systems

European Journal of Operational Research, nº 73 (1994)

Models and tools for value systems analysis in collaborative environments

Dissertation to obtain the degree of Doctor in Electrical and Computer Engineering, specialization of Collaborative Networks

Estimation of infection rate in epidemic models with multiple populations

Dissertação para obtenção do Grau de Mestre em Matemática e Aplicações Especialização em Actuariado, Estatística e Investigação Operacional

Critical Velocity obtained using Simplified Models of the Railway Track: Viability and Applicability

Increased demands on the capacity of the railway network gave rise to new issues related to the dynamic response of railway tracks subjected to moving vehicles. Thus, it becomes important to evaluate the applicability of traditionally used simplified models which have a closed form solution. Regarding simplified models, transversal vibrations of a beam on a visco-elastic foundation subjected to a moving load are considered. Governing equations are obtained by Hamilton’s principle. Shear distortion, rotary inertia and effect of axial force are accounted for. The load is introduced as a time varying force moving at a constant velocity. Transversal vibrations induced by the load are solved by the normal-mode analysis. Reflected waves at the extremities of the full beam are avoided by introduction of semi-infinite elements. Firstly, the critical velocity obtained from this model is compared with results of an undamped Euler- Bernoulli formulation with zero axial force. Secondly, a finite element model in ABAQUS is examined. The new contribution lies in the introduction of semi- infinite elements and in the first step to a systematic comparison, which have not been published so fa