Modelação numérica de túneis com consideração explícita das heterogeneidades do maciço

Dissertação de mestrado integrado em Engenharia Civil

Comparação de probabilidades de acontecimentos formulados de forma explícita e implícita

Neste artigo estuda-se a realização de alunos futuros educadores e professores dos primeiros anos de escolaridade na comparação de probabilidades de acontecimentos em diferentes contextos sociais, formulados de forma explícita e implícita, tendo em vista averiguar a influência do nível de explicitação na comparação de probabilidades. Participaram no estudo 51 alunos futuros educadores e professores dos primeiros anos de escolaridade, que responderam a um questionário contendo duas questões, com vários itens envolvendo a comparação de probabilidades de acontecimentos formulados explícita e implicitamente. Em termos de resultados, globalmente, verificou-se que os itens formulados implicitamente se revelaram mais difíceis para os alunos do que os itens formulados explicitamente.

Upgrade of an industrial building: BIM model of the as-built situation and evaluation of modifications

Dissertação de mestrado integrado in Civil Engineering

Current Challenges in Modeling Cellular Metabolism

Mathematical and computational models play an essential role in understanding the cellular metabolism. They are used as platforms to integrate current knowledge on a biological system and to systematically test and predict the effect of manipulations to such systems. The recent advances in genome sequencing techniques have facilitated the reconstruction of genome-scale metabolic networks for a wide variety of organisms from microbes to human cells. These models have been successfully used in multiple biotechnological applications. Despite these advancements, modeling cellular metabolism still presents many challenges. The aim of this Research Topic is not only to expose and consolidate the state-of-the-art in metabolic modeling approaches, but also to push this frontier beyond the current edge through the introduction of innovative solutions. The articles presented in this e-book address some of the main challenges in the field, including the integration of different modeling formalisms, the integration of heterogeneous data sources into metabolic models, explicit representation of other biological processes during phenotype simulation, and standardization efforts in the representation of metabolic models and simulation results.

Plataforma de apoio à decisão nos cuidados de ginecologia e obstetrícia

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

Algumas considerações sobre o princípio da culpa enquanto factor de autonomização do Direito das Contra-ordenações

Dissertação de mestrado em Direito Judiciário

Genetic regulatory mechanisms by means of extended interactive Petri nets

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.

Escrever para aprender através dos textos literários e não literários

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico