43 documents found, page 1 of 5

Aplicação prática da SCM na Bosch Car Multimédia de Braga

O presente relatório surge no âmbito da realização de um estágio profissional, desenvolvido na Bosch Car Multimédia S.A., em Braga. A gestão da cadeia de abastecimento surge como uma rede interconectada de organizações e processos, que colaboram para fornecer produtos ou serviços. Essa rede cria uma relação de interdependência entre os agentes da cadeia, onde o desempenho de um afeta diretamente o desempenho de...

A ocupação tardo-romana da Lapa Rasteira do Castelejo (Alvados, Porto de Mós)

O artigo apresenta as evidências de uma ocupação da cavidade natural da Lapa Rasteira no séc. V d.C., caracterizada através dos vestígios antropológicos, numismáticos e cerâmicos recuperados em escavação. As datações de radiocarbono e o problema da conservação de algumas moedas de bronze são também discutidos. São apontadas as características funerárias e de abrigo temporário de que essa ocupação se revestiu.

Paraconsistent transition systems

Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific resi...

Oeiras Internet Challenge Edição Nacional: Rede de Bibliotecas de Oeiras e Rede...

O Oeiras Internet Challenge (OIC), é uma iniciativa organizada pela Rede de Bibliotecas Municipais de Oeiras (RBMO) em parceria com a Rede de Bibliotecas Escolares (RBE), e direcionada aos alunos do Ensino Secundário de estabelecimentos de ensino do subsistema público, do território continental e das regiões autónomas, que promove as competências digitais. Pretende-se dar a conhecer um projeto já com alguns ano...

Pôr a ler dá trabalho

A Rede de Bibliotecas Municipais de Oeiras (RBMO) tem vindo a afirmar-se como relevante promotora da leitura e literatura no contexto das Bibliotecas Públicas nacionais, considerando projetos como o Café com Letras, o Nós, Leitores, o Legados Saramaguianos e os grupos de leitores da RBMO, destinados a diferentes públicos e a ocorrerem em distintas localizações (inclusive em espaço virtual). Acresce a promoção d...

Paraconsistent transition systems

Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such formalism: states evolve through two accessibility relations capturing weighted evidence of a transition or its absence, respectively. Their weights come from a specific resi...

Avaliação de impacto territorial para operações de revitalização urbana: guia m...

Os processos de monitorização e avaliação das políticas públicas têm vindo a assumir um papel cada vez mais importante na execução dos instrumentos de cofinanciamento da Política de Coesão. Mais do que um conjunto de princípios vertidos na legislação da avaliação dos fundos estruturais, reconhece-se o esforço contínuo para fortalecer estes processos, dotando a avaliação operacional e estratégica das intervençõe...

Novos Territórios Industriais

O presente relatório acompanha e estrutura o projecto de requalificação de uma fábrica no vale do rio Este, em Braga, desenvolvido sob o tema dos Novos Territórios Industriais. O ponto nevrálgico da intervenção do projecto é a sede de uma indústria metalomcânica e os terrenos vizinhos, cujas construções sufocam a margem fluvial do rio Este. Através da identificação das problemáticas inerentes ao tema dos Novos ...

Hexano

A logic for paraconsistent transition systems

Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g. in knowledge representation, simulation of biological systems, or quantum computation, inconsistency has to be addressed in a precise and controlled way. This paper generalises Belnap-Dunn four-va...