A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

The uneasy case for lower parking standards

Minimum parking requirements are the norm for urban and suburban development in the United States (Davidson and Dolnick (2002)). The justification for parking space requirements is that overflow parking will occupy nearby street or off-street parking. Shoup (1999) and Willson (1995) provides cases where there is reason to believe that parking space requirements have forced parcel developers to place more parking than they would in the absence of parking requirements. If the effect of parking minimums is to significantly increase the land area devoted to parking, then the increase in impervious surfaces would likely cause water quality degradation, increased flooding, and decreased groundwater recharge. However, to our knowledge the existing literature does not test the effect of parking minimums on the amount of lot space devoted to parking beyond a few case studies. This paper tests the hypothesis that parking space requirements cause an oversupply of parking by examining the implicit marginal value of land allocated to parking spaces. This is an indirect test of the effects of parking requirements that is similar to Glaeser and Gyourko (2003). A simple theoretical model shows that the marginal value of additional parking to the sale price should be equal to the cost of land plus the cost of parking construction. We estimate the marginal values of parking and lot area with spatial methods using a large data set from the Los Angeles area non-residential property sales and find that for most of the property types the marginal value of parking is significantly below that of the parcel area. This evidence supports the contention that minimum parking requirements significantly increase the amount of parcel area devoted to parking.

Constituição e transcendência: os casos dos regimes comunitários do entre-guerras

Tede de Doutoramento, na especialidade de Ciências Políticas apresentada à FDUNL

Humor impresso: cultura e política em O Espreitador do Mundo Novo

The aim of this paper is to identify, analyse and question the expressions of humour in O Espreitador do Mundo Novo, a monthly periodical published by José Daniel Rodrigues da Costa throughout 1802. It is a chapter of a PhD thesis in History and Theory of Ideas with the title “Correcting by laughter. Humour in Portuguese periodical press 1797-1834”. Positing humour as a social and cultural phenomenon, it is regarded here in a broad sense, comprehending wit, joke, ridicule, satire, jest, mockery, facetiousness or irony, displayed with recourse to various figures of speech. This interdisciplinary work intends listing and researching the themes and issues of the periodical and its targets, namely the social, age or gender stereotypes and to acknowledge its political stances. Another main purpose of this paper is to assess the role of humour as expressed in the printed periodical as a political and social weapon, criticizing ways (and which ways) and/or fashions, often ridiculing novelty just for being new in order to maintain the statu quo, and to establish in which senses humour was used in the context of late Ancien Régime and early liberalism culture. The humour of O Espreitador has also played a part in framing a public sphere in early nineteenth-century Portugal, as can be seen by the different “stages” and backgrounds where the monthly installments of the periodical take place: squares, coffee houses, fairgrounds, private houses, jailhouses, churches, public promenades, pilgrimages, bullfights, parties, the opera house – each of them a space of sociability and socialization. In this one, as in other periodicals of the time, printed humour stands at the crossroads of politics and culture, in spaces boldly widening before the reader. Albeit, there are quite a few loud silences in O Espreitador: not even the slightest remark to the church, the clergy or the Inquisition, only reverential references to the established order and the powers that be. The periodical criticizes the criticizers; it is against those who are against. The repeated disclaimers are intended not only to protect the author from libel suits or other litigation. They belong to a centuries-old tradition which, as early as the Middle Ages, has set apart escárnio (scorn) from maldizer (slander): José Daniel Rodrigues da Costa distinguishes satire from rebuking vice – a “cheerful criticism” forerunner of the ironic humour which was to become a trademark of Portuguese literature in the second half of the nineteenth century. Targeting those who deviate from the social norm (for example social climbers and older women who marry young men) or the followers of fashion (sometimes specifically “French fashion”), O Espreitador charges at liberal and progressive ideas. It ridicules the ways of the “New World” in order to perpetuate an idealized version of the “Old World”. Notwithstanding two exceptions – it condemns racism and bullfighting –, the humour of O Espreitador is conservative and conformist from a social and political standpoint.

O texto expositivo-argumentativo: reflexão sobre o género e o agir do aluno

Este trabalho, realizado no âmbito do Interacionismo Sociodiscursivo, combina uma reflexão sobre a noção de género textual com a observação do agir do aluno, em particular, em momentos de escrita do texto expositivo-argumentativo, de correção do trabalho do colega e através de um questionário. É de admitir que uma metodologia descendente, assente num princípio retórico-hermenêutico, defendido por autores como Rastier e Bronkcart, deva estar subjacente ao ensino do género, articulando, o texto, como ponto de partida da aprendizagem, com o ensino da língua.

Enhancing and implementing a pairs trading strategy

This paper designs a pairs trading model with the intent to identify existing profitable market opportunities to invest, i.e. traditionally strong correlated stocks that have diverged from its historical norm. It comprises a broad literature review on this strategy whose relevant findings (strategy improvements) are contemplated in the model. The authors combine the statistical results of the model with a backtesting analysis in order to provide guidance on the best investment opportunities.

Do Choupal até à Lapa. Etnografia do constructor da canção

Esta tese aborda a Canção de Coimbra no quadro dos estudos etnomusicológi-cos, tendo como principal objectivo a compreensão deste importante fenómeno en-quanto categoria musical autónoma. A construção dos padrões discursivos e performativos da Canção de Coimbra é alicerçada recorrendo a instrumentos tais como a etnografia da música e o estudo do dis-curso, exógeno e endógeno, sob o ponto de vista do método fenomenológico. Fenómeno musical performativo imerso num quadro simbólico particular, o ob-jecto de estudo apresenta-se como uma das manifestações mais ricas e exclusivas das comunidades escolares europeias, senão mundiais, privilegiando-se no ambiente de uma das mais antigas Universidades da Europa, com todos os rituais e simbolismos que o acompanham desde a fundação. O seu desenvolvimento incide fundamentalmente sobre a produção literária, a produção fonográfica, a participação musical directa, e o resultado de sessões de trabalho e entrevista com intérpretes, compositores e investigadores. O corpus principal do estudo organiza-se na observação do fenómeno Canção de Coimbra, em ligação directa com os seus contextos sociais e culturais, num período que decorre sobretudo entre ca. 1850 e a actualidade.

Proposta Interacionista para a Prática de Revisão de Texto: o padrão discursivo dos textos académicos

Nesta dissertação, apresenta-se uma proposta interacionista para a prática de revisão de texto, através de um instrumento de recurso que integra os pressupostos do Interacionismo Sociodiscursivo (ISD), bem como contributos dos principais modelos de revisão da escrita que têm sido desenvolvidos a partir da perspetiva da Psicologia Cognitiva. Além disso, propõe-se, a partir das noções de géneros de texto e de tipos de discurso, centrais no quadro teórico do ISD, a integração neste instrumento da noção de padrão discursivo – noção por nós desenvolvida. Para discutir a aplicabilidade desta proposta, analisa-se um corpus constituído por textos de dois géneros académicos – o artigo científico e a recensão crítica – de duas áreas científicas – a área da Linguística e a área da Sociologia. A partir desta aplicação e análise, defende-se, por um lado, a transposição dos pressupostos do Interacionismo Sociodiscursivo para a prática de revisão de texto e, por outro, a aplicação da noção de padrão discursivo no âmbito dessa mesma prática, bem como o seu contributo para novas perspetivas de análise dos textos e dos géneros textuais, sobretudo no que respeita à sua operacionalidade na identificação e distinção dos segundos.

Historical trajectories of currently shrinking Portuguese cities: A typology of urban shrinkage

Cities develop according to different patterns, undergoing population growth during some periods and decline (shrinkage) during others. Theories attempting to understand these behaviours include: 1) shrinkage is a natural process in the life cycle of a city, alternating with periods of growth, or 2) shrinkage is an extreme event that places cities into a continuous decline process with no return to population growth. We use retrospective data over a period of 130 years to study 25 Portuguese cities currently facing population decline, and show that both theories coexist in time and space. Five types of shrinking city are revealed: “Persistent Early Shrinkage” due to exodus fromthe rural periphery, “Metropolitan Shrinkage” due to the challenges of urban sprawl, “Recent Shrinkage” in de-industrialisation hotspots, “Cyclic Shrinkage” occurring in political transformation cores, and “Mild Shrinkage” due to life-style disamenity. As diversity of city population trajectories appears to be the norm in both Portugal and other Western European countries, the incorporation of this range into the management of urban transitions is recommended in order to reinforce city resilience.

Da intercepção de comunicações, acções encobertas e serviços de informações

The Portuguese Intelligence Services have their operational skills limited due to the grievances caused by the Dictatorship and, in particular, by its political police. With the help of historical elements, and by analyzing current legislation, we demonstrate that such grievances are today unjustified and misplaced, mainly taking into account the Risk Society’s multifaceted threats. Also part of our analysis is the impugnment of the Constitutional Court’s decision nº 413/2015, which pronounced unconstitutional the norm contained in Decree nº 426/XII, of the Republic’s Assembly, article nº 78, nº2, which intended to allow Intelligence Services access to the so-called “metadata”, as well as to tax and banking information. It is our understanding, and we demonstrate it in our dissertation, that should be allowed the access of, not only the above mentioned information, but also the means known as communications interception and undercover operations to the Intelligence Services, as long as properly supervised and inspected.

Avaliação do risco de LMEMSLT : aplicação dos métodos RULA e SI / Florentino , António de Sousa Uva

RESUMO - A frequente insuficiência de informação e até, eventualmente, a presença de elementos cientificamente pouco robustos (ou mesmo hipotéticos) no procedimento de obtenção dos resultados finais (scores) com os diversos métodos de avaliação do risco, julga-se determinar a obtenção de distintos resultados no mesmo posto de trabalho e que interessam analisar. O presente estudo foi efectuado numa empresa da indústria automóvel e pretendeu contribuir para a efectividade do processo de avaliação do risco destas lesões em meio industrial. Utilizaram-se como ponto de partida as classificações de risco em postos de trabalho onde a aplicação do método OCRA — base do projecto de norma Europeu prEN 1005-5 para a estimativa do risco de LMEMSLT (Lesões Musculoesqueléticas do Membro Superior Ligadas ao Trabalho) — identificou níveis de risco moderados e/ou elevados (score OCRA ≥ 16,5). Assim nos postos de trabalho (n = 71) registou-se em vídeo a actividade de trabalho. Analisaram-se os principais factores de risco (postura, força, repetitividade e exposição a vibrações) com uma amostragem de segundo em segundo e aplicaram-se dois métodos: 1) RULA (McAtamney; Corlett, 1993); 2) SI (Moore; Garg, 1995). Dos resultados globais da aplicação dos métodos identificam- se discrepâncias evidentes: o método SI classificou 41 postos de risco elevado e o método RULA classificou apenas 26 postos de risco. Destaque para as divergências entre os postos classificados de risco elevado como, por exemplo: de entre os 41 postos com scores de risco da aplicação do método SI apenas se encontram 12 postos classificados de risco pelo método RULA. Os resultados permitem evidenciar validades preditivas diversas para os factores de risco analisados: 1) situações de aplicação de força (SI = 0,80; RULA = 0,66); 2) presença de posturas extremas (SI = 0,68; RULA = 0,48); 3) repetitividade (SI = 0,35; RULA = 0,43). Conclui-se pela divergência de resultados dos métodos SI e RULA aplicados nos mesmos postos de trabalho que tal situação alerta para a pertinência da utilização de um filtro que permita a identificação dos factores de risco presentes em cada posto de trabalho e que, por consequência, oriente a selecção do método mais indicado ou ainda, em oposição, do método contra-indicado. Este trabalho, como um contributo para uma efectiva identificação e avaliação do risco de LMEMSLT, conduz, no limite, à necessidade de elaboração de uma «grelha» das «grelhas» e de informação mais precisa sobre os métodos e sua aplicação, permitindo, desse modo, uma mais efectiva gestão do risco destas lesões.

Criminosos popularizados na narrativa de divulgação (De 1838 aos Alvores da República)

O presente estudo incide sobre obras impressas que tomaram como motivo central as «façanhas» de criminosos com referência histórica celebrizados em Portugal na segunda metade do século XIX e inícios de XX e mostra que, enquanto narrativas elaboradas para o grande público, os textos foram não só um reflexo da popularidade prévia dos famigerados transgressores, como também um fator incontornável da sua «lendarização» ao longo de décadas. São as seguintes as figuras dos infratores que protagonizaram as ficções em apreço: José Joaquim de Sousa Reis, ou «o Remexido» (1797-1838), Diogo Alves, ou «o Pancada» (1810-1841), Francisco de Matos Lobo (1814-1842), José Teixeira da Silva, ou «o José do Telhado» (1816-1875), João Victor da Silva Brandão, ou «o João Brandão de Midões» (1825-1880), e Vicente Urbino de Freitas (1859-1913). A tese agora apresentada aborda um corpus textual de características singulares, nunca antes coligido nem estudado. Comprova que os textos sobre as figuras criminosas tiveram uma função iminentemente noticiosa, pedagógico-edificante e política, apropriando-se de relatos orais, adotando procedimentos de atestação da veracidade (transcrição de documentos na primeira pessoa, referenciação cronológica, espacial, geográfica dos eventos, alusão às fontes) e incorporando diversas fontes do conhecimento dos crimes, quer de origem popular (geralmente designadas de «musa popular», «tradição»), quer de caráter erudito e teórico-científico («estudo», «estudo social»). Assim, foram analisadas as condições históricas excecionais nas quais as ficções emergiram: as características específicas do seu universo editorial, a apropriação a um público amplo (o formato de coleção, uso de sinopses e de outros elementos gráficos), as regularidades discursivas das obras (ocorrência de determinados dispositivos de organização textual), os procedimentos narrativos (recurso abundante a paratextos com intuito explicativo e aproximação a modalidades ficcionais conhecidas do público da época) e, ainda, as configurações imagéticas inspiradas nos discursos oficiais (influência de ciências e doutrinas epocais emergentes, como a criminologia, a antropologia criminal, a frenologia, a psiquiatria, a sociologia). Em suma, estas edições produzidas em diversos contextos e por um elenco autoral heterogéneo não só viveram da relação com as edições predecessoras, ao longo de gerações, como recriaram e ampliaram as «façanhas» dos transgressores em função de diversos propósitos e fontes: ampla divulgação dos casos criminais, condenação pública dos infratores, análise médico-científica dos sujeitos culpados, especulação política, pressão sobre o foro judiciário, edificação moral do público leitor. Trata-se, sem dúvida, de produções únicas, que erigiram a comemoração dos facínoras e sucessivamente reinscreveram as suas histórias reais na problemática do homem criminal e na consciência ética do seu tempo.

Enunciados do tipo injuntivo em géneros de texto publicitários sobre o vinho.

A partir de um corpus de géneros de texto publicitários, rótulos e contrarrótulos de garrafa de vinho e anúncios sobre o vinho, neste trabalho, serão analisados os enunciados injuntivos em ocorrência para averiguar as relações que se estabelecem entre marcas comerciais e consumidores, o tipo de informação veiculada e as representações linguisticamente construídas destes sujeitos. Situando-se no âmbito da Teoria do Texto e combinando patamares de análise linguística com a dimensão social, esta investigação convoca ainda o Interacionismo Sociodiscursivo que defende uma perspetiva ontogenética da linguagem, consentânea com uma abordagem discursivo-textual da Linguística. A análise dos dados indica que os domínios sociais ou as atividades envolvidas, publicitária e de produção e de comercialização do vinho, preconizam imagens do consumidor ideal de vinho no que diz respeito à prova de vinho, a um comportamento socialmente adequado e sobre as boas propriedades do vinho.

Terminologia em uso na Direcção Nacional de Desenvolvimento Tecnológico e Inovação: a variação nos termos complexos

Inserido no âmbito do Projecto “Terminologia da Administração Pública – TERMAP”, o presente trabalho constitui uma análise descritiva de elementos discursivos que nos permitem dar conta da terminologia produzida na Direcção Nacional de Desenvolvimento Tecnológico e Inovação, do Ministério da Ciência e Tecnologia. Temos como objectivo a organização da terminologia da área, tendo em vista a fixação dos termos, permitindo assim uma melhor comunicação e transferência de conhecimento, quer a nível intra-institucional quer a nível interinstitucional, bem como a nível externo. Neste trabalho, partimos de uma abordagem semasiológica, e procuramos sempre ter em foco as especificidades discursivas, não pondo de parte, quando necessário, uma perspectiva mais onomasiológica. A abordagem proposta desenvolve-se em torno de cinco capítulos: a) o primeiro traz em revisão aspectos da organização e funcionamento da Administração Pública Central em Angola, na qual se insere o domínio de análise; b) o segundo consiste na análise dos aspectos relativos à constituição do corpus textual; c) os pressupostos teóricos apresentados no terceiro capítulo dizem respeito à formação dos termos complexos e aos fenómenos de variação em terminologia; d) no quarto capítulo, a análise volta ao corpus textual, mais propriamente ao seu tratamento. Neste capítulo apresentam-se os processos relativos à extracção e selecção dos candidatos a termos, e o levantamento dos casos de variação; e) o quinto capítulo é reservado à apresentação e análise dos dados. Fazemos uma proposta de um modelo de base de dados terminológica multilingue. Esta proposta surge na sequência da necessidade de fixar os termos, com vista à transferência de conhecimento.

Representações da mulher em telenovelas de língua portuguesa

A presente dissertação de mestrado visa reflectir acerca da construção e exposição da imagem feminina constante em três produtos de ficção, transmitidos pela televisão portuguesa desde a entrada no novo século. Considerando a televisão um dos meios de comunicação social mais dominantes da sociedade atual, a telenovela destaca-se da programação desde 1977, com a chegada de Gabriela, tornando-se, a partir de então, um dos produtos líderes de audiências, sendo portanto dos formatos mais consumidos pelos espetadores desse meio. Atua, na maior parte das vezes, como um veículo de representação social, uma forma particular de ver o mundo e um modo válido de denúncia das problemáticas sociais. A partir da transcrição de dois pequenos fragmentos de cada uma das três obras ficcionais selecionadas, pretende-se analisar e descrever os fenómenos e processos discursivos utilizados na representação das três personagens femininas, observando comportamentos e examinando relações sociais que possam conduzir à denúncia de situações de discriminação de género.