Contributions �� la Pal��ontologie du Mioc��ne moyen continental du Bassin du Tage. III - Mammif��res - P��voa de Santar��m, P��ro Filho et Ch��es (Secorio). Conclusions g��n��rales

This study on middle Miocene mammalian faunas from Tagus'basin deals particularly with some small mammals hitherto undescribed from Portugal, including a new Glirid (Paraglirulus scalabicensis nov. sp.); it allows an accurate datation by biostratigraphical standards, Megacricetodon crusafonti, Fahlbuschia darocensis, Cricetodon jotae being characteristic of mammalian MN6 unit, thus their age is nearly that of Sansan and Manchones (however the presence of Peridyromys hamadryas and Lagopsis verus do suggest, amidst this biozone, a somewhat later age than Sansan's); it contributes with indirect correlation data with marine formations, as underlying oyster-bearing beds most probably are in correspondance to the apogee of the same transgression that deposed near Lisbon ���schlier" facies from VI-a division (Serravalian, Blow's zones 10-13, Globorotalia meyeri zone); the diversity of mammalian assemblages is surely related to an environement with varied biotopes, whose characterisation becomes easier if account is taken of the preceding papers on mollusks (G. Truc) and Cyprinid fishes (J. Gaudant), and also according to some unpublished paleobotanical data (J. Pais). A table with a synthesis of all paleontological data so far known is presented.

Redes de Petri reactivas e hier��rquicas - integra����o de formalismos no projecto de sistemas reactivos de tempo-real

Disserta����o apresentada para obten����o do grau de Doutor em Engenharia Electrot��cnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ci��ncias e Tecnologia

Comunica����es intra- e inter-circuito de componentes especificados com Redes de Petri

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

Petri nets based components within globally asynchronous locally synchronous systems

Disserta����o apresentada na Faculdade de Ci��ncias e Tecnologias da Universidade Nova de Lisboa para a obten����o do grau de Mestre em Engenharia Electrot��cnica e Computadores

Gera����o autom��tica de c��digo ANSI C a partir de Redes de Petri IOPT - PNML2C -

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

Petri net model decomposition - a model based approach supporting distributed execution

Disserta����o apresentada para obten����o do Grau de Doutor em Engenharia Electrot��cnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ci��ncias e Tecnologia

Reengenharia de um sistema de controladores dom��ticos utilizando Redes de Petri

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 Electrot��cnica e de Computadores

Emotion-oriented interventions for environment and the facilitation of pro-environmental behavior

Disserta����o para obten����o do Grau de Doutor em Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ci��ncias e Tecnologia

Pro poor tourism for community development on Atauro Island, Timor-Leste

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA ��� School of Business and Economics

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Disserta����o para obten����o do Grau de Doutor em Engenharia Electrot��cnica e de Computadores

Ethical leadership and unethical pro-organizational behavior: A moderated mediation model of affective commitment and authenticity at work

Recently, unethical conduct in the workplace has been a focus of literature and media. Unethical pro-organizational behavior (UPB) refers to unethical conduct that employees engage in to benefit the organization. Given the complexity of UPB, there is an increasing need to understand how and under what conditions this attitude originates within organizations. Based on a sample of 167 employees and seven organizations, results support the moderated mediation model. An ethical leader increases employees��� organizational affective commitment which increases the likelihood to engage in UPB. However, the indirect relationship diminishes when employees feel authentic at work.

Configurador de sistemas distribu��dos de controlo especificados atrav��s de redes de Petri IOPT

O objetivo principal deste trabalho �� desenvolver um prot��tipo de ferramenta que permita a gera����o de ficheiros de configura����o de sistemas distribu��dos de controlo em plataformas espec��ficas permitindo a integra����o de um conjunto de componentes previamente definidos. Cada componente �� caracterizado como um m��dulo, identificando-se o conjunto de sinais e eventos de entrada e sa��da, bem como o seu comportamento, normalmente especificado atrav��s de um modelo em redes de Petri IOPT ��� RdP-IOPT (Input-Output Place-Transitions). O formato PNML (Petri Net Markup Language) ser�� utilizado para a representa����o de cada componente. Os componentes referidos poder��o ser obtidos atrav��s de v��rios m��todos, nomeadamente atrav��s de ferramentas em desenvolvimento, que se encontram dispon��veis em http://gres.uninova.pt/IOPT-Tools/ e tamb��m atrav��s da sua edi����o no editor de IOPT, como resultado da parti����o de um modelo expresso em IOPT, utilizando o editor Snoopy-IOPT em conjuga����o com a ferramenta SPLIT. Ser��o considerados v��rias formas para interliga����o dos componentes, incluindo-se liga����es diretas e wrappers ass��ncronos num contexto de sistemas Globalmente Ass��ncronos Localmente S��ncronos - GALS bem como diferentes tipos de barramentos e liga����es s��rie, incluindo Network-On-Chip espec��ficos. A descri����o da interliga����o entre componentes �� gerada automaticamente pela ferramenta desenvolvida, tendo em conta resultados de disserta����es de mestrado anteriores. As plataformas especificas de suporte �� implementa����o incluem FPGA���s da serie Xilinx Spartan3,3E e Xilinx Virtex, e v��rias placas de desenvolvimento.

Wave4IOPT - editor e visualizador web de formas de onda ��� aplica����o a controladores digitais especificados com modelos de Redes de Petri IOPT

Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Ap��s uma an��lise das ferramentas existentes e constatando-se a inexist��ncia de uma ferramenta adequada a essa fun����o, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualiza����o das formas de onda de sinais e eventos de entrada e de sa��da ao longo do tempo. A ferramenta permite tamb��m a visualiza����o dos resultados do hist��rico de uma simula����o de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edi����o, modos de visualiza����o e um m��dulo b��sico de identifica����o e correc����o de erros dos valores das formas de onda. O Wave4IOPT est�� dispon��vel a partir de um browser e prev��-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi constru��da utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poder�� tamb��m servir para a edi����o, visualiza����o e an��lise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que ser�� lido pela ferramenta.