Aprendizagem baseada na resolução de problemas: uma experiência pedagógica com alunos de um Curso de Especialização Tecnológica

Relatório de estágio de mestrado em Ensino de Informática

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.

Automatic visual detection of human behavior: a review from 2000 to 2014

Due to advances in information technology (e.g., digital video cameras, ubiquitous sensors), the automatic detection of human behaviors from video is a very recent research topic. In this paper, we perform a systematic and recent literature review on this topic, from 2000 to 2014, covering a selection of 193 papers that were searched from six major scientific publishers. The selected papers were classified into three main subjects: detection techniques, datasets and applications. The detection techniques were divided into four categories (initialization, tracking, pose estimation and recognition). The list of datasets includes eight examples (e.g., Hollywood action). Finally, several application areas were identified, including human detection, abnormal activity detection, action recognition, player modeling and pedestrian detection. Our analysis provides a road map to guide future research for designing automatic visual human behavior detection systems.

Povoamento e paisagens no Vale Superior do Rio Terva, Boticas: projecto de investigação plurianual em arqueologia (PoPaTERVA 2013-2016): trabalhos arqueológicos no povoado das Batocas: relatório 2013-2014

O relatório que se apresenta respeita aos trabalhos arqueológicos desenvolvidos entre 2013 e 2014, inscritos no Projeto de Investigação Plurianual de Arqueologia (adiante PIPA) “Povoamento e Paisagens no Vale Superior do Rio Terva, Boticas – PoPaTERVA 2013-2016”, oportunamente aprovado pela Direção Geral do Património Cultural (DGPC: ofício n.º 2013/1 (169) CS: 875795 informação n.º 1704/DBC/2013). O projeto Povoamento e Paisagens no Vale Superior do Rio Terva, Boticas/ PoPaTERVA surge na sequência da conclusão do projeto de Conservação, Estudo, Valorização e Divulgação do Complexo Mineiro Antigo do Vale Superior do Rio Terva, Boticas, concebido em 2006 pela UAUM e executado entre 2010 e 2012 no âmbito de protocolo estabelecido com a Câmara Municipal de Boticas. Desta primeira ação de investigação resultou a classificação do Complexo Mineiro Antigo do Vale Superior do Rio Terva como Sítio de Interesse Público, promulgado pela Portaria n.º 386/2013 (DR, 2.º Série, n.º 115 de 18 de Junho de 2013 – ver Apêndice 7.1.2).

Povoamento e paisagens no Vale Superior do Rio Terva, Boticas: projecto de investigação plurianual em arqueologia (PoPaTERVA 2013-2016): trabalhos arqueológicos no Castro de Sapelos: relatório 2014

O presente relatório enquadra-se na execução do Projeto PoPaTERVA 2013-2016, um projeto PIPA aprovado pela DGPC em 2013 (oficio nº 06922, de 04-07-13. Ref. 2013/1 (169) CS 875795). Para o corrente ano de 2014 pretendemos dar continuidade às investigações decorrentes da implementação do projeto referido anteriormente, iniciando assim o estudo em pormenor do Castro de Sapelos. Os trabalhos arqueológicos foram iniciados a 1 de Julho e terminaram no mês de Dezembro, contaram com a participação de 4 jovens voluntários do programa municipal Boticas Mexe.

Discursos para a Independência: a Escócia e o Referendo de 2014

Dissertação de mestrado em Ciência Política

Inquérito sobre as bibliotecas dos Serviços de Documentação: relatório do questionário aplicado em 2014

Os dados que fundamentam este relatório encontram-se disponíveis em: http://hdl.handle.net/1822/39007

Editorial [da] Revista Investigar em Educação, nº1 (2014)

O editorial apresenta a nova série da revista da sociedade portuguesa de ciências da educação e discute o seu tema de capa: a educação não formal e as aprendizagens informais.

Editorial [da] Revista Investigar em Educação, nº2 (2014)

O editorial discute a emergência e os debates em torno das novas profissionalidades em educação e apresenta o número da revista.

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Índice Digital Regional 2014

O objetivo subjacente a toda a investigação que deu origem ao Índice Digital Regional (IDR), inserida num projeto de doutoramento, ia no sentido da “compreensão da realidade da Sociedade da Informação nas sete regiões NUTs II portuguesas, comparando-as e contrastando-as”. À semelhança do que acontece em grande parte dos indicadores de desenvolvimento, em que as assimetrias regionais são uma evidência verificada há várias décadas, importava perceber até que ponto o desenvolvimento da Sociedade da Informação em Portugal está a ser desencadeado sem ter ou não em atenção os valores da equidade, da coesão nacional e da solidariedade regional. Este artigo analisa os resultados do IDR recalculado com os dados estatísticos mais recentes.

Do kemalismo ao neo-otomanismo: o desenvolvimento político e a «Nova Turquia» de Recep Tayyip Erdogan (2003-2014)

Dissertação de mestrado em Ciência Política