A public transport bus assignment problem: parallel metaheuristics assessment

Combinatorial Optimization Problems occur in a wide variety of contexts and generally are NP-hard problems. At a corporate level solving this problems is of great importance since they contribute to the optimization of operational costs. In this thesis we propose to solve the Public Transport Bus Assignment problem considering an heterogeneous fleet and line exchanges, a variant of the Multi-Depot Vehicle Scheduling Problem in which additional constraints are enforced to model a real life scenario. The number of constraints involved and the large number of variables makes impracticable solving to optimality using complete search techniques. Therefore, we explore metaheuristics, that sacrifice optimality to produce solutions in feasible time. More concretely, we focus on the development of algorithms based on a sophisticated metaheuristic, Ant-Colony Optimization (ACO), which is based on a stochastic learning mechanism. For complex problems with a considerable number of constraints, sophisticated metaheuristics may fail to produce quality solutions in a reasonable amount of time. Thus, we developed parallel shared-memory (SM) synchronous ACO algorithms, however, synchronism originates the straggler problem. Therefore, we proposed three SM asynchronous algorithms that break the original algorithm semantics and differ on the degree of concurrency allowed while manipulating the learned information. Our results show that our sequential ACO algorithms produced better solutions than a Restarts metaheuristic, the ACO algorithms were able to learn and better solutions were achieved by increasing the amount of cooperation (number of search agents). Regarding parallel algorithms, our asynchronous ACO algorithms outperformed synchronous ones in terms of speedup and solution quality, achieving speedups of 17.6x. The cooperation scheme imposed by asynchronism also achieved a better learning rate than the original one.

Electoral observation: Evidence from Mozambique

Electoral fraud is a common problem in young democracies. Election observers constitute one possible remedy. Yet, quantitative evidence of the exact effects of observers is scarce. Data on the random assignment of observers during Mozambique’s 2009 general elections is used to estimate the impact that observers have on ballot fraud. It is shown that the presence of national observers reduces high levels of turnout and manipulation of ballots. The findings contribute to the understanding of the behavior of politicians and have implications for the implementation of observer missions.

Fiscal dynamics and electoral behavior in the Eurozone

Abstract: The Stability Growth Pact and the 3% rule did not prevent countries from running large deficits. Countries in the EMU administrate fiscal policies differently, despite the existence of a common quantitative goal. The main focus of this work project is to study differences in the fiscal dynamics of eight EMU countries and assess the role of political variables in shaping those dynamics. We find that elections negatively affect government revenue in Austria, Belgium, Portugal, Spain and Germany. Expenditure, on the other hand, responds positively to incoming elections in Portugal, Italy, France and Netherlands, and negatively in the case of Germany.

Prevalência da C.trachomatis entre homens que fazem sexo com homens (HSH) que frequentam um centro clínico comunitário alternativo em Barcelona

RESUMO - Enquadramento: A infeção por Chlamydia trachomatis (CT) é considerada um grave problema de Saúde Pública. É causa de infeções sintomáticas tanto no homem como na mulher, bem como, de infeções assintomáticas que podem ter consequências muito graves a longo prazo. A presença de CT sem tratamento aumenta o risco de transmissão do vírus da imunodeficiência humana. Existem vários estudos publicados de prevalência da CT por todo o mundo, no entanto, estudos de prevalência da CT em populações assintomáticas, envolvendo homens que fazem sexo com homens (HSH) são raros na Europa. Assim, o presente estudo, ao estimar a prevalência e ao descrever as caraterísticas epidemiológicas e de conduta dos HSH, pretende contribuir para o plano de ação contra as IST´s e VIH na Catalunha, através de estratégias concretas para deteção e prevenção da CT. Métodos: Trata-se de um estudo observacional, transversal de prevalência da CT em HSH utentes de um serviço comunitário em Barcelona, com recurso a técnicas de diagnóstico de biologia molecular e a um questionário. Durante Março e Junho de 2015, foram recrutados 200 voluntários de um serviço comunitário em Barcelona que foram testados para CT e NG em três locais anatómicos através de uma PCR em tempo real utilizando o ensaio Anyplex™ CT/NG Real-time Detection. Resultados: O presente estudo permitiu uma caraterização da situação atual quanto á prevalência e aos fatores de risco associados á infeção por CT em HSH. A prevalência nesta população específica foi de 12,6% e os fatores risco associados foram o facto de serem VIH e praticarem sexo anal insertivo/recetivo com parceiro estável. Conclusões: Os resultados obtidos reforçam a necessidade do desenvolvimento de estratégias adequadas de controlo e prevenção da CT nesta população de risco, tais como: rastreios frequentes e tratamento dos casos positivos para quebrar a cadeia de transmissão, promoção da saúde, educação e notificação dos parceiros sexuais. Também demonstram a importância destes rastreios nos três locais anatómicos: uretra, reto e faringe.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Professores realistas: mais eficazes e otimistas

A indisciplina na sala de aula prejudica o ensino e a aprendizagem sendo uma das principais causas do mal-estar dos professores, roubando-lhes energia e tempo conduzindo, muitos deles, à exaustão física e emocional e apresenta-se como um sério problema quer para professores principiantes, quer para professores experientes. A análise do ensino na perspetiva interpessoal possibilita uma nova visão sobre o ambiente de aprendizagem, nomeadamente no que se refere à relação professor-aluno. Nesta perspetiva, o enfoque dirige-se para a análise das perceções dos alunos sobre o comportamento do professor e o impacto que o mesmo tem sobre os alunos. Além de que, ao considerar-se a turma como um sistema deve ter-se em conta que o comportamento não pode ser visto como uma característica da pessoa mas, sim, como uma característica do sistema formado por aqueles que estão envolvidos na interação comunicacional. Analisar as interações comunicacionais à luz da pragmática da comunicação e dos seus cinco axiomas apresenta-se como um poderoso quadro clarificador de muitos dos comportamentos ditos disruptivos, possibilitando aos professores um “novo olhar” sobre o seu papel enquanto gestores da sala de aula. A formação realista de professores apresenta-se como uma estratégia com efeitos muito positivos uma vez que possibilita e ajuda-os a compreenderem o processo de circularidade característico da turma vista como um sistema. Por outro lado, permite evidenciar a impossibilidade dos professores de solucionarem os problemas disciplinares culpabilizando os alunos. Dito de outro modo, a formação realista conduz os professores a um (re) equacionar das suas práticas encorajando-os a selecionarem um comportamento interpessoal mais adequado. No 1º e 3º período letivo, os professores participantes (N= 15) responderam ao Questionário de Interação do Professor (Q.I.P.) e ao Questionário do Otimismo Académico (Q.O.A.) composto por três subescalas: Autoeficácia, Confiança nos alunos e famílias e Ênfase académica. Paralelamente, foram gravadas em suporte vídeo quatro aulas de cada professor, referentes a duas turmas selecionadas previamente pelos mesmos. Após a observação das suas aulas refletiram por escrito aquilo que observaram. No 2º período, participaram numa ação de formação intitulada “Ecologia da sala de aula: relacionamento interpessoal professor-aluno e a criação de ambientes de aprendizagem positivos” baseada no modelo realista de formação de professores. Desta formação resultou um conjunto de relatórios reflexivos que tiveram por objetivo desenvolver nos participantes a sua competência reflexiva, questionarem crenças tidas como inquestionáveis e otimizar a relação professor-aluno. A partir dos resultados obtidos pode afirmar-se que: 1) verificou-se um aumento no otimismo académico e no sentimento de autoeficácia; 2) observou-se um impacto nas conceções prévias, bem como no contexto organizacional.