The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations

We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic. We consider several articles in the regulation to verify these claims

Relatório final do estágio pedagógico

Relatório de estágio do mestrado em Ensino da Educação Física nos Ensinos Básico e Secundário, apresentado à Fac. de Ciências do Desporto e Educação Fisica da Univ. de CoimbraEste documento aqui apresentado é um conjunto de reflexões do Estágio Pedagógico do Mestrado em Ensino da Educação Física dos Ensinos Básico e Secundário, enquanto estudante na Faculdade de Ciências do Desporto e Educação Física da Universidade de Coimbra, realizado na Escola EB 2 e 3 Dr.ª Maria Alice Gouveia, Coimbra. Chegado o final de um percurso tão enriquecedor, árduo e difícil, que representa o fechar e o início de um ciclo da minha vida, este documento é o concluir de um trabalho feito ao longo de um ano lectivo de estágio. Espero concluir e fazer o balanço deste ano de estágio pedagógico na Escola Dª Mª Alice Gouveia, Coimbra. Com este relatório vou tentar reflectir de uma forma sincera e objectiva todo o meu trabalho realizado ao longo deste ano lectivo, tentando referenciar os aspectos positivos e os aspectos a melhorar. Vou procurar referir todas as tarefas realizadas durante o estágio pedagógico, bem como a sua reflexão, quer pedagógica, quer pessoal no que diz respeito ás experiencias vividas e conhecimentos adquiridos

The potential of international cooperation in the Azorean space strategy

Dissertação de Mestrado, Relações Internacionais: O Espaço Euro-Atlântico, 17 de março de 2023, Universidade dos Açores.Esta investigação pretende abordar a essência da cooperação internacional do setor espacial na Região Autónoma dos Açores. O estudo centra-se, por isso, nos impactos que terão na economia, na criação de emprego qualificado, desenvolvimento tecnológico, capacidade geográfica dos Açores e nas problemáticas que a Região enfrentará.ABSTRACT: This investigation aims to study the essence of international cooperation in the space sector in the Autonomous Region of the Azores. The study, therefore, focuses on the resulting impacts on the economy, the creation of qualified employment, technological development, the geographic capacity of the Azores and the problems that the Region will face

Analytical and experimental study on the evolution of residual stresses in composite materials

Tese de mestrado. Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 200

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

The Coq Community Survey 2022 was an online public survey of users of the Coq proof assistant conducted during February 2022. Broadly, the survey asked about use of Coq features, user interfaces, libraries, plugins, and tools, views on renaming Coq and Coq improvements, and also demographic data such as education and experience with Coq and other proof assistants and programming languages. The survey received 466 submitted responses, making it the largest survey of users of an interactive theorem prover (ITP) so far. We present the design of the survey, a summary of key results, and analysis of answers relevant to ITP technology development and usage. In particular, we analyze user characteristics associated with adoption of tools and libraries and make comparisons to adjacent software communities. Notably, we find that experience has significant impact on Coq user behavior, including on usage of tools, libraries, and integrated development environments

A narrativa televisiva dos reality game shows : realidade e ficção no programa Secret Story : A Casa dos Segredos

O género reality game show tem marcado o panorama televisivo português sendo um sucesso de audiências. Em 2011, dez anos depois de o programa Big Brother ter surgido na televisão portuguesa, o mesmo canal televisivo apresenta, em horário nobre, outro programa dentro do mesmo género: a Casa dos Segredos (CS). No âmbito dos estudos de televisão, analisando nomeadamente como se processa a construção da narrativa, a presente dissertação pretende compreender de que forma se processa a construção deste género de programas televisivos, a forma como se inter-relacionam os conceitos de realidade, fição e jogo e, como se constroem as suas narrativas, através do estudo de caso desse programa. Para isso, desenvolvemos uma análise textual e de conteúdo às emissões do programa, registando os diversos elementos narrativos e a forma como constroem o espetáculo televisivo, estabelecendo o protagonismo dos concorrentes, com o objetivo de compreender de que modo a narrativa televisiva influencia a construção dos concorrentes como personagens e a sua performance e autenticidade. Os resultados da análise demonstram a procura de uma ficcionalização do real, uma construção de enredo por parte da produção do programa e, ainda, uma tendência parcial no protagonismo dos concorrentes associados, desde a gala de estreia, a personagens-tipo, cujas linhas narrativas ao longo das 13 semanas são exploradas pela produção. Deparamos com dois tipos de narrativas: a narrativa estruturante das emissões e as suas narrativas internas (narrativas pessoais, narrativa de jogo e metanarrativa). Na semana analisada em detalhe, notamos uma clara predominância das narrativas pessoais, seguidas da narrativa de jogo, sendo ambas incentivadas pelas atividades propostas pela produção. Verificamos uma desigualdade no protagonismo de cada um dos concorrentes, sendo recorrentemente os mesmos a possuírem visibilidade nos blocos de imagens transmitidos na televisão generalista. A produção, embora não possua total controlo dos acontecimentos, direciona as linhas narrativas dos concorrentes, segundo os seus interesses. Constrói-se uma «realidade artificial» que é tudo menos espontânea, existindo apenas a realidade do próprio programa televisivo.The genre of reality game show has been a milestone in the Portuguese television reaching high ratings. In 2011, ten years after the first season of Big Brother in Portuguese television, the same TV channel offers at prime time another programme within the genre. In the television studies framework, analysing specifically the way the narrative process is constructed in this medium, the present dissertation aims to understand the narrative construction of this type of genre. More than seeking to understand the relation between the concepts of reality and fiction, we intend to systematize all narrative elements of our case study: the programme Secret Story: A Casa dos Segredos. Therefore, we developed a textual and content analysis throughout the episodes of the programme studied, taking notes of its narrative elements: how the programme and its main characters are constructed and how the narrative process has an influence on their authenticity and performance. The results of our analysis showed a fictionalization of the real. The story and the plot are carefully constructed by the programme’s production team and the choice of the main characters featured on the programme’s episodes is biased. Furthermore, each contestant has its own storyline, playing a type of character set out for each one of them in the opening episode of the show, being associated throughout the season with that type of character. Nevertheless, we were able to distinguish two types of narrative: the structural narrative of the episodes and the internal narratives (personal narrative, game narrative and meta-narrative). In the week of analysis, personal narratives were the dominant narrative throughout the week, followed by the game narratives. Both these narratives were clearly encouraged by the activities proposed by the programme’s production team. Within our data analysis we were able to verify a clear inequality in the visibility of each contestant: the protagonists of the main segments of episodes were, repeatedly, always the same. Although the programme’s production does not have total control of events in the house, they encourage some narrative lines of the contestants, according to their own interests. Last but not least, an artificial reality is constructed, a reality that can be anything but spontaneous, only existing in the reality of the medium

Violência no namoro e consumos de substâncias em jovens estudantes universitários

Dissertação apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em CriminologiaA violência no namoro assume-se como uma problemática social dos dias de hoje e a qual interfere com a vida de muitos jovens. De igual modo, é sabido que o consumo de substâncias entre estudantes universitários também é uma realidade atual. Face a estas evidências, impõe-se a necessidade de analisar a relação entre os consumos e a violência no namoro, e que de resto tem sido já documentada por diversos estudos internacionais. Face à ausência de estudos nacionais que procurem analisar esta relação, o presente estudo insurge-se para colmatar esta lacuna e assim perceber qual a relação entre a violência ocorrida nas relações de intimidade juvenis e os consumos. Para tal, foi administrado o Questionário sobre Vivências Amorosas Abusivas e Consumos - QVAC, através da plataforma online – Google Docs, a uma amostra de 376 jovens universitários (68.9% do sexo feminino e 30.9% do sexo masculino), com uma média de idades de 21.93 (D.P.= 2.51), que admitiram estar ou já terem estado envolvidos numa relação amorosa. Os resultados revelaram que no conjunto dos participantes que referiram estar envolvidos em relações amorosas, 24.5% revelou já ter sofrido algum tipo de abuso e 19.4% admitiu ter perpetrado algum tipo de violência. No que diz respeito aos consumos de substâncias, 34.8% admitiu já ter consumido algum tipo de droga pelo menos uma vez na vida. As análises de associação efetuadas não demonstraram ser estatisticamente significativas. Ainda que os resultados obtidos no presente estudo não nos permitam afirmar que exista algum tipo de relação entre o consumo de drogas e a violência no namoro, foram apurados níveis de prevalência da violência e de consumos algo alarmantes e que denunciam a necessidade de se continuar a prevenção quer deste tipo de abuso, quer dos consumos junto dos jovens universitários, conhecidos que são os seus efeitos nefastos a diferentes níveis.Is is assumed that the dating violence is a social issue of today that interferes with the lives of many young people. Similarly, it is known that substance use among college students is also a present reality. In face of this evidences, there is a need to analyze the relationship between consumption and dating violence, which has already been documented by several international studies. In the absence of national studies that seek to analyze this situation, the present study pretends to bridge this gap and thus realize the relation between the violence in juvenile intimate relationships and consumption. For such purpose, it was administered the Questionnaire on Experiences Loving Abusive and Consumption – QVAC through the online platform Google Docs, to a sample of 376 university students (68.9% female and 30.9% male) with a mean age of 21.93 (SD = 2.51), who admitted to being or have already been involved in a relationship. The results revealed that in the group of participants who admitted to being involved in a romantic relationship, 24.5% admitted to have suffered some sort of abuse and 19.4% revealed to have adopted/perpetrated some kind of violence. With regard to the consumption of substances, 34.8% admitted having used some kind of substance at least once in the lifetime. The association analyses performed have not shown to be statistically significant. Although the results obtained in this study do not allow us to state that there is some kind of relationship between the drug abuse and dating violence, the levels of dating of present violence and consumption found are alarming and denounce the need to continue the prevention on this type of abuse and on the consumption among university students, since the damage effects at different levels are quite well known