IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Ensino de léxico e texto descritivo

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Didáctica da Língua Portuguesa no 1.º e 2.º Ciclos do Ensino Básico

Neonatal anthropometry: a tool to evaluate the nutritional status and predict early and late risks

Neonatal anthropometry is an inexpensive, noninvasive and convenient tool for bedside evaluation, especially in sick and fragile neonates. Anthropometry can be used in neonates as a tool for several purposes: diagnosis of foetal malnutrition and prediction of early postnatal complications; postnatal assessment of growth, body composition and nutritional status; prediction of long-term complications including metabolic syndrome; assessment of dysmorphology; and estimation of body surface. However, in this age group anthropometry has been notorious for its inaccuracy and the main concern is to make validated indices available. Direct measurements, such as body weight, length and body circumferences are the most commonly used measurements for nutritional assessment in clinical practice and in field studies. Body weight is the most reliable anthropometric measurement and therefore is often used alone in the assessment of the nutritional status, despite not reflecting body composition. Derived indices from direct measurements have been proposed to improve the accuracy of anthropometry. Equations based on body weight and length, mid-arm circumference/head circumference ratio, and upper-arm cross-sectional areas are among the most used derived indices to assess nutritional status and body proportionality, even though these indices require further validation for the estimation of body composition in neonates.

Auction of financial transmission rights in electricity market environment

An auction model is used to increase the individual profits for market players with products they do not use. A Financial Transmission Rights Auction has the goal of trade transmission rights between Bidders and helps them raise their own profits. The ISO plays a major rule on keep the system in technical limits without interfere on the auctions offers. In some auction models the ISO decide want bids are implemented on the network, always with the objective maximize the individual profits for all bidders in the auction. This paper proposes a methodology for a Financial Transmission Rights Auction and an informatics application. The application receives offers from the purchase and sale side and considers bilateral contracts as Base Case. This goal is maximize the individual profits within the system in their technical limits. The paper includes a case study for the 30 bus IEEE test case.

Mundos dentro de um mundo: representações interculturais na Polónia sob a influência nazi

Europa, 1939 A Alemanha, sob a influência do partido Alemão Nazi, deu início a um confronto que mudou a face do mundo. Inicialmente os seus países vizinhos Europeus, depois alguns mais distantes e até o continente Africano sentiram o seu poder e tremeram de medo. Medo, um sentimento tão poderoso que em pequenas quantidades, pode aguçar os sentidos mas que, em quantidades grandes, pode gerar pânico, suprimir o intelecto e até levar a negar aquilo que temos presente como verdades absolutas. A Europa era uma mistura de culturas; até os próprios países eram uma mistura de culturas. A Polónia era um desses países. Neste país, Polacos, Judeus, Ucranianos e Romanis viviam numa paz frágil mas duradora. Quando a II Guerra Mundial começou, as cidades polacas foram conquistadas uma após a outra e, uns após os outros, os seus cidadãos foram confinados à sua cidade para manter a ordem pública. Nesta época de incerteza e insegurança poderíamos pensar que todas estas culturas, diferentes nas suas fundações mas todas elas constituídas por seres humanos que respondem da mesma forma em situações desta natureza, sentir-se- iam na necessidade de se juntar, deixar de parte as suas diferenças e tentariam fazer tudo o que estivesse ao seu alcance para assegurar aquilo que é a necessidade básica de qualquer ser humano: sobreviver. A sobrevivência é o instinto mais básico atribuído ao ser humano. O medo de não ser capaz de sobreviver gerou algo que vai contra este tipo de certezas. Gerou ódio. Não ódio contra o inimigo comum mas sim uma cultura contra a outra. O exército Alemão Nazi foi implacável na sua marcha em busca do domínio total mas, em alguns casos, não foi ele apenas a face do terror. O exército Alemão Nazi conquistava e seguia em frente, a caminho da próxima conquista, deixando governos de fachada para manter a ordem. O medo e o terror eram gerados por outrém. Um verdadeiro choque de culturas cujo resultado foi um dos maiores derramamentos de sangue na história do mundo civilizado.

Os institutos culturais açorianos: uma análise sociológica sobre a comunidade intelectual

Dissertação de Mestrado, Sociologia, 5 de Novembro de 2013, Universidade dos Açores.

Numerical Uncertainty and Its Implications

Copyright © 2014 António F. Rodrigues, Nuno O. Martins. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. In accordance of the Creative Commons Attribution License all Copyrights © 2014 are reserved for SCIRP and the owner of the intellectual property António F. Rodrigues, Nuno O. Martins. All Copyright © 2014 are guarded by law and by SCIRP as a guardian.

As expressões dramática e musical como veículo promotor do processo de ensino-aprendizagem da língua portuguesa no 1º ciclo do Ensino Básico

Mestrado (PES II), Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico, 1 de Julho de 2014, Universidade dos Açores.

Transvase : quando a ficção invade a realidade

ABSTRACT: Adopting the concept of metalepsis, as explained by Gérard Genette, I intend to tackle the miscegenation of ontological worlds as practiced in metacinematic films dealing either with the creator or the spectator and made famous with Woody Allen’s film The Purple Rose of Cairo (1985, EUA). Assuming the existence of two adjoining fictional universes, one of them intrafilmically projected onto a screen and the other positioned in front of it so as to create or observe the other, one realizes that, in fact, they both communicate in a more intense way. That is, they both can cross the barrier that separates them and function, literally, as communicating vessels thrusting themselves onto the other side of fiction. The use of this screen passage technique – which I call ‘spilling narrative’ – although it takes place inside the film, at an intradiegetic level, cannot be considered a simple comic effect. In actuality, it is a very serious affair, denoting the authorial intervention as a reflexive practice of écriture by means of a mise en abyme, according to Lucien Dällenbach. Therefore, the fictional spilling over of worlds which totally blends together both sides of the twice artificial universe of the fabula, represents the emotional and intellectual involvement of the creator with his/her creation and of the spectator with the world watched. Both illustrate the desire of fusion inherent in the acts of creation and reception. My approach will be based on Gabriele Salvatores’ Happy Family (2010) and Wojciech Marczewski’s Escape from the ‘Liberty’ Cinema (1990).

Identification of neuronal alterations induced by Shank3 mutations using iPS cells from Phelan-McDermid Patients' Fibroblasts

A família de proteínas Shank é o principal conjunto de proteinas de suporte e está localizada na densidade pós-sináptica das sinapses excitatórias. Existem 3 genes na família Shank, Shank1, Shank2 e Shank3 e são caracterizados por múltiplos domínios repetidos de anquirina próximo ao N-terminal seguido pelos domínios Src homologo 3 e PDZ, uma região longa rica em prolina e um domínio de motivo α estéril próximo ao C-terminal. Shank proteínas conectam duas subunidades de receptors glutamatérgicos, recetores NMDA e recetores metabotrópicos de glutamato do tipo-I (mGluRs). O domínio PDZ da Shank conecta-se ao C-terminal do GKAP e este, liga-se, ao complexo recetor PSD-95-NMDA. Por outro lado, a proteína Homer interage com o domínio rico em prolina para confirmar a associação entre a proteína Shank com o mGluR tipo-I. A proteína específica em estudo, Shank3, é haploinsuficiente em pacientes com sindrome Phelan-McDermid devido à deleções no braço comprido do cromossoma 22 levando à danos intelectuais, ausência ou atraso no discurso, comportamentos semelhantes ao autismo, hipotonia e características dismórficas. Neste trabalho, investigamos o papel da Shank3 na função sináptica para compreender a relação entre alterações nesta proteína e as características neurológicas presente em Pacientes com síndrome Phelan-McDermid. Foram utilizados dois modelos diferentes, ratinhos knockout Shank3 e hiPSC de pacientes com PMS. Ratinhos geneticamente modificados são ferramentas uteis no estudo de genes e na compreensão dos mecanismos que experiências in vitro não são capazes de reproduzir, mas de maneira a compreender melhor as patologias humanas, decidimos trabalhar também com células humanas. Os fibroblastos dos pacientes com síndrome Phelan-McDermid fora reprogramados em hiPS cells, diferenciados em neurónios e comparados com os neurónios obtidos a partir de doadores saudavéis e da mesma idade. A reprogramação em iPSC foi realizada por infecção de lentivirus com quatro genes de reprogramação OCT4, c-MYC, SOX2 e KFL4 para posteriormente serem diferenciados em neurónios, com cada passo sendo positivamente confirmado através de marcadores neuronais. Através dos neurónios diferenciados, analisamos a expressão de proteínas sinápticas. Pacientes com haploinsuficiencia na proteína Shank3 apresentam níveis elevados de proteína mGluR5 e decrescidos de proteína Homer sugerindo que a haploinsuficiencia leva a desregulação do complexo mGluR5-Homer-Shank3 conduzindo também, a defeitos na maturação sináptica. Assim, a expressão da proteína mGluR5 está alterada nos pacientes com PMS podendo estar relacionada com defeitos encontrados na diferenciação neuronal e maturação sináptica observados nos neurónios de pacientes. Conclusivamente, iPS cells representam um modelo fundamental no estudo da proteína Shank3 e a sua influência no sindrome de Phelan-McDermid.

Análise de eficiência energética de transportes rodoviários

Projecto para obtenção do grau de Mestre em Engenharia Informática e de computadores

Contabilidade do capital humano: considerações na aplicação de uma PME

Mestrado em Contabilidade

A importância dos activos intangíveis nas empresas não financeiras dos índices PSI 20, IBEX 35 e CAC 40

Mestrado em Contabilidade

BIT: Biosignal Igniter Toolkit

The study of biosignals has had a transforming role in multiple aspects of our society, which go well beyond the health sciences domains to which they were traditionally associated with. While biomedical engineering is a classical discipline where the topic is amply covered, today biosignals are a matter of interest for students, researchers and hobbyists in areas including computer science, informatics, electrical engineering, among others. Regardless of the context, the use of biosignals in experimental activities and practical projects is heavily bounded by the cost, and limited access to adequate support materials. In this paper we present an accessible, albeit versatile toolkit, composed of low-cost hardware and software, which was created to reinforce the engagement of different people in the field of biosignals. The hardware consists of a modular wireless biosignal acquisition system that can be used to support classroom activities, interface with other devices, or perform rapid prototyping of end-user applications. The software comprehends a set of programming APIs, a biosignal processing toolbox, and a framework for real time data acquisition and postprocessing. (C) 2014 Elsevier Ireland Ltd. All rights reserved.

Analysis of tongue shape and motion in speech production using statistical modeling

The mechanisms of speech production are complex and have been raising attention from researchers of both medical and computer vision fields. In the speech production mechanism, the articulator’s study is a complex issue, since they have a high level of freedom along this process, namely the tongue, which instigates a problem in its control and observation. In this work it is automatically characterized the tongues shape during the articulation of the oral vowels of Portuguese European by using statistical modeling on MR-images. A point distribution model is built from a set of images collected during artificially sustained articulations of Portuguese European sounds, which can extract the main characteristics of the motion of the tongue. The model built in this work allows under standing more clearly the dynamic speech events involved during sustained articulations. The tongue shape model built can also be useful for speech rehabilitation purposes, specifically to recognize the compensatory movements of the articulators during speech production.